Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services - Leonidas Lampropoulos; Konstantinos Sagonas (WWV, 2012)

Testing noninterference, quickly. - Catalin Hritcu; John Hughes 001; Benjamin C. Pierce; Antal Spector-Zabusky; Dimitrios Vytiniotis; Arthur Azevedo de Amorim; Leonidas Lampropoulos (ICFP, 2013)

Foundational Property-Based Testing. - Zoe Paraskevopoulou; Catalin Hritcu; Maxime Dénès; Leonidas Lampropoulos; Benjamin C. Pierce (ITP, 2015)

Measuring Neural Net Robustness with Constraints. - Osbert Bastani; Yani Ioannou; Leonidas Lampropoulos; Dimitrios Vytiniotis; Aditya V. Nori; Antonio Criminisi (NIPS, 2016)

Testing noninterference, quickly. - Catalin Hritcu; Leonidas Lampropoulos; Antal Spector-Zabusky; Arthur Azevedo de Amorim; Maxime Dénès; John Hughes 001; Benjamin C. Pierce; Dimitrios Vytiniotis (J. Funct. Program., 2016)

Ode on a random urn (functional pearl). - Leonidas Lampropoulos; Antal Spector-Zabusky; Kenneth Foner (Haskell, 2017)

A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. - Niki Vazou; Leonidas Lampropoulos; Jeff Polakow (Haskell, 2017)

Beginner's luck: a language for property-based generators. - Leonidas Lampropoulos; Diane Gallois-Wong; Catalin Hritcu; John Hughes 001; Benjamin C. Pierce; Li-yao Xia (POPL, 2017)

Keep your laziness in check. - Kenneth Foner; Hengchu Zhang; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2018)

Generating good generators for inductive relations. - Leonidas Lampropoulos; Zoe Paraskevopoulou; Benjamin C. Pierce (Proc. ACM Program. Lang., 2018)

Achieving Safety Incrementally with Checked C. - Andrew Ruef; Leonidas Lampropoulos; Ian Sweet; David Tarditi; Michael Hicks 001 (POST, 2019)

Coverage guided, property based testing. - Leonidas Lampropoulos; Michael Hicks 001; Benjamin C. Pierce (Proc. ACM Program. Lang., 2019)

Luck: A Probabilistic Language for Testing. - Leonidas Lampropoulos; Benjamin C. Pierce; Li-yao Xia; Diane Gallois-Wong; Catalin Hritcu; John Hughes 001 (Foundations of Probabilistic Programming, 2020)

Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. - Harrison Goldstein; John Hughes 001; Leonidas Lampropoulos; Benjamin C. Pierce (ESOP, 2021)

Security Properties for Stack Safety. - Sean Noble Anderson; Leonidas Lampropoulos; Roberto Blanco; Benjamin C. Pierce; Andrew Tolmach (CoRR, 2021)

Liquid proof macros. - Henry Blanchette; Niki Vazou; Leonidas Lampropoulos (Haskell, 2022)

Deeper Shallow Embeddings. - Jacob Prinz; G. A. Kavvos; Leonidas Lampropoulos (ITP, 2022)

Computing correctly with inductive relations. - Zoe Paraskevopoulou; Aaron Eline; Leonidas Lampropoulos (PLDI, 2022)

Random testing of a higher-order blockchain language (experience report). - Tram Hoang; Anton Trunov; Leonidas Lampropoulos; Ilya Sergey (Proc. ACM Program. Lang., 2022)

Formalizing Stack Safety as a Security Property. - Sean Noble Anderson; Roberto Blanco; Leonidas Lampropoulos; Benjamin C. Pierce; Andrew Tolmach (CSF, 2023)

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. - Segev Elazar Mittelman; Aviel Resnick; Ivan Perez 001; Alwyn E. Goodloe; Leonidas Lampropoulos (Haskell, 2023)

Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses. - Finn Voichick; Leonidas Lampropoulos; Robert Rand 001 (CoRR, 2023)

A formal model of Checked C. - Liyi Li 002; Yiyun Liu; Deena L. Postol; Leonidas Lampropoulos; David Van Horn; Michael Hicks 001 (J. Comput. Secur., 2023)

Merging Inductive Relations. - Jacob Prinz; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2023)

Etna: An Evaluation Platform for Property-Based Testing (Experience Report). - Jessica Shi 002; Alperen Keles; Harrison Goldstein; Benjamin C. Pierce; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2023)

Object Graph Programming. - Aditya Thimmaiah; Leonidas Lampropoulos; Christopher J. Rossbach; Milos Gligoric 001 (ICSE, 2024)

Generating Well-Typed Terms That Are Not "Useless". - Justin Frank; Benjamin Quiring; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2024)

Pantograph: A Fluid and Typed Structure Editor. - Jacob Prinz; Henry Blanchette; Leonidas Lampropoulos (Proc. ACM Program. Lang., 2025)

Compositional Quantum Control Flow with Efficient Compilation in Qunity. - Mikhail Mints; Finn Voichick; Leonidas Lampropoulos; Robert Rand 001 (CoRR, 2025)