Satish Chandra

	2009
31		Satish Chandra, Stephen J. Fink, Manu Sridharan: Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374
	2008
30		Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra: The CLOSER: automating resource management in java. ISMM 2008: 1-10
29		Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda: Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224
28		Greta Yorsh, Eran Yahav, Satish Chandra: Generating precise and concise procedure summaries. POPL 2008: 221-234
27		Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22
	2007
26		Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav: A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM Systems Journal 46(2): 265-288 (2007)
	2006
25		Bikram Sengupta, Satish Chandra, Vibha Sinha: A research agenda for distributed software development. ICSE 2006: 731-740
24		Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue: Technical forum: Using logical data models for understanding and transforming legacy business applications. IBM Systems Journal 45(3): 647-655 (2006)
23		Vibha Sinha, Bikram Sengupta, Satish Chandra: Enabling Collaboration in Distributed Requirements Management. IEEE Software 23(5): 52-61 (2006)
	2005
22		Mangala Gowri Nanda, Christian Grothoff, Satish Chandra: Deriving object typestates in the presence of inter-object references. OOPSLA 2005: 77-96
21		Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
	2004
20		Satish Chandra: Tools and Techniques for Multi-site Sotware Development. ICDCIT 2004: 243
19		Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar: Decentralizing execution of composite web services. OOPSLA 2004: 170-187
	2003
18		Jahangir Hasan, Satish Chandra, T. N. Vijaykumar: Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. ISCA 2003: 300-311
17		Satish Chandra, Satyendra Bhattaram: Patterns Approach to Building Software Systems. STRAW 2003: 28-33
16		Glenn Bruns, Satish Chandra: Searching for Points-To Analysis. IEEE Trans. Software Eng. 29(10): 883-897 (2003)
	2002
15		Satish Chandra, Patrice Godefroid, Christopher Palm: Software model checking in practice: an industrial case study. ICSE 2002: 431-441
14		Glenn Bruns, Satish Chandra: Searching for points-to analysis. SIGSOFT FSE 2002: 61-70
	2001
13		Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
	2000
12		Atanas Rountev, Satish Chandra: Off-line variable substitution for scaling points-to analysis. PLDI 2000: 47-56
11		Peter J. McCann, Satish Chandra: Packet Types: Abstract specifications of network protocol messages. SIGCOMM 2000: 321-333
	1999
10		Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
9		Satish Chandra, Thomas W. Reps: Physical Type Checking for C. PASTE 1999: 66-75
8		Satish Chandra, Brad Richards, James R. Larus: Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. IEEE Trans. Software Eng. 25(3): 317-333 (1999)
	1997
7		Satish Chandra, James R. Larus, Michael Dahlin, Brad Richards, Randolph Y. Wang, Thomas E. Anderson: Experience with a Language for Writing Coherence Protocols. DSL 1997: 51-66
6		Satish Chandra, James R. Larus: Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory. PPOPP 1997: 100-111
5		Satish Chandra: A tutorial and diagnostic tool for chaotic oscillators and time series. Computers & Graphics 21(2): 253-262 (1997)
	1996
4		Satish Chandra, James R. Larus: HPF on Fine-Grain Distributed Shared Memory: Early Experience. LCPC 1996: 450-465
3		Satish Chandra, Brad Richards, James R. Larus: Teapot: Language Support for Writing Memory Coherence Protocols. PLDI 1996: 237-248
	1994
2		Satish Chandra, James R. Larus, Anne Rogers: Where is Time Spent in Message-Passing and Shared-Memory Programs? ASPLOS 1994: 61-73
	1993
1		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. ISCA 1993: 156-167

Coauthor Index

1	Thomas E. Anderson	[7]
2	Thomas Ball	[10]
3	Karthikeyan Bhargavan	[13]
4	Satyendra Bhattaram	[17]
5	Rastislav Bodík	[27]
6	Glenn Bruns	[14] [16]
7	Michael Dahlin	[7]
8	Isil Dillig	[30]
9	Thomas Dillig	[30]
10	Babak Falsafi	[1]
11	John Field	[21] [24]
12	Stephen J. Fink (Stephen Fink)	[26] [29] [31]
13	Patrice Godefroid	[15]
14	Christian Grothoff	[22]
15	Carl A. Gunter	[13]
16	Jahangir Hasan	[18]
17	Howard M. Hess	[24]
18	Mark D. Hill	[1]
19	Manivannan Kalidasan	[24]
20	Raghavan Komondoor	[21] [24]
21	Krishna Kunchithapadam	[10]
22	James R. Larus	[1] [2] [3] [4] [6] [7] [8]
23	Alvin R. Lebeck	[1]
24	James C. Lewis	[1]
25	Alexey Loginov	[29]
26	Peter J. McCann	[11] [13]
27	Shubhendu S. Mukherjee	[1]
28	Mangala Gowri Nanda	[19] [22] [29]
29	Frans Nieuwerth	[24]
30	Subbarao Palacharla	[1]
31	Christopher Palm	[15]
32	Marco Pistoia	[26]
33	G. Ramalingam (Ganesan Ramalingam)	[21] [24]
34	Steven K. Reinhardt	[1]
35	Thomas W. Reps	[9] [10]
36	Brad Richards	[3] [7] [8]
37	Noam Rinetzky	[29]
38	Anne Rogers	[2]
39	Atanas Rountev	[12]
40	Vijay A. Saraswat	[27]
41	Vivek Sarkar	[19] [27]
42	Bikram Sengupta	[23] [25]
43	Michael Siff	[10]
44	Vibha Sinha (Vibha Singhal Sinha)	[23] [25]
45	Manu Sridharan	[31]
46	T. N. Vijaykumar	[18]
47	Jackie De Vries	[24]
48	Randolph Y. Wang	[7]
49	David A. Wood	[1]
50	Justin Xue	[24]
51	Eran Yahav	[26] [28] [29] [30]
52	Greta Yorsh	[28]

Colors in the list of coauthors