Programming Languages at the University of Maryland

Joined January 2014
Photos and videos
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…

1
20
74
9,733
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
2
5
426
PLUM Lab retweeted
I'm deeply saddened to hear this. I had the opportunity to talk with him when I was seeking a position in his research group. He was extremely kind and friendly towards me. I'll always remember him💔
27 Mar 2024
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/new…
1
9
1,149
Rance was phenomenally friendly and an excellent person with whom to share in conversation. I will miss him dearly.
27 Mar 2024
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/new…
1
2
10
1,649
27 Mar 2024
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/new…
9
19
6,813
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…
5
52
117
125,447
PLUM Lab retweeted
20 Mar 2024
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…

1
12
32
10,577
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
11
11
1,899
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…

1
5
7
2,058
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-…

1
25
57
11,754
PLUM Lab retweeted
30 Aug 2023
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!
18
31
11,634
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/
1
1
2
479
PLUM Lab retweeted
Disney Springs with the @plumlab gang at @PLDI!
3
44
2,200
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!
6
50
2,717
PLUM Lab retweeted
22 May 2023
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…
10
69
4,988
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…
4
17
1,457
PLUM Lab retweeted
Congrats to @ngsankha on completing his PHD, and who also walked today, with @lambda_calculus . @plumlab party!
6
28
1,753
PLUM Lab retweeted
Proud and pleased to have advised Kesha Hietala and @completelysound to their PhDs. Congratulations, and awesome work!
1
3
45
2,850
PLUM Lab retweeted
extremely committed to the bit. #bikeUMD
1
2
46
2,251
PLUM Lab retweeted
How we built cedar (GitHub.com/cedar-policy) using automated reasoning and differential testing: amazon.science/blog/how-we-b…
1
9
25
5,556