PLDI 2026 (series) / Tom Ball @ Sixty (series) /
Tom Ball @ Sixty Program
This is the Tom Ball @ Sixty program - see the full program for PLDI 2026 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 16 JunDisplayed time zone: Mountain Time (US & Canada) change
Tue 16 Jun
Displayed 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. | ||
10:40 - 12:20 | |||
10:40 25mTalk | From Bebop to Constrained Horn Clauses Tom Ball @ Sixty Nikolaj Bjørner Microsoft Research File Attached | ||
11:05 25mTalk | Research in Three-Part Harmony Tom Ball @ Sixty Todd Millstein University of California, Los Angeles File Attached | ||
11:30 25mTalk | Riffing on some themes from Tom: Driver Verification, Testing, Abstraction & Theorem Proving Tom Ball @ Sixty Nikhil Swamy Microsoft Research File Attached | ||
11:55 25mTalk | The SLAM "GiveUp" Tom Ball @ Sixty Rahul Kumar Amazon File Attached | ||
13:40 - 15:20 | |||
13:40 25mTalk | Ju-jitsu with Ball-Larus (& Melski-Reps) or "We will publish no algorithm before its time" Tom Ball @ Sixty Thomas Reps University of Wisconsin-Madison File Attached | ||
14:05 25mTalk | Having a Ball with Tom since 1994 Tom Ball @ Sixty Patrice Godefroid Microsoft, USA File Attached | ||
14:30 25mTalk | The Question That Launched a Thousand Derivatives Tom Ball @ Sixty Margus Veanes Microsoft Research File Attached | ||
14:55 25mTalk | Tracing the Ball-istic Trajectory of My Research: From Randoop to FastF, Memory Models and Semantic Merging Tom Ball @ Sixty Shuvendu K. Lahiri Microsoft Research File Attached | ||
15:50 - 17:30 | |||
15:50 25mTalk | Interdisciplinary Genius in the 21st Century: The Case of Tom Ball Tom Ball @ Sixty Mooly Sagiv Certora, inc. File Attached | ||
16:15 13mTalk | Profiling, not Slicing, is the Path to Success (pre-recorded video) Tom Ball @ Sixty James Larus EPFL Media Attached | ||
16:28 12mTalk | The BBC micro:bit revolution (pre-recorded video) Tom Ball @ Sixty Steve Hodges Lancaster University, UK | ||
16:40 30mTalk | Paths Converge: Software Model Checking for the BBC micro:bit Tom Ball @ Sixty Thomas Ball University of Washington (USA) and Lancaster University (UK) File Attached | ||