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

Personal website: https://sites.google.com/site/schandraacmorg/

Contributions

ISSTA 2020Committee Member in Program Committee within the Technical Papers-track
PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
MAPL 2019Author of Neural Query Expansion for Code Search within the MAPL 2019-track
SPLASH 2019Author 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 2019Committee Member in Program Committee within the Technical Papers-track
ECOOP 2019Author 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 2019Committee Member in External Program Committee within the PLDI Research Papers-track
Session Chair of Type Systems III (part of PLDI Research Papers)
MAPL 2018Author of Retrieval on source code: a neural code search within the MAPL 2018-track
ICSE 2019Author 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 2018Industry 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! 2017Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track
PLDI 2018Committee Member in External Review Committee
ECOOP 2016Author of Trace Typing: An Approach for Evaluating Retrofitted Type Systems within the Research Track-track
SPLASH 2016Author 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! 2015Author of Toward tool support for interactive synthesis within the Onward! Papers-track
STOP 2015Speaker in Speakers within the STOP-track
Speaker of JavaScript in the Small within the STOP-track
SPLASH 2015Author of Symbolic Techniques for Software Debugging and Repair within the Tutorials-track