Lazaro Clapp
Lazaro Clapp
Programming Systems Group, Uber Technologies Inc.
Verified email at uber.com - Homepage
Title
Cited by
Cited by
Year
Minimizing GUI event traces
L Clapp, O Bastani, S Anand, A Aiken
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
382016
Modelgen: mining explicit information flow specifications from concrete executions
L Clapp, S Anand, A Aiken
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
302015
Nullaway: Practical type-based null safety for java
S Banerjee, L Clapp, M Sridharan
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
142019
Eventually Sound Points-To Analysis with Specifications
O Bastani, R Sharma, L Clapp, S Anand, A Aiken
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
52019
Safe stream-based programming with refinement types
B Stein, L Clapp, M Sridharan, BYE Chang
2018 33rd IEEE/ACM International Conference on Automated Software …, 2018
52018
Piranha: Reducing feature flag debt at uber
MK Ramanathan, L Clapp, R Barik, M Sridharan
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
22020
Eventually Sound Points-To Analysis with Missing Code
O Bastani, L Clapp, S Anand, R Sharma, A Aiken
arXiv preprint arXiv:1711.03436, 2017
12017
Mining explicit information flow specifications from concrete executions
L Clapp, S Anand, A Aiken
FSE 5, 24-82, 2014
12014
Specification Mining and Automated Testing of Mobile Applications
L Clapp
Stanford University, 2017
2017
Modelgen
L Clapp, S Anand, A Aiken
The system can't perform the operation now. Try again later.
Articles 1–10