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

Conference Day
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 StumpThe University of Iowa, USA
09:00
3h
Other
T01: Introduction to Programming and Proving in Cedille
Tutorials
Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Colin McDonald
13:00 - 16:00
T02: Direct Manipulation Programming in Sketch-n-SketchTutorials at Burlington Route
Chair(s): Justin Lubin, Mikaël MayerEPFL, Switzerland, Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago
13:00
3h
Other
T02: Direct Manipulation Programming in Sketch-n-Sketch
Tutorials
Nick CollinsUniversity of Chicago, Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago, Mikaël MayerEPFL, Switzerland, Justin Lubin

Conference Day
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 HornUniversity of Maryland, USA
13:30 - 14:10
13:30
20m
Talk
Racets: Faceted Execution in Racket
Scheme
Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland
13:50
20m
Talk
An Efficient Compiler for the Gradually Typed Lambda Calculus
Scheme
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana 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 FlattUniversity of Utah

Conference Day
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 FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University
09:10
50m
Talk
Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications
Erlang
K: Christopher MeiklejohnCarnegie 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 GerdesUniversity of Gothenburg, Sweden, A: John HughesChalmers University of Technology, Sweden, A: Nicholas SmallboneChalmers University of Technology, Sweden, A: Stefan HanenbergUniversity of Duisburg-Essen, Germany, A: Sebastian IvarssonChalmers University of Technology, Sweden, A: Meng WangUniversity of Bristol, UK
DOI
11:45
15m
Short-paper
Towards Secure Erlang Systems
Erlang
A: Alexandre Jorge Barbosa RodriguesKlarna Bank, Sweden, A: Viktória FördősKlarna Bank, Sweden
DOI
13:30 - 14:30
13:30
25m
Full-paper
iDeA: An Immersive Debugger for Actors
Erlang
A: Aman Shankar MathurMPI-SWS, Germany, A: Burcu Kulahcioglu OzkanMPI-SWS, Germany, A: Rupak MajumdarMPI-SWS, Germany
DOI
13:55
25m
Full-paper
Automatic Detection of Core Erlang Message Passing Errors
Erlang
A: Joseph HarrisonUniversity 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 AronisErlang Solutions, Sweden, A: Viktória FördősKlarna Bank, Sweden, A: Dániel SzoboszlayKlarna Bank, Sweden
DOI
14:55
15m
Short-paper
Modeling Erlang Processes as Petri Nets
Erlang
A: Jörgen BrandtHumboldt-Universität zu Berlin, Germany, A: Wolfgang ReisigHumboldt-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 ValliappanChalmers University of Technology, Sweden, A: John HughesChalmers University of Technology, Sweden
DOI
15:55
15m
Day closing
Farewell & Closing
Erlang
C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University

Conference Day
Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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