RanaldCloustonNov 8, 2023
Congrats to my #ANU colleague Peter Hoefner, as well as @ohad and the other co-authors, for the acceptance to #POPL #POPL2023 of their 'Shoggoth' paper. I don't know anything about the research but I am tickled by the reach into the Lovecraft mythos for a name. https://popl24.sigplan.org/track/POPL-2024-popl-research-papers
POPL 2024 - POPL Research Papers - 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 ...

Alan JeffreyJan 20, 2023
@wilbowma I tried to get a mask this morning, but the hotel front desk doesn't have any, and the registration desk was closed 😢 #popl2023
Alan JeffreyJan 20, 2023
This is the second @sigplan conference in a row I've been to where there is no breakfast. Is this the new normal? #popl2023
Alan JeffreyJan 19, 2023
The @pigworker Monad at #popl2023
Luca 🤓Jan 19, 2023
I presented a paper at #vmcai and will attend #popl2023 until tomorrow! Hmu if you’re into formal verification, model checking, concurrent systems & the like :)
Show threadAlan JeffreyJan 19, 2023
On the way back from the #popl2023 PC Dinner...
Alan JeffreyJan 18, 2023
CTA -> ORD -> BOS -> T -> POPL. #popl #popl2023
Nathan TaylorJan 16, 2023
a well-typed #popl2023 greeting to all, from (checks notes) uh the chonky giant head of boston pops conductor arthur fiedler
David NetoJan 5, 2023

Forwarded from @[email protected]

Check out the camera-ready version of our #popl2023 paper on using formal technique to improve the #SPIRV programming language. Joint with Vasileios Klimis, Jack Clark, @wicko3, Alan Baker and @dneto.

@thekhronosgroup @VulkanAPI

https://t.co/uUIF9kxlKX

Stephen De GabrielleDec 18, 2022

#POPL2023 talk schedule is now available

https://popl23.sigplan.org/program/program-POPL-2023/

Thanks Andrew Myers

https://twitter.com/andrewcmyers/status/1604467899678486528?s=46&t=byuCni2tGL27qzzYYkOM7w

Program - POPL 2023

Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of POPL, we will be back where POPL #1 happened: Boston, Massachusetts. 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, underst ...