The SIGPLAN PL Perspectives blog featured an article by David Van Horn giving some advice for graduate students on the faculty job market during the COVID pandemic: Letter to a young scientist: Searching for faculty jobs in turbulent times.

The paper Abstracting Abstract Machines (ICFP’10) by David Van Horn and Matt Might was awarded the ICFP 2020 Most Influential Paper Award. [more]

Kesha Hietala successfully proposed her PhD thesis, entitled A Verified Software Toolchain for Quantum Programming. Some of her preliminary work can be found here.

Michael Coblenz, who earned his PhD at CMU advised by Jonathan Aldrich, has joined UMD as a Basili post-doc. He will be co-advised by Michael Hicks and Adam Porter.

The paper Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It by Dan Votipka, Kelsey Fulton, James Parker, Matthew Hou, Michelle Mazurek, and Mike Hicks has been named a Distinguished Paper of the USENIX Security 2020 conference.

A paper by Yiyun Liu, James Parker, Patrick Redmond (UCSC), Lindsey Kuper (UCSC), Michael Hicks, and Niki Vazou, titled Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell, has been conditionally accepted to OOPSLA 2020.

James Parker successfully defended his PhD. His dissertation is entitled, Advanced Language-based Techniques for Correct, Secure Networked Systems

This, the new PLUM site, is deployed! The legacy site is still up, and has lots of useful information.

Robert Rand will join the University of Chicago Dept. of Computer Science as an Assistant Professor starting July 1, 2020.

Liyi Li, who earned his PhD while advised by Elsa Gunter at UIUC, will join PLUM as a Basili Postdoctoral Fellow in August 2020.

Leonidas Lampropoulos will join UMD Computer Science as an Assistant Professor starting July 1, 2020.