Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameBurlington Route
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

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 12:00
T01: Introduction to Programming and Proving in CedilleTutorials at Burlington Route
Chair(s): Aaron Stump The University of Iowa, USA
09:00
3h
Other
T01: Introduction to Programming and Proving in Cedille
Tutorials
Aaron Stump The University of Iowa, USA, Chris Jenkins The University of Iowa, Colin McDonald
13:00 - 16:00
T02: Direct Manipulation Programming in Sketch-n-SketchTutorials at Burlington Route
Chair(s): Ravi Chugh University of Chicago, Brian Hempel University of Chicago, Justin Lubin , Mikaël Mayer EPFL, Switzerland
13:00
3h
Other
T02: Direct Manipulation Programming in Sketch-n-Sketch
Tutorials
Nick Collins University of Chicago, Brian Hempel University of Chicago, Ravi Chugh University of Chicago, Mikaël Mayer EPFL, Switzerland, Justin Lubin

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited Talk 1Scheme at Burlington Route
09:00
60m
Talk
From Scripting to Proving: Gradual Verification with a Scheme
Scheme
David Van Horn University of Maryland, USA
13:30 - 14:10
13:30
20m
Talk
Racets: Faceted Execution in Racket
Scheme
Kristopher Micinski Haverford College, Zhanpeng Wang Haverford College, USA, Thomas Gilray University of Maryland
13:50
20m
Talk
An Efficient Compiler for the Gradually Typed Lambda Calculus
Scheme
Andre Kuhlenschmidt Indiana University, Deyaaeldeen Almahallawi Indiana University, Jeremy G. Siek Indiana University, USA
15:30 - 16:10
Invited Talk 2Scheme at Burlington Route
15:30
40m
Talk
Rebuilding Racket on Chez Scheme: An Experience Report
Scheme
Matthew Flatt University of Utah

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Opening & Keynote talkErlang at Burlington Route
09:00
10m
Day opening
Day Openning
Erlang
C: Adrian Francalanza University of Malta, C: Natalia Chechina Bournemouth University
09:10
50m
Talk
Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications
Erlang
K: Christopher Meiklejohn Carnegie Mellon University
10:20 - 11:00
Latest NewsErlang at Burlington Route
10:20
40m
Product announcement
Latest News from the OTP Team
Erlang
11:20 - 12:00
11:20
25m
Full-paper
Understanding Formal Specifications through Good Examples
Erlang
A: Alex Gerdes University of Gothenburg, Sweden, A: John Hughes Chalmers University of Technology, Sweden, A: Nicholas Smallbone Chalmers University of Technology, Sweden, A: Stefan Hanenberg University of Duisburg-Essen, Germany, A: Sebastian Ivarsson Chalmers University of Technology, Sweden, A: Meng Wang University of Bristol, UK
DOI
11:45
15m
Short-paper
Towards Secure Erlang Systems
Erlang
A: Alexandre Jorge Barbosa Rodrigues Klarna Bank, Sweden, A: Viktória Fördős Klarna Bank, Sweden
DOI
13:30 - 14:30
13:30
25m
Full-paper
iDeA: An Immersive Debugger for Actors
Erlang
A: Aman Shankar Mathur MPI-SWS, Germany, A: Burcu Kulahcioglu Ozkan MPI-SWS, Germany, A: Rupak Majumdar MPI-SWS, Germany
DOI
13:55
25m
Full-paper
Automatic Detection of Core Erlang Message Passing Errors
Erlang
A: Joseph Harrison University of Kent, UK
DOI
14:20
10m
Coffee break
10 min Coffee break
Erlang

14:30 - 15:10
14:30
25m
Full-paper
Modelling Distributed Erlang within a Single Node
Erlang
A: Stavros Aronis Erlang Solutions, Sweden, A: Viktória Fördős Klarna Bank, Sweden, A: Dániel Szoboszlay Klarna Bank, Sweden
DOI
14:55
15m
Short-paper
Modeling Erlang Processes as Petri Nets
Erlang
A: Jörgen Brandt Humboldt-Universität zu Berlin, Germany, A: Wolfgang Reisig Humboldt-Universität zu Berlin, Germany
DOI
15:30 - 16:10
Final talk and ClosingErlang at Burlington Route
15:30
25m
Full-paper
Typing the Wild in Erlang
Erlang
A: Nachiappan Valliappan Chalmers University of Technology, Sweden, A: John Hughes Chalmers University of Technology, Sweden
DOI
15:55
15m
Day closing
Farewell & Closing
Erlang
C: Adrian Francalanza University of Malta, C: Natalia Chechina Bournemouth University

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Burlington Route