Satish Chandra

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 55

Top Venues

Publications

Sarah D'Angelo, Ambar Murillo, Satish Chandra, Andrew Macvean
What Do Developers Want From AI? IEEE Softw. 41 (3) (2024)
Alexander Frömmgen, 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
Resolving Code Review Comments with Machine Learning. ICSE-SEIP (2024)
Reyhaneh Jabbarvand, Saeid Tizpaz-Niari, Earl T. Barr, Satish Chandra
Summary of the 1st Interpretability and Robustness in Neural Software Engineering (InteNSE 2023). ACM SIGSOFT Softw. Eng. Notes 49 (1) (2024)
Satish Chandra
AI in Software Engineering at Google: Progress and the Path Ahead (Invited Talk). AIware (2024)
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
Counterfactual Explanations for Models of Code. Software Engineering (2024)
Chakkrit Tantithamthavorn, Jürgen Cito, Hadi Hemmati, Satish Chandra
Explainable AI for SE: Challenges and Future Directions. IEEE Softw. 40 (3) (2023)
Jürgen Cito, Satish Chandra, Chakkrit Tantithamthavorn, Hadi Hemmati
Expert Perspectives on Explainability. IEEE Softw. 40 (3) (2023)
Lawrence Chen, Rui Abreu, Tobi Akomolede, Peter C. Rigby, Satish Chandra, Nachiappan Nagappan
Leveraging test plan quality to improve code review efficacy. ESEC/SIGSOFT FSE (2022)
Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra
Predictive Synthesis of API-Centric Code. CoRR (2022)
Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra
Mining Idioms in the Wild. ICSE (SEIP) (2022)
Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra
Predictive synthesis of API-centric code. MAPS@PLDI (2022)
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
Counterfactual Explanations for Models of Code. ICSE (SEIP) (2022)
Michael Pradel, Satish Chandra
Neural software analysis. Commun. ACM 65 (1) (2022)
Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra
Mining Idioms in the Wild. CoRR (2021)
Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
Automatic Program Repair. IEEE Softw. 38 (4) (2021)
Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer
AI in Software Engineering at Facebook. IEEE Softw. 38 (4) (2021)
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
Counterfactual Explanations for Models of Code. CoRR (2021)
Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra
Industry-Scale IR-Based Bug Localization: A Perspective from Facebook. ICSE (SEIP) (2021)
Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra
Code Prediction by Feeding Trees to Transformers. ICSE (2021)
Jürgen Cito, Isil Dillig, Seohyun Kim, Vijayaraghavan Murali, Satish Chandra
Explaining mispredictions of machine learning models using rule induction. ESEC/SIGSOFT FSE (2021)
Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
Scalable Statistical Root Cause Analysis on App Telemetry. ICSE (SEIP) (2021)
Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
What It Would Take to Use Mutation Testing in Industry - A Study at Facebook. ICSE (SEIP) (2021)
Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
TypeWriter: neural type prediction with search-based validation. ESEC/SIGSOFT FSE (2020)
Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra
contrast set mining. ICSE (SEIP) (2020)
Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
What It Would Take to Use Mutation Testing in Industry-A Study at Facebook. CoRR (2020)
Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra
Exempla gratis (E.G.): code examples for free. ESEC/SIGSOFT FSE (2020)
Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra
Industry-scale IR-based Bug Localization: A Perspective from Facebook. CoRR (2020)
Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra
Code Prediction by Feeding Trees to Transformers. CoRR (2020)
Michael Pradel, Satish Chandra
Neural Software Analysis. CoRR (2020)
Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
Scalable Statistical Root Cause Analysis on App Telemetry. CoRR (2020)
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
Scaffle: bug localization on millions of files. ISSTA (2020)
Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra
Exempla Gratis (E.G.): Code Examples for Free. CoRR (2020)
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
When deep learning met code search. ESEC/SIGSOFT FSE (2019)
Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott
SapFix: automated end-to-end repair at scale. ICSE (SEIP) (2019)
Andrew Scott, Johannes Bader, Satish Chandra
Getafix: Learning to fix bugs automatically. CoRR (2019)
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
When Deep Learning Met Code Search. CoRR (2019)
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra
Aroma: code recommendation via structural code search. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra
Neural query expansion for code search. MAPL@PLDI (2019)
Mateusz Machalica, Alex Samylkin, Meredith Porth, Satish Chandra
Predictive test selection. ICSE (SEIP) (2019)
Hongyu Li, Seohyun Kim, Satish Chandra
Neural Code Search Evaluation Dataset. CoRR (2019)
Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra
Debugging Crashes using Continuous Contrast Set Mining. CoRR (2019)
Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra
Getafix: learning to fix bugs automatically. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
TypeWriter: Neural Type Prediction with Search-based Validation. CoRR (2019)
Mateusz Machalica, Alex Samylkin, Meredith Porth, Satish Chandra
Predictive Test Selection. CoRR (2018)
Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra
Retrieval on source code: a neural code search. MAPL@PLDI (2018)
Sifei Luan, Di Yang, Koushik Sen, Satish Chandra
Aroma: Code Recommendation via Structural Code Search. CoRR (2018)
Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. CAV (2) (2017)
Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan
I¿¿¿: a calculus for internet of things automation. Onward! (2017)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type Inference for Static Compilation of JavaScript (Extended Version). CoRR (2016)
Satish Chandra, Suresh Thummalapenta, Saurabh Sinha
Lessons from the tech transfer trenches. Commun. ACM 59 (2) (2016)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type inference for static compilation of JavaScript. OOPSLA (2016)
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). CoRR (2016)
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP (2016)
Abhik Roychoudhury, Satish Chandra
Formula-based software debugging. Commun. ACM 59 (7) (2016)
Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
A practical framework for type inference error explanation. OOPSLA (2016)
Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra
MemInsight: platform-independent memory debugging for JavaScript. ESEC/SIGSOFT FSE (2015)
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
SJS: A Type System for JavaScript with Fixed Object Layout. SAS (2015)
Stefan Heule, Manu Sridharan, Satish Chandra
Mimic: computing models for opaque code. ESEC/SIGSOFT FSE (2015)
Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra
Test Generation from Business Rules. ICST (2015)
Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler
Toward tool support for interactive synthesis. Onward! (2015)
Satish Chandra, Vibha Singhal Sinha, Saurabh Sinha, Krishna Ratakonda
Software services: a research roadmap. FOSE (2014)
Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra
Data-guided repair of selection statements. ICSE (2014)
Satish Chandra
Are you getting traction? tales from the tech transfer trenches (invited talk). SIGSOFT FSE (2014)
Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra
Robust test automation using contextual clues. ISSTA (2014)
Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra
What Gives? A Hybrid Algorithm for Error Trace Explanation. VSTTE (2014)
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra
SemFix: program repair via semantic analysis. ICSE (2013)
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)
Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra
Guided test generation for web applications. ICSE (2013)
Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra
Automating test automation. ICSE (2012)
Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin K. Das, Srinivas Mangipudi
Efficiently scripting change-resilient tests. SIGSOFT FSE (2012)
Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip
Correlation Tracking for Points-To Analysis of JavaScript. ECOOP (2012)
Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan
Alternate and Learn: Finding Witnesses without Looking All over. CAV (2012)
Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík
Angelic debugging. ICSE (2011)
Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra
Fault localization for data-centric programs. SIGSOFT FSE (2011)
Emina Torlak, Satish Chandra
Effective interprocedural resource leak detection. ICSE (1) (2010)
Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor
Programming with angelic nondeterminism. POPL (2010)
Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran
Making defect-finding tools work for you. ICSE (2) (2010)
Satish Chandra, Stephen J. Fink, Manu Sridharan
Snugglebug: a powerful approach to weakest preconditions. PLDI (2009)
Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda
Verifying dereference safety via expanding-scope analysis. ISSTA (2008)
Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík
Type inference for locality analysis of distributed data structures. PPOPP (2008)
Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra
The CLOSER: automating resource management in java. ISMM (2008)
Greta Yorsh, Eran Yahav, Satish Chandra
Generating precise and concise procedure summaries. POPL (2008)
Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav
A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM Syst. J. 46 (2) (2007)
Vibha Sinha, Bikram Sengupta, Satish Chandra
Enabling Collaboration in Distributed Requirements Management. IEEE Softw. 23 (5) (2006)
Bikram Sengupta, Satish Chandra, Vibha Sinha
A research agenda for distributed software development. ICSE (2006)
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 Syst. J. 45 (3) (2006)
Mangala Gowri Nanda, Christian Grothoff, Satish Chandra
Deriving object typestates in the presence of inter-object references. OOPSLA (2005)
Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
Dependent Types for Program Understanding. TACAS (2005)
Satish Chandra
Tools and Techniques for Multi-site Sotware Development. ICDCIT (2004)
Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar
Decentralizing execution of composite web services. OOPSLA (2004)
Jahangir Hasan, Satish Chandra, T. N. Vijaykumar
Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. ISCA (2003)
Glenn Bruns, Satish Chandra
Searching for Points-To Analysis. IEEE Trans. Software Eng. 29 (10) (2003)
Satish Chandra, Patrice Godefroid, Christopher Palm
Software model checking in practice: an industrial case study. ICSE (2002)
Glenn Bruns, Satish Chandra
Searching for points-to analysis. SIGSOFT FSE (2002)
Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
What packets may come: automata for network monitoring. POPL (2001)
Atanas Rountev, Satish Chandra
Off-line variable substitution for scaling points-to analysis. PLDI (2000)
Peter J. McCann, Satish Chandra
Packet Types: Abstract specifications of network protocol messages. SIGCOMM (2000)
Satish Chandra, Brad Richards, James R. Larus
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. IEEE Trans. Software Eng. 25 (3) (1999)
Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps
Coping with Type Casts in C. ESEC / SIGSOFT FSE (1999)
Satish Chandra, Thomas W. Reps
Physical type checking for C. ACM SIGSOFT Softw. Eng. Notes 24 (5) (1999)

Satish Chandra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Satish Chandra