| 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 | 411 | 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 | 79 | 2015 |
| Testing noninterference, quickly C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ... ACM SIGPLAN Notices 48 (9), 455-468, 2013 | 59 | 2013 |
| 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 | 51 | 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 | 42 | 2017 |
| A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq N Vazou, L Lampropoulos, J Polakow Haskell Symposium, 2017 | 28 | 2017 |
| Coverage guided, property based testing L Lampropoulos, M Hicks, BC Pierce Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 27 | 2019 |
| QuickChick: Property-based testing for Coq M Dénès, C Hritcu, L Lampropoulos, Z Paraskevopoulou, BC Pierce The Coq Workshop 125, 126, 2014 | 26 | 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 | 26 | 2012 |
| Neural network image classifier A Criminisi, AV Nori, D Vytiniotis, O Bastani, L Lampropoulos US Patent 10,007,866, 2018 | 25 | 2018 |
| QuickChick: Property-Based Testing in Coq L Lampropoulos, BC Pierce Software Foundations series 4, 2018 | 23* | 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 | 21 | 2019 |
| Testing noninterference, quickly C Hriţcu, L Lampropoulos, A Spector-Zabusky, AA De Amorim, M Dénès, ... Journal of Functional Programming 26, 2016 | 21 | 2016 |
| Computing correctly with inductive relations Z Paraskevopoulou, A Eline, L Lampropoulos Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 9 | 2022 |
| Random Testing For Language Design L Lampropoulos University of Pennsylvania, 2018 | 6 | 2018 |
| Keep your laziness in check K Foner, H Zhang, L Lampropoulos Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 5 | 2018 |
| Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing H Goldstein, J Hughes, L Lampropoulos, BC Pierce Programming Languages and Systems: 30th European Symposium on Programming …, 2021 | 4 | 2021 |
| A Formal Model of Checked C L Li, Y Liu, D Postol, L Lampropoulos, D Van Horn, M Hicks 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 49-63, 2022 | 3 | 2022 |
| Deeper Shallow Embeddings J Prinz, GA Kavvos, L Lampropoulos 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022 | 3 | 2022 |
| A Coq framework for verified property-based testing Z Paraskevopoulou, C Hritcu Internship Report, Inria Paris-Rocquencourt, 2014 | 2 | 2014 |
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
