Programming Languages at the University of Maryland
College Park, Maryland
Joined January 2014
- Tweets235
- Following122
- Followers689
- Likes156
PLUM Lab retweeted
An internship at MSR, including RiSE, is a great opportunity to work on exciting research projects and mingle with other fantastic students.
jobs.careers.microsoft.com/g…
PLUM Lab retweeted
We're excited to welcome Milijana Surbatovich to @CollegeParkMC2 this semester! Her research aims to enhance the reliability of low-power intermittent computing systems, ensuring their accuracy and security for emerging technologies. Learn more: go.umd.edu/1rqs
PLUM Lab retweeted
Rance was phenomenally friendly and an excellent person with whom to share in conversation. I will miss him dearly.
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/new…
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/new…
PLUM Lab retweeted
Today we released a report calling on the technical community to adopt memory safe programming languages. We have the ability & responsibility to reduce the cyber attack surface & prevent entire classes of security bugs from entering the digital ecosystem whitehouse.gov/oncd/briefing…
PLUM Lab retweeted
The UMD security group is hiring a postdoc. Want to work in applied cryptography and zk proofs with me or @gkaptchuk? Or usable security, ai security, network security, pq crypto, or programing languages + security. Come to UMD and live in Washington, DC. obj.umiacs.umd.edu/cybersecu…
PLUM Lab retweeted
The Maryland Cybersecurity Center—a unique multidisciplinary research and education powerhouse outside of Washington, D.C.—is seeking applicants for its competitive postdoctoral fellowship program. Applications are due March 28. Learn more: cyber.umd.edu/joinus
PLUM Lab retweeted
Did you know @umdcs is doing a national search for its next Chair? Reach out if you're interested in leading a great department. ejobs.umd.edu/postings/11585…
PLUM Lab retweeted
I'm hiring PhD students! Primarily looking for folks who have background in systems, open to anyone with expertise in my areas (systems, PL, DB, logic).
weaselhat.com/2023/10/25/im-…
PLUM Lab retweeted
My department is on the hunt for two tenure-track teaching faculty (Assistant Professors of Teaching). Come be my colleague, in a department that cares deeply about teaching, learning, and the scholarship of both!
This Post is from an account that no longer exists. Learn more
PLUM Lab retweeted
Thanks ACM-REP'23 for a great event! So good to talk about replicability, benchmarks, and experimental methods with folks outside my regular PL neighborhood!
acm-rep.github.io/2023/
PLUM Lab retweeted
Very grateful to have been a part of @ngsankha's celebration today. I'm super excited for his next chapter, but I'm gonna miss this guy!
ALT Sankha Guria after the 2023 UMD CMNS graduate commencement.
PLUM Lab retweeted
Congrats to @mmazurek_ for receiving the @IEEESSP Test of Time Award for a paper she co-authored while earning her Ph.D. @CarnegieMellon.
Read more: umiacs.umd.edu/about-us/news…
PLUM Lab retweeted
Researchers affiliated with @CollegeParkMC2 are presenting nine papers @IEEESSP, including one that received a distinguished paper award.
Read more: umiacs.umd.edu/about-us/news…
PLUM Lab retweeted
Congrats to @ngsankha on completing his PHD, and who also walked today, with @lambda_calculus . @plumlab party!
PLUM Lab retweeted
Proud and pleased to have advised Kesha Hietala and @completelysound to their PhDs. Congratulations, and awesome work!
PLUM Lab retweeted
How we built cedar (GitHub.com/cedar-policy) using automated reasoning and differential testing: amazon.science/blog/how-we-b…
PLUM Lab retweeted
PL folks keep winning.
The @UofMaryland's Department of Computer Science honors its top teachers for 2022-23. Jose Calderon, Jason Cavanaugh, Jason Devers, Julio Gomez, Aditya Patil, and David Van Horn received teaching awards in four categories.
Read more:
go.umd.edu/Awards
