Leonidas Lampropoulos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | Object Graph Programming. | Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric |
| 2023 | HASKELL | 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 |
| 2022 | HASKELL | Liquid proof macros. | Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
| 2022 | ITP | Deeper Shallow Embeddings. | Jacob Prinz, G. A. Kavvos, Leonidas Lampropoulos |
| 2022 | PLDI | Computing correctly with inductive relations. | Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos |
| 2021 | ESOP | Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. | Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce |
| 2017 | HASKELL | Ode on a random urn (functional pearl). | Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner |
| 2017 | HASKELL | A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. | Niki Vazou, Leonidas Lampropoulos, Jeff Polakow |
| 2017 | POPL | Beginner's luck: a language for property-based generators. | Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia |
| 2015 | ITP | Foundational Property-Based Testing. | Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dns, Leonidas Lampropoulos, Benjamin C. Pierce |
| 2013 | ICFP | Testing noninterference, quickly. | Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |