Tue 16 Jun 2026 10:05 - 10:10 at Meadows B - TomBall@60 Session 1 Chair(s): Shuvendu K. Lahiri

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 Jun

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:05
TomBall@60 Session 1Tom Ball @ Sixty at Meadows B
Chair(s): Shuvendu K. Lahiri Microsoft Research
09:00
15m
Talk
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
25m
Talk
Recollections from SLAM-ming with Tom
Tom Ball @ Sixty
Sriram Rajamani Microsoft Research Indua
File Attached
09:40
25m
Talk
Tom and the evolution of abstraction
Tom Ball @ Sixty
Kenneth L. McMillan University of Texas at Austin
File Attached
10:05
5m
Talk
Reminiscences from Madison and Naperville
Tom Ball @ Sixty
Satish Chandra Meta Platforms, Inc.