Підписатись
Leonidas Lampropoulos
Leonidas Lampropoulos
Assistant Professor, University of Maryland
Підтверджена електронна адреса в umd.edu - Домашня сторінка
Назва
Посилання
Посилання
Рік
Measuring neural net robustness with constraints
O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi
Advances in neural information processing systems 29, 2016
5412016
Foundational property-based testing
Z Paraskevopoulou, C Hriţcu, M Dénès, L Lampropoulos, BC Pierce
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015
992015
Beginner's luck: a language for property-based generators
L Lampropoulos, D Gallois-Wong, C Hriţcu, J Hughes, BC Pierce, L Xia
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
702017
Coverage guided, property based testing
L Lampropoulos, M Hicks, BC Pierce
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
642019
Generating good generators for inductive relations
L Lampropoulos, Z Paraskevopoulou, BC Pierce
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
642017
Testing noninterference, quickly
C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ...
ACM SIGPLAN Notices 48 (9), 455-468, 2013
632013
Neural network image classifier
A Criminisi, AV Nori, D Vytiniotis, O Bastani, L Lampropoulos
US Patent 10,007,866, 2018
392018
Achieving safety incrementally with Checked C
A Ruef, L Lampropoulos, I Sweet, D Tarditi, M Hicks
Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019
332019
QuickChick: Property-Based Testing in Coq
L Lampropoulos, BC Pierce
Software Foundations series 4, 2018
33*2018
QuickChick: Property-based testing for Coq
M Dénès, C Hritcu, L Lampropoulos, Z Paraskevopoulou, BC Pierce
The Coq Workshop 125, 126, 2014
332014
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
332012
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq
N Vazou, L Lampropoulos, J Polakow
Haskell Symposium, 2017
302017
Testing noninterference, quickly
C Hriţcu, L Lampropoulos, A Spector-Zabusky, AA De Amorim, M Dénès, ...
Journal of Functional Programming 26, 2016
272016
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
H Goldstein, J Hughes, L Lampropoulos, BC Pierce
European Symposium on Programming, 264-291, 2021
232021
Computing correctly with inductive relations
Z Paraskevopoulou, A Eline, L Lampropoulos
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
182022
Random Testing For Language Design
L Lampropoulos
University of Pennsylvania, 2018
112018
A formal model of Checked C
L Li, Y Liu, D Postol, L Lampropoulos, D Van Horn, M Hicks
Journal of Computer Security 31 (5), 581-614, 2023
102023
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
J Shi, A Keles, H Goldstein, BC Pierce, L Lampropoulos
Proceedings of the ACM on Programming Languages 7 (ICFP), 878-894, 2023
92023
Random testing of a higher-order blockchain language (experience report)
T Hoang, A Trunov, L Lampropoulos, I Sergey
Proceedings of the ACM on Programming Languages 6 (ICFP), 886-901, 2022
72022
Keep your laziness in check
K Foner, H Zhang, L Lampropoulos
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
62018
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20