Leonidas Lampropoulos
Leonidas Lampropoulos
Postdoc between UPenn and UMD
Verified email at seas.upenn.edu - Homepage
TitleCited byYear
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
1012016
Biodegradable oxidized cellulose esters
V Kumar, Y Dong
US Patent 7,595,392, 2009
492009
Testing noninterference, quickly
C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ...
ACM SIGPLAN Notices 48 (9), 455-468, 2013
472013
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
382015
Beginner's Luck: A Language for Random Generators
L Lampropoulos, D Gallois-Wong, C Hriţcu, J Hughes, BC Pierce, LY Xia
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL …, 2017
20*2017
Automatic WSDL-guided test case generation for PropEr testing of web services
L Lampropoulos, K Sagonas
arXiv preprint arXiv:1210.6110, 2012
192012
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq
N Vazou, L Lampropoulos, J Polakow
ACM SIGPLAN Notices 52 (10), 63-74, 2017
142017
QuickChick: Property-based testing for Coq
M Dénès, C Hritcu, L Lampropoulos, Z Paraskevopoulou, BC Pierce
The Coq Workshop, 2014
122014
Testing noninterference, quickly
C Hriţcu, L Lampropoulos, A Spector-Zabusky, AA De Amorim, M Dénès, ...
Journal of Functional Programming 26, 2016
102016
Generating good generators for inductive relations
L Lampropoulos, Z Paraskevopoulou, BC Pierce
Proceedings of the ACM on Programming Languages 2 (POPL), 45, 2017
92017
Neural network image classifier
A Criminisi, AV Nori, D Vytiniotis, O Bastani, L Lampropoulos
US Patent App. 15/141,759, 2017
32017
Random Testing For Language Design
L Lampropoulos
University of Pennsylvania, 2018
12018
Ode on a random urn (functional pearl)
L Lampropoulos, A Spector-Zabusky, K Foner
ACM SIGPLAN Notices 52 (10), 26-37, 2017
12017
A Coq framework for verified property-based testing
Z Paraskevopoulou, C Hritcu, M Dénes, L Lampropoulos, BC Pierce
Internship Report, Inria Paris-Rocquencourt, 2014
12014
Keep your laziness in check
K Foner, H Zhang, L Lampropoulos
Proceedings of the ACM on Programming Languages 2 (ICFP), 102, 2018
2018
Testing Noninterference, Quickly
L LAMPROPOULOS, A SPECTOR-ZABUSKY, AA DE AMORIM, ...
arXiv preprint arXiv:1409.0393, 2014
2014
Αυτόματος έλεγχος υπηρεσιών διαδικτύου μέσω ιδιοτήτων
ΛΚ Λαμπρόπουλος, LK Lampropoulos
2012
A Tale of Two Provers
N Vazou, L Lampropoulos, J Polakow
Measuring Neural Net Robustness⋆
O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, AV Nori, A Criminisi
Making Our Own Luck
L Lampropoulos, BC Pierce, C Hritcu, J Hughes, Z Paraskevopoulou, ...
The system can't perform the operation now. Try again later.
Articles 1–20