Lazaro Clapp

According to our database, Lazaro Clapp authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions.

Yuxin Wang, Adam Welc, Lazaro Clapp, Lingchao Chen

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Practical Inference of Nullability Types.

Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2020

Piranha: reducing feature flag debt at uber.

Murali Krishna Ramanathan, Lazaro Clapp, Rajkishore Barik, Manu Sridharan

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

NullAway: practical type-based null safety for Java.

Subarno Banerjee, Lazaro Clapp, Manu Sridharan

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Eventually Sound Points-To Analysis with Specifications.

Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Safe stream-based programming with refinement types.

Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Specification mining and automated testing of mobile applications.

Lazaro Clapp

PhD thesis, 2017

Eventually Sound Points-To Analysis with Missing Code.

Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken

CoRR, 2017

2016

Minimizing GUI event traces.

Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Modelgen: mining explicit information flow specifications from concrete executions.

Lazaro Clapp, Saswat Anand, Alex Aiken

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015