Leonidas Lampropoulos

According to our database, Leonidas Lampropoulos authored at least 26 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Generating Well-Typed Terms That Are Not "Useless".

Justin Frank, Benjamin Quiring, Leonidas Lampropoulos

Proc. ACM Program. Lang., January, 2024

Object Graph Programming.

Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Etna: An Evaluation Platform for Property-Based Testing (Experience Report).

Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos

Proc. ACM Program. Lang., August, 2023

Merging Inductive Relations.

Jacob Prinz, Leonidas Lampropoulos

Proc. ACM Program. Lang., 2023

A formal model of Checked C.

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

J. Comput. Secur., 2023

Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses.

Finn Voichick, Leonidas Lampropoulos, Robert Rand

CoRR, 2023

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing.

Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

Formalizing Stack Safety as a Security Property.

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

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Random testing of a higher-order blockchain language (experience report).

Tram Hoang, Anton Trunov, Leonidas Lampropoulos, Ilya Sergey

Proc. ACM Program. Lang., 2022

Computing correctly with inductive relations.

Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Deeper Shallow Embeddings.

Jacob Prinz, G. A. Kavvos, Leonidas Lampropoulos

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Liquid proof macros.

Henry Blanchette, Niki Vazou, Leonidas Lampropoulos

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

2021

Security Properties for Stack Safety.

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

CoRR, 2021

Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing.

Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce

Proceedings of the Programming Languages and Systems, 2021

2019

Coverage guided, property based testing.

Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce

Proc. ACM Program. Lang., 2019

Achieving Safety Incrementally with Checked C.

Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

2018

Generating good generators for inductive relations.

Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce

Proc. ACM Program. Lang., 2018

Keep your laziness in check.

Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos

Proc. ACM Program. Lang., 2018

2017

Beginner's luck: a language for property-based generators.

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

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq.

Niki Vazou, Leonidas Lampropoulos, Jeff Polakow

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Ode on a random urn (functional pearl).

Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

Testing noninterference, quickly.

Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis

J. Funct. Program., 2016

Measuring Neural Net Robustness with Constraints.

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

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2015

Foundational Property-Based Testing.

Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2013

Testing noninterference, quickly.

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

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services

Leonidas Lampropoulos, Konstantinos Sagonas

Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012