Research

Books

• QuickChick: Property-Based Testing in Coq (Online Version) (BIB)
  

  Leonidas Lampropoulos, Benjamin C. Pierce. Software Foundations Series, Volume 4

• Luck: A Probabilistic Language for Testing (Chapter, to appear)
  In: Foundations of Probabilistic Programming
  

  Authors: Leonidas Lampropoulos, Diane Gallois-Wong, Cătălin Hriţcu, John Hughes, Benjamin C. Pierce, and Li-yao Xia.
  Editors: Gilles Barthe, Joost-Pieter Katoen, and Alexandra Silva

Conference and Journal Publications

• Pantograph: A Fluid and Typed Structure Editor PDF (BIB)
  

  Jacob Prinz, Henry Blanchette, and Leonidas Lampropoulos. POPL 2025

• Generating Well-Typed Terms that are not "Useless" PDF (BIB)
  

  Justin Frank, Benjamin Quiring, and Leonidas Lampropoulos. POPL 2024

• Object Graph Programming PDF (BIB)
  

  Aditya Thimmaiah, Leonidas Lampropoulos, Christopher Rossbach, and Milos Gligoric. ICSE 2024

• Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing PDF (BIB)
  

  Segev Elazar Mittelman, Alvin Resnick, Ivan Perez, Alwyn Goodloe, and Leonidas Lampropoulos. Haskell 2023

• Etna: An Evaluation Platform for Property-Based Testing (Experience Report) PDF (BIB)
  

  Jessica Shi, Alperen Keles, , Benjamin C. Pierce, and Leonidas Lampropoulos. ICFP 2023

• Formalizing Stack Safety as a Security Property PDF (BIB)
  

  Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, and Andrew Tolmach. CSF 2023

• Merging Inductive Relations PDF (BIB)
  

  Jacob Prinz and Leonidas Lampropoulos. PLDI 2023

• Liquid Proof Macros PDF (BIB)
  

  Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos. Haskell 2022

• Random Testing of a Higher-Order Blockchain Language (Experience Report) PDF (BIB)
  

  Tram Hoang, Anton Trunov, Leonidas Lampropoulos, and Ilya Sergey. ICFP 2022

• Deeper Shallow Embeddings PDF (BIB)
  

  Jacob Prinz, Alex Kavvos, and Leonidas Lampropoulos. ITP 2022

• Computing Correctly with Inductive Relations PDF (BIB)
  

  Zoe Paraskevopoulou, Aaron Eline, and Leonidas Lampropoulos. PLDI 2022

• A Formal Model of Checked C PDF (BIB)
  

  Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, and Michael Hicks. CSF 2022

• Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing PDF (BIB)
  

  Harrison Goldstein, John Hughes, Leonidas Lampropoulos, and Benjamin C. Pierce. ESOP 2021

• Coverage Guided, Property Based Testing PDF (BIB)
  

  Leonidas Lampropoulos, Michael Hicks, and Benjamin C. Pierce. OOPSLA 2019

• Achieving Safety Incrementally with Checked C PDF (BIB)
  

  Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, and Michael Hicks. POST 2019

• Keep your Laziness in Check PDF (BIB)
  

  Kenneth Foner, Hengchu Zhang, and Leonidas Lampropoulos. ICFP 2018

• Generating Good Generators for Inductive Relations PDF (BIB)
  

  Leonidas Lampropoulos, Zoe Paraskevopoulou, and Benjamin C. Pierce. POPL 2018

• A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq PDF (BIB)
  

  Niki Vazou, Leonidas Lampropoulos, and Jeff Polakow. Haskell 2017

• Ode on a Random Urn (Functional Pearl) PDF (BIB)
  

  Leonidas Lampropoulos, Antal Spector-Zabusky, and Kenneth Foner. Haskell 2017

• Beginner's Luck: a language for property-based generators PDF (BIB)
  

  Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, and Li-yao Xia. POPL 2017

• Measuring Neural Net Robustness with Constraints PDF (BIB)
  

  Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, and Antonio Criminisi. NeurIPS 2016

• Testing Noninterference, Quickly PDF (BIB)
  

  Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo Amorim, Maxime Denes, John Hughes, Benjamin C. Pierce, and Dimitrios Vytiniotis. JFP 2016

• Foundational Property-Based Testing PDF (BIB)
  

  Zoe Paraskevopoulou, Catalin Hritcu, Maxime Denes, Leonidas Lampropoulos, and Benjamin C. Pierce. ITP 2015

• Testing Noninterference, Quickly PDF (BIB)
  

  Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, and Leonidas Lampropoulos. ICFP 2013

• Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services PDF (BIB)
  

  Leonidas Lampropoulos and Konstantinos Sagonas. WWV 2012

Thesis

• Random Testing for Language Design PDF (BIB)
  

  PhD Thesis, Upenn, 2018

Talks and Tutorials

• Adventures in Property-Based Testing
  

  Research Challenges in Computer Science, NTUA, 2022

• Computing Correctly with Inductive Relations
  

  Athens PL Seminar, NTUA, 2021

• Property-Based Testing for OCaml through Coq
  

  OCaml Workshop, ICFP, 2021

• Do Judge a Test by it’s Cover
  

  Athens PL Seminar, NTUA, 2020

• Adventures in Property-Based Testing
  

  UIC PL Seminar, Spring 2020

• Software Correctness through Testing and Verification
  

  IMDEA, Spain, 2020

• FuzzChick : Type-Aware Property-Based Fuzzing
  

  Athens PL Seminar, NTUA, 2019

• QuickChick : Property-Based Testing in Coq (Slides)
  

  POPL TutorialFest, Lisbon, 2019

• StrictCheck : Keep your Laziness in Check
  

  Athens PL Seminar, NTUA, 2018

• Ode to a Random Urn
  

  Athens PL Seminar, NTUA, 2017

• Making our Own Luck
  

  Athens PL Seminar, NTUA, 2016

• Random Testing in the Coq Proof Assistant (Slides)
  

  Keynote: Computational Logic and Applications, Chalmers, 2017

• Testing Noninterference, Quickly
  

  Athens PL Seminar, NTUA, 2013

Workshop Abstracts

• Property-Based Testing for OCaml through Coq PDF
  

  Paaras Bhandari and Leonidas Lampropoulos. OCaml Workshop 2021

• Making our Own Luck: A Language for Random Generators (extended abstract) PDF
  

  Leonidas Lampropoulos, Benjamin C. Pierce, Cătălin Hriţcu, John Hughes, Zoe Paraskevopoulou and Li-yao Xia. PPS 2016

• QuickChick: Property-Based Testing for Coq PDF
  

  Maxime Dénès, Cătălin Hriţcu, Leonidas Lampropoulos, Zoe Paraskevopoulou and Benjamin C. Pierce. Coq Workshop 2014