PLUM Lab

Programming Languages at the University of Maryland

[Nikolaj Bjorner @BjornerNikolaj]

An internship at MSR, including RiSE, is a great opportunity to work on exciting research projects and mingle with other fantastic students.

https://t.co/LymQGrFa4s

[Maryland Cybersecurity Center (MC2) @CollegeParkMC2]

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: https://t.co/FXgoGp57FP

[Mohammad Hossein Khoshechin @Mh_khoshechin]

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💔

[Pierce Darragh | [email protected] | 🦆 @pl_pierce]

Rance was phenomenally friendly and an excellent person with whom to share in conversation. I will miss him dearly.

[PLUM Lab @plumlab]

We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland https://t.co/2kughKdKM8

[White House Office of the National Cyber Director @ONCD]

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 https://t.co/munVsA1Be8

[Ian Miers @secparam]

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. https://t.co/icI3Ub18uz

[Maryland Cybersecurity Center (MC2) @CollegeParkMC2]

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: https://t.co/uY7dvPFZnF

[David Van Horn @lambda_calculus]

Did you know @umdcs is doing a national search for its next Chair? Reach out if you're interested in leading a great department. https://t.co/f0oWRREQVi

[Michael Greenberg @mgrnbrg]

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).

https://t.co/766hvUtqpj

[Ron Garcia @rg9119]

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!

[Ben Greenman @ben_greenman]

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!
https://t.co/dDXMbyMh3v

[Leo Lampropoulos @LeoLambro]

Disney Springs with the @plumlab gang at @PLDI!

[David Van Horn @lambda_calculus]

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!

[UMIACS @umiacs]

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: https://t.co/g6IWIED6mZ

[Maryland Cybersecurity Center (MC2) @CollegeParkMC2]

Researchers affiliated with @CollegeParkMC2 are presenting nine papers @IEEESSP, including one that received a distinguished paper award.

Read more: https://t.co/7pjqOp13NJ

[Mike Hicks @michael_w_hicks]

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

[Mike Hicks @michael_w_hicks]

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

[David Van Horn @lambda_calculus]

extremely committed to the bit. #bikeUMD

[Mike Hicks @michael_w_hicks]

How we built cedar (https://t.co/9zeULXoooW) using automated reasoning and differential testing: https://t.co/Foh7UjiAG3