No subject

Noam Zeilberger, Universite' Paris 7
http://www.pps.jussieu.fr/~noam/


Tutorials
---------
In the evening before the workshop, there will be a tutorial session
``Introduction to Programming with Shift and Reset''

Tutorial date and time: Friday, September 23, 2011, 19:00-21:00 
Tutorial place: IIJ (next to NII, the place of the ICFP conference)
Tutorial speakers: Kenichi Asai and Oleg Kiselyov


Presentations
-------------

Non-Deterministic Search Library
Kenichi ASAI, Chihiro KANEKO

`Focus movement' by delimited continuations
Daisuke BEKKI

Swarm: transparent scalability through portable continuations
James DOUGLAS

Correctness of Functions with Shift and Reset
Noriko HIROTA, Kenichi ASAI

Yield, the control operator: applications and a conjecture
Roshan P. JAMES, Amr SABRY

Demonstration of Continuation based C on GCC
Shinji KONO

Modular rollback through free monads
Conor McBRIDE, Olin SHIVERS, Aaron TURON

Using delimited continuations for distributed computing with the CIEL engine
Derek G. MURRAY, Malte SCHWARZKOPF, Christopher SMOWTON, 
Steven SMITH, Anil MADHAVAPEDDY, Steven HAND

The limit of the CPS hierarchy
Josef SVENNINGSSON

Visualizing continuations
Naoki TAKASHIMA, Yukiyoshi KAMEYAMA