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

Conference Day
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 JhalaUniversity of California, San Diego
08:30
5m
Day opening
Welcome to POPL 2018
Research Papers
G: Ranjit JhalaUniversity of California, San Diego, P: Andrew C. MyersCornell University
08:35
10m
Awards
SIGPLAN Awards
Research Papers
Satnam SinghX, 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
09:45
20m
Talk
Lightning Overview - Day 1
Research Papers

Conference Day
Thu 11 Jan

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote-IIResearch Papers at Bunker Hill / Watercourt
Chair(s): Andrew C. MyersCornell University
08:30
60m
Talk
Some Principles of Differential Programming Languages
Research Papers
Gordon PlotkinUniversity 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): Andrew C. MyersCornell University, Ranjit JhalaUniversity of California, San Diego
17:00
20m
Talk
Chairs' Report
Research Papers
P: Andrew C. MyersCornell University, G: Ranjit JhalaUniversity of California, San Diego
17:20
10m
Talk
POPL 2019 Preview
Research Papers
G: Fritz HengleinDIKU, Denmark, P: Stephanie WeirichUniversity of Pennsylvania, USA
17:30
30m
Talk
SIGPLAN Town Hall
Research Papers
Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity 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 CongOchanomizu 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 ZhangBryn Mawr College, USA, Rachel Xu
18:58
7m
Talk
Finite Maps At The Type Level
Student Research Competition
Divesh OtwaniHaverford College
19:05
7m
Talk
Formal Models Underlying Blockchain Technology
Student Research Competition
Haochen XieNagoya University
19:12
7m
Talk
Generating Information-Flow Control Mechanisms from Programming Language Specifications
Student Research Competition
Andrew BedfordLaval 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 HornUniversity 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 SatakeUniversity of Tsukuba
19:47
7m
Talk
Relational Cost Analysis with State
Student Research Competition
Weihao QuUniversity 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 HeadleyUniversity of Colorado Boulder
20:08
7m
Talk
Software Fault Isolation for Robust Compilation
Student Research Competition
Ana Nora EvansUniversity of Virginia, USA
20:15
7m
Talk
Synchronous Proofs for Asynchronous Programs
Student Research Competition
Bernhard KraglIST Austria
20:22
7m
Talk
Type-Driven Gradual Security with References
Student Research Competition
Matías ToroUniversity of Chile

Conference Day
Fri 12 Jan

Displayed time zone: Tijuana, Baja California change

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

Conference Day
Wed 10 Jan

Displayed time zone: Tijuana, Baja California change

Conference Day
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

Conference Day
Fri 12 Jan

Displayed time zone: Tijuana, Baja California change

Conference Day
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

Conference Day
Fri 12 Jan

Displayed time zone: Tijuana, Baja California change