What did folks think of the session previews? Were they useful?

The recording of our POPL song, 'Reviewing for Publication', is now available: youtube.com/watch?v=Hyaeg7…

So proud of our volunteer team this year at POPL 2024 thank each one of you ❤️

OCaml core maintainers received the SIGPLAN Programming Languages Software Award for OCaml yesterday at POPL 2024. Honoured to be part of the team.

Hear Xavier Leroy say a few words about OCaml. Learnt something new about Eurostar trains :-)

youtube.com/watch?v=9p7q1G…

Don’t miss Ally Donaldson (Alastair Donaldson) and me presenting an Extraordinary Session tomorrow morning at POPL 2024, at 0850-0900 in Kelvin (just before Nate Foster (@[email protected])’s keynote)! We will offer some “reflections on the peer-review process” … popl24.sigplan.org/details/POPL-2…

POPL25 in Denver (Colorado)! Hope it will not as cold as in these days there!

Hopeful call for action on climate, on humanity's most desperate problem. Thank you, Benjamin Pierce. At POPL 2024.

POPL 2024 The Principles of Capabilities workshop, organised by Peter Sewell. popl24.sigplan.org/home/pocl-2024, streamed here youtube.com/watch?v=jXTWA_…

We just wrapped up POPL matching! Here's where we are in January 2024!

Who’s at POPL 2024? #popl 2024 #popl conf #popl

Waking up early to be at POPL 2024 at 7:30 to start setting up is a pain BUT we do get to see the sunrise over the Thames from IET

Talks from Sunday’s Dafny workshop are already up!! youtube.com/live/ZLcDieBq0…

Excited to post ~15 new chapters in the F* book on Pulse and proof-oriented programming in concurrent separation logic, coupled with initial releases of the Pulse extension to F*. Just in time for our tutorial at POPL tomorrow!

fstar-lang.org/tutorial/book/…

#fstarlang

1/5 I am not able to make it to London for POPL this year, but I want to take this opportunity to publicize two talks from my group. The first one is “Semantic Refactoring for Abstract Data Types” by Shankara Pailoor

Complete Stream Fusion for Software-Defined Radio by ⁦Tomoaki Kobayashi⁩ and Oleg Kiselyov 🚀 popl24.sigplan.org/details/pepm-2…

#POPLDEI is organizing the following lunches, join in to meet-and-greet your colleagues, everyone welcome!

URM lunch - 17th Jan, Wed, Marconi room

LGBTQ lunch - 18th Jan, Thu, Marconi room

Women's lunch - 19th Jan, Fri, Riverside room

More details: popl24.sigplan.org/track/POPL-202…

'Speaking as a compiler developer, do not trust compiler developers' @ the future of weak memory POPL 2024

Excited to announce first Diversity, Equity, and Inclusion (DEI) cocktail reception at #POPL2024 !🌍 Join us for a free event, Thu 18th Jan, 18:30, Riverside Room (amazing views!) Let's celebrate diversity in PL! popl24.sigplan.org/track/POPL-202… #POPLDEI #InclusionMatters @SavoyPlaceLondon

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

The 1st Workshop on Programming for the Planet (PROPL) is coming up on January 20, 2024 in London! The schedule is available at popl24.sigplan.org/home/propl-202…. #POPL2024 POPL 2024 Tarides