Alan 🎲 
The only #popl2024 videos I can find are huge recordings of live streams (https://www.youtube.com/playlist?list=PLyrlk8Xaylp6IHv6D4SyE6ZO3xGp_lvBk). Does anyone know if they will be split in individual videos?
YouTube
Vadim ZalivaSafely made it home from a whole week at #popl2024. It was great, as usual. Besides the talks it was also great to see friends and collaborators from around the world.
Jan de Muijnck-HughesQuiet night after today, & after a nice Southern Indian Dosa. (An acquaintance suggested early dinner)
Was tempted to pop to the hotel bar, but quiet is good.
The hallway track at #popl2024 #cpp #padl #pepm can be quite claustrophobic in the Maxwell library. The upstairs ’riverside cafe’ has more space, & shorter lines.
Really nice talk, distinguished one might say, by Chelsea Edmonds on her framework for writing probabilistic proofs in Isabelle/HOL. #CPP (co-located with #popl2024
Helps make the case stronger for why we need mechanisation, and more beamer.
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma (CPP 2024) - POPL 2024
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK.
Shakthi KannanThe 1st Workshop on Programming for the Planet (PROPL) is coming up on January 20, 2024 in London! The schedule is available at https://popl24.sigplan.org/home/propl-2024#program. #POPL2024 @poplconf @tarides_
PROPL 2024 - Programming for the Planet (PROPL) - POPL 2024
There are simultaneous crises across the planet due to rising CO2 emissions, rapid biodiversity loss, and desertification. Assessing progress on these complex and interlocking issues requires a global view on the effectiveness of our adaptations and mitigations. To succeed in the coming decades, we need a wealth of new data about our natural environment that we rapidly process into accurate indicators, with sufficient trust in the resulting insights to make decisions that affect the lives of billions of people worldwide. However, programming the computer systems required to effectively in ...
POPL 2025Rather excitingly, the #POPL2024 program has now been prepared, so you can start planning your conference visit! https://popl24.sigplan.org/program/program-POPL-2024/
Program - POPL 2024
Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of Engineering and Technology (IET), Savoy Place, London The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implement ...
Peter SewellWorkshop at #POPL2024 on capability architectures (esp. CHERI and Morello), languages, semantics, and reasoning: https://popl24.sigplan.org/home/pocl-2024
POCL 2024 - - Principles of Capability Languages - POPL 2024
Hardware support for capabilities offers the prospect of substantially increased security for the computing infrastructure that we all depend on. Capabilities are an old idea, but in the last 15 years the CHERI project, working closely with Arm and others, has proposed extensions to conventional hardware Instruction-Set Architectures (ISAs) with new architectural features based on hardware capabilities, along with CHERI dialects of C and C++, to enable fine-grained memory protection and highly scalable software compartmentalisation. This is a hardware/software/semantics co-design project, ...