Write a Blog >>
NetPL 2018
Mon 8 - Sat 13 January 2018 Los Angeles, California, United States
co-located with POPL 2018
VenueOmni Hotel
Room nameHershey
Floor0
Room InformationNo extra information available
Program

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 IsabellePOPL 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 analysisPOPL 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 analysisPOPL 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 TalkPriSC 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
13:30 - 15:30
Session 2PriSC 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
File Attached

Sat 13 Jan

Displayed time zone: Tijuana, Baja California change

Mon 8 Jan

Displayed time zone: Tijuana, Baja California change