Manu Sridharan

Identifiers

No identifiers captured yet.

Papers (4)

1. NullAway: Practical Type-Based Null Safety for Java cs.SE · 2019 · author #3
2. Safe Stream-Based Programming with Refinement Types cs.SE · 2018 · author #3
3. Type Inference for Static Compilation of JavaScript (Extended Version) cs.PL · 2016 · author #5
4. Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) cs.PL · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Colin S. Gordon 2 shared papers
• Frank Tip 2 shared papers
• Lazaro Clapp 2 shared papers
• Satish Chandra 2 shared papers
• Benno Stein 1 shared papers
• Bor-Yuh Evan Chang 1 shared papers
• Cole Schlesinger 1 shared papers
• Esben Andreasen 1 shared papers
• Jean-Baptiste Jeannin 1 shared papers
• Koushik Sen 1 shared papers
• Subarno Banerjee 1 shared papers
• Youngil Choi 1 shared papers