Leonidas Lampropoulos

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 28

Top Topics

Inductive Reasoning

Security Properties

Top Venues

Proc. ACM Program. Lang.

Publications

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