[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==========================================
Tom Ball @ Sixty Workshop (co-located with PLDI'26)
==========================================
We are delighted to announce that the full program for Tom Ball @ Sixty is now
live!
This special one-day workshop on Tuesday, June 16 at PLDI'26 celebrates Tom
Ball's 60th birthday and his numerous foundational contributions to the fields
of Programming Languages, Formal Methods, and Software Engineering. Tom and his
collaborators have had a deep impact on several research areas, including
scalable program analysis with path-profiling, industrial-scale program
verification with SLAM, and automated test generation with Randoop.
The workshop is open to all PLDI'26 attendees. We especially encourage students
and early-career researchers to attend, as this is a rare opportunity to hear
directly from pioneers who have shaped modern software verification and testing.
You can find a preview of the program below and the full program details on the
workshop’s webpage:
https://urldefense.com/v3/__https://pldi26.sigplan.org/home/tb-60-2026__;!!IBzWLUs!Ts_YypncRjAC7N2kwiM3kdaoicOlRw42SBznd59YdE1X8bH4Fe0DumpwaviRW4QHp4YkUBT7QRcfn-bZqTW_udfNkh2HntWg$
.
=================
PROGRAM PREVIEW
=================
The program features an exceptional set of talks from Tom's closest
collaborators and researchers whose work has been deeply shaped by his research:
* “Recollections from SLAM-ming with Tom,” Sriram Rajamani (Microsoft
Research India)
* “Testing, Verification, and Measurement---Tom's still open challenge,”
Madan Musuvathi (Microsoft Research)
* “From Bebop to Constrained Horn Clauses,” Nikolaj Bjørner (Microsoft
Research)
* “Research in Three-Part Harmony,” Todd Millstein (UCLA)
* “Riffing on some themes from Tom: Driver Verification, Testing,
Abstraction & Theorem Proving,” Nikhil Swamy (Microsoft Research)
* “The SLAM ‘GiveUp’,” Rahul Kumar (Amazon)
* “Ju-jitsu with Ball-Larus (& Melski-Reps) or ‘We will publish no
algorithm before its time’,” Thomas Reps (Univ. of Wisconsin-Madison)
* “Interdisciplinary Genius in the 21st Century: The Case of Tom Ball,”
Mooly Sagiv (Certora)
* “Having a Ball with Tom since 1994,” Patrice Godefroid (Microsoft)
* “The Question That Launched a Thousand Derivatives,” Margus Veanes
(Microsoft Research)
* “Tracing the Ball-istic Trajectory of My Research: From Randoop to FastF,
Memory Models and Semantic Merging,” Shuvendu K. Lahiri (Microsoft Research)
* “Tom and the evolution of abstraction,” Kenneth L. McMillan (UT-Austin)
* “Profiling, not Slicing, is the Path to Success,” James Larus (EPFL)
* “The BBC micro:bit revolution,” Steve Hodges (Lancaster Univ.)
* “Paths Converge: Software Model Checking for the BBC micro:bit,” Thomas
Ball (Univ. of Washington & Lancaster Univ.)
Together, these talks span decades of landmark advances in software testing,
program analysis, and formal verification. Don’t miss them!
Distributed on behalf of the Tom Ball @ 60 organizers.
