Lazaro Clapp

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 11

Top Topics

Information Flow

Top Venues

ESEC/SIGSOFT FSE

Proc. ACM Program. Lang.

Publications

Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, Murali Krishna Ramanathan
A Lightweight Polyglot Code Transformation Language. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Yuxin Wang, Adam Welc, Lazaro Clapp, Lingchao Chen
Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. ESEC/SIGSOFT FSE (2023)
Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan
Practical Inference of Nullability Types. ESEC/SIGSOFT FSE (2023)
Murali Krishna Ramanathan, Lazaro Clapp, Rajkishore Barik, Manu Sridharan
Piranha: reducing feature flag debt at uber. ICSE (SEIP) (2020)
Subarno Banerjee, Lazaro Clapp, Manu Sridharan
NullAway: practical type-based null safety for Java. ESEC/SIGSOFT FSE (2019)
Subarno Banerjee, Lazaro Clapp, Manu Sridharan
NullAway: Practical Type-Based Null Safety for Java. CoRR (2019)
Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
Eventually Sound Points-To Analysis with Specifications. ECOOP (2019)
Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
Safe stream-based programming with refinement types. ASE (2018)
Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
Safe Stream-Based Programming with Refinement Types. CoRR (2018)
Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
Eventually Sound Points-To Analysis with Missing Code. CoRR (2017)
Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
Minimizing GUI event traces. SIGSOFT FSE (2016)
Lazaro Clapp, Saswat Anand, Alex Aiken
Modelgen: mining explicit information flow specifications from concrete executions. ISSTA (2015)