Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Display in different time zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.
Apply
Close
ICFP 2018 (series) /

ICFP 2018 Program

Filter
Conference Dates
Conference Dates are in time zone (GMT-05:00) Guadalajara, Mexico City, Monterrey, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 23 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

hiw-2018-papers
09:00 - 10:00: HIW 2018 - Invited Talk at Illinois Central
Chair(s): Joachim BreitnerDFINITY Foundation
hiw-2018-papers09:00 - 09:05
Day opening
Joachim BreitnerDFINITY Foundation
hiw-2018-papers09:05 - 10:00
Talk
Rahul MuttineniTypeLead
Media Attached
PLMW-ICFP-2018
09:00 - 10:00: PLMW @ ICFP 2018 - Session 1 at New York Central
PLMW-ICFP-201809:00 - 09:30
Talk
Nadia PolikarpovaUniversity of California, San Diego
PLMW-ICFP-201809:30 - 10:00
Talk
Ronald GarciaUniversity of British Columbia
hope-2018-papers
09:00 - 10:00: HOPE 2018 - morning-1 at Frisco+Burlington Route
hope-2018-papers09:00 - 10:00
Talk
Kenji MaillardInria Paris and ENS Paris, Étienne MiqueyINRIA, Xavier MontilletINRIA, Guillaume Munch-MaccagnoniInria, Gabriel SchererINRIA Saclay
icfp-2018-catering
10:00 - 10:20: Catering - Sunday coffee break 1 at Catering
icfp-2018-catering10:00 - 10:20
Coffee break
hiw-2018-papers
10:20 - 12:00: HIW 2018 - GHC at Illinois Central
Chair(s): Ben GamariWell-Typed LLP
hiw-2018-papers10:20 - 10:45
Talk
Simon Peyton JonesMicrosoft, UK
File Attached
hiw-2018-papers10:45 - 11:10
Talk
Matthew PickeringUniversity of Bristol
Media Attached
hiw-2018-papers11:10 - 11:35
Talk
Ryan ScottIndiana University at Bloomington, USA
File Attached
hiw-2018-papers11:35 - 11:43
Talk
Chris SmithGoogle, USA
hiw-2018-papers11:43 - 11:51
Talk
Antal Spector-Zabusky
File Attached
hiw-2018-papers11:51 - 12:00
Talk
Samuel GélineauSimSpace
Media Attached
PLMW-ICFP-2018
10:20 - 12:00: PLMW @ ICFP 2018 - Session 2 at New York Central
PLMW-ICFP-201810:20 - 10:50
Talk
Heather MillerCarnegie Mellon University
PLMW-ICFP-201810:50 - 12:00
Social Event
Joachim BreitnerDFINITY Foundation, Niki VazouUniversity of Maryland, USA
hope-2018-papers
10:20 - 11:00: HOPE 2018 - morning-2 at Frisco+Burlington Route
hope-2018-papers10:20 - 11:00
Talk
Michael ArntzeniusUniversity of Birmingham, UK
icfp-2018-catering
11:00 - 11:20: Catering - Sunday coffee break 2 at Catering
icfp-2018-catering11:00 - 11:20
Coffee break
hope-2018-papers
11:20 - 12:00: HOPE 2018 - morning-3 at Frisco+Burlington Route
hope-2018-papers11:20 - 12:00
Talk
Sergey GoncharovFriedrich-Alexander-Universität Erlangen-Nürnberg, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8
icfp-2018-catering
12:00 - 13:30: Catering - Sunday lunch at Grand Hall
icfp-2018-catering12:00 - 13:30
Lunch
PLMW-ICFP-2018
13:30 - 15:10: PLMW @ ICFP 2018 - Session 3 at New York Central
PLMW-ICFP-201813:30 - 14:03
Talk
Simon Peyton JonesMicrosoft, UK
PLMW-ICFP-201814:03 - 14:36
Talk
Stephanie WeirichUniversity of Pennsylvania, USA
PLMW-ICFP-201814:36 - 15:10
Talk
Ranjit JhalaUniversity of California, San Diego
hiw-2018-papers
13:30 - 15:10: HIW 2018 - Types at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA
hiw-2018-papers13:30 - 13:55
Talk
Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA
Link to publication File Attached
hiw-2018-papers13:55 - 14:20
Talk
My NguyenBryn Mawr College
File Attached
hiw-2018-papers14:20 - 14:45
Talk
Matthew PickeringUniversity of Bristol, Arnaud SpiwackTweag I/O
Media Attached
hiw-2018-papers14:45 - 14:53
Talk
Matthew RussellSimSpace
Link to publication File Attached
hiw-2018-papers14:53 - 15:01
Talk
Cheng ShaoTweag I/O
Media Attached
hiw-2018-papers15:01 - 15:10
Talk
Andreas Klebinger
hope-2018-papers
13:30 - 14:10: HOPE 2018 - afternoon-1 at Frisco+Burlington Route
hope-2018-papers13:30 - 14:10
Talk
Ulysse GérardINRIA, Dale MilerINRIA, Gabriel SchererINRIA Saclay
icfp-2018-catering
14:10 - 14:30: Catering - Sunday coffee break 3 at Catering
icfp-2018-catering14:10 - 14:30
Coffee break
hope-2018-papers
14:30 - 15:10: HOPE 2018 - afternoon-2 at Frisco+Burlington Route
hope-2018-papers14:30 - 15:10
Talk
Daan LeijenMicrosoft Research, USA, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
icfp-2018-catering
15:10 - 15:30: Catering - Sunday coffee break 4 at Catering
icfp-2018-catering15:10 - 15:30
Coffee break
PLMW-ICFP-2018
15:30 - 16:30: PLMW @ ICFP 2018 - Session 4 at New York Central
PLMW-ICFP-201815:30 - 16:30
Talk
Alejandro RussoChalmers University of Technology, Sweden, Katie OtsFacebook, Leonidas LampropoulosUniversity of Pennsylvania, David DaraisUniversity of Vermont, Ivan PerezNational Institute of Aerospace, USA
hiw-2018-papers
15:30 - 16:45: HIW 2018 - Tools and Hardware at Illinois Central
Chair(s): Joachim BreitnerDFINITY Foundation
hiw-2018-papers15:30 - 15:55
Talk
Judah Jacobson
File Attached
hiw-2018-papers15:55 - 16:20
Talk
Christiaan BaaijQBayLogic B.V.
File Attached
hiw-2018-papers16:20 - 16:28
Talk
Matthew Yacavone
hiw-2018-papers16:28 - 16:45
Other
Simon Peyton JonesMicrosoft, UK
hope-2018-papers
15:30 - 16:10: HOPE 2018 - afternoon-3 at Frisco+Burlington Route
hope-2018-papers15:30 - 16:10
Talk
Ohad KammarUniversity of Oxford, Matthijs VákárUniversity of Oxford, Sam StatonUniversity of Oxford
File Attached

Mon 24 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

icfp-2018-Keynotes
09:00 - 10:00: Keynotes and Reports - Monday Keynote at Stifel Theatre
Chair(s): Robby FindlerNorthwestern University, USA
icfp-2018-Keynotes09:00 - 10:00
Talk
Ronald GarciaUniversity of British Columbia
icfp-2018-catering
10:05 - 10:30: Catering - Monday coffee break 1 at Catering
icfp-2018-catering10:05 - 10:30
Coffee break
icfp-2018-papers
10:30 - 12:00: Research Papers - Environments and Tools at Stifel Theatre
Chair(s): Alejandro RussoChalmers University of Technology, Sweden
icfp-2018-papers10:30 - 10:52
Talk
Andrey MokhovNewcastle University, UK, Neil Mitchell, Simon Peyton JonesMicrosoft, UK
DOI
icfp-2018-papers10:52 - 11:15
Talk
Kenneth Foner, Hengchu ZhangUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
DOI
icfp-2018-papers11:15 - 11:37
Talk
Frédéric BourFacebook Paris, Thomas Réfis, Gabriel SchererINRIA Saclay
DOI
icfp-2018-papers11:37 - 12:00
Talk
Chandrakana NandiUniversity of Washington, USA, James R. WilcoxUniversity of Washington, Taylor BlauUniversity of Washington, Dan GrossmanUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
DOI
icfp-2018-catering
12:00 - 13:00: Catering - Monday lunch at Catering
icfp-2018-catering12:00 - 13:00
Lunch
icfp-2018-papers
13:00 - 14:30: Research Papers - Program Construction at Stifel Theatre
Chair(s): J. Garrett MorrisUniversity of Kansas, USA
icfp-2018-papers13:00 - 13:22
Talk
Antonis StampoulisOriginate Inc., Adam ChlipalaMassachusetts Institute of Technology, USA
DOI
icfp-2018-papers13:22 - 13:45
Talk
Guillaume AllaisRadboud University Nijmegen, Robert AtkeyUniversity of Strathclyde, James Chapman, Conor McBride, James McKinna
DOI
icfp-2018-papers13:45 - 14:07
Talk
Cyrus OmarUniversity of Chicago, Jonathan AldrichCarnegie Mellon University
Link to publication DOI
icfp-2018-papers14:07 - 14:30
Talk
Guannan WeiPurdue University, James Decker, Tiark RompfPurdue University
DOI
icfp-2018-catering
14:30 - 15:00: Catering - Monday coffee break 2 at Catering
icfp-2018-catering14:30 - 15:00
Coffee break
icfp-2018-papers
15:00 - 16:10: Research Papers - Continuations and Effects at Stifel Theatre
Chair(s): Martin ElsmanUniversity of Copenhagen, Denmark
icfp-2018-papers15:00 - 15:23
Talk
James KoppelMIT, Gabriel SchererINRIA Saclay, Armando Solar-LezamaMIT CSAIL
DOI
icfp-2018-papers15:23 - 15:46
Talk
Youyou CongOchanomizu University, Japan, Kenichi AsaiOchanomizu University
DOI
icfp-2018-papers15:46 - 16:10
Talk
Oliver BračevacTU Darmstadt, Nada AminUniversity of Cambridge, Guido SalvaneschiTU Darmstadt, Sebastian ErdwegDelft University of Technology, Netherlands, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt
DOI
icfp-2018-catering
16:10 - 16:40: Catering - Monday coffee break 3 at Catering
icfp-2018-catering16:10 - 16:40
Coffee break
icfp-2018-papers
16:40 - 18:10: Research Papers - Probabilistic Programming and Learning at Stifel Theatre
Chair(s): Michael SperberActive Group GmbH
icfp-2018-papers16:40 - 17:02
Talk
Conal ElliottTarget, USA
DOI
icfp-2018-papers17:02 - 17:25
Talk
Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Ohad KammarUniversity of Oxford, Zoubin GhahramaniUniversity of Cambridge
DOI
icfp-2018-papers17:25 - 17:47
Talk
Mitchell WandNortheastern University, USA, Ryan CulpepperCzech Technical University, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University
DOI
icfp-2018-papers17:47 - 18:10
Talk
José Bacelar AlmeiraUniversity of Minho & INESC TEC, Alcino CunhaUniversity of Minho and INESC TEC, Portugal, Nuno MacedoUniversity of Minho & INESC TEC, Hugo PachecoUniversity of Minho, Portugal, José ProençaHASLab/INESC TEC & University of Minho
DOI
icfp-2018-Student-Research-Competition
18:30 - 20:30: Student Research Competition - Poster Reception at Grand Hall
icfp-2018-Social-Events18:30 - 20:30
Social Event

Tue 25 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

icfp-2018-Keynotes
09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at Stifel Theatre
Chair(s): Matthew FlattUniversity of Utah
icfp-2018-Keynotes09:00 - 10:00
Talk
Pat HanrahanStanford University, USA
icfp-2018-catering
10:00 - 10:30: Catering - Tuesday coffee break 1 at Catering
icfp-2018-catering10:00 - 10:30
Coffee break
icfp-2018-papers
10:30 - 12:00: Research Papers - Compilation and Concurrency at Stifel Theatre
Chair(s): Heather MillerCarnegie Mellon University
icfp-2018-papers10:30 - 10:52
Talk
Stefan K. Muller, Umut A. AcarCarnegie Mellon University, Robert Harper
DOI
icfp-2018-papers10:52 - 11:15
Talk
Martin ElsmanUniversity of Copenhagen, Denmark, Troels HenriksenUniversity of Copenhagen, Denmark, Danil AnnenkovDepartment of Computer Science, University of Copenhagen, Cosmin OanceaUniversity of Copenhagen, Denmark
Link to publication DOI
icfp-2018-papers11:15 - 11:37
Talk
Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University
DOI
icfp-2018-papers11:37 - 12:00
Talk
Ivan PerezNational Institute of Aerospace, USA
DOI
icfp-2018-catering
12:00 - 13:00: Catering - Tuesday lunch at Catering
icfp-2018-catering12:00 - 13:00
Lunch
icfp-2018-Keynotes
12:15 - 12:50: Keynotes and Reports - Report on ICFP and Climate Change at Stifel Theatre
icfp-2018-Keynotes12:15 - 12:50
Talk
P: Benjamin C. PierceUniversity of Pennsylvania
icfp-2018-papers
13:00 - 14:30: Research Papers - Proof Techniques and Mechanization at Stifel Theatre
Chair(s): Niki VazouUniversity of Maryland, USA
icfp-2018-papers13:00 - 13:22
Talk
Robbert KrebbersDelft University of Technology, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Ralf JungMPI-SWS, Joseph TassarottiCarnegie Mellon University, Jan-Oliver KaiserMPI-SWS, Amin Timanyimec-Distrinet KU-Leuven, Arthur CharguéraudInria, Derek DreyerMPI-SWS
DOI
icfp-2018-papers13:22 - 13:45
Talk
Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET, Robbert KrebbersDelft University of Technology, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Derek DreyerMPI-SWS
DOI
icfp-2018-papers13:45 - 14:07
Talk
Sven KeidelDelft University of Technology, Netherlands, Casper Bach PoulsenDelft University of Technology, Sebastian ErdwegDelft University of Technology, Netherlands
DOI
icfp-2018-papers14:07 - 14:30
Talk
Nicolas TabareauInria, Éric TanterUniversity of Chile & Inria Paris, Matthieu SozeauInria
DOI
icfp-2018-catering
14:30 - 15:00: Catering - Tuesday coffee break 2 at Catering
icfp-2018-catering14:30 - 15:00
Coffee break
icfp-2018-papers
15:00 - 16:30: Research Papers - Bidirectional Programming at Stifel Theatre
Chair(s): Wouter SwierstraUtrecht University, Netherlands
icfp-2018-papers15:00 - 15:22
Talk
Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford
DOI
icfp-2018-papers15:22 - 15:45
Talk
Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK
DOI
icfp-2018-papers15:45 - 16:07
Talk
Solomon MainaUniversity of Pennsylvania, Anders MiltnerPrinceton University, Kathleen FisherTufts University, USA, Benjamin C. PierceUniversity of Pennsylvania, Dave WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
DOI
icfp-2018-papers16:07 - 16:30
Talk
Csongor KissImperial College London, Matthew PickeringUniversity of Bristol, Nicolas WuUniversity of Bristol, UK
DOI
icfp-2018-catering
16:30 - 17:00: Catering - Tuesday coffee break 3 at Catering
icfp-2018-catering16:30 - 17:00
Coffee break
icfp-2018-Student-Research-Competition
17:00 - 17:40: Student Research Competition - Finalist Presentations at Stifel Theatre
icfp-2018-Student-Research-Competition17:00 - 17:40
Talk
icfp-2018-Programming-Contest
17:40 - 18:10: Programming Contest - Contest Report and Results at Stifel Theatre
icfp-2018-Programming-Contest17:40 - 18:10
Talk
Matthew FluetRochester Institute of Technology

Wed 26 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

icfp-2018-Keynotes
09:00 - 10:00: Keynotes and Reports - Wednesday Keynote at Stifel Theatre
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
icfp-2018-Keynotes09:00 - 10:00
Talk
Eugenia Cheng
icfp-2018-catering
10:00 - 10:30: Catering - Wednesday coffee break 1 at Catering
icfp-2018-catering10:00 - 10:30
Coffee break
icfp-2018-papers
10:30 - 12:00: Research Papers - Semantics at Stifel Theatre
Chair(s): Sam LindleyUniversity of Edinburgh, UK
icfp-2018-papers10:30 - 10:52
Talk
Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of Oxford
Link to publication DOI Pre-print
icfp-2018-papers10:52 - 11:15
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Ralf HinzeRadboud University Nijmegen, Nicolas WuUniversity of Bristol, UK
DOI
icfp-2018-papers11:15 - 11:37
Talk
Andrew HirschCornell University, Ross TateCornell University
DOI
icfp-2018-papers11:37 - 12:00
Talk
Brent YorgeyHendrix College, Kenneth Foner
DOI
icfp-2018-catering
12:00 - 13:00: Catering - Wednesday lunch at Catering
icfp-2018-catering12:00 - 13:00
Lunch
icfp-2018-papers
13:00 - 14:30: Research Papers - Gradual Typing and Proving at Stifel Theatre
Chair(s): Éric TanterUniversity of Chile & Inria Paris
icfp-2018-papers13:00 - 13:22
Talk
Ben GreenmanNortheastern University, USA, Matthias FelleisenNortheastern University, USA
DOI
icfp-2018-papers13:22 - 13:45
Talk
John Peter Campora IIIULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University
DOI
icfp-2018-papers13:45 - 14:07
Talk
Max NewNortheastern University, Amal AhmedNortheastern University, USA
DOI
icfp-2018-papers14:07 - 14:30
Talk
Joachim BreitnerDFINITY Foundation, Antal Spector-Zabusky, Yao LiUniversity of Pennsylvania, Christine RizkallahUniversity of New South Wales, John WiegleyBAE Systems, Stephanie WeirichUniversity of Pennsylvania, USA
DOI
icfp-2018-catering
14:30 - 15:00: Catering - Wednesday coffee break 2 at Catering
icfp-2018-catering14:30 - 15:00
Coffee break
icfp-2018-papers
15:00 - 16:10: Research Papers - Complexity and Bounds at Stifel Theatre
Chair(s): Ilya SergeyUniversity College London
icfp-2018-papers15:00 - 15:23
Talk
Ankush DasCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Frank PfenningCarnegie Mellon University, USA
DOI
icfp-2018-papers15:23 - 15:46
Talk
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
icfp-2018-papers15:46 - 16:10
Talk
Beniamino AccattoliInria & Ecole Polytechnique, Stéphane Graham-LengrandCNRS, France, Delia KesnerIRIF, France / University of Paris Diderot, France
DOI
icfp-2018-catering
16:10 - 16:30: Catering - Wednesday coffee break 3 at Catering
icfp-2018-catering16:10 - 16:30
Coffee break
icfp-2018-papers
16:30 - 17:15: Research Papers - Dependent Types at Stifel Theatre
Chair(s): David Thrane ChristiansenGalois, USA
icfp-2018-papers16:30 - 16:52
Talk
Jesper CockxChalmers | University of Gothenburg, Andreas AbelGothenburg University
DOI
icfp-2018-papers16:52 - 17:15
Talk
Larry Diehl, Denis FirsovUniversity of Iowa, USA, Aaron StumpThe University of Iowa, USA
DOI
icfp-2018-Keynotes
17:15 - 18:00: Keynotes and Reports - Closing Events at Stifel Theatre
icfp-2018-Keynotes17:15 - 17:30
Awards
Satnam SinghX, the moonshot factory
icfp-2018-Keynotes17:30 - 17:40
Awards
Ravi ChughUniversity of Chicago
icfp-2018-Keynotes17:40 - 17:55
Talk
Matthew FlattUniversity of Utah
icfp-2018-Keynotes17:55 - 18:00
Talk
Derek DreyerMPI-SWS
icfp-2018-Student-Research-Competition
17:30 - 17:40: Student Research Competition - Student Research Competition Awards at Stifel Theatre
icfp-2018-Keynotes17:30 - 17:40
Awards
Ravi ChughUniversity of Chicago
icfp-2018-catering
18:00 - 19:00: Catering - Wednesday food trucks at Catering
icfp-2018-catering18:00 - 19:00
Dinner
icfp-2018-Social-Events
19:00 - 21:30: Social Events - Strange Loop Party at City Museum
icfp-2018-Social-Events19:00 - 21:30
Social Event

Thu 27 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

tyde-2018
08:45 - 10:00: TyDe 2018 - Applications and Monoids at New York Central
Chair(s): Daan LeijenMicrosoft Research, USA
tyde-201808:45 - 08:55
Talk
Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA
tyde-201808:55 - 09:15
Talk
Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research
File Attached
tyde-201809:15 - 09:35
Talk
Lionel ParreauxEPFL, Christoph E. KochEPFL
Media Attached File Attached
tyde-201809:35 - 10:00
Research paper
Victor Cacciari MiraldoUtrecht University, Netherlands, Harold CarrOracle Labs, USA, Alex KoganOracle Labs, USA, Mark MoirOracle Labs, New Zealand, Maurice HerlihyBrown University, USA
DOI
npfl-2018-papers
09:00 - 10:00: NPFL 2018 - Keynote at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers09:00 - 10:00
Day opening
Eva DarulovaMPI-SWS
haskellsymp-2018-papers
09:00 - 10:00: Haskell 2018 - Keynote at Illinois Central
Chair(s): Nicolas WuUniversity of Bristol, UK
haskellsymp-2018-papers09:00 - 09:05
Day opening
Nicolas WuUniversity of Bristol, UK
haskellsymp-2018-papers09:05 - 10:00
Talk
Andreas RossbergDfinity
ocaml-2018-papers
09:00 - 10:00: OCaml 2018 - Session 1 at Frisco
Chair(s): Andrew KennedyFacebook London
ocaml-2018-papers09:00 - 09:05
Day opening
Andrew KennedyFacebook London
ocaml-2018-papers09:05 - 09:35
Talk
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
ocaml-2018-papers09:35 - 09:45
Poster
Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
ocaml-2018-papers09:45 - 09:50
Poster
Gabriel RadanneUniversity of Freiburg, Germany
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T01: Introduction to Programming and Proving in Cedille at Burlington Route
Chair(s): Aaron StumpThe University of Iowa, USA
icfp-2018-Tutorials09:00 - 12:00
Other
Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Colin McDonald
icfp-2018-catering
10:00 - 10:20: Catering - Thursday coffee break 1 at Catering
icfp-2018-catering10:00 - 10:20
Coffee break
ocaml-2018-papers
10:20 - 11:00: OCaml 2018 - Session 2 at Frisco
Chair(s): Stephen DolanUniversity of Cambridge
ocaml-2018-papers10:20 - 10:40
Talk
Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris
ocaml-2018-papers10:40 - 11:00
Talk
Romain CalascibettaTarides
npfl-2018-papers
10:20 - 11:20: NPFL 2018 - Talks I at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers10:20 - 10:50
Talk
Sam StitesSentenai, Austin HuangPfizer
npfl-2018-papers10:50 - 11:20
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford
tyde-2018
10:20 - 12:00: TyDe 2018 - Types at New York Central
Chair(s): Richard A. EisenbergBryn Mawr College, USA
tyde-201810:20 - 10:45
Research paper
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
DOI
tyde-201810:45 - 11:10
Research paper
Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA
DOI
tyde-201811:10 - 11:35
Research paper
Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands
DOI
tyde-201811:35 - 12:00
Research paper
Ilya YanokUSI Lugano, Switzerland, Nate NystromUSI Lugano, Switzerland
DOI
haskellsymp-2018-papers
10:30 - 12:00: Haskell 2018 - Session 1 at Illinois Central
Chair(s): Michael D. AdamsUniversity of Utah
haskellsymp-2018-papers10:30 - 11:00
Talk
Martin A. T. HandleyUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
haskellsymp-2018-papers11:00 - 11:30
Talk
Marilyn SunTufts University, USA, Kathleen FisherTufts University, USA
DOI
haskellsymp-2018-papers11:30 - 12:00
Talk
Guido MartínezCIFASIS-CONICET, Argentina, Mauro JaskelioffCONICET, Argentina, Guido De LucaUniversidad Nacional de Rosario, Argentina
DOI
icfp-2018-catering
11:00 - 11:20: Catering - Thursday coffee break 2 at Catering
icfp-2018-catering11:00 - 11:20
Coffee break
ocaml-2018-papers
11:20 - 12:00: OCaml 2018 - Session 3 at Frisco
Chair(s): KC SivaramakrishnanUniversity of Cambridge
ocaml-2018-papers11:20 - 11:40
Talk
Sebastien MondetMount Sinai - Hammer Lab
ocaml-2018-papers11:40 - 12:00
Talk
Lucas PluvinageENS Paris, Sadiq JafferOpsian, Anil MadhavapeddyOCaml Labs
npfl-2018-papers
11:20 - 12:00: NPFL 2018 - Talks II at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers11:20 - 12:00
Talk
Eva RichterPotsdam University, Matti RichterPotsdam University
icfp-2018-catering
12:00 - 13:30: Catering - Thursday lunch at Midway West
icfp-2018-catering12:00 - 13:30
Lunch
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T02: Direct Manipulation Programming in Sketch-n-Sketch at Burlington Route
Chair(s): Justin Lubin, Mikaël MayerEPFL, Switzerland, Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago
icfp-2018-Tutorials13:00 - 16:00
Other
Nick CollinsUniversity of Chicago, Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago, Mikaël MayerEPFL, Switzerland, Justin Lubin
tyde-2018
13:30 - 14:20: TyDe 2018 - Keynote at New York Central
Chair(s): Niki VazouUniversity of Maryland, USA
tyde-201813:30 - 14:20
Talk
K. Rustan M. LeinoAmazon
haskellsymp-2018-papers
13:30 - 15:00: Haskell 2018 - Session 2 at Illinois Central
Chair(s): Sam LindleyUniversity of Edinburgh, UK
haskellsymp-2018-papers13:30 - 14:00
Talk
Manuel BärenzUniversity of Vienna, Austria, Ivan PerezNational Institute of Aerospace, USA
DOI
haskellsymp-2018-papers14:00 - 14:30
Talk
Dong HanBeijing Bytedance, China, Tao HeBeijing Bytedance, China
DOI
haskellsymp-2018-papers14:30 - 15:00
Talk
Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK
DOI
ocaml-2018-papers
13:30 - 14:10: OCaml 2018 - Session 4 at Frisco
Chair(s): Gabriel SchererINRIA Saclay
ocaml-2018-papers13:30 - 13:50
Talk
Frédéric BourFacebook Paris
ocaml-2018-papers13:50 - 14:10
Talk
David AllsoppUniversity of Cambridge
npfl-2018-papers
13:30 - 14:30: NPFL 2018 - Talks III at Texas Special
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
npfl-2018-papers13:30 - 14:00
Talk
Dominic SteinitzTweag I/O
npfl-2018-papers14:00 - 14:30
Talk
Nathan Waiviohttps://github.com/waivio
icfp-2018-catering
14:10 - 14:30: Catering - Thursday coffee break 3 at Catering
icfp-2018-catering14:10 - 14:30
Coffee break
tyde-2018
14:20 - 15:10: TyDe 2018 - Effect Handlers & Abstract Machine at New York Central
Chair(s): Niki VazouUniversity of Maryland, USA
tyde-201814:20 - 14:45
Research paper
Daan LeijenMicrosoft Research, USA
DOI
tyde-201814:45 - 15:10
Research paper
Carlos Tomé CortiñasUtrecht University, Netherlands, Wouter SwierstraUtrecht University, Netherlands
DOI
ocaml-2018-papers
14:30 - 15:10: OCaml 2018 - Session 5 at Frisco
ocaml-2018-papers14:30 - 14:50
Talk
Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook
ocaml-2018-papers14:50 - 15:10
Talk
Kévin Le BonInria, Alan SchmittInria
Link to publication
npfl-2018-papers
14:30 - 15:10: NPFL 2018 - Talks IV at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers14:30 - 15:10
Talk
Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie
icfp-2018-catering
15:10 - 15:30: Catering - Thursday coffee break 4 at Catering
icfp-2018-catering15:10 - 15:30
Coffee break
tyde-2018
15:30 - 16:10: TyDe 2018 - Error Messages & Contexts at New York Central
Chair(s): David DaraisUniversity of Vermont
tyde-201815:30 - 15:50
Talk
Robert AtkeyUniversity of Strathclyde, James WoodUniversity of Strathclyde
File Attached
tyde-201815:50 - 16:10
Talk
Joseph EremondiUniversity of British Columbia, Wouter SwierstraUtrecht University, Netherlands, Jurriaan HageUtrecht University
File Attached
haskellsymp-2018-papers
15:30 - 16:00: Haskell 2018 - Session 3 at Illinois Central
Chair(s): Ryan Yates
haskellsymp-2018-papers15:30 - 16:00
Talk
Matt NoonanKataskeue, USA
DOI
ocaml-2018-papers
15:30 - 16:10: OCaml 2018 - Session 6 at Frisco
Chair(s): Andrew KennedyFacebook London
ocaml-2018-papers15:30 - 15:50
Talk
Charles ChamberlainUniversity of Chicago, Cyrus OmarUniversity of Chicago
npfl-2018-papers
15:30 - 16:10: NPFL 2018 - Talks V at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers15:30 - 16:10
Talk
Pavel PanchekhaUniversity of Washington
icfp-2018-Keynotes
16:30 - 17:20: Keynotes and Reports - Strange Loop Keynote at Stifel Theatre
icfp-2018-Keynotes16:30 - 17:20
Talk
S: Erica Joy Baker
icfp-2018-Social-Events
17:30 - 19:30: Social Events - Industrial Reception at Regency C
icfp-2018-Social-Events17:30 - 19:30
Social Event
icfp-2018-Social-Events
19:00 - 22:00: Social Events - Strange Loop Unsessions at Unsessions Room
icfp-2018-Social-Events19:00 - 22:00
Social Event

Fri 28 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

scheme-2018-papers
09:00 - 10:00: Scheme 2018 - Invited Talk 1 at Burlington Route
scheme-2018-papers09:00 - 10:00
Talk
David Van HornUniversity of Maryland, USA
mlfamilyworkshop-2018-papers
09:00 - 10:00: ML 2018 - Invited talk at New York Central
mlfamilyworkshop-2018-papers09:00 - 10:00
Talk
Enrico TassiINRIA
scala-2018-papers
09:00 - 10:00: Scala 2018 - Keynote at Frisco
Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, China
scala-2018-papers09:00 - 10:00
Talk
Sébastien DoeraeneEPFL, Switzerland
DOI
haskellsymp-2018-papers
09:00 - 10:00: Haskell 2018 - Session 4 at Illinois Central
Chair(s): Iavor DiatchkiGalois, Inc.
haskellsymp-2018-papers09:00 - 09:30
Talk
Baldur Blöndaln.n., n.n., Andres LöhWell-Typed, UK, Ryan ScottIndiana University at Bloomington, USA
DOI
haskellsymp-2018-papers09:30 - 10:00
Talk
Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands
DOI
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages at Texas Special
Chair(s): Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
icfp-2018-Tutorials09:00 - 12:00
Other
Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
icfp-2018-catering
10:00 - 10:20: Catering - Friday coffee break 1 at Catering
icfp-2018-catering10:00 - 10:20
Coffee break
mlfamilyworkshop-2018-papers
10:20 - 12:00: ML 2018 - Session 1 at New York Central
mlfamilyworkshop-2018-papers10:20 - 10:45
Talk
Stephen DolanUniversity of Cambridge
mlfamilyworkshop-2018-papers10:45 - 11:10
Talk
Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
Link to publication Pre-print
mlfamilyworkshop-2018-papers11:10 - 11:35
Talk
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
Pre-print
mlfamilyworkshop-2018-papers11:35 - 12:00
Talk
Martin ElsmanUniversity of Copenhagen, Denmark, Philip MunksgaardIntelligent Alpha AG, Switzerland, Ken Friis LarsenDIKU, University of Copenhagen
Link to publication
scheme-2018-papers
10:20 - 11:00: Scheme 2018 - Session 1 at Burlington Route
scheme-2018-papers10:20 - 10:40
Talk
Arthur GlecklerSRFI Editor
scheme-2018-papers10:40 - 11:00
Talk
Satoshi EgiRakuten Institute of Technology
scala-2018-papers
10:20 - 11:50: Scala 2018 - Session 1: Scala Foundations at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland
scala-2018-papers10:20 - 10:42
Talk
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
scala-2018-papers10:42 - 11:05
Talk
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
scala-2018-papers11:05 - 11:27
Talk
Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI
scala-2018-papers11:27 - 11:50
Talk
Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo
DOI
haskellsymp-2018-papers
10:30 - 12:00: Haskell 2018 - Session 5 at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA
haskellsymp-2018-papers10:30 - 11:00
Talk
Richard A. EisenbergBryn Mawr College, USA, Joachim BreitnerDFINITY Foundation, Simon Peyton JonesMicrosoft, UK
DOI
haskellsymp-2018-papers11:00 - 11:30
Talk
Divesh OtwaniHaverford College, USA, Richard A. EisenbergBryn Mawr College, USA
DOI
haskellsymp-2018-papers11:30 - 12:00
Talk
Matthías Páll GissurarsonChalmers University of Technology, Sweden
DOI
icfp-2018-catering
11:00 - 11:20: Catering - Friday coffee break 2 at Catering
icfp-2018-catering11:00 - 11:20
Coffee break
scheme-2018-papers
11:20 - 12:00: Scheme 2018 - Session 2 at Burlington Route
scheme-2018-papers11:20 - 11:40
Talk
Nathaniel Rudavsky-Brody
scheme-2018-papers11:40 - 12:00
Talk
Benjamin Boskin, Weixi Ma, David Thrane ChristiansenGalois, USA, Daniel FriedmanIndiana University
scala-2018-papers
11:50 - 12:10: Scala 2018 - Student Talks 1 at Frisco
Chair(s): Sukyoung RyuKAIST, South Korea
scala-2018-papers11:50 - 12:00
Talk
Artem PelenitsynNortheastern University
scala-2018-papers12:00 - 12:10
Talk
Abel NietoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
icfp-2018-catering
12:00 - 13:30: Catering - Friday lunch at Midway West
icfp-2018-catering12:00 - 13:30
Lunch
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T04: Beluga: Programming Proofs About Formal Systems at Texas Special
Chair(s): Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University, Brigitte PientkaMcGill University
icfp-2018-Tutorials13:00 - 16:00
Talk
Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University
scala-2018-papers
13:10 - 14:40: Scala 2018 - Session 2: Scala Extensions & Parsing at Frisco
Chair(s): Philipp HallerKTH, Sweden
scala-2018-papers13:10 - 13:32
Talk
Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK
DOI
scala-2018-papers13:32 - 13:55
Talk
Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
scala-2018-papers13:55 - 14:17
Talk
Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Ilya KirillovSaint Petersburg State University, Russia, Ilya NozkinSaint Petersburg State University, Russia, Semyon GrigorevSaint Petersburg State University, Russia
DOI
scala-2018-papers14:17 - 14:40
Talk
Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
mlfamilyworkshop-2018-papers
13:30 - 15:10: ML 2018 - Session 2 at New York Central
mlfamilyworkshop-2018-papers13:30 - 13:55
Talk
Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor Dumitrescu, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal Narasimhamurthy, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
File Attached
mlfamilyworkshop-2018-papers13:55 - 14:20
Talk
Roberto BlancoInria
mlfamilyworkshop-2018-papers14:20 - 14:45
Talk
Lucas BaudinINRIA, Didier RémyInria
mlfamilyworkshop-2018-papers14:45 - 15:10
Talk
Dmitrii Kosarev, Dmitri Boulytchev
scheme-2018-papers
13:30 - 14:10: Scheme 2018 - Session 3 at Burlington Route
scheme-2018-papers13:30 - 13:50
Talk
Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland
scheme-2018-papers13:50 - 14:10
Talk
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
haskellsymp-2018-papers
13:30 - 15:00: Haskell 2018 - Session 6 at Illinois Central
Chair(s): Brent YorgeyHendrix College
haskellsymp-2018-papers13:30 - 14:00
Talk
Joachim BreitnerDFINITY Foundation
DOI
haskellsymp-2018-papers14:00 - 14:30
Talk
Agustín MistaUniversidad Nacional de Rosario, Argentina, Alejandro RussoChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden
DOI
haskellsymp-2018-papers14:30 - 15:00
Talk
Thomas WinantKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium
DOI File Attached
icfp-2018-catering
14:10 - 14:30: Catering - Friday coffee break 3 at Catering
icfp-2018-catering14:10 - 14:30
Coffee break
scheme-2018-papers
14:30 - 15:10: Scheme 2018 - Session 4 at Burlington Route
scheme-2018-papers14:30 - 14:50
Talk
Eric HolkGoogle
scheme-2018-papers14:50 - 15:10
Talk
Laurent Huberdeau, Marc FeeleyUniversité de Montréal
scala-2018-papers
14:40 - 15:00: Scala 2018 - Student Talks 2 at Frisco
Chair(s): Philipp HallerKTH, Sweden
scala-2018-papers14:40 - 14:50
Talk
Guillaume MartresEPFL, Switzerland
scala-2018-papers14:50 - 15:00
Talk
Max OvsiankinUC Berkeley, Eugene BurmakoTwitter, Inc.
icfp-2018-catering
15:10 - 15:30: Catering - Friday coffee break 4 at Catering
icfp-2018-catering15:10 - 15:30
Coffee break
scala-2018-papers
15:20 - 16:10: Scala 2018 - Session 3: DSLs & Sponsor Talk at Frisco
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
scala-2018-papers15:20 - 15:42
Talk
Jacob DonhamTwitter, Inc.
DOI
scala-2018-papers15:42 - 16:10
Industry talk
Eugene BurmakoTwitter, Inc.
scheme-2018-papers
15:30 - 16:10: Scheme 2018 - Invited Talk 2 at Burlington Route
scheme-2018-papers15:30 - 16:10
Talk
Matthew FlattUniversity of Utah
mlfamilyworkshop-2018-papers
15:30 - 16:10: ML 2018 - Session 3 at New York Central
mlfamilyworkshop-2018-papers15:30 - 16:10
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
haskellsymp-2018-papers
15:30 - 16:00: Haskell 2018 - Session 7 at Illinois Central
Chair(s): Simon MarlowFacebook
haskellsymp-2018-papers15:30 - 15:59
Talk
Niki VazouUniversity of Maryland, USA, Joachim BreitnerDFINITY Foundation, Rose KunkelUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA, Graham HuttonUniversity of Nottingham, UK
DOI
haskellsymp-2018-papers15:59 - 16:00
Talk
Nicolas WuUniversity of Bristol, UK
icfp-2018-Keynotes
16:30 - 17:20: Keynotes and Reports - Strange Loop Keynote at Stifel Theatre
icfp-2018-Keynotes16:30 - 17:20
Talk
S: Janelle Shane

Sat 29 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

FHPC-2018-papers
08:45 - 10:00: FHPC 2018 - Morning Session 1 at New York Central
Chair(s): Kei DavisLos Alamos National Laboratory
FHPC-2018-papers08:45 - 09:00
Day opening
C: Kei DavisLos Alamos National Laboratory, C: Mike Rainey
FHPC-2018-papers09:00 - 10:00
Talk
A: Vadim ZalivaCarnegie Mellon University, USA, A: Franz FranchettiCarnegie Mellon University, USA
DOI
farm-2018-papers
09:00 - 10:00: FARM 2018 - Live Coding at Jeffersonian+Knickerbocker
Chair(s): Tom Murphy
farm-2018-papers09:00 - 09:10
Day opening
G: Brent YorgeyHendrix College, P: Donya QuickStevens Institute of Technology, P: Tom Murphy
farm-2018-papers09:10 - 09:35
Research paper
Miguel NegrãoPolytechnic Institute of Leiria
DOI
farm-2018-papers09:35 - 10:00
Demonstration
Sarah Groff Hennigh-Palermo
erlang-2018-papers
09:00 - 10:00: Erlang 2018 - Opening & Keynote talk at Burlington Route
erlang-2018-papers09:00 - 09:10
Day opening
C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University
erlang-2018-papers09:10 - 10:00
Talk
K: Christopher MeiklejohnCarnegie Mellon University
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T05: Purely functional UIs with Reacl at Wabash Cannonball
Chair(s): Michael SperberActive Group GmbH
icfp-2018-Tutorials09:00 - 12:00
Other
Michael SperberActive Group GmbH
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games at Frisco
Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
icfp-2018-Tutorials09:00 - 12:00
Other
Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T07: Writing a chat system in Pony at Texas Special
Chair(s): Andrew Turley
icfp-2018-Tutorials09:00 - 12:00
Other
Andrew Turley
icfp-2018-catering
10:00 - 10:20: Catering - Saturday coffee break 1 at Catering
icfp-2018-catering10:00 - 10:20
Coffee break
farm-2018-papers
10:20 - 12:00: FARM 2018 - Generative Systems at Jeffersonian+Knickerbocker
Chair(s): Brent YorgeyHendrix College
farm-2018-papers10:20 - 10:45
Research paper
Jennifer HackettUniversity of Nottingham, UK
DOI
farm-2018-papers10:45 - 11:10
Demonstration
Brittni WatkinsSouthern Methodist University
farm-2018-papers11:10 - 11:35
Demonstration
Donya QuickStevens Institute of Technology
farm-2018-papers11:35 - 12:00
Demonstration
Cora Johnson-Roberson
erlang-2018-papers
10:20 - 11:00: Erlang 2018 - Latest News at Burlington Route
erlang-2018-papers10:20 - 11:00
Product announcement
I: Kenneth Lundin
FHPC-2018-papers
10:20 - 12:15: FHPC 2018 - Morning Session 2 at New York Central
Chair(s): Kei DavisLos Alamos National Laboratory
FHPC-2018-papers10:20 - 11:20
Talk
A: Troels HenriksenUniversity of Copenhagen, Denmark, A: Martin ElsmanUniversity of Copenhagen, Denmark, A: Cosmin OanceaUniversity of Copenhagen, Denmark
DOI
FHPC-2018-papers11:20 - 12:05
Talk
A: George Stelle
icfp-2018-catering
11:00 - 11:20: Catering - Saturday coffee break 2 at Catering
icfp-2018-catering11:00 - 11:20
Coffee break
erlang-2018-papers
11:20 - 12:00: Erlang 2018 - Session 1 at Burlington Route
erlang-2018-papers11:20 - 11:45
Full-paper
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
erlang-2018-papers11:45 - 12:00
Short-paper
A: Alexandre Jorge Barbosa RodriguesKlarna Bank, Sweden, A: Viktória FördősKlarna Bank, Sweden
DOI
icfp-2018-catering
12:00 - 13:30: Catering - Saturday lunch at Pegram
icfp-2018-catering12:00 - 13:30
Lunch
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T08: Implement your own reactive language: the ReactiveML experiment at Wabash Cannonball
Chair(s): Louis MandelIBM Research, Marc PouzetÉcole normale supérieure, Cédric Pasteur, Guillaume BaudartIBM Research
icfp-2018-Tutorials13:00 - 16:00
Other
Guillaume BaudartIBM Research, Louis MandelIBM Research, Cédric Pasteur, Marc PouzetÉcole normale supérieure
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T09: Pijul, a purely functional version control system at Frisco
Chair(s): Pierre-Étienne Meunier
icfp-2018-Tutorials13:00 - 16:00
Other
Pierre-Étienne Meunier
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T10: Hop.js: JavaScript multitier programming at Texas Special
Chair(s): Manuel SerranoInria, France
icfp-2018-Tutorials13:00 - 16:00
Other
Manuel SerranoInria, France
FHPC-2018-papers
13:30 - 15:10: FHPC 2018 - Afternoon Session 1 at New York Central
Chair(s): Mike Rainey
FHPC-2018-papers13:30 - 14:15
Talk
A: Michael VollmerIndiana University, USA, A: Chaitanya KoparkarIndiana University, A: Laith SakkaPurdue University, A: Milind KulkarniPurdue University, A: Ryan R. NewtonIndiana University
FHPC-2018-papers14:15 - 15:00
Talk
A: Kavon FarvardinUniversity of Chicago, A: John ReppyUniversity of Chicago
farm-2018-papers
13:30 - 15:10: FARM 2018 - Audio at Jeffersonian+Knickerbocker
Chair(s): Donya QuickStevens Institute of Technology
farm-2018-papers13:30 - 13:55
Research paper
Mark SantolucitoYale University, USA, Kate RogersYale University, USA, Aedan LombardoYale University, USA, Ruzica PiskacYale University, USA
DOI Pre-print
farm-2018-papers13:55 - 14:20
Talk
Sebastien MondetMount Sinai - Hammer Lab
farm-2018-papers14:20 - 14:45
Demonstration
Scott FradkinFlexion
farm-2018-papers14:45 - 15:10
Demonstration
Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie
erlang-2018-papers
13:30 - 14:30: Erlang 2018 - Session 2 at Burlington Route
erlang-2018-papers13:30 - 13:55
Full-paper
A: Aman Shankar MathurMPI-SWS, Germany, A: Burcu Kulahcioglu OzkanMPI-SWS, Germany, A: Rupak MajumdarMPI-SWS, Germany
DOI
erlang-2018-papers13:55 - 14:20
Full-paper
A: Joseph HarrisonUniversity of Kent, UK
DOI
erlang-2018-papers14:20 - 14:30
Coffee break
icfp-2018-catering
14:10 - 14:30: Catering - Saturday coffee break 3 at Catering
icfp-2018-catering14:10 - 14:30
Coffee break
erlang-2018-papers
14:30 - 15:10: Erlang 2018 - Session 3 at Burlington Route
erlang-2018-papers14:30 - 14:55
Full-paper
A: Stavros AronisErlang Solutions, Sweden, A: Viktória FördősKlarna Bank, Sweden, A: Dániel SzoboszlayKlarna Bank, Sweden
DOI
erlang-2018-papers14:55 - 15:10
Short-paper
A: Jörgen BrandtHumboldt-Universität zu Berlin, Germany, A: Wolfgang ReisigHumboldt-Universität zu Berlin, Germany
DOI
icfp-2018-catering
15:10 - 15:30: Catering - Saturday coffee break 4 at Catering
icfp-2018-catering15:10 - 15:30
Coffee break
FHPC-2018-papers
15:30 - 17:00: FHPC 2018 - Afternoon Session 2 at New York Central
Chair(s): Mike Rainey
FHPC-2018-papers15:30 - 16:15
Talk
A: Joseph Wingerter, A: John ReppyUniversity of Chicago
FHPC-2018-papers16:15 - 17:00
Day closing
C: Kei DavisLos Alamos National Laboratory, C: Mike Rainey
farm-2018-papers
15:30 - 16:10: FARM 2018 - Art at Jeffersonian+Knickerbocker
Chair(s): Donya QuickStevens Institute of Technology
farm-2018-papers15:30 - 15:55
Research paper
April GonçalvesRoskilde University, Denmark
DOI
farm-2018-papers15:55 - 16:10
Day closing
P: Donya QuickStevens Institute of Technology, G: Brent YorgeyHendrix College, P: Tom Murphy
erlang-2018-papers
15:30 - 16:10: Erlang 2018 - Final talk and Closing at Burlington Route
erlang-2018-papers15:30 - 15:55
Full-paper
A: Nachiappan ValliappanChalmers University of Technology, Sweden, A: John HughesChalmers University of Technology, Sweden
DOI
erlang-2018-papers15:55 - 16:10
Day closing
C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University
icfp-2018-Social-Events
19:30 - 21:30: Social Events - FARM Evening of Algorithmic Arts at The Luminary
icfp-2018-Social-Events19:30 - 21:30
Social Event

Sun 23 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

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

ICFP Catering

Sunday coffee break 1

ICFP Catering

Sunday coffee break 2

ICFP Catering

Sunday coffee break 3

ICFP Catering

Sunday coffee break 4
Frisco+Burlington Route

HOPE

morning-1

HOPE

morning-2

HOPE

morning-3

HOPE

afternoon-1

HOPE

afternoon-2

HOPE

afternoon-3
Grand Hall

ICFP Catering

Sunday lunch
Illinois Central

HIW

Invited Talk

HIW

GHC

HIW

Types

HIW

Tools and Hardware
New York Central

PLMW @ ICFP

Session 1

PLMW @ ICFP

Session 2

PLMW @ ICFP

Session 3

PLMW @ ICFP

Session 4

Mon 24 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Catering

ICFP Catering

Monday coffee break 1

ICFP Catering

Monday lunch

ICFP Catering

Monday coffee break 2

ICFP Catering

Monday coffee break 3
Grand Hall

ICFP Student Research Competition

Poster Reception

ICFP Social Events

18:30 - 20:30
Stifel Theatre

ICFP Keynotes and Reports

Monday Keynote

ICFP Keynotes and Reports

ICFP Research Papers

Environments and Tools

ICFP Research Papers

Program Construction

ICFP Research Papers

Continuations and Effects

ICFP Research Papers

Probabilistic Programming and Learning

ICFP Keynotes and Reports

Tue 25 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Catering

ICFP Catering

Tuesday coffee break 1

ICFP Catering

Tuesday lunch

ICFP Catering

Tuesday coffee break 2

ICFP Catering

Tuesday coffee break 3
Stifel Theatre

ICFP Keynotes and Reports

Tuesday Keynote

ICFP Research Papers

Compilation and Concurrency

ICFP Keynotes and Reports

Report on ICFP and Climate Change

ICFP Research Papers

Proof Techniques and Mechanization

ICFP Research Papers

Bidirectional Programming

ICFP Student Research Competition

Finalist Presentations

ICFP Programming Contest

Contest Report and Results

Wed 26 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Catering

ICFP Catering

Wednesday coffee break 1

ICFP Catering

Wednesday lunch

ICFP Catering

Wednesday coffee break 2

ICFP Catering

Wednesday coffee break 3

ICFP Catering

Wednesday food trucks
City Museum

ICFP Social Events

Strange Loop Party
Stifel Theatre

ICFP Keynotes and Reports

Wednesday Keynote

ICFP Research Papers

Semantics

ICFP Research Papers

Gradual Typing and Proving

ICFP Research Papers

Complexity and Bounds

ICFP Research Papers

Dependent Types

ICFP Keynotes and Reports

Closing Events

ICFP Student Research Competition

Student Research Competition Awards
17:30 - 17:40

Thu 27 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Burlington Route

ICFP Tutorials

T01: Introduction to Programming and Proving in Cedille

ICFP Tutorials

T02: Direct Manipulation Programming in Sketch-n-Sketch
Catering

ICFP Catering

Thursday coffee break 1

ICFP Catering

Thursday coffee break 2

ICFP Catering

Thursday coffee break 3

ICFP Catering

Thursday coffee break 4
Frisco

OCaml

Session 1

OCaml

Session 2

OCaml

Session 3

OCaml

Session 4

OCaml

Session 5

OCaml

Session 6
Illinois Central

Haskell

Keynote

Haskell

Session 1

Haskell

Session 2

Haskell

Session 3
Midway West

ICFP Catering

Thursday lunch
New York Central

TyDe

Applications and Monoids

TyDe

Types

TyDe

Keynote

TyDe

Effect Handlers & Abstract Machine

TyDe

Error Messages & Contexts
Regency C

ICFP Social Events

Industrial Reception
Stifel Theatre

ICFP Keynotes and Reports

Strange Loop Keynote
Texas Special

NPFL

Keynote

NPFL

Talks I

NPFL

Talks II

NPFL

Talks III

NPFL

Talks IV

NPFL

Talks V
Unsessions Room

ICFP Social Events

Strange Loop Unsessions

Fri 28 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Burlington Route

Scheme

Invited Talk 1

Scheme

Session 1

Scheme

Session 2

Scheme

Session 3

Scheme

Session 4

Scheme

Invited Talk 2
Catering

ICFP Catering

Friday coffee break 1

ICFP Catering

Friday coffee break 2

ICFP Catering

Friday coffee break 3

ICFP Catering

Friday coffee break 4
Frisco

Scala

Keynote

Scala

Session 1: Scala Foundations

Scala

Student Talks 1

Scala

Session 2: Scala Extensions & Parsing

Scala

Student Talks 2

Scala

Session 3: DSLs & Sponsor Talk
Illinois Central

Haskell

Session 4

Haskell

Session 5

Haskell

Session 6

Haskell

Session 7
Midway West

ICFP Catering

Friday lunch
New York Central

ML

Invited talk

ML

Session 1

ML

Session 2

ML

Session 3
Stifel Theatre

ICFP Keynotes and Reports

Strange Loop Keynote
Texas Special

ICFP Tutorials

T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages

ICFP Tutorials

T04: Beluga: Programming Proofs About Formal Systems

Sat 29 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Burlington Route

Erlang

Opening & Keynote talk

Erlang

Latest News

Erlang

Session 1

Erlang

Session 2

Erlang

Session 3

Erlang

Final talk and Closing
Catering

ICFP Catering

Saturday coffee break 1

ICFP Catering

Saturday coffee break 2

ICFP Catering

Saturday coffee break 3

ICFP Catering

Saturday coffee break 4
Frisco

ICFP Tutorials

T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games

ICFP Tutorials

T09: Pijul, a purely functional version control system
Jeffersonian+Knickerbocker

FARM

Live Coding

FARM

Generative Systems

FARM

Audio

FARM

Art
New York Central

FHPC

Morning Session 1

FHPC

Morning Session 2

FHPC

Afternoon Session 1

FHPC

Afternoon Session 2
Pegram

ICFP Catering

Saturday lunch
Texas Special

ICFP Tutorials

T07: Writing a chat system in Pony

ICFP Tutorials

T10: Hop.js: JavaScript multitier programming
The Luminary

ICFP Social Events

FARM Evening of Algorithmic Arts
Wabash Cannonball

ICFP Tutorials

T05: Purely functional UIs with Reacl

ICFP Tutorials

T08: Implement your own reactive language: the ReactiveML experiment

Sun 23 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Catering
10:00 - 10:20
11:00 - 11:20
14:10 - 14:30
15:10 - 15:30
Frisco+Burlington Route
09:00 - 10:00
10:20 - 11:00
11:20 - 12:00
13:30 - 14:10
14:30 - 15:10
15:30 - 16:10
Grand Hall
12:00 - 13:30
Illinois Central
09:00 - 09:05
09:05 - 10:00
10:20 - 10:45
10:45 - 11:10
11:10 - 11:35
11:35 - 11:43
11:43 - 11:51
11:51 - 12:00
13:30 - 13:55
13:55 - 14:20
14:20 - 14:45
14:45 - 14:53
14:53 - 15:01
15:01 - 15:10
15:30 - 15:55
15:55 - 16:20
16:20 - 16:28
16:28 - 16:45
New York Central
09:00 - 09:30
09:30 - 10:00
10:20 - 10:50
10:50 - 12:00
13:30 - 14:03
14:03 - 14:36
14:36 - 15:10
15:30 - 16:30

Mon 24 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Catering
10:05 - 10:30
12:00 - 13:00
14:30 - 15:00
16:10 - 16:40
Grand Hall
18:30 - 20:30
Stifel Theatre
09:00 - 10:00
10:30 - 10:52
10:52 - 11:15
11:15 - 11:37
11:37 - 12:00
13:00 - 13:22
13:22 - 13:45
13:45 - 14:07
14:07 - 14:30
15:00 - 15:23
15:23 - 15:46
15:46 - 16:10
16:40 - 17:02
17:02 - 17:25
17:25 - 17:47
17:47 - 18:10

Tue 25 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Catering
10:00 - 10:30
12:00 - 13:00
14:30 - 15:00
16:30 - 17:00
Stifel Theatre
09:00 - 10:00
10:30 - 10:52
10:52 - 11:15
11:15 - 11:37
11:37 - 12:00
12:15 - 12:50
13:00 - 13:22
13:22 - 13:45
13:45 - 14:07
14:07 - 14:30
15:00 - 15:22
15:22 - 15:45
15:45 - 16:07