Modelgen: mining explicit information flow specifications from concrete executions. - Lazaro Clapp; Saswat Anand; Alex Aiken (ISSTA, 2015)

Minimizing GUI event traces. - Lazaro Clapp; Osbert Bastani; Saswat Anand; Alex Aiken (SIGSOFT FSE, 2016)

Eventually Sound Points-To Analysis with Missing Code. - Osbert Bastani; Lazaro Clapp; Saswat Anand; Rahul Sharma 001; Alex Aiken (CoRR, 2017)

Specification mining and automated testing of mobile applications. - Lazaro Clapp (2017)

Safe stream-based programming with refinement types. - Benno Stein 002; Lazaro Clapp; Manu Sridharan; Bor-Yuh Evan Chang (ASE, 2018)

Eventually Sound Points-To Analysis with Specifications. - Osbert Bastani; Rahul Sharma 001; Lazaro Clapp; Saswat Anand; Alex Aiken (ECOOP, 2019)

NullAway: practical type-based null safety for Java. - Subarno Banerjee; Lazaro Clapp; Manu Sridharan (ESEC/SIGSOFT FSE, 2019)

Piranha: reducing feature flag debt at uber. - Murali Krishna Ramanathan; Lazaro Clapp; Rajkishore Barik; Manu Sridharan (ICSE (SEIP), 2020)

Practical Inference of Nullability Types. - Nima Karimipour; Justin Pham; Lazaro Clapp; Manu Sridharan (ESEC/SIGSOFT FSE, 2023)

Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. - Yuxin Wang 004; Adam Welc; Lazaro Clapp; Lingchao Chen (ESEC/SIGSOFT FSE, 2023)

A Lightweight Polyglot Code Transformation Language. - Ameya Ketkar; Daniel Ramos; Lazaro Clapp; Raj Barik; Murali Krishna Ramanathan (Proc. ACM Program. Lang., 2024)