Lazaro Clapp

Identifiers

No identifiers captured yet.

Papers (3)

1. NullAway: Practical Type-Based Null Safety for Java cs.SE · 2019 · author #2
2. Safe Stream-Based Programming with Refinement Types cs.SE · 2018 · author #2
3. Eventually Sound Points-To Analysis with Missing Code cs.PL · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Manu Sridharan 2 shared papers
• Alex Aiken 1 shared papers
• Benno Stein 1 shared papers
• Bor-Yuh Evan Chang 1 shared papers
• Osbert Bastani 1 shared papers
• Rahul Sharma 1 shared papers
• Saswat Anand 1 shared papers
• Subarno Banerjee 1 shared papers