Program - POPL 2017

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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 programSpecify 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

Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:55 - 09:00	WelcomePiP at Salle 105, Barre 44-54

08:55 5m Talk		Welcome PiP

09:00 - 10:00	Session 1PiP at Salle 105, Barre 44-54

09:00 30m Talk		Andrew Kennedy (Facebook) Static type checking for PHP PiP
09:30 30m Talk		Jean-Louis Colaco (Ansys - Esterel Technologies) A brief history of the Scade language PiP

10:30 - 12:05	Session 2PiP at Salle 105, Barre 44-54

10:30 5m Talk		Peter Sewell (Cambridge) REMS Short Introduction PiP
10:35 30m Talk		Simon Moore (Cambridge) Experiences of Formal Modelling in the CHERI Computer Architecture Research Project PiP
11:05 30m Talk		Stephen Kell/Dominic Mulligan (Cambridge) ELF linking: what it means and why it matters PiP
11:35 30m Talk		Philippa Gardner (Imperial) An Infrastructure for Tractable Verification of JavaScript Programs PiP

14:00 - 15:30	Session 3PiP at Salle 105, Barre 44-54

14:00 30m Talk		John Hughes (Quviq/Chalmers) Properties in practice: lessons from ten years of QuickCheck PiP
14:30 30m Talk		Byron Cook (Amazon) Automated Reasoning about AWS PiP
15:00 30m Talk		Steve Zdancewic (U.Penn) Vellvm2: Semantics and Verification for LLVM PiP

16:00 - 18:00	Session 4PiP at Salle 105, Barre 44-54

16:00 30m Talk		Christopher Pulte/Kathryn Gray (Cambridge) REMS machine models PiP
16:30 60m Talk		Discussion: Methods and Tools for large-scale semantics PiP

PiP 2017 Program

Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

PiP 2017 Program

Switch Program View

Program Display Configuration

Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change