Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSatish Chandra 0001
Person information
- affiliation: Google, USA
- affiliation (former): Facebook, Menlo Park, CA, USA
- affiliation (former): Samsung Research America, Mountain View, CA, USA
- affiliation (former): IBM Research, T.J. Watson Research Center, Yorktown Heights, NY, USA
- affiliation (former): Bell Laboratories, Naperville, IL, USA
Other persons with the same name
- Satish Chandra 0003
![[0000-0002-1781-8138]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-1781-8138")
— Mahindra University, Hyderabad, India (and 1 more) - Satish Chandra 0004 — Satyam Computer Services Limited, Hyderabad, India
- Satish Chandra 0005 — National Aerospace Laboratories, Bangalore, India
- Satish Chandra 0006 — CSIR - Central Road Research Institute, New Delhi, India
- Satish Chandra 0007 — University of Lugano, Faculty of Informatics, Switzerland
- Satish Chandra 0008 — Indian Institute of Technology Dhanbad, Department of Electronics Engineering, India
- Satish Chandra 0009 — University of Louisville, KY, USA
- Satish Chandra 0010 — KIIT Deemed to be University, Bhubaneswar, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j17]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): 30-33 (2024)- [j16]Sarah D'Angelo, Ambar Murillo, Satish Chandra, Andrew Macvean:
What Do Developers Want From AI? IEEE Softw. 41(3): 11-15 (2024) - [c72]Satish Chandra:
AI in Software Engineering at Google: Progress and the Path Ahead (Invited Talk). AIware 2024 - [c71]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: 204-215 - [c70]Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra:
Counterfactual Explanations for Models of Code. Software Engineering 2024: 91-92 - 2023
- [j15]Chakkrit Tantithamthavorn, Jürgen Cito, Hadi Hemmati, Satish Chandra:
Explainable AI for SE: Challenges and Future Directions. IEEE Softw. 40(3): 29-33 (2023) - [j14]Jürgen Cito, Satish Chandra, Chakkrit Tantithamthavorn, Hadi Hemmati:
Expert Perspectives on Explainability. IEEE Softw. 40(3): 84-88 (2023) - [e2]Satish Chandra, Kelly Blincoe, Paolo Tonella:
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. ACM 2023 [contents] - 2022
- [j13]Michael Pradel, Satish Chandra:
Neural software analysis. Commun. ACM 65(1): 86-96 (2022) - [c69]Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra:
Counterfactual Explanations for Models of Code. ICSE (SEIP) 2022: 125-134 - [c68]Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra:
Mining Idioms in the Wild. ICSE (SEIP) 2022: 187-196 - [c67]Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra:
Predictive synthesis of API-centric code. MAPS@PLDI 2022: 40-49 - [c66]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: 1320-1330 - [i18]Daye Nam, Baishakhi Ray, Seohyun Kim, Xianshan Qu, Satish Chandra:
Predictive Synthesis of API-Centric Code. CoRR abs/2201.03758 (2022) - 2021
- [j12]Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra:
Automatic Program Repair. IEEE Softw. 38(4): 22-27 (2021) - [j11]Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer:
AI in Software Engineering at Facebook. IEEE Softw. 38(4): 52-61 (2021) - [c65]Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra:
Code Prediction by Feeding Trees to Transformers. ICSE 2021: 150-162 - [c64]Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra:
Industry-Scale IR-Based Bug Localization: A Perspective from Facebook. ICSE (SEIP) 2021: 188-197 - [c63]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: 268-277 - [c62]Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra:
Scalable Statistical Root Cause Analysis on App Telemetry. ICSE (SEIP) 2021: 288-297 - [c61]Jürgen Cito, Isil Dillig, Seohyun Kim, Vijayaraghavan Murali, Satish Chandra:
Explaining mispredictions of machine learning models using rule induction. ESEC/SIGSOFT FSE 2021: 716-727 - [i17]Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra:
Mining Idioms in the Wild. CoRR abs/2107.06402 (2021) - [i16]Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra:
Counterfactual Explanations for Models of Code. CoRR abs/2111.05711 (2021) - 2020
- [c60]Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra:
Debugging crashes using continuous contrast set mining. ICSE (SEIP) 2020: 61-70 - [c59]Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra:
Scaffle: bug localization on millions of files. ISSTA 2020: 225-236 - [c58]Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra:
TypeWriter: neural type prediction with search-based validation. ESEC/SIGSOFT FSE 2020: 209-220 - [c57]Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra:
Exempla gratis (E.G.): code examples for free. ESEC/SIGSOFT FSE 2020: 1353-1364 - [i15]Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra:
Code Prediction by Feeding Trees to Transformers. CoRR abs/2003.13848 (2020) - [i14]Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra:
Scalable Statistical Root Cause Analysis on App Telemetry. CoRR abs/2010.09974 (2020) - [i13]Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra:
Industry-scale IR-based Bug Localization: A Perspective from Facebook. CoRR abs/2010.09977 (2020) - [i12]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 abs/2010.13464 (2020) - [i11]Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra:
Exempla Gratis (E.G.): Code Examples for Free. CoRR abs/2011.01407 (2020) - [i10]Michael Pradel, Satish Chandra:
Neural Software Analysis. CoRR abs/2011.07986 (2020)
2010 – 2019
- 2019
- [j10]Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra:
Aroma: code recommendation via structural code search. Proc. ACM Program. Lang. 3(OOPSLA): 152:1-152:28 (2019) - [j9]Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra:
Getafix: learning to fix bugs automatically. Proc. ACM Program. Lang. 3(OOPSLA): 159:1-159:27 (2019) - [c56]Mateusz Machalica, Alex Samylkin, Meredith Porth, Satish Chandra:
Predictive test selection. ICSE (SEIP) 2019: 91-100 - [c55]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: 269-278 - [c54]Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra:
Neural query expansion for code search. MAPL@PLDI 2019: 29-37 - [c53]José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra:
When deep learning met code search. ESEC/SIGSOFT FSE 2019: 964-974 - [i9]Andrew Scott, Johannes Bader, Satish Chandra:
Getafix: Learning to fix bugs automatically. CoRR abs/1902.06111 (2019) - [i8]José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra:
When Deep Learning Met Code Search. CoRR abs/1905.03813 (2019) - [i7]Hongyu Li, Seohyun Kim, Satish Chandra:
Neural Code Search Evaluation Dataset. CoRR abs/1908.09804 (2019) - [i6]Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra:
Debugging Crashes using Continuous Contrast Set Mining. CoRR abs/1911.04768 (2019) - [i5]Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra:
TypeWriter: Neural Type Prediction with Search-based Validation. CoRR abs/1912.03768 (2019) - 2018
- [c52]Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra:
Retrieval on source code: a neural code search. MAPL@PLDI 2018: 31-41 - [i4]Mateusz Machalica, Alex Samylkin, Meredith Porth, Satish Chandra:
Predictive Test Selection. CoRR abs/1810.05286 (2018) - [i3]Sifei Luan, Di Yang, Koushik Sen, Satish Chandra:
Aroma: Code Recommendation via Structural Code Search. CoRR abs/1812.01158 (2018) - 2017
- [c51]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: 521-541 - [c50]Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan:
I¿¿¿: a calculus for internet of things automation. Onward! 2017: 119-133 - 2016
- [j8]Satish Chandra, Suresh Thummalapenta, Saurabh Sinha:
Lessons from the tech transfer trenches. Commun. ACM 59(2): 37-39 (2016) - [j7]Abhik Roychoudhury, Satish Chandra:
Formula-based software debugging. Commun. ACM 59(7): 68-77 (2016) - [c49]Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen:
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP 2016: 1:1-1:26 - [c48]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: 410-429 - [c47]Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan:
A practical framework for type inference error explanation. OOPSLA 2016: 781-799 - [i2]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 abs/1605.01362 (2016) - [i1]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 abs/1608.07261 (2016) - 2015
- [c46]Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra:
Test Generation from Business Rules. ICST 2015: 1-10 - [c45]Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler:
Toward tool support for interactive synthesis. Onward! 2015: 121-136 - [c44]Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen:
SJS: A Type System for JavaScript with Fixed Object Layout. SAS 2015: 181-198 - [c43]Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra:
MemInsight: platform-independent memory debugging for JavaScript. ESEC/SIGSOFT FSE 2015: 345-356 - [c42]Stefan Heule, Manu Sridharan, Satish Chandra:
Mimic: computing models for opaque code. ESEC/SIGSOFT FSE 2015: 710-720 - 2014
- [c41]Satish Chandra, Vibha Singhal Sinha, Saurabh Sinha, Krishna Ratakonda:
Software services: a research roadmap. FOSE 2014: 40-54 - [c40]Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra:
Data-guided repair of selection statements. ICSE 2014: 243-253 - [c39]Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra:
Robust test automation using contextual clues. ISSTA 2014: 304-314 - [c38]Satish Chandra:
Are you getting traction? tales from the tech transfer trenches (invited talk). SIGSOFT FSE 2014: 5 - [c37]Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra:
What Gives? A Hybrid Algorithm for Error Trace Explanation. VSTTE 2014: 270-286 - 2013
- [c36]Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra:
Guided test generation for web applications. ICSE 2013: 162-171 - [c35]Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra:
SemFix: program repair via semantic analysis. ICSE 2013: 772-781 - [c34]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: 1002-1011 - [p1]Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav:
Alias Analysis for Object-Oriented Programs. Aliasing in Object-Oriented Programming 2013: 196-232 - [e1]Sugata Ghosal, Gautam Shroff, Satish Chandra, Nachiappan Nagappan:
6th India Software Engineering Conference, ISEC '13, New Delhi, India - February 21 - 23, 2013. ACM 2013, ISBN 978-1-4503-1987-4 [contents] - 2012
- [c33]Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan:
Alternate and Learn: Finding Witnesses without Looking All over. CAV 2012: 599-615 - [c32]Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip:
Correlation Tracking for Points-To Analysis of JavaScript. ECOOP 2012: 435-458 - [c31]Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra:
Automating test automation. ICSE 2012: 881-891 - [c30]Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin K. Das, Srinivas Mangipudi:
Efficiently scripting change-resilient tests. SIGSOFT FSE 2012: 41 - 2011
- [c29]Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík:
Angelic debugging. ICSE 2011: 121-130 - [c28]Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra:
Fault localization for data-centric programs. SIGSOFT FSE 2011: 157-167 - 2010
- [c27]Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran:
Making defect-finding tools work for you. ICSE (2) 2010: 99-108 - [c26]Emina Torlak, Satish Chandra:
Effective interprocedural resource leak detection. ICSE (1) 2010: 535-544 - [c25]Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor:
Programming with angelic nondeterminism. POPL 2010: 339-352
2000 – 2009
- 2009
- [c24]Satish Chandra, Stephen J. Fink, Manu Sridharan:
Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374 - 2008
- [c23]Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda:
Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224 - [c22]Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra:
The CLOSER: automating resource management in java. ISMM 2008: 1-10 - [c21]Greta Yorsh, Eran Yahav, Satish Chandra:
Generating precise and concise procedure summaries. POPL 2008: 221-234 - [c20]Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík:
Type inference for locality analysis of distributed data structures. PPoPP 2008: 11-22 - 2007
- [j6]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): 265-288 (2007) - 2006
- [j5]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): 647-655 (2006) - [j4]Vibha Sinha, Bikram Sengupta, Satish Chandra:
Enabling Collaboration in Distributed Requirements Management. IEEE Softw. 23(5): 52-61 (2006) - [c19]Bikram Sengupta, Satish Chandra, Vibha Sinha:
A research agenda for distributed software development. ICSE 2006: 731-740 - 2005
- [c18]Mangala Gowri Nanda, Christian Grothoff, Satish Chandra:
Deriving object typestates in the presence of inter-object references. OOPSLA 2005: 77-96 - [c17]Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field:
Dependent Types for Program Understanding. TACAS 2005: 157-173 - 2004
- [c16]Satish Chandra:
Tools and Techniques for Multi-site Sotware Development. ICDCIT 2004: 243 - [c15]Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar:
Decentralizing execution of composite web services. OOPSLA 2004: 170-187 - 2003
- [j3]Glenn Bruns, Satish Chandra:
Searching for Points-To Analysis. IEEE Trans. Software Eng. 29(10): 883-897 (2003) - [c14]Jahangir Hasan, Satish Chandra, T. N. Vijaykumar:
Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. ISCA 2003: 300-311 - 2002
- [c13]Satish Chandra, Patrice Godefroid, Christopher Palm:
Software model checking in practice: an industrial case study. ICSE 2002: 431-441 - [c12]Glenn Bruns, Satish Chandra:
Searching for points-to analysis. SIGSOFT FSE 2002: 61-70 - 2001
- [c11]Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter:
What packets may come: automata for network monitoring. POPL 2001: 206-219 - 2000
- [c10]Atanas Rountev, Satish Chandra:
Off-line variable substitution for scaling points-to analysis. PLDI 2000: 47-56 - [c9]Peter J. McCann, Satish Chandra:
Packet Types: Abstract specifications of network protocol messages. SIGCOMM 2000: 321-333
1990 – 1999
- 1999
- [j2]Satish Chandra, Thomas W. Reps:
Physical type checking for C. ACM SIGSOFT Softw. Eng. Notes 24(5): 66-75 (1999) - [j1]Satish Chandra, Brad Richards, James R. Larus:
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. IEEE Trans. Software Eng. 25(3): 317-333 (1999) - [c8]Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps:
Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198 - [c7]Satish Chandra, Thomas W. Reps:
Physical Type Checking for C. PASTE 1999: 66-75 - 1997
- [c6]Satish Chandra, James R. Larus, Michael Dahlin, Brad Richards, Randolph Y. Wang, Thomas E. Anderson:
Experience with a Language for Writing Coherence Protocols. DSL 1997: 51-66 - [c5]Satish Chandra, James R. Larus:
Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory. PPoPP 1997: 100-111 - 1996
- [c4]Satish Chandra, James R. Larus:
HPF on Fine-Grain Distributed Shared Memory: Early Experience. LCPC 1996: 450-465 - [c3]Satish Chandra, Brad Richards, James R. Larus:
Teapot: Language Support for Writing Memory Coherence Protocols. PLDI 1996: 237-248 - 1994
- [c2]Satish Chandra, James R. Larus, Anne Rogers:
Where is Time Spent in Message-Passing and Shared-Memory Programs? ASPLOS 1994: 61-73 - 1993
- [c1]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:
Mechanisms for Cooperative Shared Memory. ISCA 1993: 156-167
Coauthor Index
Seohyun Kim 0001
aka: Sonia Seohyun Kim
aka: Sonia Seohyun Kim