Satish Chandra

According to our database, Satish Chandra authored at least 96 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Summary of the 1st Interpretability and Robustness in Neural Software Engineering (InteNSE 2023).

Reyhaneh Jabbarvand, Saeid Tizpaz-Niari, Earl T. Barr, Satish Chandra

ACM SIGSOFT Softw. Eng. Notes, January, 2024

What Do Developers Want From AI?

Sarah D'Angelo, Ambar Murillo, Satish Chandra, Andrew Macvean

IEEE Softw., 2024

Code Search (Dagstuhl Seminar 24172).

Satish Chandra, Michael Pradel, Kathryn T. Stolee

Dagstuhl Reports, 2024

CRQBench: A Benchmark of Code Reasoning Questions.

Elizabeth Dinella, Satish Chandra, Petros Maniatis

CoRR, 2024

Natural Language Outlines for Code: Literate Programming in the LLM Era.

Kensen Shi, Deniz Altinbüken, Saswat Anand, Mihai Christodorescu, Katja Grünwedel, Alexa Koenings, Sai Naidu, Anurag Pathak, Marc Rasi, Fredde Ribeiro, Brandon Ruffin, Siddhant Sanyam, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton

CoRR, 2024

Counterfactual Explanations for Models of Code.

Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Resolving Code Review Comments with Machine Learning.

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

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

AI in Software Engineering at Google: Progress and the Path Ahead (Invited Talk).

Satish Chandra

Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

2023

Explainable AI for SE: Challenges and Future Directions.

Chakkrit Tantithamthavorn, Jürgen Cito, Hadi Hemmati, Satish Chandra

IEEE Softw., 2023

Expert Perspectives on Explainability.

Jürgen Cito, Satish Chandra, Chakkrit Tantithamthavorn, Hadi Hemmati

IEEE Softw., 2023

2022

Neural software analysis.

Michael Pradel, Satish Chandra

Commun. ACM, 2022

Leveraging test plan quality to improve code review efficacy.

Lawrence Chen, Rui Abreu, Tobi Akomolede, Peter C. Rigby, Satish Chandra, Nachiappan Nagappan

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Predictive synthesis of API-centric code.

Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra

Proceedings of the MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, 2022

Mining Idioms in the Wild.

Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Automatic Program Repair.

Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra

IEEE Softw., 2021

AI in Software Engineering at Facebook.

Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer

IEEE Softw., 2021

Explaining mispredictions of machine learning models using rule induction.

Jürgen Cito, Isil Dillig, Seohyun Kim, Vijayaraghavan Murali, Satish Chandra

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Scalable Statistical Root Cause Analysis on App Telemetry.

Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

Industry-Scale IR-Based Bug Localization: A Perspective from Facebook.

Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

Code Prediction by Feeding Trees to Transformers.

Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

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

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

2020

TypeWriter: neural type prediction with search-based validation.

Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Exempla gratis (E.G.): code examples for free.

Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Scaffle: bug localization on millions of files.

Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Debugging crashes using <i>continuous</i> contrast set mining.

Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Aroma: code recommendation via structural code search.

Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra

Proc. ACM Program. Lang., 2019

Getafix: learning to fix bugs automatically.

Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra

Proc. ACM Program. Lang., 2019

Debugging Crashes using Continuous Contrast Set Mining.

Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra

CoRR, 2019

Neural Code Search Evaluation Dataset.

Hongyu Li, Seohyun Kim, Satish Chandra

CoRR, 2019

Getafix: Learning to fix bugs automatically.

Andrew Scott, Johannes Bader, Satish Chandra

CoRR, 2019

When deep learning met code search.

José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Neural query expansion for code search.

Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

SapFix: automated end-to-end repair at scale.

Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

Predictive test selection.

Mateusz Machalica, Alex Samylkin, Meredith Porth, Satish Chandra

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018

Aroma: Code Recommendation via Structural Code Search.

Sifei Luan, Di Yang, Koushik Sen, Satish Chandra

CoRR, 2018

Retrieval on source code: a neural code search.

Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra

Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

2017

I¿¿¿: a calculus for internet of things automation.

Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.

Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Type Inference for Static Compilation of JavaScript (Extended Version).

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

CoRR, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

CoRR, 2016

Formula-based software debugging.

Abhik Roychoudhury, Satish Chandra

Commun. ACM, 2016

Lessons from the tech transfer trenches.

Satish Chandra, Suresh Thummalapenta, Saurabh Sinha

Commun. ACM, 2016

A practical framework for type inference error explanation.

Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Type inference for static compilation of JavaScript.

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

MemInsight: platform-independent memory debugging for JavaScript.

Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Mimic: computing models for opaque code.

Stefan Heule, Manu Sridharan, Satish Chandra

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

SJS: A Type System for JavaScript with Fixed Object Layout.

Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Toward tool support for interactive synthesis.

Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Test Generation from Business Rules.

Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

What Gives? A Hybrid Algorithm for Error Trace Explanation.

Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Are you getting traction? tales from the tech transfer trenches (invited talk).

Satish Chandra

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Robust test automation using contextual clues.

Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Data-guided repair of selection statements.

Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra

Proceedings of the 36th International Conference on Software Engineering, 2014

Software services: a research roadmap.

Satish Chandra, Vibha Singhal Sinha, Saurabh Sinha, Krishna Ratakonda

Proceedings of the on Future of Software Engineering, 2014

2013

Alias Analysis for Object-Oriented Programs.

Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Guided test generation for web applications.

Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra

Proceedings of the 35th International Conference on Software Engineering, 2013

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

Proceedings of the 35th International Conference on Software Engineering, 2013

SemFix: program repair via semantic analysis.

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Efficiently scripting change-resilient tests.

Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin K. Das, Srinivas Mangipudi

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Automating test automation.

Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra

Proceedings of the 34th International Conference on Software Engineering, 2012

Correlation Tracking for Points-To Analysis of JavaScript.

Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Alternate and Learn: Finding Witnesses without Looking All over.

Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Fault localization for data-centric programs.

Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Angelic debugging.

Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Programming with angelic nondeterminism.

Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Effective interprocedural resource leak detection.

Emina Torlak, Satish Chandra

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Making defect-finding tools work for you.

Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Snugglebug: a powerful approach to weakest preconditions.

Satish Chandra, Stephen J. Fink, Manu Sridharan

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Type inference for locality analysis of distributed data structures.

Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Generating precise and concise procedure summaries.

Greta Yorsh, Eran Yahav, Satish Chandra

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

The CLOSER: automating resource management in java.

Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra

Proceedings of the 7th International Symposium on Memory Management, 2008

Verifying dereference safety via expanding-scope analysis.

Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

A survey of static analysis methods for identifying security vulnerabilities in software systems.

Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav

IBM Syst. J., 2007

2006

Enabling Collaboration in Distributed Requirements Management.

Vibha Sinha, Bikram Sengupta, Satish Chandra

IEEE Softw., 2006

Technical forum: Using logical data models for understanding and transforming legacy business applications.

Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue

IBM Syst. J., 2006

A research agenda for distributed software development.

Bikram Sengupta, Satish Chandra, Vibha Sinha

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Dependent Types for Program Understanding.

Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Deriving object typestates in the presence of inter-object references.

Mangala Gowri Nanda, Christian Grothoff, Satish Chandra

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Decentralizing execution of composite web services.

Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Tools and Techniques for Multi-site Sotware Development.

Satish Chandra

Proceedings of the Distributed Computing and Internet Technology, 2004

2003

Searching for Points-To Analysis.

Glenn Bruns, Satish Chandra

IEEE Trans. Software Eng., 2003

Efficient Use of Memory Bandwidth to Improve Network Processor Throughput.

Jahangir Hasan, Satish Chandra, T. N. Vijaykumar

Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

2002

Software model checking in practice: an industrial case study.

Satish Chandra, Patrice Godefroid, Christopher Palm

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

What packets may come: automata for network monitoring.

Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

2000

Packet Types: Abstract specifications of network protocol messages.

Peter J. McCann, Satish Chandra

Proceedings of the ACM SIGCOMM 2000 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 28, 2000

Off-line variable substitution for scaling points-to analysis.

Atanas Rountev, Satish Chandra

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols.

Satish Chandra, Brad Richards, James R. Larus

IEEE Trans. Software Eng., 1999

Physical type checking for C.

Satish Chandra, Thomas W. Reps

ACM SIGSOFT Softw. Eng. Notes, 1999

Coping with Type Casts in C.

Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps

Proceedings of the Software Engineering, 1999

1997

Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory.

Satish Chandra, James R. Larus

Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

Experience with a Language for Writing Coherence Protocols.

Satish Chandra, James R. Larus, Michael Dahlin, Brad Richards, Randolph Y. Wang, Thomas E. Anderson

Proceedings of the Conference on Domain-Specific Languages, 1997

1996

Teapot: Language Support for Writing Memory Coherence Protocols.

Satish Chandra, Brad Richards, James R. Larus

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

HPF on Fine-Grain Distributed Shared Memory: Early Experience.

Satish Chandra, James R. Larus

Proceedings of the Languages and Compilers for Parallel Computing, 1996

1994

Where is Time Spent in Message-Passing and Shared-Memory Programs?

Satish Chandra, James R. Larus, Anne Rogers

Proceedings of the ASPLOS-VI Proceedings, 1994

1993

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

Proceedings of the 20th Annual International Symposium on Computer Architecture, 1993