Leonidas Lampropoulos
Scholar

Leonidas Lampropoulos

Google Scholar ID: JNUvp5kAAAAJ
Assistant Professor, University of Maryland
Programming LanguagesSoftware Testing and Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
971
 
H-index
14
 
i10-index
18
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
5 items
Etna: An Evaluation Platform for Property-Based Testing
2026
Cited
0
Programmable Property-Based Testing
2026
Cited
0
The Search for Constrained Random Generators
2025
Cited
0
Compositional Quantum Control Flow with Efficient Compilation in Qunity
2025
Cited
0
COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
2023
Cited
0
Resume (English only)
Co-authors
14 total
Benjamin C. Pierce
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Dimitrios Vytiniotis
Dimitrios Vytiniotis
DeepMind
Cătălin Hrițcu
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Co-author 4
Co-author 4
Antonio Criminisi
Antonio Criminisi
Partner Research Lead at Microsoft Corporation
Osbert Bastani
Osbert Bastani
University of Pennsylvania
Yani Ioannou
Yani Ioannou
Assistant Professor, Schulich Research Chair, University of Calgary
Aditya Nori
Aditya Nori
Microsoft Research