Type inference for locality analysis of distributed data structures
- Satish Chandra
- Vijay Saraswat
- et al.
- 2008
- PPoPP 2008
Publications
Date
Featured collections
Popular topics
28 results for Satish Chandra
Deriving object typestates in the presence of inter-object references
- Mangala Gowri Nanda
- Christian Grothoff
- et al.
- 2005
- OOPSLA 2005
Decentralizing execution of composite web services
- Mangala Gowri Nanda
- Satish Chandra
- et al.
- 2004
- OOPSLA 2004
Viewpoint lessons from the tech transfer trenches
- Satish Chandra
- Suresh Thummalapenta
- et al.
- 2016
- Communications of the ACM
Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- ACM SIGPLAN Notices
A survey of static analysis methods for identifying security vulnerabilities in software systems
- Marco Pistoia
- Satish Chandra
- et al.
- 2007
- IBM Systems Journal
Enabling collaboration in distributed requirements management
- Vibha Sinha
- Bikram Sengupta
- et al.
- 2006
- IEEE Software
Technical forum: Using logical data models for understanding and transforming legacy business applications
- Satish Chandra
- Jackie de Vries
- et al.
- 2006
- IBM Systems Journal