Mechanisms for Cooperative Shared Memory. - David A. Wood 001; Satish Chandra 001; Babak Falsafi; Mark D. Hill; James R. Larus; Alvin R. Lebeck; James C. Lewis; Shubhendu S. Mukherjee; Subbarao Palacharla; Steven K. Reinhardt (ISCA, 1993)

Where is Time Spent in Message-Passing and Shared-Memory Programs? - Satish Chandra 001; James R. Larus; Anne Rogers (ASPLOS, 1994)

HPF on Fine-Grain Distributed Shared Memory: Early Experience. - Satish Chandra 001; James R. Larus (LCPC, 1996)

Teapot: Language Support for Writing Memory Coherence Protocols. - Satish Chandra 001; Brad Richards; James R. Larus (PLDI, 1996)

Experience with a Language for Writing Coherence Protocols. - Satish Chandra 001; James R. Larus; Michael Dahlin; Brad Richards; Randolph Y. Wang; Thomas E. Anderson (DSL, 1997)

Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory. - Satish Chandra 001; James R. Larus (PPoPP, 1997)

Coping with Type Casts in C. - Michael Siff; Satish Chandra 001; Thomas Ball 001; Krishna Kunchithapadam; Thomas W. Reps (ESEC / SIGSOFT FSE, 1999)

Physical type checking for C. - Satish Chandra 001; Thomas W. Reps (ACM SIGSOFT Softw. Eng. Notes, 1999)

Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. - Satish Chandra 001; Brad Richards; James R. Larus (IEEE Trans. Software Eng., 1999)

Off-line variable substitution for scaling points-to analysis. - Atanas Rountev; Satish Chandra 001 (PLDI, 2000)

Packet Types: Abstract specifications of network protocol messages. - Peter J. McCann; Satish Chandra 001 (SIGCOMM, 2000)

What packets may come: automata for network monitoring. - Karthikeyan Bhargavan; Satish Chandra 001; Peter J. McCann; Carl A. Gunter (POPL, 2001)

Software model checking in practice: an industrial case study. - Satish Chandra 001; Patrice Godefroid; Christopher Palm (ICSE, 2002)

Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. - Jahangir Hasan; Satish Chandra 001; T. N. Vijaykumar (ISCA, 2003)

Searching for Points-To Analysis. - Glenn Bruns; Satish Chandra 001 (IEEE Trans. Software Eng., 2003)

Tools and Techniques for Multi-site Sotware Development. - Satish Chandra 001 (ICDCIT, 2004)

Decentralizing execution of composite web services. - Mangala Gowri Nanda; Satish Chandra 001; Vivek Sarkar (OOPSLA, 2004)

Deriving object typestates in the presence of inter-object references. - Mangala Gowri Nanda; Christian Grothoff; Satish Chandra 001 (OOPSLA, 2005)

Dependent Types for Program Understanding. - Raghavan Komondoor; Ganesan Ramalingam; Satish Chandra 001; John Field (TACAS, 2005)

A research agenda for distributed software development. - Bikram Sengupta; Satish Chandra 001; Vibha Sinha (ICSE, 2006)

Technical forum: Using logical data models for understanding and transforming legacy business applications. - Satish Chandra 001; Jackie De Vries; John Field; Howard M. Hess; Manivannan Kalidasan; Raghavan Komondoor; Frans Nieuwerth; Ganesan Ramalingam; Justin Xue (IBM Syst. J., 2006)

Enabling Collaboration in Distributed Requirements Management. - Vibha Sinha; Bikram Sengupta; Satish Chandra 001 (IEEE Softw., 2006)

A survey of static analysis methods for identifying security vulnerabilities in software systems. - Marco Pistoia; Satish Chandra 001; Stephen J. Fink; Eran Yahav (IBM Syst. J., 2007)

Verifying dereference safety via expanding-scope analysis. - Alexey Loginov; Eran Yahav; Satish Chandra 001; Stephen Fink; Noam Rinetzky; Mangala Gowri Nanda (ISSTA, 2008)

The CLOSER: automating resource management in java. - Isil Dillig; Thomas Dillig; Eran Yahav; Satish Chandra 001 (ISMM, 2008)

Generating precise and concise procedure summaries. - Greta Yorsh; Eran Yahav; Satish Chandra 001 (POPL, 2008)

Type inference for locality analysis of distributed data structures. - Satish Chandra 001; Vijay A. Saraswat; Vivek Sarkar; Rastislav Bodík (PPoPP, 2008)

Snugglebug: a powerful approach to weakest preconditions. - Satish Chandra 001; Stephen J. Fink; Manu Sridharan (PLDI, 2009)

Making defect-finding tools work for you. - Mangala Gowri Nanda; Monika Gupta 002; Saurabh Sinha; Satish Chandra 001; David Schmidt; Pradeep Balachandran (ICSE (2), 2010)

Effective interprocedural resource leak detection. - Emina Torlak; Satish Chandra 001 (ICSE (1), 2010)

Programming with angelic nondeterminism. - Rastislav Bodík; Satish Chandra 001; Joel Galenson; Doug Kimelman; Nicholas Tung; Shaon Barman; Casey Rodarmor (POPL, 2010)

Angelic debugging. - Satish Chandra 001; Emina Torlak; Shaon Barman; Rastislav Bodík (ICSE, 2011)

Fault localization for data-centric programs. - Diptikalyan Saha; Mangala Gowri Nanda; Pankaj Dhoolia; V. Krishna Nandivada; Vibha Sinha; Satish Chandra 001 (SIGSOFT FSE, 2011)

Alternate and Learn: Finding Witnesses without Looking All over. - Nishant Sinha 001; Nimit Singhania; Satish Chandra 001; Manu Sridharan (CAV, 2012)

Correlation Tracking for Points-To Analysis of JavaScript. - Manu Sridharan; Julian Dolby; Satish Chandra 001; Max Schäfer; Frank Tip (ECOOP, 2012)

Automating test automation. - Suresh Thummalapenta; Saurabh Sinha; Nimit Singhania; Satish Chandra 001 (ICSE, 2012)

Efficiently scripting change-resilient tests. - Suresh Thummalapenta; Nimit Singhania; Pranavadatta Devaki; Saurabh Sinha; Satish Chandra 001; Achin K. Das; Srinivas Mangipudi (SIGSOFT FSE, 2012)

SemFix: program repair via semantic analysis. - Hoang Duong Thien Nguyen; Dawei Qi; Abhik Roychoudhury; Satish Chandra 001 (ICSE, 2013)

Efficient and change-resilient test automation: an industrial case study. - Suresh Thummalapenta; Pranavadatta Devaki; Saurabh Sinha; Satish Chandra 001; Sivagami Gnanasundaram; Deepa D. Nagaraj; Sampathkumar Sathishkumar (ICSE, 2013)

Guided test generation for web applications. - Suresh Thummalapenta; K. Vasanta Lakshmi; Saurabh Sinha; Nishant Sinha 001; Satish Chandra 001 (ICSE, 2013)

Alias Analysis for Object-Oriented Programs. - Manu Sridharan; Satish Chandra 001; Julian Dolby; Stephen J. Fink; Eran Yahav (Aliasing in Object-Oriented Programming, 2013)

Software services: a research roadmap. - Satish Chandra 001; Vibha Singhal Sinha; Saurabh Sinha; Krishna Ratakonda (FOSE, 2014)

Data-guided repair of selection statements. - Divya Gopinath; Sarfraz Khurshid; Diptikalyan Saha; Satish Chandra 001 (ICSE, 2014)

Robust test automation using contextual clues. - Rahulkrishna Yandrapally; Suresh Thummalapenta; Saurabh Sinha; Satish Chandra 001 (ISSTA, 2014)

Are you getting traction? tales from the tech transfer trenches (invited talk). - Satish Chandra 001 (SIGSOFT FSE, 2014)

What Gives? A Hybrid Algorithm for Error Trace Explanation. - Vijayaraghavan Murali; Nishant Sinha 001; Emina Torlak; Satish Chandra 001 (VSTTE, 2014)

Test Generation from Business Rules. - Simon Holm Jensen; Suresh Thummalapenta; Saurabh Sinha; Satish Chandra 001 (ICST, 2015)

Toward tool support for interactive synthesis. - Shaon Barman; Rastislav Bodík; Satish Chandra 001; Emina Torlak; Arka Aloke Bhattacharya; David E. Culler (Onward!, 2015)

SJS: A Type System for JavaScript with Fixed Object Layout. - Wontae Choi; Satish Chandra 001; George C. Necula; Koushik Sen (SAS, 2015)

Mimic: computing models for opaque code. - Stefan Heule; Manu Sridharan; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2015)

MemInsight: platform-independent memory debugging for JavaScript. - Simon Holm Jensen; Manu Sridharan; Koushik Sen; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2015)

Trace Typing: An Approach for Evaluating Retrofitted Type Systems. - Esben Andreasen; Colin S. Gordon; Satish Chandra 001; Manu Sridharan; Frank Tip; Koushik Sen (ECOOP, 2016)

Type inference for static compilation of JavaScript. - Satish Chandra 001; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (OOPSLA, 2016)

A practical framework for type inference error explanation. - Calvin Loncaric; Satish Chandra 001; Cole Schlesinger; Manu Sridharan (OOPSLA, 2016)

Lessons from the tech transfer trenches. - Satish Chandra 001; Suresh Thummalapenta; Saurabh Sinha (Commun. ACM, 2016)

Formula-based software debugging. - Abhik Roychoudhury; Satish Chandra 001 (Commun. ACM, 2016)

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). - Esben Andreasen; Colin S. Gordon; Satish Chandra 001; Manu Sridharan; Frank Tip; Koushik Sen (CoRR, 2016)

Type Inference for Static Compilation of JavaScript (Extended Version). - Satish Chandra 001; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (CoRR, 2016)

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. - Andrei Marian Dan; Manu Sridharan; Satish Chandra 001; Jean-Baptiste Jeannin; Martin T. Vechev (CAV (2), 2017)

I¿¿¿: a calculus for internet of things automation. - Julie L. Newcomb; Satish Chandra 001; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan (Onward!, 2017)

Retrieval on source code: a neural code search. - Saksham Sachdev; Hongyu Li; Sifei Luan 001; Seohyun Kim 001; Koushik Sen; Satish Chandra 001 (MAPL@PLDI, 2018)

Aroma: Code Recommendation via Structural Code Search. - Sifei Luan 001; Di Yang 001; Koushik Sen; Satish Chandra 001 (CoRR, 2018)

Predictive test selection. - Mateusz Machalica; Alex Samylkin; Meredith Porth; Satish Chandra 001 (ICSE (SEIP), 2019)

SapFix: automated end-to-end repair at scale. - Alexandru Marginean; Johannes Bader 001; Satish Chandra 001; Mark Harman; Yue Jia 001; Ke Mao; Alexander Mols; Andrew Scott (ICSE (SEIP), 2019)

Neural query expansion for code search. - Jason Liu; Seohyun Kim 001; Vijayaraghavan Murali; Swarat Chaudhuri; Satish Chandra 001 (MAPL@PLDI, 2019)

When deep learning met code search. - José Cambronero; Hongyu Li; Seohyun Kim 001; Koushik Sen; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2019)

Getafix: Learning to fix bugs automatically. - Andrew Scott; Johannes Bader 001; Satish Chandra 001 (CoRR, 2019)

Neural Code Search Evaluation Dataset. - Hongyu Li; Seohyun Kim 001; Satish Chandra 001 (CoRR, 2019)

Debugging Crashes using Continuous Contrast Set Mining. - Rebecca Qian; Yang Yu; Wonhee Park; Vijayaraghavan Murali; Stephen Fink; Satish Chandra 001 (CoRR, 2019)

Getafix: learning to fix bugs automatically. - Johannes Bader 001; Andrew Scott; Michael Pradel; Satish Chandra 001 (Proc. ACM Program. Lang., 2019)

Aroma: code recommendation via structural code search. - Sifei Luan 001; Di Yang 001; Celeste Barnaby; Koushik Sen; Satish Chandra 001 (Proc. ACM Program. Lang., 2019)

Debugging crashes using continuous contrast set mining. - Rebecca Qian; Yang Yu; Wonhee Park; Vijayaraghavan Murali; Stephen Fink; Satish Chandra 001 (ICSE (SEIP), 2020)

Scaffle: bug localization on millions of files. - Michael Pradel; Vijayaraghavan Murali; Rebecca Qian; Mateusz Machalica; Erik Meijer 001; Satish Chandra 001 (ISSTA, 2020)

Exempla gratis (E.G.): code examples for free. - Celeste Barnaby; Koushik Sen; Tianyi Zhang 001; Elena L. Glassman; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2020)

TypeWriter: neural type prediction with search-based validation. - Michael Pradel; Georgios Gousios; Jason Liu; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2020)

What It Would Take to Use Mutation Testing in Industry - A Study at Facebook. - Moritz Beller; Chu-Pan Wong; Johannes Bader 001; Andrew Scott; Mateusz Machalica; Satish Chandra 001; Erik Meijer 001 (ICSE (SEIP), 2021)

Code Prediction by Feeding Trees to Transformers. - Seohyun Kim 001; Jinman Zhao; Yuchi Tian; Satish Chandra 001 (ICSE, 2021)

Industry-Scale IR-Based Bug Localization: A Perspective from Facebook. - Vijayaraghavan Murali; Lee Gross; Rebecca Qian; Satish Chandra 001 (ICSE (SEIP), 2021)

Scalable Statistical Root Cause Analysis on App Telemetry. - Vijayaraghavan Murali; Edward Yao; Umang Mathur 001; Satish Chandra 001 (ICSE (SEIP), 2021)

Explaining mispredictions of machine learning models using rule induction. - Jürgen Cito; Isil Dillig; Seohyun Kim 001; Vijayaraghavan Murali; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2021)

AI in Software Engineering at Facebook. - Johannes Bader 001; Sonia Seohyun Kim; Frank Sifei Luan; Satish Chandra 001; Erik Meijer 001 (IEEE Softw., 2021)

Automatic Program Repair. - Claire Le Goues; Michael Pradel; Abhik Roychoudhury; Satish Chandra 001 (IEEE Softw., 2021)

Mining Idioms in the Wild. - Aishwarya Sivaraman; Rui Abreu 001; Andrew Scott; Tobi Akomolede; Satish Chandra 001 (ICSE (SEIP), 2022)

Predictive synthesis of API-centric code. - Daye Nam; Baishakhi Ray; Seohyun Kim 001; Xianshan Qu; Satish Chandra 001 (MAPS@PLDI, 2022)

Leveraging test plan quality to improve code review efficacy. - Lawrence Chen 002; Rui Abreu 001; Tobi Akomolede; Peter C. Rigby; Satish Chandra 001; Nachiappan Nagappan (ESEC/SIGSOFT FSE, 2022)

Neural software analysis. - Michael Pradel; Satish Chandra 001 (Commun. ACM, 2022)

Expert Perspectives on Explainability. - Jürgen Cito; Satish Chandra 001; Chakkrit Tantithamthavorn; Hadi Hemmati (IEEE Softw., 2023)

Explainable AI for SE: Challenges and Future Directions. - Chakkrit Tantithamthavorn; Jürgen Cito; Hadi Hemmati; Satish Chandra 001 (IEEE Softw., 2023)

AI in Software Engineering at Google: Progress and the Path Ahead (Invited Talk). - Satish Chandra 001 (AIware, 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; et al. (ICSE-SEIP, 2024)

Counterfactual Explanations for Models of Code. - Jürgen Cito; Isil Dillig; Vijayaraghavan Murali; Satish Chandra 001 (Software Engineering, 2024)

CRQBench: A Benchmark of Code Reasoning Questions. - Elizabeth Dinella; Satish Chandra 001; Petros Maniatis (CoRR, 2024)

Code Search (Dagstuhl Seminar 24172). - Satish Chandra 001; Michael Pradel; Kathryn T. Stolee (Dagstuhl Reports, 2024)

What Do Developers Want From AI? - Sarah D'Angelo; Ambar Murillo; Satish Chandra 001; Andrew Macvean (IEEE Softw., 2024)

Summary of the 1st Interpretability and Robustness in Neural Software Engineering (InteNSE 2023). - Reyhaneh Jabbarvand; Saeid Tizpaz-Niari; Earl T. Barr; Satish Chandra 001 (ACM SIGSOFT Softw. Eng. Notes, 2024)

How is Google Using AI for Internal Code Migrations? - Stoyan Nikolov; Daniele Codecasa; Anna Sjövall; Maxim Tabachnyk; Satish Chandra 001; Siddharth Taneja; Celal Ziftci (SEIP@ICSE, 2025)

How Much Does AI Impact Development Speed? an Enterprise-Based Randomized Controlled Trial. - Elise Paradis; Kate Grey; Quinn Madison; Daye Nam; Andrew Macvean; Vahid Meimand; Nan Zhang; Benjamin Ferrari-Church; Satish Chandra 001 (SEIP@ICSE, 2025)

Evaluating Agent-Based Program Repair at Google. - Pat Rondon; Renyao Wei; José Cambronero; Jürgen Cito; Aaron Sun; Siddhant Sanyam; Michele Tufano; Satish Chandra 001 (SEIP@ICSE, 2025)

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; et al. (SIGSOFT FSE Companion, 2025)

Agentic Bug Reproduction for Effective Automated Program Repair at Google. - Runxiang Cheng; Michele Tufano; Jürgen Cito; José Cambronero; Pat Rondon; Renyao Wei; Aaron Sun; Satish Chandra 001 (CoRR, 2025)

ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers. - Hannah Lin; Martin Maas 001; Maximilian Roquemore; Arman Hasanzadeh; Fred Lewis; Yusuf Simonson; Tzu-Wei Yang; Amir Yazdanbakhsh; Deniz Altinbüken; Florin Papa; Maggie Nolan Edmonds; Aditya Patil; et al. (CoRR, 2025)

Prompting LLMs for Code Editing: Struggles and Remedies. - Daye Nam; Ahmed Omran; Ambar Murillo; Saksham Thakur; Abner Araujo; Marcel Blistein; Alexander Frömmgen; Vincent J. Hellendoorn; Satish Chandra 001 (CoRR, 2025)