POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Sat 20 Jan 2024 14:00 - 14:45 at Siemens Boardroom - Invited Talks 3 Chair(s): Jerome Feret

As a researcher in program verification and static analysis, I was an admirer of the elegant theoretical work on Abstract Interpretation. Then, in 2013 I moved to industry and the shock of attempting to deploy program analysis to people made me appreciate the subject much, much more. Going back and forth between the theory and the needs of people who use the tools made me revisit my own assumptions, leading to surprising (for me) places. In the talk I’d like to tell you you what I learned about AI and how it made a difference, as well as what I wish I knew and why there is much to do.

Sat 20 Jan

Displayed time zone: London change

14:00 - 15:30
Invited Talks 3N40AI at Siemens Boardroom
Chair(s): Jerome Feret INRIA Paris
AI for the People
Peter W. O'Hearn Lacework; University College London
Unified Compositional Symbolic Execution
Philippa Gardner Imperial College London