We will be organizing a one-day event celebrating Tom Ball’s sixtieth birthday, in honor of his numerous foundational contributions to the field of Programming Languages, Formal Methods and Software Engineering. Tom and his collaborators have had deep impact on several research areas including scalable program analysis with path-profiling, industrial-scale program verification with SLAM, automated test generation with Randoop and empirical software engineering. Tom was also instrumental in investing in automated reasoning tools at Microsoft Research that has seen the birth of widely used z3 tool. Among his several test-of-time paper awards, two of them happen to be for his PLDI papers, so what better venue! It will be held on June 15/16 at Boulder, Colorado, USA, co-located with the PLDI’26.
The event will consist of a collection of around 10-15 invited talks from past collaborators and researchers whose work has been deeply influenced by Tom’s research. Participation is welcome to anyone attending PLDI, especially young researchers who can interact and learn from Tom’s distinguished career path.
By invitation only
The committee will extend invitation to Tom’s past and present collaborators and researchers whose work has been deeply influenced by Tom’s research.
| Tue 31 Mar 2026new Submission Deadline |
- No members yet