Peter Sewell (@peter_sewell_) 's Twitter Profile
Peter Sewell

@peter_sewell_

Maybe @[email protected]

ID: 816919340

linkhttps://www.cl.cam.ac.uk/users/pes20 calendar_today11-09-2012 07:44:44

344 Tweet

303 Followers

68 Following

Peter Sewell (@peter_sewell_) 's Twitter Profile Photo

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

Lawrence Paulson (@lawrpaulson) 's Twitter Profile Photo

“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…

ACM SIGLOG (@acmsiglog) 's Twitter Profile Photo

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...

Peter Sewell (@peter_sewell_) 's Twitter Profile Photo

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

Association for Computing Machinery (@theofficialacm) 's Twitter Profile Photo

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 Aayush Jain, whose dissertation receives the 2022 ACM Doctoral Dissertation Award! Honorable Mentions go to Alane Suhr <a href="/alsuhr/">Alane Suhr</a> , whose PhD was earned at <a href="/Cornell/">Cornell University</a> , and Conrad Watt <a href="/conrad_watt/">Conrad Watt</a> , who earned his PhD at <a href="/Cambridge_Uni/">Cambridge University</a> . bit.ly/2VXooaE
John Wickerson (@wicko3) 's Twitter Profile Photo

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

Peter Sewell (@peter_sewell_) 's Twitter Profile Photo

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

John Wickerson (@wicko3) 's Twitter Profile Photo

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? ↩️

Association for Computing Machinery (@theofficialacm) 's Twitter Profile Photo

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

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
Peter Sewell (@peter_sewell_) 's Twitter Profile Photo

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.

Peter Sewell (@peter_sewell_) 's Twitter Profile Photo

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)