POPL 2018 (series) / Off the Beaten Track 2018 (series) /
Off the Beaten Track 2018 Program
This is the Off the Beaten Track 2018 program - see the full program for POPL 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 13 JanDisplayed time zone: Tijuana, Baja California change
Sat 13 Jan
Displayed time zone: Tijuana, Baja California change
09:00 - 10:00 | |||
09:00 60mTalk | Keynote: Programming and proving with FoCaLiZe: a tour from computer algebra to interoperability applications Off the Beaten Track Catherine Dubois ENSIIE Paris-Evry File Attached |
10:30 - 12:00 | |||
10:30 30mTalk | Synthesizing Program-Specific Static Analyses Off the Beaten Track Colin Gordon Drexel University File Attached | ||
11:00 30mTalk | On quantifying the degree of unsoundness of static analyses Off the Beaten Track Dimitrios Vardoulakis Google File Attached | ||
11:30 30mTalk | Explaining Type Errors Off the Beaten Track Brent Yorgey Hendrix College, Richard A. Eisenberg Bryn Mawr College, USA, Harley D. Eades III Augusta University File Attached |
13:30 - 15:30 | Session 2Off the Beaten Track at Crocker Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
13:30 30mLunch | Lunch (12pm-2pm) Off the Beaten Track | ||
14:00 30mTalk | SweetPea: A Language for Designing Experiments Off the Beaten Track Annie Cherkaev University of Utah, Sebastian Musslick Princeton University, Jonathan Cohen Princeton University, Vivek Srikumar University of Utah, Matthew Flatt University of Utah File Attached | ||
14:30 30mTalk | Extensible Semantics for Fluidics Off the Beaten Track File Attached | ||
15:00 30mTalk | Towards Proof Synthesis by Neural Machine Translation Off the Beaten Track Taro Sekiyama IBM Research, Japan, Akifumi Imanishi Kyoto University, Kohei Suenaga Graduate School of Informatics, Kyoto University File Attached |
16:00 - 18:00 | |||
16:00 30mTalk | Back to the Future with Denotational Semantics Off the Beaten Track Jeremy G. Siek Indiana University, USA File Attached | ||
16:30 30mTalk | Climbing Up the Semantic Tower — at Runtime Off the Beaten Track File Attached | ||
17:00 30mTalk | Towards A Systems Approach To Distributed Programming Off the Beaten Track Christopher Meiklejohn Université catholique de Louvain, Peter Van Roy Université catholique de Louvain File Attached | ||
17:30 30mDay closing | Discussion and business meeting Off the Beaten Track |