The Lab for Programming Languages at the University of Maryland (PLUM) is engaged in exciting research that aims to improve software quality through new languages and software tools. Our work involves formalism and proof (e.g., to show that a particular analysis establishes a certain property of the programs it considers) as well as implementation and evaluation (e.g., to show that our ideas work on real software at reasonable cost). Current interests focus on formal verification, type systems, gradual typing and contracts, quantum programming languages, property-based testing, functional programming, program synthesis, static analysis, information flow control, privacy-preserving computation, and high-availability systems.
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 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.
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.
Liyi Li, who earned his PhD while advised by Elsa Gunter at UIUC, will join PLUM as a Basili Postdoctoral Fellow in August 2020.