POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

0 results

People (8 results)
Marcel Moosbrugger

Marcel Moosbrugger

… …

Işıl Dillig

Işıl Dillig

… …

Pavel Panchekha

Pavel Panchekha

… …

Events (57 results)

Functorial Syntax for All

CoqPL 2024 People: Piotr Polesiuk, Filip Sieczkowski

… …

Quotient Haskell: Lightweight Quotient Types for All

POPL People: Brandon Hewer, Graham Hutton

… …

All the Binaries Together: A Semantic Approach to Application Binary Interfaces

PriSC 2024 People: Andrew Wagner, Amal Ahmed

… Nearly all modern systems critically depend on interoperability between languages and libraries, but reasoning formally about this interaction has proven … machinery slowly disappears, and all that remains is an unspoken promise between …

Work in Progress: Modelling Incorrect Programs in the Open World with Dafny

Incorrectness People: James Noble, Tobias Wrigstad, Susan Eisenbach

… Software verification typically assumes a “closed world”: that all modules of a system can be verified, or at least the provenance of all the modules can be assured. Real systems, however, have to interact with the “open world”: third …

Attending Information (2 results)

Information for Virtual Attendees

… .**

All the talks from POPL and the colocated workshops will be streamed on-line …

Supporting POPL

… and underrepresented minorities, to attend both POPL and PLMW. All funds … all over the world for several decades, has had a significant impact …

Tracks (16 results)

CPP 2024

… and theoretical topics in all areas that consider formal verification … (CPP) is an international conference on practical and theoretical topics in all … will welcome contributions from all members of the community. The CPP 2024 organizers …

LAFI 2024

… The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages …-language and machine-learning researchers together to advance all aspects …

PADL 2024: The 26th International Symposium on Practical Aspects of Declarative Languages

… for all forms of declarative programming, including functional and logic … applications and implementation techniques for all forms of declarative programming … but will not be published in the formal proceedings.

All page limits exclude …

General (20 results)

CPP 2024 Homepage

… CPP 2024 Welcome to the website of the CPP 2024 conference. We are working hard to fill the website with all related information. Please check back soon! …

VMCAI 2024 Homepage

… VMCAI 2024 Welcome to the website of the VMCAI 2024 conference. We are working hard to fill the website with all related information. Please check back soon! …

PEPM 2024 Homepage

… PEPM 2024 Welcome to the website of the PEPM 2024 conference. We are working hard to fill the website with all related information. Please check back soon! …