Congratulations to Conrad Watt cl.cam.ac.uk/~caw77/ for his WebAssembly mechanised semantics and more: eapls.org/items/4149/

“By mechanising the WebAssembly formal semantics in Isabelle/HOL … he discovered a number of errors in the specification, drove the adoption of official corrections, and provided the first type soundness proof for the corrected language.” cst.cam.ac.uk/news/conrad-wa…

cst.cam.ac.uk/news/professor… - thanks to all the great colleagues over the years

The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Lars Birkedal, Aleš Bizjak, Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski, Kasper Svendsen, David Swasey and Aaron Turon...

Congratulations to Kayvan Memarian cl.cam.ac.uk/~km569/ for his heroic thesis on C semantics: cl.cam.ac.uk/techreports/UC…

Congratulations to Aayush Jain, whose dissertation receives the 2022 ACM Doctoral Dissertation Award! Honorable Mentions go to Alane Suhr Alane Suhr , whose PhD was earned at Cornell University , and Conrad Watt Conrad Watt , who earned his PhD at Cambridge University . bit.ly/2VXooaE

Congratulations to Conrad Watt!

We're organising an informal workshop on THE FUTURE OF WEAK MEMORY at #POPL2024. Come along! Contribute a short talk about why everybody else is wrong about weak memory! popl24.sigplan.org/home/fowm-2024

Workshop at #POPL2024 on capability architectures (esp. CHERI and Morello), languages, semantics, and reasoning: popl24.sigplan.org/home/pocl-2024

castlesbook.org

I'm very much looking forward to the "Future of Weak Memory" workshop on Monday at #POPL2024. Speakers will be asking (and maybe even answering) questions like: Has our community done a good enough job at making memory model formalisations available and reusable? ↩️

Born on this day in 1934, Robin Milner received the 1991 #ACMTuringAward for three distinct and complete achievements, including LCF, the mechanization of Scott's Logic of Computable Functions. Learn more here: bit.ly/38EVOQR

Capabilities and CHERI workshop at POPL popl24.sigplan.org/home/pocl-2024

Research positions in Systems Software Verification at U. Cambridge: jobs.cam.ac.uk/job/?unit=u001…, centered around CN (cl.cam.ac.uk/~cp526/popl23.…) by Pulte et al.

7-11 October Newton Institute workshop "Big Specification: Specification, Proof, and Testing at Scale" newton.ac.uk/event/bspw01 (registration closed, but the talks will be streamed and recorded)