POPL 2017 (series) / Off the Beaten Track 2017 (series) /
Off the Beaten Track 2017 Program
This is the Off the Beaten Track 2017 program - see the full program for POPL 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Keynote talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs. Off the Beaten Track Moa Johansson Chalmers University of Technology |
10:30 - 12:10 | |||
10:30 25mTalk | Can we machine-learn programming language semantics? Off the Beaten Track File Attached | ||
10:55 25mTalk | How Far Apart Should Those Programs Be? Off the Beaten Track Ugo Dal Lago University of Bologna, France File Attached | ||
11:20 25mTalk | Programming Quantum Annealers Off the Beaten Track File Attached | ||
11:45 25mTalk | Understanding the POSIX Shell as a Programming Language Off the Beaten Track Michael Greenberg Pomona College File Attached |
14:00 - 15:25 | |||
14:00 60mTalk | Keynote talk: Varieties of Programming Experience Off the Beaten Track Alan Blackwell University of Cambridge | ||
15:00 25mTalk | Bootstrapping the next generation of mathematical social machines Off the Beaten Track File Attached |
16:00 - 18:05 | |||
16:00 25mTalk | Designing extensible, domain-specific languages for mathematical diagrams Off the Beaten Track Katherine Ye , Keenan Crane , Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University File Attached | ||
16:25 25mTalk | Laziness Boxes You In Off the Beaten Track File Attached | ||
16:50 25mTalk | Programming with Epistemic Logic Off the Beaten Track File Attached | ||
17:15 25mTalk | Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach Off the Beaten Track Marco Gaboardi SUNY Buffalo, USA File Attached | ||
17:40 25mTalk | Running Incomplete Programs Off the Beaten Track Ian Voysey Carnegie Mellon University, Cyrus Omar Carnegie Mellon University, Matthew Hammer University of Colorado, Boulder File Attached |