PLUM Lab

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/global/en/job/…

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

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💔

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/ne…

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-…

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/cybersecurity/…

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

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/115855

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-…

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!

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/

Disney Springs with the @plumlab gang at @PLDI!

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!

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/…

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/…

Congrats to @ngsankha on completing his PHD, and who also walked today, with @lambda_calculus . @plumlab party!

Proud and pleased to have advised Kesha Hietala and @completelysound to their PhDs. Congratulations, and awesome work!

extremely committed to the bit. #bikeUMD

How we built cedar (GitHub.com/cedar-policy) using automated reasoning and differential testing: amazon.science/blog/how-we-bu…