Two papers co-authored by PLUM members will appear at POPL 2024: Indexed Types for a Statically Safe WebAssembly by Adam Geller, Justin Frank, and William Bowman, and *Generating Well-Typed Terms that are not “Useless” by Justin Frank, Benjamin Quiring, and Leonidas Lampropoulos.

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.

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.

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.

Two papers co-authored by PLUM members will appear at PLDI 2023: Absynthe: Abstract Interpretation-Guided Synthesis by Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn; and Merging Inductive Relations, by Jacob Prinz, and Leonidas Lampropoulos.

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

Leonidas Lampropoulos gave an invited talk on How (not) to give a great research talk at the Programming Languages Mentoring Workshop @ POPL 2023.

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.

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

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.

Kesha Hietala successfully defended her PhD and is headed to AWS. Her dissertation is titled A Verified Software Toolchain for Quantum Programming

Leonidas Lampropoulos received the NSF CAREER award to work on Fuzzing Formal Specifications.

One paper co-authored by PLUM members will appear at ITP 2022: Deeper Shallow Embeddings, by Jacob Prinz, Alex Kavvos, and Leonidas Lampropoulos.

Two papers co-authored by PLUM members will appear at PLDI 2022: ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification by Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, and James Parker; and Computing Correctly with Inductive Relations, by Zoe Paraskevopoulou, Aaron Eline, and Leonidas Lampropoulos.

The paper Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment by PLUM members Michael Coblenz and Michael Hicks, and also Michelle Mazurek, will appear at ICSE 2022.

Ethan Cecchetti, a PhD candidate at Cornell advised by Andrew Myers and Ari Juels, will join PLUM and MC2 as a Postdoctoral Fellow in August 2021.

Yiyun Liu and James Parker talk about undergraduate research at the PLUM Lab.

One paper co-authored by PLUM members will appear at PLDI 2021: RbSyn: Type- and Effect-Guided Program Synthesis by Sankha Narayan Guria, Jeff Foster, and David Van Horn.

One paper co-authored by a PLUM member will appear at ESOP 2021: Do Judge a Test By its Cover: Combining Combinatorial with Property-Based Testing by Harrison Goldstein, John Hughes, Leonidas Lampropoulos, and Benjamin C. Pierce.

Two papers co-authored by PLUM members will appear at POPL 2021: Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification by Cameron Moy, Phil Nguyen (now at Google), Sam Tobin-Hochstadt, and David Van Horn; and A Verified Optimizer for Quantum Circuits by Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, and Michael Hicks, which was named one of seven Distinguished Papers.

Liyi Li, who earned his PhD while advised by Elsa Gunter at UIUC, has joined PLUM as a Basili Postdoctoral Fellow. He is co-advised by Michael Hicks and Xiaodi Wu.

Michael Hicks spoke at the UMass Systems Lunch about a Verified Optimizer for Quantum Programs.

Two papers co-authored by PLUM members will appear at OOPSLA 2020: Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell by Yiyun Liu, James Parker, Patrick Redmond (UCSC), Lindsey Kuper (UCSC), Michael Hicks, and Niki Vazou; and An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language by Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, and Brad A. Myers.

Michael Hicks gave a keynote talk at HotSOS about his award-winning work on Evaluating Fuzz Testing.

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.

Kesha Hietala successfully proposed her PhD thesis, entitled A Verified Software Toolchain for Quantum Programming. Some of her preliminary work can be found here.

The paper Abstracting Abstract Machines (ICFP’10) by David Van Horn and Matt Might was awarded the ICFP 2020 Most Influential Paper Award. [more]

Michael Coblenz, who earned his PhD at CMU advised by Jonathan Aldrich, has joined UMD as a Basili post-doc. He will be co-advised by Michael Hicks and Adam Porter.

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.

Michael Hicks wrote a post for the SIGPLAN blog, PL Perspectives, on Increasing the Impact of PL Research

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.

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

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