- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c44 |      | Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra: Guided test generation for web applications. ICSE 2013: 162-171 |
| c43 | | Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra: SemFix: program repair via semantic analysis. ICSE 2013: 772-781 |
| c42 | | Suresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, Sampathkumar Sathishkumar: Efficient and change-resilient test automation: an industrial case study. ICSE 2013: 1002-1011 |
| e1 | | Sugata Ghosal, Gautam Shroff, Satish Chandra, Nachiappan Nagappan (Eds.): 6th India Software Engineering Conference, ISEC '13, New Delhi, India - February 21 - 23, 2013. ACM 2013, isbn 978-1-4503-1987-4 |
| 2012 | ||
| c41 | | Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan: Alternate and Learn: Finding Witnesses without Looking All over. CAV 2012: 599-615 |
| c40 | | Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip: Correlation Tracking for Points-To Analysis of JavaScript. ECOOP 2012: 435-458 |
| c39 | | Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra: Automating test automation. ICSE 2012: 881-891 |
| c38 | | Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin K. Das, Srinivas Mangipudi: Efficiently scripting change-resilient tests. SIGSOFT FSE 2012: 41 |
| 2011 | ||
| c37 | | |
| c36 | | Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra: Fault localization for data-centric programs. SIGSOFT FSE 2011: 157-167 |
| 2010 | ||
| c35 | | Neha Bhatia, Rohan Kundra, Anurag Chaurasia, Satish Chandra: Load Balancing Using Hybrid ACO - Random Walk Approach. BIONETICS 2010: 402-412 |
| c34 | | Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran: Making defect-finding tools work for you. ICSE (2) 2010: 99-108 |
| c33 | | Emina Torlak, Satish Chandra: Effective interprocedural resource leak detection. ICSE (1) 2010: 535-544 |
| c32 | | Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor: Programming with angelic nondeterminism. POPL 2010: 339-352 |
| c31 | | Ajay Kant, Arnesh Sharma, Sanchit Agarwal, Satish Chandra: An ACO Approach to Job Scheduling in Grid Environment. SEMCCO 2010: 286-295 |
| c30 | | Shardul Jain, Ankit Sabharwal, Satish Chandra: An Improvised Localization Scheme Using Active RFID for Accurate Tracking in Smart Homes. UKSim 2010: 51-56 |
| c29 | | Shardul Jain, Himanshu Singh, Ankur Chauhan, Deepak Pandey, Satish Chandra: Heuristics-Aided Load Balancing in Distributed Systems and Node Prioritization: An Intelligent Approach. UKSim 2010: 521-526 |
| 2009 | ||
| c28 | | Satish Chandra, Rajesh Bhat, Harinder Singh: A PSO based Method for Detection of Brain Tumors from MRI. NaBIC 2009: 666-671 |
| c27 | | Satish Chandra, Stephen J. Fink, Manu Sridharan: Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374 |
| c26 | | Satish Chandra, Rajesh Bhat, D. S. Chauhan: A Score Based Method for Controlling the Convergence Behavior of Particle Swarm Optimization. UKSim 2009: 19-24 |
| c25 | | Satish Chandra, Utkarsh Shrivastava, Rajan Vaish, Siddharth Dixit, Manisha Rana: Improved-AntNet: ACO Routing Algorithm in Practice. UKSim 2009: 25-29 |
| 2008 | ||
| c24 | | Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda: Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224 |
| c23 | | Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra: The CLOSER: automating resource management in java. ISMM 2008: 1-10 |
| c22 | | Greta Yorsh, Eran Yahav, Satish Chandra: Generating precise and concise procedure summaries. POPL 2008: 221-234 |
| c21 | | Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22 |
| 2007 | ||
| j6 | | 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 | ||
| j5 | | 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) |
| j4 | | Vibha Sinha, Bikram Sengupta, Satish Chandra: Enabling Collaboration in Distributed Requirements Management. IEEE Software 23(5): 52-61 (2006) |
| c20 | | Bikram Sengupta, Satish Chandra, Vibha Sinha: A research agenda for distributed software development. ICSE 2006: 731-740 |
| 2005 | ||
| c19 | | Mangala Gowri Nanda, Christian Grothoff, Satish Chandra: Deriving object typestates in the presence of inter-object references. OOPSLA 2005: 77-96 |
| c18 | | Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173 |
| 2004 | ||
| c17 | | |
| c16 | | Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar: Decentralizing execution of composite web services. OOPSLA 2004: 170-187 |
| 2003 | ||
| j3 | | Glenn Bruns, Satish Chandra: Searching for Points-To Analysis. IEEE Trans. Software Eng. 29(10): 883-897 (2003) |
| c15 | | Satish Chandra, Satyendra Bhattaram: Patterns Approach to Building Software Systems. STRAW 2003: 28-33 |
| c14 | | Jahangir Hasan, Satish Chandra, T. N. Vijaykumar: Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. ISCA 2003: 300-311 |
| 2002 | ||
| c13 | | Satish Chandra, Patrice Godefroid, Christopher Palm: Software model checking in practice: an industrial case study. ICSE 2002: 431-441 |
| c12 | | |
| 2001 | ||
| c11 | | Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219 |
| 2000 | ||
| c10 | | Atanas Rountev, Satish Chandra: Off-line variable substitution for scaling points-to analysis. PLDI 2000: 47-56 |
| c9 | | Peter J. McCann, Satish Chandra: Packet Types: Abstract specifications of network protocol messages. SIGCOMM 2000: 321-333 |
| 1999 | ||
| j2 | | 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) |
| c8 | | Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198 |
| c7 | | |
| 1997 | ||
| j1 | | Satish Chandra: A tutorial and diagnostic tool for chaotic oscillators and time series. Computers & Graphics 21(2): 253-262 (1997) |
| c6 | | 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 |
| c5 | | Satish Chandra, James R. Larus: Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory. PPOPP 1997: 100-111 |
| 1996 | ||
| c4 | | Satish Chandra, James R. Larus: HPF on Fine-Grain Distributed Shared Memory: Early Experience. LCPC 1996: 450-465 |
| c3 | | Satish Chandra, Brad Richards, James R. Larus: Teapot: Language Support for Writing Memory Coherence Protocols. PLDI 1996: 237-248 |
| 1994 | ||
| c2 | | Satish Chandra, James R. Larus, Anne Rogers: Where is Time Spent in Message-Passing and Shared-Memory Programs? ASPLOS 1994: 61-73 |
| 1993 | ||
| c1 | | 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 |
Colors in the list of coauthors
Last update Sat May 25 09:01:07 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page