Leonidas Lampropoulos
Leonidas Lampropoulos
Assistant Professor, University of Maryland
Verified email at umd.edu - Homepage
Title
Cited by
Cited by
Year
Measuring neural net robustness with constraints
O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi
Advances in neural information processing systems, 2613-2621, 2016
2312016
Foundational property-based testing
Z Paraskevopoulou, C Hriţcu, M Dénès, L Lampropoulos, BC Pierce
International Conference on Interactive Theorem Proving, 325-343, 2015
602015
Testing noninterference, quickly
C Hriţcu, L Lampropoulos, A Spector-Zabusky, AA De Amorim, M Dénès, ...
Journal of Functional Programming 26, 2016
592016
Beginner's Luck: A Language for Random Generators
L Lampropoulos, D Gallois-Wong, C Hriţcu, J Hughes, BC Pierce, L Xia
29*2017
Generating good generators for inductive relations
L Lampropoulos, Z Paraskevopoulou, BC Pierce
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
232017
Automatic WSDL-guided test case generation for PropEr testing of web services
L Lampropoulos, K Sagonas
8th International Workshop on Automated Specification and Verification of …, 2012
232012
QuickChick: Property-based testing for Coq
M Dénès, C Hritcu, L Lampropoulos, Z Paraskevopoulou, BC Pierce
The Coq Workshop, 2014
202014
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq
N Vazou, L Lampropoulos, J Polakow
Haskell Symposium, 2017
182017
Neural network image classifier
A Criminisi, AV Nori, D Vytiniotis, O Bastani, L Lampropoulos
US Patent 10,007,866, 2018
102018
Achieving safety incrementally with checked c
A Ruef, L Lampropoulos, I Sweet, D Tarditi, M Hicks
International Conference on Principles of Security and Trust, 76-98, 2019
72019
QuickChick: Property-Based Testing in Coq. Electronic textbook
L Lampropoulos, BC Pierce
52018
QuickChick: Property-Based Testing in Coq
L Lampropoulos, BC Pierce
Software Foundations series 4, 2018
52018
Coverage guided, property based testing
L Lampropoulos, M Hicks, BC Pierce
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
32019
Keep your laziness in check
K Foner, H Zhang, L Lampropoulos
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
22018
Random Testing For Language Design
L Lampropoulos
University of Pennsylvania, 2018
22018
A Coq framework for verified property-based testing
Z Paraskevopoulou, C Hritcu
Internship Report, Inria Paris-Rocquencourt, 2014
22014
Ode on a random urn (functional pearl)
L Lampropoulos, A Spector-Zabusky, K Foner
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 26-37, 2017
12017
Testing Noninterference, Quickly
L LAMPROPOULOS, A SPECTOR-ZABUSKY, AA DE AMORIM, ...
arXiv preprint arXiv:1409.0393, 2014
2014
Αυτόματος έλεγχος υπηρεσιών διαδικτύου μέσω ιδιοτήτων
ΛΚ Λαμπρόπουλος
2012
Research Statement: Software Correctness at Scale through Testing and Verification
L Lampropoulos
The system can't perform the operation now. Try again later.
Articles 1–20