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

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.

July 04, 2023

One paper co-authored by PLUM members will appear at Haskell Symposium 2023: Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing, by Segev Elazar Mittelman, Alvin Resnick, Ivan Perez, Alwyn Goodloe, and Leonidas Lampropoulos.

May 19, 2023

One paper co-authored by PLUM members will appear at ICFP 2023: Etna: An Evaluation Platform for Property-Based Testing (Experience Report), by Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin Pierce, and Leonidas Lampropoulos.

April 08, 2023

One paper co-authored by PLUM members will appear at CSF 2023: Formalizing Stack Safety as a Security Property by Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, and Andrew Tolmach.

Jan 18, 2023

Michael Hicks was selected as an ACM Fellow in 2022, citing his contributions to programming language design and implementation, program analysis, and software security.

Dec 06, 2022

One paper co-authored by PLUM members will appear at POPL 2023: Qunity: A Unified Language for Quantum and Classical Computing by Finn Voichick, Liyi Li, Robert Rand (now at Chicago), and Michael Hicks.

July 01, 2022

One paper co-authored by PLUM members will appear at Haskell Symposium 2022: Liquid Proof Macros, by Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos.

[More …]