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.
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.
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.
Leonidas Lampropoulos gave an invited talk on How (not) to give a great research talk at the Programming Languages Mentoring Workshop @ POPL 2023.
Two papers co-authored by PLUM members will appear at ICFP 2022: Analyzing Binding Extent in 3CPS, by Benjamin Quiring, Olin Shivers, and John Reppy; and Random Testing of a Higher-Order Blockchain Language (Experience Report), by Tram Hoang, Anton Trunov, Leonidas Lampropoulos, and Ilya Sergey.