Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021
Online
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Supporting POPL
Student Volunteers
Code of Conduct
Registration
FAQ
Program
POPL Program
Your Program
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Wed 20 Jan
Thu 21 Jan
Fri 22 Jan
Tracks
POPL 2021
POPL
Artifact Evaluation
Workshops and Co-located Events
TutorialFest
Student Research Competition
Student Volunteers
POPL Meetups
Co-hosted Conferences
CPP
CPP
CPP
Lightning Talks
PLMW
VMCAI
Workshops
CoqPL
LAFI
PEPM
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2021 Committees
Organizing Committee
Track Committees
POPL
Artifact Evaluation
TutorialFest
Student Research Competition
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Organization Committee
Program Committee
Steering Committee
PLMW
Invited Speakers
Panelists
Organizing Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Invited speaker
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PriSC
Program Committee
Steering Committee
Co-hosted Symposia
PADL
Programme Chairs
Programme Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2021
(
series
) /
Online (How to POPL in 2021)
/
Room information: POPL-A
Venue
Online (How to POPL in 2021)
Room name
POPL-A
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
16:00 - 17:00
Compilers & Optimization
POPL
at
POPL-A
16:00
10m
Talk
Fully Abstract from Static to Gradual
POPL
Koen Jacobs
KU Leuven
,
Amin Timany
Aarhus University
,
Dominique Devriese
Vrije Universiteit Brussel
Link to publication
DOI
16:10
10m
Talk
Intrinsically Typed Compilation with Nameless Labels
POPL
Arjen Rouvoet
Delft University of Technology
,
Robbert Krebbers
Radboud University Nijmegen
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
Pre-print
16:20
10m
Talk
A Verified Optimizer for Quantum Circuits
Distinguished Paper
POPL
Kesha Hietala
University of Maryland
,
Robert Rand
University of Chicago
,
Shih-Han Hung
University of Maryland, USA
,
Xiaodi Wu
University of Maryland, USA
,
Michael Hicks
University of Maryland at College Park
Link to publication
DOI
16:30
10m
Talk
Verified Code Generation for the Polyhedral Model
POPL
Nathanaël Courant
INRIA
,
Xavier Leroy
Collège de France
Link to publication
DOI
16:40
10m
Talk
Formally Verified Speculation and Deoptimization in a JIT Compiler
POPL
Aurèle Barrière
Univ Rennes, IRISA
,
Sandrine Blazy
Univ Rennes, IRISA
,
Olivier Flückiger
Northeastern University
,
David Pichardie
Univ Rennes, ENS Rennes, IRISA
,
Jan Vitek
Northeastern University / Czech Technical University
Link to publication
DOI
Pre-print
16:50
10m
Break
Break
POPL
18:30 - 19:30
Program Analysis
POPL
at
POPL-A
18:30
10m
Talk
Verifying Correct Usage of Context-Free API Protocols
POPL
Kostas Ferles
UT Austin
,
Jon Stephens
University of Texas at Austin
,
Işıl Dillig
University of Texas at Austin
Link to publication
DOI
18:40
10m
Talk
Data Flow Refinement Type Inference
POPL
Zvonimir Pavlinovic
Google, USA
,
Yusen Su
New York University, University of Waterloo
,
Thomas Wies
New York University, USA
Link to publication
DOI
18:50
10m
Talk
An Approach to Generate Correctly Rounded Math Libraries for New Floating Point Variants
POPL
Jay P. Lim
Rutgers University, USA
,
Mridul Aanjaneya
Rutgers University
,
John Gustafson
National University of Singapore
,
Santosh Nagarakatte
Rutgers University, USA
Link to publication
DOI
19:00
10m
Talk
An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs
Distinguished Paper
POPL
Julian Rosemann
Saarland University, Saarland Informatics Campus
,
Simon Moll
NEC Deutschland
,
Sebastian Hack
Saarland University, Germany
Link to publication
DOI
19:10
10m
Talk
Relatively Complete Verification of Probabilistic Programs
POPL
Kevin Batz
RWTH Aachen University
,
Benjamin Lucien Kaminski
RWTH Aachen University, Germany
,
Joost-Pieter Katoen
RWTH Aachen University
,
Christoph Matheja
ETH Zurich
Link to publication
DOI
19:20
10m
Talk
A Practical Mode System for Recursive Definitions
POPL
Alban Reynaud
ENS Lyon
,
Gabriel Scherer
INRIA Saclay
,
Jeremy Yallop
University of Cambridge
Link to publication
DOI
Pre-print
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
16:00 - 17:00
Security
POPL
at
POPL-A
16:00
10m
Talk
Efficient and Provable Local Capability Revocation using Uninitialized Capabilities
POPL
Aina Linn Georges
Aarhus University
,
Armaël Guéneau
Aarhus University
,
Thomas Van Strydonck
KULeuven
,
Amin Timany
Aarhus University
,
Alix Trieu
Aarhus University
,
Sander Huyghebaert
Vrije Universiteit Brussel
,
Dominique Devriese
Vrije Universiteit Brussel
,
Lars Birkedal
Aarhus University
Link to publication
DOI
Pre-print
16:10
10m
Talk
Mechanized Logical Relations for Termination-Insensitive Noninterference
POPL
Simon Oddershede Gregersen
Aarhus University
,
Johan Bay
Aarhus University
,
Amin Timany
Aarhus University
,
Lars Birkedal
Aarhus University
Link to publication
DOI
Pre-print
16:20
10m
Talk
Giving Semantics to Program-Counter Labels via Secure Effects
POPL
Andrew K. Hirsch
Max Planck Institute for Software Systems
,
Ethan Cecchetti
Cornell University
Link to publication
DOI
16:30
10m
Talk
Automata and Fixpoints for Asynchronous Hyperproperties
POPL
Jens Oliver Gutsfeld
Westfälische Wilhelm-Universität Münster (WWU), Germany
,
Markus Müller-Olm
University of Münster
,
Christoph Ohrem
Westfälische Wilhelms-Universität Münster (WWU), Germany
Link to publication
DOI
16:40
10m
Talk
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Distinguished Paper
POPL
Marco Vassena
CISPA Helmholtz Center for Information Security
,
Craig Disselkoen
University of California at San Diego, USA
,
Klaus v. Gleissenthall
Vrije Universiteit Amsterdam, Netherlands
,
Sunjay Cauligi
University of California at San Diego, USA
,
Rami Gökhan Kıcı
University of California at San Diego, USA
,
Ranjit Jhala
University of California at San Diego
,
Dean Tullsen
University of California at San Diego, USA
,
Deian Stefan
University of California at San Diego, USA
Link to publication
DOI
Pre-print
16:50
10m
Break
Break
POPL
18:30 - 19:30
Complexity
POPL
at
POPL-A
18:30
10m
Talk
Learning the Boundary of Inductive Invariants
POPL
Yotam M. Y. Feldman
Tel Aviv University
,
Mooly Sagiv
Tel Aviv University
,
Sharon Shoham
Tel Aviv University
,
James R. Wilcox
University of Washington
Link to publication
DOI
18:40
10m
Talk
The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis
POPL
Andreas Pavlogiannis
Aarhus University
,
Anders Alnor Mathiasen
Aarhus University
Link to publication
DOI
18:50
10m
Talk
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
Distinguished Paper
POPL
Pascal Baumann
Max Planck Institute for Software Systems (MPI-SWS)
,
Rupak Majumdar
MPI-SWS
,
Ramanathan S. Thinniyam
Max Planck Institute for Software Systems (MPI-SWS)
,
Georg Zetzsche
Max Planck Institute for Software Systems (MPI-SWS)
Link to publication
DOI
19:00
10m
Talk
Deciding ω-Regular Properties on Linear Recurrence Sequences
POPL
Shaull Almagor
Technion
,
Toghrul Karimov
Max Planck Institute for Software Systems
,
Edon Kelmendi
University of Oxford
,
Joël Ouaknine
Max Planck Institute for Software Systems and University of Oxford
,
James Worrell
University of Oxford
Link to publication
DOI
19:10
10m
Talk
Deciding Reachability under Persistent x86-TSO
POPL
Parosh Aziz Abdulla
Uppsala University, Sweden
,
Mohamed Faouzi Atig
Uppsala University, Sweden
,
Ahmed Bouajjani
IRIF, Université Paris Diderot
,
K Narayan Kumar
Chennai Mathematical Institute
,
Prakash Saivasan
The Institute of Mathematical Sciences, India
Link to publication
DOI
19:20
10m
Talk
On the Complexity of Bidirected Interleaved Dyck-Reachability
POPL
Yuanbo Li
Georgia Institute of Technology, USA
,
Qirun Zhang
Georgia Institute of Technology, USA
,
Thomas Reps
University of Wisconsin--Madison
Link to publication
DOI
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:45 - 16:45
Probabilistic Programming
POPL
at
POPL-A
15:45
10m
Talk
λS: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes
POPL
Benjamin Sherman
Massachusetts Institute of Technology, USA
,
Jesse Michel
Massachusetts Institute of Technology
,
Michael Carbin
Massachusetts Institute of Technology
Link to publication
DOI
15:55
10m
Talk
Deciding Accuracy of Differential Privacy Schemes
POPL
Gilles Barthe
MPI-SP, Germany / IMDEA Software Institute, Spain
,
Rohit Chadha
University of Missouri
,
Paul Krogmeier
University of Illinois at Urbana-Champaign
,
A. Prasad Sistla
University of Illinois at Chicago
,
Mahesh Viswanathan
University of Illinois at Urbana-Champaign
Link to publication
DOI
16:05
10m
Talk
Probabilistic Programming Semantics for Name Generation
POPL
Marcin Sabok
McGill University
,
Sam Staton
University of Oxford
,
Dario Stein
University of Oxford
,
Michael Wolman
McGill University
Link to publication
DOI
Pre-print
16:15
10m
Talk
Simplifying Multiple-Statement Reductions with the Polyhedral Model
POPL
Cambridge Yang
MIT CSAIL
,
Eric Atkinson
MIT CSAIL
,
Michael Carbin
Massachusetts Institute of Technology
Link to publication
DOI
16:25
10m
Talk
A Pre-Expectation Calculus for Probabilistic Sensitivity
Distinguished Paper
POPL
Alejandro Aguirre
IMDEA Software Institute and T.U. of Madrid (UPM)
,
Gilles Barthe
MPI-SP, Germany / IMDEA Software Institute, Spain
,
Justin Hsu
University of Wisconsin-Madison, USA
,
Benjamin Lucien Kaminski
RWTH Aachen University, Germany
,
Joost-Pieter Katoen
RWTH Aachen University
,
Christoph Matheja
ETH Zurich
Link to publication
DOI
16:35
10m
Talk
Paradoxes of probabilistic programming
POPL
Jules Jacobs
Radboud University Nijmegen
Link to publication
DOI
Pre-print
18:30 - 19:00
Synthesis
POPL
at
POPL-A
18:30
10m
Talk
Generating Collection Transformations from Proofs
POPL
Michael Benedikt
University of Oxford, UK
,
Pierre Pradic
Oxford University
Link to publication
DOI
18:40
10m
Talk
Semantics-Guided Synthesis
POPL
Jinwoo Kim
University of Wisconsin-Madison
,
Qinheping Hu
University of Wisconsin-Madison, USA
,
Loris D'Antoni
University of Wisconsin-Madison, USA
,
Thomas Reps
University of Wisconsin--Madison
Link to publication
DOI
18:50
10m
Talk
Combining the Top-down Propagation and Bottom-up Enumeration for Inductive Program Synthesis
POPL
Woosuk Lee
Hanyang University, South Korea
Link to publication
DOI
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
30
17:00
30
18:00
30
19:00
30
POPL-A
POPL
Compilers & Optimization
POPL
Program Analysis
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
30
17:00
30
18:00
30
19:00
30
POPL-A
POPL
Security
POPL
Complexity
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
POPL-A
POPL
Probabilistic Programming
POPL
Synthesis
Wed 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
POPL-A
POPL
Fully Abstract from Static to Gradual
16:00 - 16:10
POPL
Intrinsically Typed Compilation with Nameless Labels
16:10 - 16:20
POPL
Distinguished Paper
A Verified Optimizer for Quantum Circuits
16:20 - 16:30
POPL
Verified Code Generation for the Polyhedral Model
16:30 - 16:40
POPL
Formally Verified Speculation and Deoptimization in a JIT Compiler
16:40 - 16:50
POPL
Break
16:50 - 17:00
POPL
Verifying Correct Usage of Context-Free API Protocols
18:30 - 18:40
POPL
Data Flow Refinement Type Inference
18:40 - 18:50
POPL
An Approach to Generate Correctly Rounded Math Libraries for New Floati ...
18:50 - 19:00
POPL
Distinguished Paper
An Abstract Interpretation for SPMD Divergence on Reducible Control Flo ...
19:00 - 19:10
POPL
Relatively Complete Verification of Probabilistic Programs
19:10 - 19:20
POPL
A Practical Mode System for Recursive Definitions
19:20 - 19:30
Thu 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
POPL-A
POPL
Efficient and Provable Local Capability Revocation using Uninitialized ...
16:00 - 16:10
POPL
Mechanized Logical Relations for Termination-Insensitive Noninterference
16:10 - 16:20
POPL
Giving Semantics to Program-Counter Labels via Secure Effects
16:20 - 16:30
POPL
Automata and Fixpoints for Asynchronous Hyperproperties
16:30 - 16:40
POPL
Distinguished Paper
Automatically Eliminating Speculative Leaks from Cryptographic Code wit ...
16:40 - 16:50
POPL
Break
16:50 - 17:00
POPL
Learning the Boundary of Inductive Invariants
18:30 - 18:40
POPL
The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis
18:40 - 18:50
POPL
Distinguished Paper
Context-Bounded Verification of Liveness Properties for Multithreaded S ...
18:50 - 19:00
POPL
Deciding ω-Regular Properties on Linear Recurrence Sequences
19:00 - 19:10
POPL
Deciding Reachability under Persistent x86-TSO
19:10 - 19:20
POPL
On the Complexity of Bidirected Interleaved Dyck-Reachability
19:20 - 19:30
Fri 22 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
POPL-A
POPL
λS: Computable Semantics for Differentiable Programming with Higher-Ord ...
15:45 - 15:55
POPL
Deciding Accuracy of Differential Privacy Schemes
15:55 - 16:05
POPL
Probabilistic Programming Semantics for Name Generation
16:05 - 16:15
POPL
Simplifying Multiple-Statement Reductions with the Polyhedral Model
16:15 - 16:25
POPL
Distinguished Paper
A Pre-Expectation Calculus for Probabilistic Sensitivity
16:25 - 16:35
POPL
Paradoxes of probabilistic programming
16:35 - 16:45
POPL
Generating Collection Transformations from Proofs
18:30 - 18:40
POPL
Semantics-Guided Synthesis
18:40 - 18:50
POPL
Combining the Top-down Propagation and Bottom-up Enumeration for Induct ...
18:50 - 19:00
x
Sat 14 Dec 17:31