Scholar
Leonidas Lampropoulos
Google Scholar ID: JNUvp5kAAAAJ
Assistant Professor, University of Maryland
Programming Languages
Software Testing and Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
971
H-index
14
i10-index
18
Publications
20
Co-authors
14
list available
Publications
6 items
QuickerChick
2026
Cited
0
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
Co-authors
9 total
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Dimitrios Vytiniotis
DeepMind
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Antonio Criminisi
Partner Research Lead at Microsoft Corporation
Osbert Bastani
University of Pennsylvania
Yani Ioannou
Assistant Professor, Schulich Research Chair, University of Calgary
Aditya Nori
Microsoft Research
Arthur Azevedo de Amorim
Rochester Institute of Technology
