News

Dec 20, 2020

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.

Dec 07, 2020

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.

Dec 07, 2020

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.

Oct 17, 2020

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.

Sept 24, 2020

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

Sept 10, 2020

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.

Sept 03, 2020

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

Sept 03, 2020
Sept 01, 2020

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.

Aug 13, 2020

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.

July 29, 2020

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

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

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