Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations (Off the Beaten Track 2016) - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Who

Kyle Headley, Matthew Hammer

Track

Off the Beaten Track 2016

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

When

Sat 23 Jan 2016 11:20 - 11:45 at Room St Petersburg I - Session Two Chair(s): Suresh Jagannathan

Link to Preprint

http://conf.researchr.org/getImage/OBT-2016/orig/OBT_2016_paper_5.pdf

Kyle Headley

Matthew HammerAuthor

University of Colorado, Boulder

United States

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

Session Program

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

	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