Satish Chandra

Registered user since Thu 12 Mar 2015

Name:Satish Chandra
Bio:

Satish Chandra obtained a PhD from the University of Wisconsin-Madison in 1997, and a B.Tech from the Indian Institute of Technology-Kanpur in 1991, both in computer science. From 1997 to 2002, he was a member of technical staff at Bell Laboratories, where his research focused on program analysis, domain-specific languages, and data-communication protocols. From 2002 to 2013, he was a research staff member at IBM Research, where his research focused on bug finding and verification, software synthesis, and test automation. His work on bug finding shipped in IBM’s Java static analysis product, and his work on test automation was adopted in IBM’s testing services offering. From 2013 to 2016, he worked at Samsung Research America, where he led the advanced programming tools research team. His work on memory profiling of web apps was included in Samsung’s Tizen IDE. In 2016, he started working at Facebook. He is an ACM Distinguished Scientist.

Country:United States
Affiliation:Facebook

Contributions

SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
ESEC/FSE 2022 Committee Member in Program Committee within the Research Papers-track
ESEC/FSE 2021 Author of Explaining Mispredictions of Machine Learning Models using Rule Induction within the Research Papers-track
ECOOP and ISSTA 2021 Session Chair of Testing/Analysis and ML/DL 1 (part of Discussions with Experts)
Speaker of Machine Learning for Developer Productivity within the Summer School-track
Author of Testing/Analysis and ML/DL 1 within the Discussions with Experts-track
MAPL 2020 Session Chair of Program Synthesis (part of MAPL)
Committee Member in Program Committee within the MAPL-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
ISSTA 2020 Author of Scaffle: Bug Localization on Millions of Files within the Technical Papers-track
ESEC/FSE 2020 Author of TypeWriter: Neural Type Prediction with Search-Based Validation within the Research Papers-track
Moderator of Conversations on Cloud / Services 1 within the Paper Presentations-track
Author of Exempla Gratis (E.G.): Code Examples for Free within the Industry Papers-track
Committee Member in Program Committee within the Research Papers-track
Moderator of Conversations on Cloud / Services 2 within the Paper Presentations-track
SPLASH 2020 Co-chair in REBASE Chicago within the REBASE-track
Rebase Co-chair in Organizing Committee
MSR 2020 Invited Speaker of Machine Learning for Developer Productivity at Facebook within the Keynote-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
MAPL 2019 Author of Neural Query Expansion for Code Search within the MAPL 2019-track
ICSE 2021 Author of Code Prediction by Feeding Trees to Transformers within the Technical Track-track
Author of Industry-scale IR-based Bug Localization: A Perspective from Facebook within the SEIP - Software Engineering in Practice-track
Author of Scalable Statistical Root Cause Analysis on App Telemetry within the SEIP - Software Engineering in Practice-track
Author of What It Would Take to Use Mutation Testing in Industry—A Study at Facebook within the SEIP - Software Engineering in Practice-track
SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track
Author of Aroma: Code Recommendation via Structural Code Search within the Posters-track
Author of Getafix: Learning to Fix Bugs Automatically within the Posters-track
Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track
ISSTA 2019 Committee Member in Program Committee within the Technical Papers-track
ECOOP 2019 Author of Using ML for Code Discovery at Facebook within the Curry On-track
Author of Getafix: Learning to fix bugs automatically within the Curry On-track
PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Session Chair of Type Systems III (part of PLDI Research Papers)
MAPL 2018 Author of Retrieval on source code: a neural code search within the MAPL 2018-track
ICSE 2020 Author of Debugging Crashes using Continuous Contrast Set Mining within the Software Engineering in Practice-track
ICSE 2019 Author of Predictive Test Selection within the Software Engineering in Practice-track
Author of SapFix: Automated End-to-End Repair at Scale within the Software Engineering in Practice-track
ESEC/FSE 2018 Industry Co-Chair in Organizing Committee
Session Chair of Test Automation (part of Industry)
Author of Big Code at Facebook (Keynote II) within the NL4SE-track
Session Chair of Keynote II (part of Keynotes)
Chair in Organizing Committee within the Industry-track
Committee Member in Program Committee within the Research Papers-track
Session Chair of Symbolic Execution and Constraint Solving (part of Research Papers)
Onward! 2017 Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track
PLDI 2018 Committee Member in External Review Committee
ECOOP 2016 Author of Trace Typing: An Approach for Evaluating Retrofitted Type Systems within the Research Track-track
SPLASH 2016 Author of A Practical Framework for Type Inference Error Explanation within the OOPSLA-track
Author of Type Inference for Static Compilation of JavaScript within the OOPSLA-track
Onward! 2015 Author of Toward tool support for interactive synthesis within the Onward! Papers-track
STOP 2015 Speaker in Speakers within the STOP-track
Speaker of JavaScript in the Small within the STOP-track
SPLASH 2015 Author of Symbolic Techniques for Software Debugging and Repair within the Tutorials-track