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 Gabe Kaptchuk? 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 UMD Department of Computer Science 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 PLUM Lab gang at PLDI!

Very grateful to have been a part of Sankha Narayan Guria's celebration today. I'm super excited for his next chapter, but I'm gonna miss this guy!

Congrats to mmazurek @ bsky.social for receiving the IEEE S&P Test of Time Award for a paper she co-authored while earning her Ph.D. Carnegie Mellon University.

Read more: umiacs.umd.edu/about-us/news/…

Researchers affiliated with Maryland Cybersecurity Center (MC2) are presenting nine papers IEEE S&P, including one that received a distinguished paper award.

Read more: umiacs.umd.edu/about-us/news/…

Congrats to Sankha Narayan Guria on completing his PHD, and who also walked today, with David Van Horn . PLUM Lab party!

Proud and pleased to have advised Kesha Hietala and Ian Sweet 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…

PL folks keep winning.

Thanks everyone for joining my defense! 🙌

Special thanks to my advisors David Van Horn and Jeff Foster for their support throughout PhD. Also thanks to Mike Hicks, Leo Lampropoulos, and Larry Washington for serving on my committee.