Satish Chandra, Stephen Fink and Manu Sridharan, "Snugglebug: A Powerful Approach to Weakest Preconditions", in ACM Conference on Programming Languages Design and Implementation (PLDI), June 2009.
Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky and Mangala Gowri Nanda, "Verifying Deference Safety via Expanding-Scope Analysis", in International Symposium on Software Testing and Analysis (ISSTA), July 2008.
Isil Dillig, Thomas Dillig, Eran Yahav, and Satish Chandra, "The CLOSER: Automatic Resource Management in Java", in International Symposium on Memory Management (ISMM), June 2008.
Satish Chandra, Vijay Saraswat, Vivek Sarkar, and Rastislav Bodik, "Polymorphic Type Inference for Locality Analysis of Distributed Data Structures", in ACM Conference on Principles and Practice of Parallel Programming (PPoPP), February 2008.
Greta Yorsh, Eran Yahav, and Satish Chandra, "Generating Precise and Concise Procedure Summaries", in ACM Symposium on Principles of Programming Languages (POPL), January 2008.
Marco Pistoia, Satish Chandra, Stephen Fink, and Eran Yahav, "A Survey of Static Analysis Methods for Identifying Security Vulnerabilities in Software Systems", in IBM Systems Journal, volume 46, number 2, May 2007.
Bikram Sengupta, Vibha S. Sinha, and Satish Chandra, "Enabling Collaboration in Distributed Requirements Management", in IEEE Software, September 2006.
Satish Chandra, Jackie De Vries, John Field, Howard Hess, Manivannan Kalidasan, Komondoor V. Raghavan, Frans Nieuwerth, Ganesan Ramalingam, Justin Yue, "Using logical data models for understanding and transforming legacy business applications", IBM Systems Journal, volume 45, issue 3, July 2006.
Bikram Sengupta, Vibha S. Sinha, and Satish Chandra, “A Research Agenda in Distributed Software Development”, in International Conference on Software Engineering (ICSE) 2006.
Mangala Gowri Nanda, Christian Grothoff, and Satish Chandra, “Deriving Object Typestates in the Presence of Inter-Object References”, in ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2005.
Raghavan Komondoor, Satish Chandra, Ganesan Ramalingam, and John Field, “Guarded Types for Program Comprehension”, in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Jan 2005.
Mangala Gowri Nanda, Satish Chandra, and Vivek Sarkar, “Decentralizing Execution of Composite Web Services”, in ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Oct 2004.
Jahangir Hasan, Satish Chandra, and T. N. Vijaykumar, “Efficient Use of Memory Bandwidth for Enhancing Network Processor Throughput”, in International Symposium on Computer Architecture (ISCA), June 2003.
Glenn Bruns and Satish Chandra, “Searching for Points-to Analysis”, in ACM Symposium on Foundations of Software Engineering (FSE), Nov 2002. Expanded version in IEEE Transactions in Software Engineering (TSE), Nov 2003.
Satish Chandra, Patrice Godefroid, and Chris Palm, “Software Model Checking in Practice: An Industrial Case Study”, in ACM International Conference on Software Engineering (ICSE), May 2002.
Karthik Bhargavan, Satish Chandra, Peter McCann, and Carl Gunter, “What Packets May Come: Automata for Network Monitoring”, in ACM Symposium on Principles of Programming Languages (POPL), Jan 2001.
Peter McCann and Satish Chandra, “Packet Types: Abstract Specification of Network Protocol Messages”, in ACM Conference of Special Interest Group on Data Communications (SIGCOMM), August 2000.
Atanas Rountev and Satish Chandra, “Offline Variable Substitution for Scaling Points-to Analysis”, in ACM Conference on Programming Languages Design and Implementation (PLDI), June 2000.
Michael Siff, Satish Chandra, Thomas Ball, Krisna Kunchithapadam, Thomas Reps, “Coping with Type Casts in C”, in ACM Conference on Foundations of Software Engineering (FSE), September 1999.
Satish Chandra and Thomas Reps, “Physical Type Checking for C”, in ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE), September 1999.
Satish Chandra, Michael Dahlin, Brad Richards, Randolph Wang, Tom Anderson and James R. Larus, “Experience with a Language for Writing Coherence Protocols”, in USENIX Conference on Domain-Specific Languages (DSL), October 1997.
Satish Chandra and James R. Larus, “Optimizing Communication in HPF Programs for Fine-Grain Distributed Shared Memory”, in ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), June 1997.
Satish Chandra, Brad Richards and James R. Larus, “Teapot: Language Support for Writing Memory Coherence Protocols”, in ACM Conference on Programming Language Design and Implementation (PLDI), May 1996. Expanded version in IEEE Transactions in Software Engineering (TSE), June 1999.
Satish Chandra, James R. Larus and Anne Rogers, “Where is Time Spent in Message-Passing and Shared-Memory Programs?” in Conference on Architectural Support on Programming Languages and Operating Systems (ASPLOS), October 1994.
James R. Larus, Satish Chandra and David A. Wood, “CICO: A Shared-Memory Programming Performance Model”, invited chapter in Portability and Performance for Parallel Processors, John Wiley & Sons, 1994.
David A. Wood, Satish Chandra, Babak Falsafi, Mark D. Hill, James R. Larus, Alvin R. Lebeck, James C. Lewis, Shubhendu S. Mukherjee, Subbarao Palacharla, Steven K. Reinhardt, “Mechanisms for Cooperative Shared Memory”, in International Symposium on Computer Architecture (ISCA), May 1993.