19 citations · 19 across the 1 of their papers we have counts for
5 papers
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)
Madhurima Chakraborty, Renzo Olivares, Manu Sridharan +1
Building sound and precise static call graphs for real-world JavaScript applications poses an enormous challenge, due to many hard-to-analyze language features. Further, the relati…
Demanded Abstract Interpretation (Extended Version)
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
We consider the problem of making expressive static analyzers interactive. Formal static analysis is seeing increasingly widespread adoption as a tool for verification and bug-find…
NullAway: Practical Type-Based Null Safety for Java
Subarno Banerjee, Lazaro Clapp, Manu Sridharan
NullPointerExceptions (NPEs) are a key source of crashes in modern Java programs. Previous work has shown how such errors can be prevented at compile time via code annotations and…
Safe Stream-Based Programming with Refinement Types
Benno Stein, Lazaro Clapp, Manu Sridharan +1
In stream-based programming, data sources are abstracted as a stream of values that can be manipulated via callback functions. Stream-based programming is exploding in popularity,…
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)
Esben Andreasen, Colin S. Gordon, Satish Chandra +3
Recent years have seen growing interest in the retrofitting of type systems onto dynamically-typed programming languages, in order to improve type safety, programmer productivity,…