| 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 | 520 | 2016 |
| 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 | 92 | 2015 |
| 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 | 66 | 2017 |
| Testing noninterference, quickly C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ... ACM SIGPLAN Notices 48 (9), 455-468, 2013 | 63 | 2013 |
| Generating good generators for inductive relations L Lampropoulos, Z Paraskevopoulou, BC Pierce Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 58 | 2017 |
| Coverage guided, property based testing L Lampropoulos, M Hicks, BC Pierce Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 55 | 2019 |
| Neural network image classifier A Criminisi, AV Nori, D Vytiniotis, O Bastani, L Lampropoulos US Patent 10,007,866, 2018 | 35 | 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 | 34 | 2014 |
| 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 | 33 | 2012 |
| QuickChick: Property-Based Testing in Coq L Lampropoulos, BC Pierce Software Foundations series 4, 2018 | 32* | 2018 |
| 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 | 30 | 2019 |
| A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq N Vazou, L Lampropoulos, J Polakow Haskell Symposium, 2017 | 30 | 2017 |
| Testing noninterference, quickly C Hriţcu, L Lampropoulos, A Spector-Zabusky, AA De Amorim, M Dénès, ... Journal of Functional Programming 26, 2016 | 26 | 2016 |
| Computing correctly with inductive relations Z Paraskevopoulou, A Eline, L Lampropoulos Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 18 | 2022 |
| 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 | 16 | 2021 |
| Random Testing For Language Design L Lampropoulos University of Pennsylvania, 2018 | 11 | 2018 |
| A formal model of Checked C 1 L Li, Y Liu, D Postol, L Lampropoulos, D Van Horn, M Hicks Journal of Computer Security 31 (5), 581-614, 2023 | 8 | 2023 |
| 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 | 7 | 2023 |
| Keep your laziness in check K Foner, H Zhang, L Lampropoulos Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 6 | 2018 |
| 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 | 5 | 2022 |
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
