Satish Chandra

2008
27	EE	Greta Yorsh, Eran Yahav, Satish Chandra: Generating precise and concise procedure summaries. POPL 2008: 221-234
26	EE	Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22
2007
25	EE	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
24	EE	Bikram Sengupta, Satish Chandra, Vibha Sinha: A research agenda for distributed software development. ICSE 2006: 731-740
23	EE	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)
22	EE	Vibha Sinha, Bikram Sengupta, Satish Chandra: Enabling Collaboration in Distributed Requirements Management. IEEE Software 23(5): 52-61 (2006)
2005
21	EE	Mangala Gowri Nanda, Christian Grothoff, Satish Chandra: Deriving object typestates in the presence of inter-object references. OOPSLA 2005: 77-96
20	EE	Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
2004
19	EE	Satish Chandra: Tools and Techniques for Multi-site Sotware Development. ICDCIT 2004: 243
18	EE	Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar: Decentralizing execution of composite web services. OOPSLA 2004: 170-187
2003
17	EE	Jahangir Hasan, Satish Chandra, T. N. Vijaykumar: Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. ISCA 2003: 300-311
16	EE	Glenn Bruns, Satish Chandra: Searching for Points-To Analysis. IEEE Trans. Software Eng. 29(10): 883-897 (2003)
2002
15	EE	Satish Chandra, Patrice Godefroid, Christopher Palm: Software model checking in practice: an industrial case study. ICSE 2002: 431-441
14	EE	Glenn Bruns, Satish Chandra: Searching for points-to analysis. SIGSOFT FSE 2002: 61-70
2001
13	EE	Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
2000
12	EE	Atanas Rountev, Satish Chandra: Off-line variable substitution for scaling points-to analysis. PLDI 2000: 47-56
11	EE	Peter J. McCann, Satish Chandra: Packet Types: Abstract specifications of network protocol messages. SIGCOMM 2000: 321-333
1999
10	EE	Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
9	EE	Satish Chandra, Thomas W. Reps: Physical Type Checking for C. PASTE 1999: 66-75
8	EE	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	EE	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	EE	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	Rastislav Bodík	[26]
5	Glenn Bruns	[14] [16]
6	Michael Dahlin	[7]
7	Babak Falsafi	[1]
8	John Field	[20] [23]
9	Stephen J. Fink (Stephen Fink)	[25]
10	Patrice Godefroid	[15]
11	Christian Grothoff	[21]
12	Carl A. Gunter	[13]
13	Jahangir Hasan	[17]
14	Howard M. Hess	[23]
15	Mark D. Hill	[1]
16	Manivannan Kalidasan	[23]
17	Raghavan Komondoor	[20] [23]
18	Krishna Kunchithapadam	[10]
19	James R. Larus	[1] [2] [3] [4] [6] [7] [8]
20	Alvin R. Lebeck	[1]
21	James C. Lewis	[1]
22	Peter J. McCann	[11] [13]
23	Shubhendu S. Mukherjee	[1]
24	Mangala Gowri Nanda	[18] [21]
25	Frans Nieuwerth	[23]
26	Subbarao Palacharla	[1]
27	Christopher Palm	[15]
28	Marco Pistoia	[25]
29	G. Ramalingam (Ganesan Ramalingam)	[20] [23]
30	Steven K. Reinhardt	[1]
31	Thomas W. Reps	[9] [10]
32	Brad Richards	[3] [7] [8]
33	Anne Rogers	[2]
34	Atanas Rountev	[12]
35	Vijay A. Saraswat	[26]
36	Vivek Sarkar	[18] [26]
37	Bikram Sengupta	[22] [24]
38	Michael Siff	[10]
39	Vibha Sinha	[22] [24]
40	T. N. Vijaykumar	[17]
41	Jackie De Vries	[23]
42	Randolph Y. Wang	[7]
43	David A. Wood	[1]
44	Justin Xue	[23]
45	Eran Yahav	[25] [27]
46	Greta Yorsh	[27]

Colors in the list of coauthors