You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 16 Jun

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:05
TomBall@60 Session 1Tom Ball @ Sixty at Meadows B
Chair(s): Shuvendu K. Lahiri Microsoft Research
09:00
15m
Talk
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
25m
Talk
Recollections from SLAM-ming with Tom
Tom Ball @ Sixty
Sriram Rajamani Microsoft Research Indua
File Attached
09:40
25m
Talk
Tom and the evolution of abstraction
Tom Ball @ Sixty
Kenneth L. McMillan University of Texas at Austin
File Attached
10:05
5m
Talk
Reminiscences from Madison and Naperville
Tom Ball @ Sixty
Satish Chandra Meta Platforms, Inc.
10:40 - 12:20
TomBall@60 Session 2Tom Ball @ Sixty at Meadows B
Chair(s): Shuvendu K. Lahiri Microsoft Research
10:40
25m
Talk
From Bebop to Constrained Horn Clauses
Tom Ball @ Sixty
Nikolaj Bjørner Microsoft Research
File Attached
11:05
25m
Talk
Research in Three-Part Harmony
Tom Ball @ Sixty
Todd Millstein University of California, Los Angeles
File Attached
11:30
25m
Talk
Riffing on some themes from Tom: Driver Verification, Testing, Abstraction & Theorem Proving
Tom Ball @ Sixty
Nikhil Swamy Microsoft Research
File Attached
11:55
25m
Talk
The SLAM "GiveUp"
Tom Ball @ Sixty
File Attached
15:50 - 17:30
TomBall@60 Session 4Tom Ball @ Sixty at Meadows B
Chair(s): Satish Chandra Meta Platforms, Inc.
15:50
25m
Talk
Interdisciplinary Genius in the 21st Century: The Case of Tom Ball
Tom Ball @ Sixty
Mooly Sagiv Certora, inc.
File Attached
16:15
13m
Talk
Profiling, not Slicing, is the Path to Success (pre-recorded video)
Tom Ball @ Sixty
Media Attached
16:28
12m
Talk
The BBC micro:bit revolution (pre-recorded video)
Tom Ball @ Sixty
Steve Hodges Lancaster University, UK
16:40
30m
Talk
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