VenueOmni Hotel
Room nameBunker Hill / Watercourt
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in 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 - 08:35
Day opening
Welcome to POPL 2018
Research Papers
G: Ranjit JhalaUniversity of California, San Diego, P: Andrew C. MyersCornell University
08:35 - 08:45
Awards
SIGPLAN Awards
Research Papers
Satnam SinghX, the moonshot factory
08:45 - 09:45
Talk
Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can)
Research Papers
09:45 - 10:05
Talk
Lightning Overview - Day 1
Research Papers

Thu 11 Jan
Times are displayed in 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 - 09:30
Talk
Some Principles of Differential Programming Languages
Research Papers
Gordon PlotkinUniversity of Edinburgh, UK
09:30 - 10:00
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 - 17:20
Talk
Chairs' Report
Research Papers
P: Andrew C. MyersCornell University, G: Ranjit JhalaUniversity of California, San Diego
17:20 - 17:30
Talk
POPL 2019 Preview
Research Papers
G: Fritz HengleinDIKU, Denmark, P: Stephanie WeirichUniversity of Pennsylvania, USA
17:30 - 18:00
Talk
SIGPLAN Town Hall
Research Papers
Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity of Pennsylvania
18:30 - 18:37
Talk
A Decidable Logic for Tree Data-Structures with Measurements
Student Research Competition
18:37 - 18:44
Talk
Combining Control Operators and Dependent Types
Student Research Competition
Youyou CongOchanomizu University, Japan
18:44 - 18:51
Talk
Comparing Liquid Haskell and Coq: Evaluating the Great Expectations of “A Tale of Two Provers”
Student Research Competition
18:51 - 18:58
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 - 19:05
Talk
Finite Maps At The Type Level
Student Research Competition
Divesh OtwaniHaverford College
19:05 - 19:12
Talk
Formal Models Underlying Blockchain Technology
Student Research Competition
Haochen XieNagoya University
19:12 - 19:19
Talk
Generating Information-Flow Control Mechanisms from Programming Language Specifications
Student Research Competition
Andrew BedfordLaval University
19:19 - 19:26
Talk
How to Make Your Programs Very Safe: A Review of Practical Applications of Dependent Types
Student Research Competition
19:26 - 19:33
Talk
Modelling Microcontroller Hardware using Typestate
Student Research Competition
Rudi HornUniversity of Edinburgh
19:33 - 19:40
Talk
Program Synthesis with Neural Oracles
Student Research Competition
19:40 - 19:47
Talk
Propositional Dynamic Logic for Higher-Order Functional Programs
Student Research Competition
Yuki SatakeUniversity of Tsukuba
19:47 - 19:54
Talk
Relational Cost Analysis with State
Student Research Competition
Weihao QuUniversity at Buffalo, SUNY
19:54 - 20:01
Talk
Robust Example-based Synthesis
Student Research Competition
20:01 - 20:08
Talk
Simplifying incremental code with IODyn
Student Research Competition
Kyle HeadleyUniversity of Colorado Boulder
20:08 - 20:15
Talk
Software Fault Isolation for Robust Compilation
Student Research Competition
Ana Nora EvansUniversity of Virginia, USA
20:15 - 20:22
Talk
Synchronous Proofs for Asynchronous Programs
Student Research Competition
Bernhard KraglIST Austria
20:22 - 20:30
Talk
Type-Driven Gradual Security with References
Student Research Competition
Matías ToroUniversity of Chile

Fri 12 Jan
Times are displayed in 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 - 09:30
Talk
Formal Methods and the Law
Research Papers
S: Sarah LawskyNorthwestern University
09:30 - 10:00
Talk
Lightning Overview - Day 3
Research Papers

Wed 10 Jan
Times are displayed in time zone: Tijuana, Baja California change

Thu 11 Jan
Times are displayed in 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
Times are displayed in time zone: Tijuana, Baja California change

Thu 11 Jan
Times are displayed in 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
Times are displayed in time zone: Tijuana, Baja California change