Leonidas Lampropoulos

40 papers A* 3A 4B 2C 4Journal 23Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Etna: An Evaluation Platform for Property-Based Testing.
CoRR
Alperen Keles, Jessica Shi, Nikhil Kamath, Tin Nam Liu, Ceren Mert, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
2026 J jnl
Programmable Property-Based Testing.
CoRR
Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos
2025 J jnl
Compositional Quantum Control Flow with Efficient Compilation in Qunity.
CoRR
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand
2025 J jnl
Compositional Quantum Control Flow with Efficient Compilation in Qunity.
Proc. ACM Program. Lang.
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand
2025 J jnl
Pantograph: A Fluid and Typed Structure Editor.
Proc. ACM Program. Lang.
Jacob Prinz, Henry Blanchette, Leonidas Lampropoulos
2025 J jnl
The Search for Constrained Random Generators.
CoRR
Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce
2024 J jnl
Generating Well-Typed Terms That Are Not "Useless".
Proc. ACM Program. Lang.
Justin Frank, Benjamin Quiring, Leonidas Lampropoulos
2024 A* conf
Object Graph Programming.
ICSE
Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric
2024 J jnl
Object Graph Programming.
CoRR
Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric
2024 J jnl
Pantograph: A Fluid and Typed Structure Editor.
CoRR
Jacob Prinz, Henry Blanchette, Leonidas Lampropoulos
2023 J jnl
A formal model of Checked C.
J. Comput. Secur.
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2023 C conf
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing.
Haskell
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos
2023 J jnl
Etna: An Evaluation Platform for Property-Based Testing (Experience Report).
Proc. ACM Program. Lang.
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
2023 A conf
Formalizing Stack Safety as a Security Property.
CSF
Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
2023 J jnl
Merging Inductive Relations.
Proc. ACM Program. Lang.
Jacob Prinz, Leonidas Lampropoulos
2023 J jnl
Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses.
CoRR
Finn Voichick, Leonidas Lampropoulos, Robert Rand
2022 A conf
A Formal Model of Checked C.
CSF
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2022 J jnl
A Formal Model of Checked C.
CoRR
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2022 A* conf
Computing correctly with inductive relations.
PLDI
Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos
2022 B conf
Deeper Shallow Embeddings.
ITP
Jacob Prinz, G. A. Kavvos, Leonidas Lampropoulos
2022 C conf
Liquid proof macros.
Haskell
Henry Blanchette, Niki Vazou, Leonidas Lampropoulos
2022 J jnl
Random testing of a higher-order blockchain language (experience report).
Proc. ACM Program. Lang.
Tram Hoang, Anton Trunov, Leonidas Lampropoulos, Ilya Sergey
2021 A conf
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing.
ESOP
Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
2021 J jnl
Security Properties for Stack Safety.
CoRR
Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach
2020 — ch.
Luck: A Probabilistic Language for Testing.
Foundations of Probabilistic Programming
Leonidas Lampropoulos, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, Catalin Hritcu, John Hughes
2019 — conf
Achieving Safety Incrementally with Checked C.
POST
Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
2019 J jnl
Coverage guided, property based testing.
Proc. ACM Program. Lang.
Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce
2018 J jnl
Generating good generators for inductive relations.
Proc. ACM Program. Lang.
Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce
2018 J jnl
Keep your laziness in check.
Proc. ACM Program. Lang.
Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos
2017 C conf
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq.
Haskell
Niki Vazou, Leonidas Lampropoulos, Jeff Polakow
2017 A* conf
Beginner's luck: a language for property-based generators.
POPL
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
2017 C conf
Ode on a random urn (functional pearl).
Haskell
Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner
2016 J jnl
Beginner's Luck: A Language for Property-Based Generators.
CoRR
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
2016 — conf
Measuring Neural Net Robustness with Constraints.
NIPS
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
2016 J jnl
Measuring Neural Net Robustness with Constraints.
CoRR
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
2016 J jnl
Testing noninterference, quickly.
J. Funct. Program.
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
2015 B conf
Foundational Property-Based Testing.
ITP
Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce
2014 J jnl
Testing Noninterference, Quickly.
CoRR
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
2013 A conf
Testing noninterference, quickly.
ICFP
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
2012 — conf
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
WWV
Leonidas Lampropoulos, Konstantinos Sagonas