CW 2011
ACM SIGPLAN Continuation Workshop 2011
Program: Saturday, September 24, 2011
Session 1 (chair: Yukiyoshi Kameyama)
9:00-10:00
Invited Talk: Continuations and classical logic: using continuations as a tool for logic
Koji NAKAZAWA
10:00-10:30 Tea break
10:30-12:00 Session 2 (chair: Tiark Rompf)
10:30-10:45
Visualizing continuations
Naoki TAKASHIMA, Tatsuya NISHIYAMA, Yukiyoshi KAMEYAMA
10:45-11:00
Demonstration of Continuation based C on GCC
Shinji KONO
11:10-11:35
Using delimited continuations for distributed computing with the CIEL engine
Derek G. MURRAY, Malte SCHWARZKOPF, Christopher SMOWTON, Steven SMITH, Anil MADHAVAPEDDY, Steven HAND
11:35-12:00
Swarm: transparent scalability through portable continuations
James DOUGLAS
12:00-13:30 Lunch break
13:30-15:00 Session 3 (chair: Chung-chieh Shan)
13:30-14:30 Invited talk:
Continuation semantics in linguistics
Mats ROOTH
14:35-15:00
`Focus movement' by delimited continuations
Daisuke BEKKI, Kenichi ASAI
15:00-15:30 Tea break
15:30-16:45 Session 4, first half (chair: Oleg Kiselyov)
15:30-15:55
Modular rollback through free monads
Conor McBRIDE, Olin SHIVERS, Aaron TURON
15:55-16:20
Yield, the control operator: applications and a conjecture
Roshan P. JAMES, Amr SABRY
16:20-16:45
Correctness of Functions with Shift and Reset
Noriko HIROTA, Kenichi ASAI
16:45-16:55 Short break without tea
16:55-17:45 Session 4, second half (chair: Amr Sabry)
16:55-17:20
The limit of the CPS hierarchy
Josef SVENNINGSSON
17:20-17:45
Non-deterministic search library
Kenichi ASAI, Chihiro KANEKO
CW2011 Home
Abstracts of Talks
Informal On-line Proceedings
Tutorial