Satish Chandra Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, Stephen J. Fink, Manu Sridharan: Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374
2008
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra: The CLOSER: automating resource management in java. ISMM 2008: 1-10
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda: Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreta Yorsh, Eran Yahav, Satish Chandra: Generating precise and concise procedure summaries. POPL 2008: 221-234
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22
2007
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBikram Sengupta, Satish Chandra, Vibha Sinha: A research agenda for distributed software development. ICSE 2006: 731-740
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish 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)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVibha Sinha, Bikram Sengupta, Satish Chandra: Enabling Collaboration in Distributed Requirements Management. IEEE Software 23(5): 52-61 (2006)
2005
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMangala Gowri Nanda, Christian Grothoff, Satish Chandra: Deriving object typestates in the presence of inter-object references. OOPSLA 2005: 77-96
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
2004
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra: Tools and Techniques for Multi-site Sotware Development. ICDCIT 2004: 243
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMangala Gowri Nanda, Satish Chandra, Vivek Sarkar: Decentralizing execution of composite web services. OOPSLA 2004: 170-187
2003
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJahangir Hasan, Satish Chandra, T. N. Vijaykumar: Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. ISCA 2003: 300-311
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, Satyendra Bhattaram: Patterns Approach to Building Software Systems. STRAW 2003: 28-33
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGlenn Bruns, Satish Chandra: Searching for Points-To Analysis. IEEE Trans. Software Eng. 29(10): 883-897 (2003)
2002
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, Patrice Godefroid, Christopher Palm: Software model checking in practice: an industrial case study. ICSE 2002: 431-441
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGlenn Bruns, Satish Chandra: Searching for points-to analysis. SIGSOFT FSE 2002: 61-70
2001
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtanas Rountev, Satish Chandra: Off-line variable substitution for scaling points-to analysis. PLDI 2000: 47-56
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. McCann, Satish Chandra: Packet Types: Abstract specifications of network protocol messages. SIGCOMM 2000: 321-333
1999
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, Thomas W. Reps: Physical Type Checking for C. PASTE 1999: 66-75
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, James R. Larus: Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory. PPOPP 1997: 100-111
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra: A tutorial and diagnostic tool for chaotic oscillators and time series. Computers & Graphics 21(2): 253-262 (1997)
1996
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, James R. Larus: HPF on Fine-Grain Distributed Shared Memory: Early Experience. LCPC 1996: 450-465
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, Brad Richards, James R. Larus: Teapot: Language Support for Writing Memory Coherence Protocols. PLDI 1996: 237-248
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, James R. Larus, Anne Rogers: Where is Time Spent in Message-Passing and Shared-Memory Programs? ASPLOS 1994: 61-73
1993
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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

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

Colors in the list of coauthors

Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)