Lazaro Clapp

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