Program - POPL 2016

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	Session OneOff the Beaten Track at Room St Petersburg I Chair(s): Lindsey Kuper Intel Labs

09:00 15m Day opening		Opening remarks and program chair's report Off the Beaten Track Lindsey Kuper Intel Labs
09:15 45m Talk		Keynote Talk: Operationalizing Creative Theories Off the Beaten Track K: Chris Martens Carnegie Mellon University

10:30 - 12:10	Session TwoOff the Beaten Track at Room St Petersburg I Chair(s): Suresh Jagannathan DARPA

10:30 25m Talk		Chanakya: Computer-Aided Strategic Reasoning Off the Beaten Track Suguman Bansal Rice University, USA, A: Swarat Chaudhuri Rice University Pre-print
10:55 25m Talk		Programming Interactivity Requires Both Semantics and Semiotics Off the Beaten Track Joseph Osborn , Michael Mateas Pre-print
11:20 25m Talk		Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations Off the Beaten Track Kyle Headley , A: Matthew Hammer University of Colorado, Boulder Pre-print
11:45 25m Talk		Challenges Facing a High-Level Language for Machine Knitting Off the Beaten Track Lea Albaugh , James McCann Pre-print

14:00 - 15:35	Session ThreeOff the Beaten Track at Room St Petersburg I Chair(s): Limin Jia Carnegie Mellon University

14:00 45m Talk		Keynote Talk: Generalising Abstraction Off the Beaten Track K: Robert Atkey University of Strathclyde
14:45 25m Talk		The Semantics of Syntax: Applying Denotational Semantics to Hygienic Macro Systems Off the Beaten Track A: Neel Krishnaswami Pre-print
15:10 25m Talk		Affine Functional Programs as Higher-order Boolean Circuits Off the Beaten Track Damiano Mazza Pre-print

16:00 - 17:30	Session FourOff the Beaten Track at Room St Petersburg I Chair(s): Nada Amin EPFL

16:00 25m Talk		Declarative, Secure, Convergent Edge Computation Off the Beaten Track A: Christopher Meiklejohn Pre-print
16:25 25m Talk		Starting from a Clean Slate: Creating a Top-down Parseable Runtime Off the Beaten Track A: Randolph Langley Pre-print
16:50 25m Talk		New Tools and Practices for Online Collaboration in Teaching, Learning, and Research of Programming Languages Off the Beaten Track A: William E. Byrd University of Utah Pre-print
17:15 15m Day closing		Closing remarks Off the Beaten Track

Off the Beaten Track 2016 Program

Sat 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Off the Beaten Track 2016 Program

Switch Program View

Program Display Configuration

Sat 23 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Get Calendar (iCal)

Sat 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change