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
Times are displayed in 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 - 12:00
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 - 16:00
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

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Invited Talk 1Scheme at Burlington Route
09:00 - 10:00
Talk
From Scripting to Proving: Gradual Verification with a Scheme
Scheme
David Van HornUniversity of Maryland, USA
13:30 - 14:10: Session 3Scheme at Burlington Route
13:30 - 13:50
Talk
Racets: Faceted Execution in Racket
Scheme
Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland
13:50 - 14:10
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 - 16:10
Talk
Rebuilding Racket on Chez Scheme: An Experience Report
Scheme
Matthew FlattUniversity of Utah

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Opening & Keynote talkErlang at Burlington Route
09:00 - 09:10
Day opening
Day Openning
Erlang
C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University
09:10 - 10:00
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 - 11:00
Product announcement
Latest News from the OTP Team
Erlang
11:20 - 12:00: Session 1Erlang at Burlington Route
11:20 - 11:45
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 - 12:00
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: Session 2Erlang at Burlington Route
13:30 - 13:55
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 - 14:20
Full-paper
Automatic Detection of Core Erlang Message Passing Errors
Erlang
A: Joseph HarrisonUniversity of Kent, UK
DOI
14:20 - 14:30
Coffee break
10 min Coffee break
Erlang
14:30 - 15:10: Session 3Erlang at Burlington Route
14:30 - 14:55
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 - 15:10
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 - 15:55
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 - 16:10
Day closing
Farewell & Closing
Erlang
C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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