POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Thu 18 Jan 2024 13:10 - 13:20 at Siemens Boardroom - Thursday Lunch Session Previews Chair(s): Lucy Menon

Thu 18 Jan

Displayed time zone: London change

13:10 - 13:30
Thursday Lunch Session PreviewsSession Previews at Siemens Boardroom
Chair(s): Lucy Menon Northeastern University
13:10
10m
Research preview
Quantum Computing: Session Preview
Session Previews
Oded Padon VMware Research
13:20
10m
Research preview
Weak Memory and Concurrent Separation Logic: Session Preview
Session Previews
Mike Dodds Galois, Inc.