Satish Chandra

130 papers A* 20A 11B 3C 2Misc 1Journal 51Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Achieving Productivity Gains with AI-based IDE features: A Journey at Google. CoRR Maxim Tabachnyk, Xu Shu, Alexander Frömmgen, Pavel Sychev, Vahid Meimand, Ilia Krets, Stanislav Pyatykh, Abner Araujo, Kristóf Molnár, Satish Chandra
2026	J	`jnl`	Agentic Code Reasoning. CoRR Shubham Ugare, Satish Chandra
2026	J	`jnl`	RubberDuckBench: A Benchmark for AI Coding Assistants. CoRR Ferida Mohammad, Fatma Ayad, Petros Maniatis, Satish Chandra, Elizabeth Dinella
2026	J	`jnl`	Wink: Recovering from Misbehaviors in Coding Agents. CoRR Rahul Nanda, Chandra Maddila, Smriti Jha, Euna Mehnaz Khan, Matteo Paltenghi, Satish Chandra
2025	J	`jnl`	Abstain and Validate: A Dual-LLM Policy for Reducing Noise in Agentic Program Repair. CoRR José Cambronero, Michele Tufano, Sherry Shi, Renyao Wei, Grant Uy, Runxiang Cheng, Chin-Jung Liu, Shiying Pan, Satish Chandra, Pat Rondon
2025	J	`jnl`	Agentic Bug Reproduction for Effective Automated Program Repair at Google. CoRR Runxiang Cheng, Michele Tufano, Jürgen Cito, José Cambronero, Pat Rondon, Renyao Wei, Aaron Sun, Satish Chandra
2025	J	`jnl`	ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers. CoRR Hannah Lin, Martin Maas, Maximilian Roquemore, Arman Hasanzadeh, Fred Lewis, Yusuf Simonson, Tzu-Wei Yang, Amir Yazdanbakhsh, Deniz Altinbüken, Florin Papa, Maggie Nolan Edmonds, Aditya Patil, Don Schwarz, Satish Chandra, Chris Kennelly, Milad Hashemi, Parthasarathy Ranganathan
2025	—	`conf`	Evaluating Agent-Based Program Repair at Google. SEIP@ICSE Pat Rondon, Renyao Wei, José Cambronero, Jürgen Cito, Aaron Sun, Siddhant Sanyam, Michele Tufano, Satish Chandra
2025	J	`jnl`	Evaluating Agent-based Program Repair at Google. CoRR Pat Rondon, Renyao Wei, José Cambronero, Jürgen Cito, Aaron Sun, Siddhant Sanyam, Michele Tufano, Satish Chandra
2025	—	`conf`	How Much Does AI Impact Development Speed? an Enterprise-Based Randomized Controlled Trial. SEIP@ICSE Elise Paradis, Kate Grey, Quinn Madison, Daye Nam, Andrew Macvean, Vahid Meimand, Nan Zhang, Benjamin Ferrari-Church, Satish Chandra
2025	—	`conf`	How is Google Using AI for Internal Code Migrations? SEIP@ICSE Stoyan Nikolov, Daniele Codecasa, Anna Sjövall, Maxim Tabachnyk, Satish Chandra, Siddharth Taneja, Celal Ziftci
2025	J	`jnl`	How is Google using AI for internal code migrations? CoRR Stoyan Nikolov, Daniele Codecasa, Anna Sjovall, Maxim Tabachnyk, Satish Chandra, Siddharth Taneja, Celal Ziftci
2025	—	`conf`	Natural Language Outlines for Code: Literate Programming in the LLM Era. SIGSOFT FSE Companion 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
2025	J	`jnl`	Prompting LLMs for Code Editing: Struggles and Remedies. CoRR Daye Nam, Ahmed Omran, Ambar Murillo, Saksham Thakur, Abner Araujo, Marcel Blistein, Alexander Frömmgen, Vincent J. Hellendoorn, Satish Chandra
2025	J	`jnl`	Reading Between the Lines: Scalable User Feedback via Implicit Sentiment in Developer Prompts. CoRR Daye Nam, Malgorzata Salawa, Satish Chandra
2025	J	`jnl`	Towards Verified Code Reasoning by LLMs. CoRR Meghana Sistla, Gogul Balakrishnan, Pat Rondon, José Cambronero, Michele Tufano, Satish Chandra
2024	—	`conf`	AI in Software Engineering at Google: Progress and the Path Ahead (Invited Talk). AIware Satish Chandra
2024	J	`jnl`	CRQBench: A Benchmark of Code Reasoning Questions. CoRR Elizabeth Dinella, Satish Chandra, Petros Maniatis
2024	J	`jnl`	Code Search (Dagstuhl Seminar 24172). Dagstuhl Reports Satish Chandra, Michael Pradel, Kathryn T. Stolee
2024	C	`conf`	Counterfactual Explanations for Models of Code. Software Engineering Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
2024	J	`jnl`	How much does AI impact development speed? An enterprise-based randomized controlled trial. CoRR Elise Paradis, Kate Grey, Quinn Madison, Daye Nam, Andrew Macvean, Vahid Meimand, Nan Zhang, Benjamin Ferrari-Church, Satish Chandra
2024	J	`jnl`	Natural Language Outlines for Code: Literate Programming in the LLM Era. CoRR 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
2024	—	`conf`	Resolving Code Review Comments with Machine Learning. ICSE-SEIP 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
2024	J	`jnl`	Summary of the 1st Interpretability and Robustness in Neural Software Engineering (InteNSE 2023). ACM SIGSOFT Softw. Eng. Notes Reyhaneh Jabbarvand, Saeid Tizpaz-Niari, Earl T. Barr, Satish Chandra
2024	J	`jnl`	What Do Developers Want From AI? IEEE Softw. Sarah D'Angelo, Ambar Murillo, Satish Chandra, Andrew Macvean
2023	J	`jnl`	Expert Perspectives on Explainability. IEEE Softw. Jürgen Cito, Satish Chandra, Chakkrit Tantithamthavorn, Hadi Hemmati
2023	J	`jnl`	Explainable AI for SE: Challenges and Future Directions. IEEE Softw. Chakkrit Tantithamthavorn, Jürgen Cito, Hadi Hemmati, Satish Chandra
2023	—	`ed.`	Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023 ESEC/SIGSOFT FSE Satish Chandra, Kelly Blincoe, Paolo Tonella
2022	—	`conf`	Counterfactual Explanations for Models of Code. ICSE (SEIP) Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
2022	—	`conf`	Leveraging test plan quality to improve code review efficacy. ESEC/SIGSOFT FSE Lawrence Chen, Rui Abreu, Tobi Akomolede, Peter C. Rigby, Satish Chandra, Nachiappan Nagappan
2022	—	`conf`	Mining Idioms in the Wild. ICSE (SEIP) Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra
2022	J	`jnl`	Neural software analysis. Commun. ACM Michael Pradel, Satish Chandra
2022	J	`jnl`	Predictive Synthesis of API-Centric Code. CoRR Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra
2022	—	`conf`	Predictive synthesis of API-centric code. MAPS@PLDI Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra
2021	J	`jnl`	AI in Software Engineering at Facebook. IEEE Softw. Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer
2021	J	`jnl`	Automatic Program Repair. IEEE Softw. Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
2021	A*	`conf`	Code Prediction by Feeding Trees to Transformers. ICSE Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra
2021	J	`jnl`	Counterfactual Explanations for Models of Code. CoRR Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
2021	—	`conf`	Explaining mispredictions of machine learning models using rule induction. ESEC/SIGSOFT FSE Jürgen Cito, Isil Dillig, Seohyun Kim, Vijayaraghavan Murali, Satish Chandra
2021	—	`conf`	Industry-Scale IR-Based Bug Localization: A Perspective from Facebook. ICSE (SEIP) Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra
2021	J	`jnl`	Mining Idioms in the Wild. CoRR Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra
2021	—	`conf`	Scalable Statistical Root Cause Analysis on App Telemetry. ICSE (SEIP) Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
2021	—	`conf`	What It Would Take to Use Mutation Testing in Industry - A Study at Facebook. ICSE (SEIP) Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
2020	J	`jnl`	Code Prediction by Feeding Trees to Transformers. CoRR Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra
2020	—	`conf`	Debugging crashes using ICSE (SEIP) Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra
2020	J	`jnl`	Exempla Gratis (E.G.): Code Examples for Free. CoRR Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra
2020	—	`conf`	Exempla gratis (E.G.): code examples for free. ESEC/SIGSOFT FSE Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra
2020	J	`jnl`	Industry-scale IR-based Bug Localization: A Perspective from Facebook. CoRR Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra
2020	J	`jnl`	Neural Software Analysis. CoRR Michael Pradel, Satish Chandra
2020	A	`conf`	Scaffle: bug localization on millions of files. ISSTA Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
2020	J	`jnl`	Scalable Statistical Root Cause Analysis on App Telemetry. CoRR Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
2020	—	`conf`	TypeWriter: neural type prediction with search-based validation. ESEC/SIGSOFT FSE Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
2020	J	`jnl`	What It Would Take to Use Mutation Testing in Industry-A Study at Facebook. CoRR Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
2019	J	`jnl`	Aroma: code recommendation via structural code search. Proc. ACM Program. Lang. Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra
2019	J	`jnl`	Debugging Crashes using Continuous Contrast Set Mining. CoRR Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra
2019	J	`jnl`	Getafix: Learning to fix bugs automatically. CoRR Andrew Scott, Johannes Bader, Satish Chandra
2019	J	`jnl`	Getafix: learning to fix bugs automatically. Proc. ACM Program. Lang. Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra
2019	J	`jnl`	Neural Code Search Evaluation Dataset. CoRR Hongyu Li, Seohyun Kim, Satish Chandra
2019	—	`conf`	Neural query expansion for code search. MAPL@PLDI Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra
2019	—	`conf`	Predictive test selection. ICSE (SEIP) Mateusz Machalica, Alex Samylkin, Meredith Porth, Satish Chandra
2019	—	`conf`	SapFix: automated end-to-end repair at scale. ICSE (SEIP) Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott
2019	J	`jnl`	TypeWriter: Neural Type Prediction with Search-based Validation. CoRR Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
2019	J	`jnl`	When Deep Learning Met Code Search. CoRR José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
2019	—	`conf`	When deep learning met code search. ESEC/SIGSOFT FSE José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
2018	J	`jnl`	Aroma: Code Recommendation via Structural Code Search. CoRR Sifei Luan, Di Yang, Koushik Sen, Satish Chandra
2018	J	`jnl`	Predictive Test Selection. CoRR Mateusz Machalica, Alex Samylkin, Meredith Porth, Satish Chandra
2018	—	`conf`	Retrieval on source code: a neural code search. MAPL@PLDI Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra
2017	—	`conf`	Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. CAV (2) Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev
2017	—	`conf`	I¿¿¿: a calculus for internet of things automation. Onward! Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan
2016	A	`conf`	A practical framework for type inference error explanation. OOPSLA Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
2016	J	`jnl`	Formula-based software debugging. Commun. ACM Abhik Roychoudhury, Satish Chandra
2016	J	`jnl`	Lessons from the tech transfer trenches. Commun. ACM Satish Chandra, Suresh Thummalapenta, Saurabh Sinha
2016	J	`jnl`	Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). CoRR Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
2016	A	`conf`	Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
2016	J	`jnl`	Type Inference for Static Compilation of JavaScript (Extended Version). CoRR Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
2016	A	`conf`	Type inference for static compilation of JavaScript. OOPSLA Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
2015	—	`conf`	MemInsight: platform-independent memory debugging for JavaScript. ESEC/SIGSOFT FSE Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra
2015	—	`conf`	Mimic: computing models for opaque code. ESEC/SIGSOFT FSE Stefan Heule, Manu Sridharan, Satish Chandra
2015	B	`conf`	SJS: A Type System for JavaScript with Fixed Object Layout. SAS Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
2015	A	`conf`	Test Generation from Business Rules. ICST Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra
2015	—	`conf`	Toward tool support for interactive synthesis. Onward! Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler
2014	—	`conf`	Are you getting traction? tales from the tech transfer trenches (invited talk). SIGSOFT FSE Satish Chandra
2014	A*	`conf`	Data-guided repair of selection statements. ICSE Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra
2014	A	`conf`	Robust test automation using contextual clues. ISSTA Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra
2014	—	`conf`	Software services: a research roadmap. FOSE Satish Chandra, Vibha Singhal Sinha, Saurabh Sinha, Krishna Ratakonda
2014	—	`conf`	What Gives? A Hybrid Algorithm for Error Trace Explanation. VSTTE Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra
2013	—	`ed.`	6th India Software Engineering Conference, ISEC '13, New Delhi, India - February 21 - 23, 2013 ISEC Sugata Ghosal, Gautam Shroff, Satish Chandra, Nachiappan Nagappan
2013	—	`ch.`	Alias Analysis for Object-Oriented Programs. Aliasing in Object-Oriented Programming Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav
2013	A*	`conf`	Efficient and change-resilient test automation: an industrial case study. ICSE Suresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, Sampathkumar Sathishkumar
2013	A*	`conf`	Guided test generation for web applications. ICSE Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra
2013	A*	`conf`	SemFix: program repair via semantic analysis. ICSE Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra
2012	A*	`conf`	Alternate and Learn: Finding Witnesses without Looking All over. CAV Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan
2012	A*	`conf`	Automating test automation. ICSE Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra
2012	A	`conf`	Correlation Tracking for Points-To Analysis of JavaScript. ECOOP Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip
2012	—	`conf`	Efficiently scripting change-resilient tests. SIGSOFT FSE Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin K. Das, Srinivas Mangipudi
2011	A*	`conf`	Angelic debugging. ICSE Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík
2011	—	`conf`	Fault localization for data-centric programs. SIGSOFT FSE Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra
2010	—	`conf`	Effective interprocedural resource leak detection. ICSE (1) Emina Torlak, Satish Chandra
2010	—	`conf`	Making defect-finding tools work for you. ICSE (2) Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran
2010	A*	`conf`	Programming with angelic nondeterminism. POPL Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor
2009	A*	`conf`	Snugglebug: a powerful approach to weakest preconditions. PLDI Satish Chandra, Stephen J. Fink, Manu Sridharan
2008	A*	`conf`	Generating precise and concise procedure summaries. POPL Greta Yorsh, Eran Yahav, Satish Chandra
2008	C	`conf`	The CLOSER: automating resource management in java. ISMM Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra
2008	B	`conf`	Type inference for locality analysis of distributed data structures. PPoPP Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík
2008	A	`conf`	Verifying dereference safety via expanding-scope analysis. ISSTA Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda
2007	J	`jnl`	A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM Syst. J. Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav
2006	A*	`conf`	A research agenda for distributed software development. ICSE Bikram Sengupta, Satish Chandra, Vibha Sinha
2006	J	`jnl`	Enabling Collaboration in Distributed Requirements Management. IEEE Softw. Vibha Sinha, Bikram Sengupta, Satish Chandra
2006	J	`jnl`	Technical forum: Using logical data models for understanding and transforming legacy business applications. IBM Syst. J. Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue
2005	A	`conf`	Dependent Types for Program Understanding. TACAS Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
2005	A	`conf`	Deriving object typestates in the presence of inter-object references. OOPSLA Mangala Gowri Nanda, Christian Grothoff, Satish Chandra
2004	A	`conf`	Decentralizing execution of composite web services. OOPSLA Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar
2004	Misc	`conf`	Tools and Techniques for Multi-site Sotware Development. ICDCIT Satish Chandra
2003	A*	`conf`	Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. ISCA Jahangir Hasan, Satish Chandra, T. N. Vijaykumar
2003	J	`jnl`	Searching for Points-To Analysis. IEEE Trans. Software Eng. Glenn Bruns, Satish Chandra
2002	—	`conf`	Searching for points-to analysis. SIGSOFT FSE Glenn Bruns, Satish Chandra
2002	A*	`conf`	Software model checking in practice: an industrial case study. ICSE Satish Chandra, Patrice Godefroid, Christopher Palm
2001	A*	`conf`	What packets may come: automata for network monitoring. POPL Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
2000	A*	`conf`	Off-line variable substitution for scaling points-to analysis. PLDI Atanas Rountev, Satish Chandra
2000	A*	`conf`	Packet Types: Abstract specifications of network protocol messages. SIGCOMM Peter J. McCann, Satish Chandra
1999	—	`conf`	Coping with Type Casts in C. ESEC / SIGSOFT FSE Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps
1999	—	`conf`	Physical Type Checking for C. PASTE Satish Chandra, Thomas W. Reps
1999	J	`jnl`	Physical type checking for C. ACM SIGSOFT Softw. Eng. Notes Satish Chandra, Thomas W. Reps
1999	J	`jnl`	Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. IEEE Trans. Software Eng. Satish Chandra, Brad Richards, James R. Larus
1997	—	`conf`	Experience with a Language for Writing Coherence Protocols. DSL Satish Chandra, James R. Larus, Michael Dahlin, Brad Richards, Randolph Y. Wang, Thomas E. Anderson
1997	B	`conf`	Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory. PPoPP Satish Chandra, James R. Larus
1996	—	`conf`	HPF on Fine-Grain Distributed Shared Memory: Early Experience. LCPC Satish Chandra, James R. Larus
1996	A*	`conf`	Teapot: Language Support for Writing Memory Coherence Protocols. PLDI Satish Chandra, Brad Richards, James R. Larus
1994	A*	`conf`	Where is Time Spent in Message-Passing and Shared-Memory Programs? ASPLOS Satish Chandra, James R. Larus, Anne Rogers
1993	A*	`conf`	Mechanisms for Cooperative Shared Memory. ISCA 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