Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- ACM SIGPLAN Notices
Publications
Date
Featured collections
Popular topics
28 results for Satish Chandra
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
A research agenda for distributed software development
- Bikram Sengupta
- Satish Chandra
- et al.
- 2006
- ICSE 2006
Technical forum: Using logical data models for understanding and transforming legacy business applications
- Satish Chandra
- Jackie de Vries
- et al.
- 2006
- IBM Systems Journal
Deriving object typestates in the presence of inter-object references
- Mangala Gowri Nanda
- Christian Grothoff
- et al.
- 2005
- OOPSLA 2005
Dependent types for program understanding
- Raghavan Komondoor
- G. Ramalingam
- et al.
- 2005
- TACAS - ETAPS 2005
Decentralizing execution of composite web services
- Mangala Gowri Nanda
- Satish Chandra
- et al.
- 2004
- OOPSLA 2004