VenueThe Westin Seattle
Room nameVashon
Floor3
Capacity100
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
HOPE: Session 1HOPE at Vashon
Chair(s): Max S. New University of Michigan
09:00
30m
Talk
One Weird Trick to Untie Landin's Knot
HOPE
Paulette Koronkevich University of British Columbia, William J. Bowman University of British Columbia
09:30
30m
Talk
Operational game semantics for generative algebraic effects and handlersRemote
HOPE
Hamza Jaâfar Inria, Guilhem Jaber Nantes Université
10:00
30m
Talk
Higher-Order Weakest Precondition Transformers via a CPS Transformation
HOPE
Satoshi Kura National Institute of Informatics
Pre-print
11:00 - 12:30
HOPE: Session 2HOPE at Vashon
Chair(s): Daniel Hillerström Huawei Zurich Research Center
11:00
30m
Talk
Event-Driven Multiparty Session Actors
HOPE
Simon Fowler University of Glasgow, Raymond Hu Queen Mary University of London
Pre-print
11:30
30m
Talk
Flattening Meets Effects: A Surprising Connection
HOPE
Ezra e. k. Cooper Independent
14:00 - 15:30
HOPE: Session 3HOPE at Vashon
Chair(s): Daniel Hillerström Huawei Zurich Research Center
14:00
30m
Talk
Continuations and Coexponentials
HOPE
Vikraman Choudhury University of Glasgow
14:30
30m
Talk
Granite: Compositional Functional Logic Programming
HOPE
Nick Rioux University of Pennsylvania, Steve Zdancewic University of Pennsylvania
15:00
30m
Talk
Semantic foundations of potential-synthesis for expected amortised-cost analysis
HOPE
Ohad Kammar University of Edinburgh, Georg Moser University of Innsbruck
16:00 - 17:30
HOPE: Session 4HOPE at Vashon
Chair(s): Max S. New University of Michigan
16:00
30m
Talk
A proof of normalization for effect handlers
HOPE
Wiktor Kuchta University of Wrocław
File Attached
16:30
30m
Talk
Free Variable as Effect, in Practice
HOPE
Oleg Kiselyov Tohoku University
File Attached

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vashon