VenueOmni Hotel
Room nameBunker Hill / Watercourt
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

Wed 10 Jan

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Awards & Keynote-IResearch Papers at Bunker Hill / Watercourt
Chair(s): Ranjit Jhala University of California, San Diego
08:30
5m
Day opening
Welcome to POPL 2018
Research Papers
G: Ranjit Jhala University of California, San Diego, P: Andrew Myers Cornell University
08:35
10m
Awards
SIGPLAN Awards
Research Papers
Satnam Singh X, the moonshot factory
08:45
60m
Talk
Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can)
Research Papers
Derek Dreyer MPI-SWS
09:45
20m
Talk
Lightning Overview - Day 1
Research Papers

Thu 11 Jan

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote-IIResearch Papers at Bunker Hill / Watercourt
Chair(s): Andrew Myers Cornell University
08:30
60m
Talk
Some Principles of Differential Programming Languages
Research Papers
Gordon Plotkin University of Edinburgh, UK
09:30
30m
Talk
Lightning Overview - Day 2
Research Papers

17:00 - 18:00
Business MeetingResearch Papers at Bunker Hill / Watercourt
Chair(s): Ranjit Jhala University of California, San Diego, Andrew Myers Cornell University
17:00
20m
Talk
Chairs' Report
Research Papers
P: Andrew Myers Cornell University, G: Ranjit Jhala University of California, San Diego
17:20
10m
Talk
POPL 2019 Preview
Research Papers
G: Fritz Henglein DIKU, Denmark, P: Stephanie Weirich University of Pennsylvania, USA
17:30
30m
Talk
SIGPLAN Town Hall
Research Papers
Michael Hicks University of Maryland, College Park, Benjamin C. Pierce University of Pennsylvania
18:30 - 20:30
18:30
7m
Talk
A Decidable Logic for Tree Data-Structures with Measurements
Student Research Competition
18:37
7m
Talk
Combining Control Operators and Dependent Types
Student Research Competition
Youyou Cong Ochanomizu University, Japan
18:44
7m
Talk
Comparing Liquid Haskell and Coq: Evaluating the Great Expectations of “A Tale of Two Provers”
Student Research Competition
18:51
7m
Talk
Comparison among three program verification techniques in Dependent Haskell, Liquid Haskell and F*
Student Research Competition
Xinyue Zhang Bryn Mawr College, USA, Rachel Xu
18:58
7m
Talk
Finite Maps At The Type Level
Student Research Competition
19:05
7m
Talk
Formal Models Underlying Blockchain Technology
Student Research Competition
Haochen Xie Nagoya University
19:12
7m
Talk
Generating Information-Flow Control Mechanisms from Programming Language Specifications
Student Research Competition
Andrew Bedford Laval University
19:19
7m
Talk
How to Make Your Programs Very Safe: A Review of Practical Applications of Dependent Types
Student Research Competition
19:26
7m
Talk
Modelling Microcontroller Hardware using Typestate
Student Research Competition
Rudi Horn University of Edinburgh
19:33
7m
Talk
Program Synthesis with Neural Oracles
Student Research Competition
19:40
7m
Talk
Propositional Dynamic Logic for Higher-Order Functional Programs
Student Research Competition
Yuki Satake University of Tsukuba
19:47
7m
Talk
Relational Cost Analysis with State
Student Research Competition
Weihao Qu University at Buffalo, SUNY
19:54
7m
Talk
Robust Example-based Synthesis
Student Research Competition
20:01
7m
Talk
Simplifying incremental code with IODyn
Student Research Competition
Kyle Headley University of Colorado Boulder
20:08
7m
Talk
Software Fault Isolation for Robust Compilation
Student Research Competition
Ana Nora Evans University of Virginia, USA
20:15
7m
Talk
Synchronous Proofs for Asynchronous Programs
Student Research Competition
Bernhard Kragl IST Austria
20:22
7m
Talk
Type-Driven Gradual Security with References
Student Research Competition
Matías Toro University of Chile

Fri 12 Jan

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote-IIIResearch Papers at Bunker Hill / Watercourt
Chair(s): Andrew Myers Cornell University
08:30
60m
Talk
Formal Methods and the Law
Research Papers
S: Sarah Lawsky Northwestern University
09:30
30m
Talk
Lightning Overview - Day 3
Research Papers

Wed 10 Jan

Displayed time zone: Tijuana, Baja California change

Thu 11 Jan

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Bunker Hill / Watercourt

Fri 12 Jan

Displayed time zone: Tijuana, Baja California change

Thu 11 Jan

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Bunker Hill / Watercourt

Fri 12 Jan

Displayed time zone: Tijuana, Baja California change