Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020
New Orleans, Louisiana, United States
Toggle navigation
Attending
Venue: JW Marriott New Orleans
Restaurant: Palace Cafe
Registration
Online Participation
Travel to the USA
Mentoring Events
Information for Students
Code of Conduct
Supporting POPL
Accessibility
SIGPLAN CARES
Program
Complete Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Tracks
POPL 2020
Research Papers
Artifact Evaluation
Student Research Competition
Workshops and Co-located Events
TutorialFest
POPLmark 15 Year Retrospective Panel
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Co-hosted Conferences
CPP
VMCAI
Workshops
ADSL
CoqPL
HASE
LAFI
(né PPS)
PEPM
PLMW
PLanQC
PriSC
PriSC
Principles of Secure Compilation
- Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing
WGT
Co-hosted Symposia
PADL
Organization
POPL 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifact Evaluation
Student Research Competition
TutorialFest
POPLmark 15 Year Retrospective Panel
Panel
Organizing Committee
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact-Evaluation Committee
Steering Committee
Workshops
ADSL
Organizing Committee
Program Committee
CoqPL
Invited speakers
Organizing Committee
Program Committee
HASE
Organizing Committee
Program Committee
LAFI
Program Committee
Steering Committee
PEPM
PC Chairs
Program Committee
PLMW
Organizing Committee
Invited speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
WGT
Organizing Committee
Program Committee
Co-hosted Symposia
PADL
Program Chairs
Program Committee
Publicity Chair
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 2020
(
series
) /
JW Marriott New Orleans
/
Room information: Rosalie
Venue
JW Marriott New Orleans
Room name
Rosalie
Floor
3
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-06:00) Saskatchewan, Central America
.
Use conference time zone: (GMT-06:00) Saskatchewan, Central America
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
Sat 25 Jan
Displayed time zone:
Saskatchewan, Central America
change
09:00 - 10:00
Keynote
PriSC
at
Rosalie
09:00
5m
Day opening
PriSC Introduction
PriSC
Dominique Devriese
Vrije Universiteit Brussel
File Attached
09:05
55m
Industry talk
Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing
PriSC
K:
Tyler McMullen
Fastly
Media Attached
10:30 - 12:30
Foundations and timing channels
PriSC
at
Rosalie
Chair(s):
Marco Vassena
CISPA Helmholtz Center for Information Security
10:30
24m
Talk
Exorcising Spectres with Secure Compilers
PriSC
Marco Patrignani
Stanford University & CISPA
,
Marco Guarnieri
IMDEA Software Institute
Media Attached
File Attached
10:54
24m
Talk
Trace-Relating Compiler Correctness and Secure Compilation
PriSC
Carmine Abate
Inria Paris
,
Roberto Blanco
Inria
,
Stefan Ciobaca
Alexandru Ioan Cuza University of Iasi
,
Deepak Garg
Max Planck Institute for Software Systems
,
Cătălin Hriţcu
Inria Paris
,
Marco Patrignani
Stanford University & CISPA
,
Éric Tanter
University of Chile
,
Jérémy Thibault
Inria Paris
Media Attached
File Attached
11:18
24m
Talk
Reconciling progress-insensitive noninterference and declassification
PriSC
Johan Bay
Aarhus University
,
Aslan Askarov
Aarhus University
Media Attached
File Attached
11:42
24m
Talk
Hermes: Implementing Cryptography without Side-channels
PriSC
Ken Friis Larsen
DIKU, University of Copenhagen
,
Torben Mogensen
DIKU, University of Copenhagen
,
Michael Kirkedal Thomsen
DIKU, University of Copenhagen
File Attached
12:06
24m
Talk
A CompCert Compiler that Preserves Cryptographic Constant-time
PriSC
Sandrine Blazy
Univ Rennes- IRISA
,
Rémi Hutin
IRISA / ENS Rennes
,
David Pichardie
Univ Rennes, ENS Rennes, IRISA
Media Attached
14:00 - 15:05
New outlooks on secure compilation
PriSC
at
Rosalie
Chair(s):
Cristina Cifuentes
Oracle Labs
14:00
24m
Talk
Exploits as Insecure Compilation
PriSC
Jennifer Paykin
Galois, Inc.
,
Eric Mertens
Galois, Inc.
,
Mark Tullsen
Galois, Inc
,
Luke Maurer
Galois, Inc
,
Benoit Razet
Galois, Inc
,
Alexander Bakst
Galois, Inc
,
Scott Moore
Galois, Inc
Pre-print
Media Attached
File Attached
14:24
24m
Talk
Universal Composability is Secure Compilation
PriSC
Marco Patrignani
Stanford University & CISPA
,
Riad S. Wahby
Stanford University, USA
,
Robert Künnemann
CISPA, Saarland University
Media Attached
File Attached
14:48
8m
Talk
Short Talk: Automatically Eliminating Speculative Leaks With Blade
PriSC
Marco Vassena
CISPA Helmholtz Center for Information Security
,
Klaus v. Gleissenthall
University of California at San Diego, USA
,
Rami Gökhan Kıcı
University of California at San Diego, USA
Media Attached
File Attached
14:56
8m
Talk
Short Talk: Everparse
PriSC
Tahina Ramananandro
Microsoft Research, n.n.
Media Attached
15:35 - 17:45
Compartmentalization, memory safety, and isolation
PriSC
at
Rosalie
Chair(s):
Marco Patrignani
Stanford University & CISPA
,
Jonathan Protzenko
Microsoft Research, Redmond
15:35
24m
Talk
Flexible Tag-based Policies for Compartmentalized C
PriSC
Sean Anderson
Portland State University
,
Andrew Tolmach
Portland State University
,
CHR Chhak
Portland State University
Media Attached
File Attached
15:59
24m
Talk
Mechanized Reasoning about a Capability Machine
PriSC
Aina Linn Georges
Aarhus University
,
Alix Trieu
Aarhus University
,
Lars Birkedal
Aarhus University
Media Attached
16:23
24m
Talk
Securing Interruptible Enclaves
PriSC
Matteo Busi
Università di Pisa - Dipartimento di Informatica
,
Job Noorman
imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium
,
Jo Van Bulck
imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium
,
Letterio Galletta
IMT School for Advanced Studies
,
Pierpaolo Degano
Università di Pisa - Dipartimento di Informatica
,
Jan Tobias Mühlberg
imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium
,
Frank Piessens
KU Leuven
Media Attached
File Attached
16:47
10m
Break
Mini-break
PriSC
16:57
24m
Talk
WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing
PriSC
Jay Bosamiya
Carnegie Mellon University
,
Benjamin Lim
Carnegie Mellon University
,
Bryan Parno
Carnegie Mellon University
Media Attached
File Attached
17:21
24m
Talk
Memory Safety Preservation for WebAssembly
PriSC
Marco Vassena
CISPA Helmholtz Center for Information Security
,
Marco Patrignani
Stanford University & CISPA
Link to publication
Media Attached
File Attached
Sat 25 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Rosalie
PriSC
Keynote
PriSC
Foundations and timing channels
PriSC
New outlooks on secure compilation
PriSC
Compartmentalization, memory safety, and isolation
Sat 25 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Rosalie
PriSC
PriSC Introduction
09:00 - 09:05
PriSC
Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing
09:05 - 10:00
PriSC
Exorcising Spectres with Secure Compilers
10:30 - 10:54
PriSC
Trace-Relating Compiler Correctness and Secure Compilation
10:54 - 11:18
PriSC
Reconciling progress-insensitive noninterference and declassification
11:18 - 11:42
PriSC
Hermes: Implementing Cryptography without Side-channels
11:42 - 12:06
PriSC
A CompCert Compiler that Preserves Cryptographic Constant-time
12:06 - 12:30
PriSC
Exploits as Insecure Compilation
14:00 - 14:24
PriSC
Universal Composability is Secure Compilation
14:24 - 14:48
PriSC
Short Talk: Automatically Eliminating Speculative Leaks With Blade
14:48 - 14:56
PriSC
Short Talk: Everparse
14:56 - 15:04
PriSC
Flexible Tag-based Policies for Compartmentalized C
15:35 - 15:59
PriSC
Mechanized Reasoning about a Capability Machine
15:59 - 16:23
PriSC
Securing Interruptible Enclaves
16:23 - 16:47
PriSC
Mini-break
16:47 - 16:57
PriSC
WebAssembly as an Intermediate Language for Provably-Safe Software Sand ...
16:57 - 17:21
PriSC
Memory Safety Preservation for WebAssembly
17:21 - 17:45
x
Tue 15 Oct 05:42