https://watch.eeg.cl.cam.ac.uk/videos/watch/cf84d09f-1ce0-4212-b3a3-2ccee3fa5622 Introduction (Video, PROPL 2026) Cyrus Omar, Anil Madhavapeddy, Dominic Orchard, and KC Sivaramakrishnan (University of Michigan; University of Cambridge, UK; University of Cambridge; University of Kent; IIT Madras and Tarides) Presentation at the PROPL 2026 workshop, June 15, 2026, https://pldi26.sigplan.org/home/propl-2026 Sponsored by ACM SIGPLAN. Fri, 28 Aug 2026 11:39:55 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://watch.eeg.cl.cam.ac.uk https://watch.eeg.cl.cam.ac.uk/client/assets/images/icons/icon-1500x1500.png https://watch.eeg.cl.cam.ac.uk/videos/watch/cf84d09f-1ce0-4212-b3a3-2ccee3fa5622 All rights reserved, unless otherwise specified in the terms specified at https://watch.eeg.cl.cam.ac.uk/about and potential licenses granted by each content's rightholder.