Tom Ball @ Sixty Contributors - Tom Ball @ Sixty

Tue 16 Jun 2026 Boulder, Colorado, United States

co-located with PLDI 2026

Filter

Role Type

Contributing to

Number of Roles

Country

Results (18)

B Thomas BallBall, Thomas University of Washington (USA) and Lancaster University (UK)United States Paths Converge: Software Model Checking for the BBC micro:bit
Nikolaj BjørnerBjørner, Nikolaj Microsoft ResearchUnited States From Bebop to Constrained Horn Clauses
C Satish ChandraChandra, Satish Meta Platforms, Inc.United States Session Chair of TomBall@60 Session 3 (part of Tom Ball @ Sixty ) Session Chair of TomBall@60 Session 4 (part of Tom Ball @ Sixty ) Welcome and logistics Reminiscences from Madison and Naperville Committee Member in Organizing Committee within the Tom Ball @ Sixty -track
Byron CookCook, Byron AmazonUnited States Welcome and logistics Committee Member in Organizing Committee within the Tom Ball @ Sixty -track
G Patrice GodefroidGodefroid, Patrice Microsoft, USAUnited States Having a Ball with Tom since 1994
H Steve HodgesHodges, Steve Lancaster University, UK The BBC micro:bit revolution (pre-recorded video)
K Rahul KumarKumar, Rahul AmazonUnited States The SLAM "GiveUp"
L Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Session Chair of TomBall@60 Session 1 (part of Tom Ball @ Sixty ) Session Chair of TomBall@60 Session 2 (part of Tom Ball @ Sixty ) Welcome and logistics Tracing the Ball-istic Trajectory of My Research: From Randoop to FastF, Memory Models and Semantic Merging Committee Member in Organizing Committee within the Tom Ball @ Sixty -track
James LarusLarus, James EPFL Profiling, not Slicing, is the Path to Success (pre-recorded video)
M Kenneth L. McMillanMcMillan, Kenneth L. University of Texas at AustinUnited States Tom and the evolution of abstraction
Todd MillsteinMillstein, Todd University of California, Los Angeles Research in Three-Part Harmony
Madan MusuvathiMusuvathi, Madan Microsoft ResearchUnited States Welcome and logistics Committee Member in Organizing Committee within the Tom Ball @ Sixty -track
N Mayur NaikNaik, Mayur University of PennsylvaniaUnited States Welcome and logistics Committee Member in Organizing Committee within the Tom Ball @ Sixty -track
R Sriram RajamaniRajamani, Sriram Microsoft Research Indua Recollections from SLAM-ming with Tom
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States Ju-jitsu with Ball-Larus (& Melski-Reps) or "We will publish no algorithm before its time"
S Mooly SagivSagiv, Mooly Certora, inc.Israel Interdisciplinary Genius in the 21st Century: The Case of Tom Ball
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Riffing on some themes from Tom: Driver Verification, Testing, Abstraction & Theorem Proving
V Margus VeanesVeanes, Margus Microsoft ResearchUnited States The Question That Launched a Thousand Derivatives