Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online

0 results

People (4 results)
Isil Dillig

Isil Dillig

… …

Pavel Panchekha

Pavel Panchekha

… …

Mooly Sagiv

Mooly Sagiv

… …

Events (31 results)

Causal-Consistent Reversible Debugging: Improving CauDEr

PADL 2021 When: Tue 19 Jan 2021 16:30 - 17:00 People: Juan José González-Abril, German Vidal

… , as long as all the actions that depend on the action we want to undo have been … framework, and develop a new version of the debugging tool CauDEr including all

A Limited Case for Reification by Type Inference

CoqPL When: Tue 19 Jan 2021 16:00 - 16:15 People: Jason Gross

… and interesting in its own right. This, after all, is how reification …

Strictly Capturing Non-Strict Closures

PEPM 2021 When: Tue 19 Jan 2021 18:30 - 19:00 People: Zachary Sullivan, Paul Downen, Zena M. Ariola

All functional languages need closures. Closure-conversion is a compiler transformation that embeds static code for creating and manipulating closures into the program, avoiding the need to do this at run-time. For call-by-value …

A Self-Certifying Compilation Framework for WebAssembly

VMCAI When: Sun 17 Jan 2021 18:15 - 18:30 People: Kedar Namjoshi, Anton Xue

… for WebAssembly, a new intermediate language supported by all major browsers. …

Attending Information (4 results)

Online (How to POPL in 2021)

… room.

Everyone is on equal footing: Asia and all of Australia and Oceania can … for all research papers will be released online. As a participant, you … the opportunity for all authors to be involved in the Q&A and ongoing …

Code of Conduct

… for registration and all conference activities. Special circumstances may …/policy-against-discrimination-and-harassment). We expect all the participants … or opportunity for participation at the conference and all associated events …

Supporting POPL

… relationship with our sponsors:

  • We acknowledge all sources of financial support.
  • We disclose all benefits that sponsors receive in exchange … students to pursue careers in programming language research. All funds designated …

Student Volunteers

… Sign up to be a Student Volunteer and help us make POPL 2021 a unique experience for all attendants!

POPL 2021 is pleased to offer a number of opportunities for student volunteers, who are vital to the efficient operation and continued …

Tracks (11 results)

VMCAI 2021 - 22nd International Conference on Verification, Model Checking, and Abstract Interpretation

… is (only) reachable after logging into Clowdr. It will be open all VMCAI days … information will be provided to all registered participants directly from Clowdr … is optional. However, we highly encourage all authors to also submit …

Certified Programs and Proofs

… and theoretical topics in all areas that consider formal verification …/POPL-2021-venue) meeting, where all papers are presented online. The main room …) is an international conference on practical and theoretical topics in all areas …

LAFI 2021

… -language and machine-learning researchers together to advance all aspects … to advance all aspects of languages for inference. Topics include …

General (9 results)

PEPM 2021 Homepage

… c8cce6d8-9e69-4ec0-9391-f80b1cee6db8 PEPM 2021 Welcome to the website of the PEPM 2021 conference. We are working hard to fill the website with all related … to fill the website with all related information. Please check back soon! …

CPP 2021 Homepage

… Certified Programs and Proofs 2021 Welcome to the website of the Certified Programs and Proofs 2021 conference. We are working hard to fill the website with all related information. Please check back soon! …

LAFI 2021 Homepage

… d648188b-9a92-4014-9f39-fc645af3b53c LAFI 2021 Welcome to the website of the LAFI 2021 conference. We are working hard to fill the website with all related information. Please check back soon! 7138e4db-59c4-4433-9ceb-d45652971521 …