Programming Languages Research at University of Maryland

The Lab for Programming Languages and 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.


July 31, 2020

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.

July 17, 2020

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

May 17, 2020

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

May 15, 2020

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

May 14, 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.

May 14, 2020

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