PLUM @ UMD
Programming Languages Research at University of Maryland

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.

News

June 01, 2025

One paper co-authored by PLUM members will appear at TOPLAS 2025: Modal Crash Types for WAR-Aware Intermittent Computing by Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, and Limin Jia.

April 08, 2025

One paper authored by PLUM members will appear at PLDI 2025: Webs and Flow-Directed Well-Typedness Preserving Program Transformations by Benjamin Quiring, David Van Horn, John Reppy, and Olin Shivers.

Nov 20, 2024

One paper co-authored by PLUM members will appear at POPL 2025: Pantograph: A Fluid and Typed Structure Editor by Jacob Prinz, Henry Blanchette, and Leonidas Lampropoulos.

Sept 01, 2024
Jan 01, 2024

Milijana Surbatovich joined UMD Computer Science as an Assistant Professor starting January 1st, 2024!

Oct 03, 2023
Aug 04, 2023

The paper Object Graph Programming, co-authored by PLUM member Leonidas Lampropoulos, with Aditya Thimmaia, Christopher Rossbach, and Milos Gligoric from UT Austin, will appear at ICSE 2024.

[More …]