Write a Blog >>
NetPL 2018
Mon 8 - Sat 13 January 2018
Los Angeles, California, United States
co-located with
POPL 2018
Toggle navigation
Attending
Venue: Omni Hotel
Program
NetPL Program
Your Program
Mon 8 Jan
Tue 9 Jan
Wed 10 Jan
Thu 11 Jan
Fri 12 Jan
Sat 13 Jan
Track/Call
Organization
NetPL 2018 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
NetPL 2018
NetPL 2015
Sign in
Sign up
POPL 2018
(
series
) /
NetPL 2018 (
series
) /
Omni Hotel
/
Room information: Hershey
Venue
Omni Hotel
Room name
Hershey
Floor
0
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-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
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-03: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-02: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+11: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
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
11:00 - 12:00
Programming and Reasoning with Infinite Data in Isabelle
POPL TutorialFest
at
Hershey
11:00
60m
Talk
Programming and Reasoning with Infinite Data in Isabelle/HOL.
POPL TutorialFest
A:
Mathias Fleury
MPI-INF
,
A:
Andreas Lochbihler
,
A:
Andrei Popescu
Middlesex University, London
Media Attached
14:00 - 15:30
Introduction to Algebraic Program analysis
POPL TutorialFest
at
Hershey
14:00
90m
Talk
Introduction to Algebraic Program analysis.
POPL TutorialFest
Zachary Kincaid
Princeton University
,
Thomas Reps
University of Wisconsin - Madison and GrammaTech, Inc.
Media Attached
16:00 - 17:00
Introduction to Algebraic Program analysis
POPL TutorialFest
at
Hershey
16:00
60m
Talk
Introduction to Algebraic Program analysis.
POPL TutorialFest
Zachary Kincaid
Princeton University
,
Thomas Reps
University of Wisconsin - Madison and GrammaTech, Inc.
Media Attached
Sat 13 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Welcome and Invited Talk
PriSC
at
Hershey
Chair(s):
Cătălin Hriţcu
Inria Paris
09:00
10m
Talk
PriSC Welcome
PriSC
Cătălin Hriţcu
Inria Paris
File Attached
09:10
50m
Talk
Challenges For Compiler-backed Security: From Sanitizer to Mitigation (Invited Talk)
PriSC
Mathias Payer
Purdue University
File Attached
10:30 - 11:30
Session 1
PriSC
at
Hershey
Chair(s):
Amal Ahmed
Northeastern University, USA
10:30
30m
Talk
Linear capabilities for modular fully-abstract compilation of verified code
PriSC
Thomas Van Strydonck
KULeuven
,
Dominique Devriese
KU Leuven
,
Frank Piessens
KU Leuven
File Attached
11:00
30m
Talk
Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities
PriSC
Lau Skorstengaard
,
Dominique Devriese
KU Leuven
,
Lars Birkedal
Aarhus University
File Attached
11:30 - 12:00
Short Talks Session
PriSC
at
Hershey
Chair(s):
Dominique Devriese
KU Leuven
11:30
5m
Talk
Short talk: The Meaning of Memory Safety
PriSC
Arthur Azevedo de Amorim
Carnegie Mellon University, USA
,
Cătălin Hriţcu
Inria Paris
,
Benjamin C. Pierce
University of Pennsylvania
Pre-print
File Attached
11:35
5m
Talk
Short talk: Dependently Typed Assembly for Secure Linking
PriSC
William J. Bowman
Northeastern University, USA
Link to publication
File Attached
11:40
5m
Talk
Short talk: Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?
PriSC
Santosh Nagarakatte
Rutgers University, USA
Pre-print
File Attached
11:45
5m
Talk
Short Talk: Secure compilation from F* to WebAssembly
PriSC
Jonathan Protzenko
Microsoft Research, n.n.
File Attached
13:30 - 15:30
Session 2
PriSC
at
Hershey
Chair(s):
David Naumann
Stevens Institute of Technology
13:30
30m
Talk
Building Secure SGX Enclaves using F*, C/C++ and X64
PriSC
Anitha Gollamudi
,
Cédric Fournet
Microsoft Research
File Attached
14:00
30m
Talk
Robust Hyperproperty Preservation for Secure Compilation
PriSC
Deepak Garg
Max Planck Institute for Software Systems
,
Cătălin Hriţcu
Inria Paris
,
Marco Patrignani
Saarland University, CISPA
,
Marco Stronati
,
David Swasey
MPI-SWS
Pre-print
File Attached
14:30
30m
Talk
Formally Secure Compilation of Unsafe Low-Level Components
PriSC
Guglielmo Fachini
Inria Paris
,
Cătălin Hriţcu
Inria Paris
,
Marco Stronati
,
Ana Nora Evans
University of Virginia, USA
,
Théo Laurent
,
Arthur Azevedo de Amorim
Carnegie Mellon University, USA
,
Benjamin C. Pierce
University of Pennsylvania
,
Andrew Tolmach
Portland State University
Pre-print
File Attached
15:00
30m
Talk
Secure Compilation in a Production Environment
PriSC
Vijay D'Silva
Google
File Attached
16:00 - 18:00
Session 3
PriSC
at
Hershey
Chair(s):
Lars Birkedal
Aarhus University
16:00
30m
Talk
Constant-time WebAssembly
PriSC
John Renner
UCSD
,
Sunjay Cauligi
UCSD
,
Deian Stefan
University of California, San Diego
Pre-print
File Attached
16:30
30m
Talk
Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs
PriSC
Rob Sison
Data61, CSIRO and UNSW
File Attached
17:00
30m
Talk
On Compositional Compiler Correctness and Fully Abstract Compilation
PriSC
Daniel Patterson
Northeastern University
,
Amal Ahmed
Northeastern University, USA
File Attached
17:30
30m
Talk
Foundations of Dependent Interoperability
PriSC
Pierre-Evariste Dagand
LIP6/CNRS
,
Nicolas Tabareau
Inria, France
,
Éric Tanter
University of Chile
Link to publication
File Attached
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Hershey
POPL TutorialFest
Programming and Reasoning with Infinite Data in Isabelle
POPL TutorialFest
Introduction to Algebraic Program analysis
POPL TutorialFest
Introduction to Algebraic Program analysis
Sat 13 Jan
Displayed time zone:
Tijuana, Baja California
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
Hershey
PriSC
Welcome and Invited Talk
PriSC
Session 1
PriSC
Short Talks Session
PriSC
Session 2
PriSC
Session 3
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
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
Hershey
POPL TutorialFest
Programming and Reasoning with Infinite Data in Isabelle/HOL.
11:00 - 12:00
POPL TutorialFest
Introduction to Algebraic Program analysis.
14:00 - 15:30
POPL TutorialFest
Introduction to Algebraic Program analysis.
16:00 - 17:00
Sat 13 Jan
Displayed time zone:
Tijuana, Baja California
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
Hershey
PriSC
PriSC Welcome
09:00 - 09:10
PriSC
Challenges For Compiler-backed Security: From Sanitizer to Mitigation ( ...
09:10 - 10:00
PriSC
Linear capabilities for modular fully-abstract compilation of verified code
10:30 - 11:00
PriSC
Enforcing Well-bracketed Control Flow and Stack Encapsulation using Lin ...
11:00 - 11:30
PriSC
Short talk: The Meaning of Memory Safety
11:30 - 11:35
PriSC
Short talk: Dependently Typed Assembly for Secure Linking
11:35 - 11:40
PriSC
Short talk: Compiler Optimizations with Retrofitting Transformations: I ...
11:40 - 11:45
PriSC
Short Talk: Secure compilation from F* to WebAssembly
11:45 - 11:50
PriSC
Building Secure SGX Enclaves using F*, C/C++ and X64
13:30 - 14:00
PriSC
Robust Hyperproperty Preservation for Secure Compilation
14:00 - 14:30
PriSC
Formally Secure Compilation of Unsafe Low-Level Components
14:30 - 15:00
PriSC
Secure Compilation in a Production Environment
15:00 - 15:30
PriSC
Constant-time WebAssembly
16:00 - 16:30
PriSC
Per-Thread Compositional Compilation for Confidentiality-Preserving Con ...
16:30 - 17:00
PriSC
On Compositional Compiler Correctness and Fully Abstract Compilation
17:00 - 17:30
PriSC
Foundations of Dependent Interoperability
17:30 - 18:00
x
Sun 22 Dec 10:09