Leonidas Lampropoulos
University of Maryland, Baltimore
H-index: 14
North America-United States
Top articles of Leonidas Lampropoulos
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Object Graph Programming | Aditya Thimmaiah Leonidas Lampropoulos Christopher Rossbach Milos Gligoric | 2024/2/6 | |
Generating Well-Typed Terms That Are Not “Useless” | Proceedings of the ACM on Programming Languages | Justin Frank Benjamin Quiring Leonidas Lampropoulos | 2024/1/5 |
Formalizing Stack Safety as a Security Property | Sean Noble Anderson Roberto Blanco Leonidas Lampropoulos Benjamin C Pierce Andrew Tolmach | 2023/7/10 | |
Merging Inductive Relations | Proceedings of the ACM on Programming Languages | Jacob Prinz Leonidas Lampropoulos | 2023/6/6 |
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 | 2023/8/30 | |
Etna: An Evaluation Platform for Property-Based Testing (Experience Report) | Proceedings of the ACM on Programming Languages | Jessica Shi Alperen Keles Harrison Goldstein Benjamin C Pierce Leonidas Lampropoulos | 2023/8/30 |
Computing correctly with inductive relations | Zoe Paraskevopoulou Aaron Eline Leonidas Lampropoulos | 2022/6/9 | |
Deeper Shallow Embeddings | International Conference on Interactive Theorem Proving | Jacob Prinz GA Kavvos Leonidas Lampropoulos | 2022/1 |
Liquid proof macros | Henry Blanchette Niki Vazou Leonidas Lampropoulos | 2022/9/6 | |
Random testing of a higher-order blockchain language (experience report) | Proceedings of the ACM on Programming Languages | Tram Hoang Anton Trunov Leonidas Lampropoulos Ilya Sergey | 2022/8/29 |
A formal model of Checked C | Liyi Li Yiyun Liu Deena Postol Leonidas Lampropoulos David Van Horn | 2022/8/7 | |
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing | Harrison Goldstein John Hughes Leonidas Lampropoulos Benjamin C Pierce | 2021/3/23 |