Tom Ball at Sixty

Tom Ball @ Sixty with PLDI 2026

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 ...