Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
VenueHotel Scandic Berlin Potsdamer Platz
Room nameBirch
Floor0
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

Conference Day
Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:20
Morning KeynoteScheme at Birch
09:00
60m
Talk
Morning Keynote
Scheme
Edwin BradyUniversity of St. Andrews, UK
10:50 - 12:10
Research Session 1Scheme at Birch
10:30
30m
Talk
Syntax Templates In Racket
Scheme
Ryan CulpepperCzech Technical University
11:00
30m
Talk
Visualizing Abstract Abstract Machines
Scheme
Kyle HeadleyThe University of Alabama at Birmingham
11:30
30m
Talk
gLua: A modern Lua transpiler in Scheme
Scheme
13:40 - 14:50
Research Session 2Scheme at Birch
14:00
20m
Talk
Lightning talk: Commanding Emacs from Coq
Scheme
Joomy KorkutPrinceton University, USA
14:20
20m
Talk
Reigniting Fuse, an Online Partial Evaluator for Scheme
Scheme
Paulette KoronkevichUniversity of British Columbia
14:40
20m
Talk
SRFI-167, SRFI-168 and the functional store
Scheme
15:20 - 16:40
Research Session 3Scheme at Birch
15:30
30m
Talk
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Scheme
Satoshi EgiRakuten Institute of Technology
16:00
30m
Talk
Stack-Liberated Abstract Garbage Collection
Scheme
Kimball GermaneUniversity of Utah, Michael D. AdamsUniversity of Michigan
17:10 - 18:10
Afternoon KeynoteScheme at Birch
17:10
60m
Talk
Afternoon Keynote
Scheme
Andy KeepCisco Systems, Inc

Conference Day
Thu 22 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00
Tutorials B1Tutorials at Birch
09:00
3h
Tutorial
Fine-grained program reasoning using linear and graded modal types
Tutorials
Harley D. Eades IIIAugusta University, Dominic OrchardUniversity of Kent, UK, Vilem-Benjamin LiepeltUniversity of Kent, UK

Conference Day
Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00
Tutorials B3Tutorials at Birch
09:00
3h
Tutorial
Folding/Unfolding with Scala
Tutorials

Conference Day
Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Thu 22 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Birch

Conference Day
Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Birch

Conference Day
Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Thu 22 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Birch

Conference Day
Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:00153045
Birch