Fault localization for data-centric programs
- Diptikalyan Saha
- Mangala Gowri Nanda
- et al.
- 2011
- FSE 2011
Publications
Date
Featured collections
Popular topics
28 results for Satish Chandra
Angelic debugging
- Satish Chandra
- Emina Torlak
- et al.
- 2011
- ICSE 2011
Making defect-finding tools work for you
- Mangala Gowri Nanda
- Monika Gupta
- et al.
- 2010
- ICSE 2010
Effective interprocedural resource leak detection
- Emina Torlak
- Satish Chandra
- 2010
- ICSE 2010
Programming with angelic nondeterminism
- Rastislav Bodik
- Satish Chandra
- et al.
- 2010
- POPL 2010
Snugglebug: A powerful approach to weakest preconditions
- Satish Chandra
- Stephen J. Fink
- et al.
- 2009
- PLDI 2009
The CLOSER: Automating resource management in Java
- Isil Dillig
- Thomas Dillig
- et al.
- 2008
- ISMM 2008
Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- POPL 2008
Verifying dereference safety via expanding-scope analysis
- A. Loginov
- E. Yahav
- et al.
- 2008
- ISSTA 2008
Type inference for locality analysis of distributed data structures
- Satish Chandra
- Vijay Saraswat
- et al.
- 2008
- PPoPP 2008