Efficient construction of approximate call graphs for JavaScript IDE services
- Asger Feldthaus
- Max Schafer
- et al.
- 2013
- ICSE 2013
Publications
Date
Featured collections
Popular topics
15 results for Manu Sridharan
Dynamic determinacy analysis
- Max Schäfer
- Manu Sridharan
- et al.
- 2013
- PLDI 2013
Thresher: Precise refutations for heap reachability
- Sam Blackshear
- Bor-Yuh Evan Chang
- et al.
- 2013
- PLDI 2013
Refactoring Java programs for flexible locking
- Max Schäfer
- Manu Sridharan
- et al.
- 2011
- ICSE 2011
Refactoring for reentrancy
- Jan Wloka
- Manu Sridharan
- et al.
- 2009
- ESEC/FSE 2009
TAJ: Effective taint analysis of web applications
- Omer Tripp
- Marco Pistoia
- et al.
- 2009
- PLDI 2009
Snugglebug: A powerful approach to weakest preconditions
- Satish Chandra
- Stephen J. Fink
- et al.
- 2009
- PLDI 2009
Efficient and precise datarace detection for multithreaded object-oriented programs
- Jong-Deok Choi
- Keunwoo Lee
- et al.
- 2002
- PLDI 2002
Translating imperative code to MapReduce
- Cosmin Radoi
- Stephen J. Fink
- et al.
- 2014
- OOPSLA 2014
Refactoring with synthesis
- Veselin Raychev
- Max Schäfer
- et al.
- 2013
- OOPSLA 2013