Reminiscences from Madison and Naperville
Satish Chandra is a software engineer at Meta, where he applies machine learning techniques to improve developer productivity and leads the work on internal developer infrastructure using these techniques.
Prior to Google, he has worked – in reverse chronological order – at Facebook, Samsung Research, IBM Research, and Bell Laboratories. His work has spanned many areas of programming languages and software engineering, including program analysis, type systems, software synthesis, bug finding and repair, software testing and test automation, and web technologies. His research has been widely published in leading conferences in his field, including POPL, PLDI, ICSE, FSE and OOPSLA. The projects he has led have had significant industrial impact: in addition to his work on ML-based developer productivity at Facebook, his work on bug finding tools shipped in IBM’s Java static analysis product, his work on test automation was adopted in IBM’s testing services offering, and his work at Samsung was included in Samsung’s Tizen IDE.
Satish Chandra obtained a PhD from the University of Wisconsin-Madison, and a B.Tech from the Indian Institute of Technology-Kanpur, both in computer science. He is an ACM Fellow and an elected member of WG 2.4.
Tue 16 JunDisplayed time zone: Mountain Time (US & Canada) change
09:00 - 10:05 | |||
09:00 15mTalk | Welcome and logistics Tom Ball @ Sixty Satish Chandra Meta Platforms, Inc., Shuvendu K. Lahiri Microsoft Research, Mayur Naik University of Pennsylvania, Byron Cook Amazon, Madan Musuvathi Microsoft Research | ||
09:15 25mTalk | Recollections from SLAM-ming with Tom Tom Ball @ Sixty Sriram Rajamani Microsoft Research Indua File Attached | ||
09:40 25mTalk | Tom and the evolution of abstraction Tom Ball @ Sixty Kenneth L. McMillan University of Texas at Austin File Attached | ||
10:05 5mTalk | Reminiscences from Madison and Naperville Tom Ball @ Sixty Satish Chandra Meta Platforms, Inc. | ||