Satish Chandra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
15
Active years
1993–2026
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSE | Reading Between the Lines: Scalable User Feedback via Implicit Sentiment in Developer Prompts. | Daye Nam, Malgorzata Salawa, Satish Chandra |
| 2024 | ICSE | Resolving Code Review Comments with Machine Learning. | Alexander Frmmgen, Jacob Austin, Peter Choy, Nimesh Ghelani, Lera Kharatyan, Gabriela Surita, Elena Khrapko, Pascal Lamblin, Pierre-Antoine Manzagol, Marcus Revaj, Maxim Tabachnyk, Daniel Tarlow, Kevin Villela, Daniel Zheng, Satish Chandra, Petros Maniatis |
| 2022 | ICSE | Counterfactual Explanations for Models of Code. | Jrgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra |
| 2022 | ICSE | Mining Idioms in the Wild. | Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra |
| 2022 | PLDI | Predictive synthesis of API-centric code. | Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra |
| 2021 | ICSE | What It Would Take to Use Mutation Testing in Industry - A Study at Facebook. | Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer |
| 2021 | ICSE | Code Prediction by Feeding Trees to Transformers. | Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra |
| 2021 | ICSE | Industry-Scale IR-Based Bug Localization: A Perspective from Facebook. | Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra |
| 2021 | ICSE | Scalable Statistical Root Cause Analysis on App Telemetry. | Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra |
| 2020 | ICSE | Debugging crashes using | Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra |
| 2020 | ISSTA | Scaffle: bug localization on millions of files. | Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra |
| 2019 | ICSE | Predictive test selection. | Mateusz Machalica, Alex Samylkin, Meredith Porth, Satish Chandra |
| 2019 | ICSE | SapFix: automated end-to-end repair at scale. | Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott |
| 2019 | PLDI | Neural query expansion for code search. | Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra |
| 2018 | PLDI | Retrieval on source code: a neural code search. | Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra |
| 2017 | CAV | Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. | Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev |
| 2017 | OOPSLA | I¿¿¿: a calculus for internet of things automation. | Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan |
| 2016 | ECOOP | Trace Typing: An Approach for Evaluating Retrofitted Type Systems. | Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen |
| 2016 | OOPSLA | Type inference for static compilation of JavaScript. | Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi |
| 2016 | OOPSLA | A practical framework for type inference error explanation. | Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan |
| 2015 | ICST | Test Generation from Business Rules. | Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra |
| 2015 | OOPSLA | Toward tool support for interactive synthesis. | Shaon Barman, Rastislav Bodk, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler |
| 2015 | SAS | SJS: A Type System for JavaScript with Fixed Object Layout. | Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen |
| 2014 | ICSE | Software services: a research roadmap. | Satish Chandra, Vibha Singhal Sinha, Saurabh Sinha, Krishna Ratakonda |
| 2014 | ICSE | Data-guided repair of selection statements. | Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra |
| 2014 | ISSTA | Robust test automation using contextual clues. | Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra |
| 2013 | ICSE | SemFix: program repair via semantic analysis. | Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra |
| 2013 | ICSE | Efficient and change-resilient test automation: an industrial case study. | Suresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, Sampathkumar Sathishkumar |
| 2013 | ICSE | Guided test generation for web applications. | Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra |
| 2012 | CAV | Alternate and Learn: Finding Witnesses without Looking All over. | Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan |
| 2012 | ECOOP | Correlation Tracking for Points-To Analysis of JavaScript. | Manu Sridharan, Julian Dolby, Satish Chandra, Max Schfer, Frank Tip |
| 2012 | ICSE | Automating test automation. | Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra |
| 2011 | ICSE | Angelic debugging. | Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodk |
| 2010 | ICSE | Making defect-finding tools work for you. | Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran |
| 2010 | ICSE | Effective interprocedural resource leak detection. | Emina Torlak, Satish Chandra |
| 2010 | POPL | Programming with angelic nondeterminism. | Rastislav Bodk, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor |
| 2009 | PLDI | Snugglebug: a powerful approach to weakest preconditions. | Satish Chandra, Stephen J. Fink, Manu Sridharan |
| 2008 | ISSTA | Verifying dereference safety via expanding-scope analysis. | Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda |
| 2008 | POPL | Generating precise and concise procedure summaries. | Greta Yorsh, Eran Yahav, Satish Chandra |
| 2008 | PPoPP | Type inference for locality analysis of distributed data structures. | Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodk |
| 2006 | ICSE | A research agenda for distributed software development. | Bikram Sengupta, Satish Chandra, Vibha Sinha |
| 2005 | OOPSLA | Deriving object typestates in the presence of inter-object references. | Mangala Gowri Nanda, Christian Grothoff, Satish Chandra |
| 2005 | TACAS | Dependent Types for Program Understanding. | Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field |
| 2004 | ICDCIT | Tools and Techniques for Multi-site Sotware Development. | Satish Chandra |
| 2004 | OOPSLA | Decentralizing execution of composite web services. | Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar |
| 2003 | ISCA | Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. | Jahangir Hasan, Satish Chandra, T. N. Vijaykumar |
| 2003 | ICSE | Patterns Approach to Building Software Systems. | Satish Chandra, Satyendra Bhattaram |
| 2002 | ICSE | Software model checking in practice: an industrial case study. | Satish Chandra, Patrice Godefroid, Christopher Palm |
| 2001 | POPL | What packets may come: automata for network monitoring. | Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter |
| 2000 | PLDI | Off-line variable substitution for scaling points-to analysis. | Atanas Rountev, Satish Chandra |
| 2000 | SIGCOMM | Packet Types: Abstract specifications of network protocol messages. | Peter J. McCann, Satish Chandra |
| 1997 | PPoPP | Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory. | Satish Chandra, James R. Larus |
| 1996 | PLDI | Teapot: Language Support for Writing Memory Coherence Protocols. | Satish Chandra, Brad Richards, James R. Larus |
| 1994 | ASPLOS | Where is Time Spent in Message-Passing and Shared-Memory Programs? | Satish Chandra, James R. Larus, Anne Rogers |
| 1993 | ISCA | Mechanisms for Cooperative Shared Memory. | 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 |