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

ICFP 2018 Program

Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 23 Sep

hiw-2018-papers
09:00 - 10:00: HIW 2018 - Invited Talk at Illinois Central
Chair(s): Joachim BreitnerDFINITY Foundation
hiw-2018-papers153768600000009:00 - 09:05
Day opening
Joachim BreitnerDFINITY Foundation
hiw-2018-papers153768630000009: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-2018153768600000009:00 - 09:30
Talk
Nadia PolikarpovaUniversity of California, San Diego
PLMW-ICFP-2018153768780000009: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-papers153768600000009: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-catering153768960000010: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-papers153769080000010:20 - 10:45
Talk
Simon Peyton JonesMicrosoft, UK
File Attached
hiw-2018-papers153769230000010:45 - 11:10
Talk
Matthew PickeringUniversity of Bristol
Media Attached
hiw-2018-papers153769380000011:10 - 11:35
Talk
Ryan ScottIndiana University at Bloomington, USA
File Attached
hiw-2018-papers153769530000011:35 - 11:43
Talk
Chris SmithGoogle, USA
hiw-2018-papers153769578000011:43 - 11:51
Talk
Antal Spector-Zabusky
File Attached
hiw-2018-papers153769626000011: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-2018153769080000010:20 - 10:50
Talk
Heather MillerCarnegie Mellon University
PLMW-ICFP-2018153769260000010: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-papers153769080000010: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-catering153769320000011:00 - 11:20
Coffee break
hope-2018-papers
11:20 - 12:00: HOPE 2018 - morning-3 at Frisco+Burlington Route
hope-2018-papers153769440000011: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-catering153769680000012:00 - 13:30
Lunch
PLMW-ICFP-2018
13:30 - 15:10: PLMW @ ICFP 2018 - Session 3 at New York Central
PLMW-ICFP-2018153770220000013:30 - 14:03
Talk
Simon Peyton JonesMicrosoft, UK
PLMW-ICFP-2018153770418000014:03 - 14:36
Talk
Stephanie WeirichUniversity of Pennsylvania, USA
PLMW-ICFP-2018153770616000014: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-papers153770220000013:30 - 13:55
Talk
Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA
Link to publication File Attached
hiw-2018-papers153770370000013:55 - 14:20
Talk
My NguyenBryn Mawr College
File Attached
hiw-2018-papers153770520000014:20 - 14:45
Talk
Matthew PickeringUniversity of Bristol, Arnaud SpiwackTweag I/O
Media Attached
hiw-2018-papers153770670000014:45 - 14:53
Talk
Matthew RussellSimSpace
Link to publication File Attached
hiw-2018-papers153770718000014:53 - 15:01
Talk
Shao ChengTweag I/O
Media Attached
hiw-2018-papers153770766000015:01 - 15:10
Talk
Andreas Klebinger
hope-2018-papers
13:30 - 14:10: HOPE 2018 - afternoon-1 at Frisco+Burlington Route
hope-2018-papers153770220000013: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-catering153770460000014:10 - 14:30
Coffee break
hope-2018-papers
14:30 - 15:10: HOPE 2018 - afternoon-2 at Frisco+Burlington Route
hope-2018-papers153770580000014: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-catering153770820000015:10 - 15:30
Coffee break
PLMW-ICFP-2018
15:30 - 16:30: PLMW @ ICFP 2018 - Session 4 at New York Central
PLMW-ICFP-2018153770940000015: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-papers153770940000015:30 - 15:55
Talk
Judah Jacobson
File Attached
hiw-2018-papers153771090000015:55 - 16:20
Talk
Christiaan BaaijQBayLogic B.V.
File Attached
hiw-2018-papers153771240000016:20 - 16:28
Talk
Matthew Yacavone
hiw-2018-papers153771288000016: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-papers153770940000015:30 - 16:10
Talk
Ohad KammarUniversity of Oxford, Matthijs VákárUniversity of Oxford, Sam StatonUniversity of Oxford
File Attached

Mon 24 Sep

icfp-2018-Keynotes
09:00 - 10:00: Keynotes and Reports - Monday Keynote at Stifel Theatre
Chair(s): Robby FindlerNorthwestern University, USA
icfp-2018-Keynotes153777240000009: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-catering153777630000010: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-papers153777780000010:30 - 10:52
Talk
Andrey MokhovNewcastle University, UK, Neil Mitchell, Simon Peyton JonesMicrosoft, UK
DOI
icfp-2018-papers153777915000010:52 - 11:15
Talk
Kenneth Foner, Hengchu ZhangUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
DOI
icfp-2018-papers153778050000011:15 - 11:37
Talk
Frédéric BourFacebook Paris, Thomas Réfis, Gabriel SchererINRIA Saclay
DOI
icfp-2018-papers153778185000011: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
DOI
icfp-2018-catering
12:00 - 13:00: Catering - Monday lunch at Catering
icfp-2018-catering153778320000012: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-papers153778680000013:00 - 13:22
Talk
Antonis StampoulisOriginate Inc., Adam ChlipalaMassachusetts Institute of Technology, USA
DOI
icfp-2018-papers153778815000013:22 - 13:45
Talk
Guillaume AllaisRadboud University Nijmegen, Robert AtkeyUniversity of Strathclyde, James Chapman, Conor McBride, James McKinna
DOI
icfp-2018-papers153778950000013:45 - 14:07
Talk
Cyrus OmarUniversity of Chicago, Jonathan AldrichCarnegie Mellon University
Link to publication DOI
icfp-2018-papers153779085000014: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-catering153779220000014: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-papers153779400000015:00 - 15:23
Talk
James KoppelMIT, Gabriel SchererINRIA Saclay, Armando Solar-LezamaMIT CSAIL
DOI
icfp-2018-papers153779540000015:23 - 15:46
Talk
Youyou CongOchanomizu University, Japan, Kenichi AsaiOchanomizu University
DOI
icfp-2018-papers153779680000015: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-catering153779820000016: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-papers153780000000016:40 - 17:02
Talk
Conal ElliottTarget, USA
DOI
icfp-2018-papers153780135000017:02 - 17:25
Talk
Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Ohad KammarUniversity of Oxford, Zoubin GhahramaniUniversity of Cambridge
DOI
icfp-2018-papers153780270000017:25 - 17:47
Talk
Mitchell WandNortheastern University, USA, Ryan CulpepperCzech Technical University, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University
DOI
icfp-2018-papers153780405000017: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-Events153780660000018:30 - 20:30
Social Event

Tue 25 Sep

icfp-2018-Keynotes
09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at Stifel Theatre
Chair(s): Matthew FlattUniversity of Utah
icfp-2018-Keynotes153785880000009:00 - 10:00
Talk
Pat HanrahanStanford University, USA
icfp-2018-catering
10:00 - 10:30: Catering - Tuesday coffee break 1 at Catering
icfp-2018-catering153786240000010: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-papers153786420000010:30 - 10:52
Talk
Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert Harper
DOI
icfp-2018-papers153786555000010: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-papers153786690000011:15 - 11:37
Talk
Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University
DOI
icfp-2018-papers153786825000011: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-catering153786960000012: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-Keynotes153787050000012:15 - 12:50
Talk
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-papers153787320000013: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-papers153787455000013: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-papers153787590000013: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-papers153787725000014: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-catering153787860000014: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-papers153788040000015:00 - 15:22
Talk
Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford
DOI
icfp-2018-papers153788175000015:22 - 15:45
Talk
Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK
DOI
icfp-2018-papers153788310000015: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-papers153788445000016: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-catering153788580000016: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-Competition153788760000017:00 - 17:40
Talk
icfp-2018-Programming-Contest
17:40 - 18:10: Programming Contest - Contest Report and Results at Stifel Theatre
icfp-2018-Programming-Contest153789000000017:40 - 18:10
Talk
Matthew FluetRochester Institute of Technology

Wed 26 Sep

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-Keynotes153794520000009:00 - 10:00
Talk
Eugenia Cheng
icfp-2018-catering
10:00 - 10:30: Catering - Wednesday coffee break 1 at Catering
icfp-2018-catering153794880000010: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-papers153795060000010: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-papers153795195000010: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-papers153795330000011:15 - 11:37
Talk
Andrew HirschCornell University, Ross TateCornell University
DOI
icfp-2018-papers153795465000011:37 - 12:00
Talk
Brent YorgeyHendrix College, Kenneth Foner
DOI
icfp-2018-catering
12:00 - 13:00: Catering - Wednesday lunch at Catering
icfp-2018-catering153795600000012: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-papers153795960000013:00 - 13:22
Talk
Ben GreenmanNortheastern University, USA, Matthias FelleisenNortheastern University, USA
DOI
icfp-2018-papers153796095000013:22 - 13:45
Talk
John Peter CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University
DOI
icfp-2018-papers153796230000013:45 - 14:07
Talk
Max S. NewNortheastern University, Amal AhmedNortheastern University, USA
DOI
icfp-2018-papers153796365000014: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-catering153796500000014: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-papers153796680000015:00 - 15:23
Talk
Ankush DasCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Frank PfenningCarnegie Mellon University, USA
DOI
icfp-2018-papers153796820000015:23 - 15:46
Talk
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
icfp-2018-papers153796960000015: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-catering153797100000016: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-papers153797220000016:30 - 16:52
Talk
Jesper CockxChalmers | University of Gothenburg, Andreas AbelGothenburg University
DOI
icfp-2018-papers153797355000016: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-Keynotes153797490000017:15 - 17:30
Awards
Satnam SinghX, the moonshot factory
icfp-2018-Keynotes153797580000017:30 - 17:40
Awards
Ravi ChughUniversity of Chicago
icfp-2018-Keynotes153797640000017:40 - 17:55
Talk
Matthew FlattUniversity of Utah
icfp-2018-Keynotes153797730000017: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-Keynotes153797580000017:30 - 17:40
Awards
Ravi ChughUniversity of Chicago
icfp-2018-catering
18:00 - 19:00: Catering - Wednesday food trucks at Catering
icfp-2018-catering153797760000018:00 - 19:00
Dinner
icfp-2018-Social-Events
19:00 - 21:30: Social Events - Strange Loop Party at City Museum
icfp-2018-Social-Events153798120000019:00 - 21:30
Social Event

Thu 27 Sep

tyde-2018
08:45 - 10:00: TyDe 2018 - Applications and Monoids at New York Central
Chair(s): Daan LeijenMicrosoft Research, USA
tyde-2018153803070000008:45 - 08:55
Talk
Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA
tyde-2018153803130000008:55 - 09:15
Talk
Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research
File Attached
tyde-2018153803250000009:15 - 09:35
Talk
Lionel ParreauxEPFL, Christoph E. KochEPFL
Media Attached File Attached
tyde-2018153803370000009: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 Steinitz
npfl-2018-papers153803160000009: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-papers153803160000009:00 - 09:05
Day opening
Nicolas WuUniversity of Bristol, UK
haskellsymp-2018-papers153803190000009: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-papers153803160000009:00 - 09:05
Day opening
Andrew KennedyFacebook London
ocaml-2018-papers153803190000009:05 - 09:35
Talk
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
ocaml-2018-papers153803370000009:35 - 09:45
Poster
Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
ocaml-2018-papers153803430000009: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-Tutorials153803160000009: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-catering153803520000010: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-papers153803640000010:20 - 10:40
Talk
Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris
ocaml-2018-papers153803760000010: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-papers153803640000010:20 - 10:50
Talk
Sam StitesSentenai, Austin HuangPfizer
npfl-2018-papers153803820000010: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-2018153803640000010:20 - 10:45
Research paper
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
DOI
tyde-2018153803790000010:45 - 11:10
Research paper
Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA
DOI
tyde-2018153803940000011:10 - 11:35
Research paper
Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands
DOI
tyde-2018153804090000011: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-papers153803700000010:30 - 11:00
Talk
Martin A. T. HandleyUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
haskellsymp-2018-papers153803880000011:00 - 11:30
Talk
Marilyn SunTufts University, USA, Kathleen FisherTufts University, USA
DOI
haskellsymp-2018-papers153804060000011: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-catering153803880000011: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-papers153804000000011:20 - 11:40
Talk
Sebastien MondetMount Sinai - Hammer Lab
ocaml-2018-papers153804120000011: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-papers153804000000011: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-catering153804240000012: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-Tutorials153804600000013: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-2018153804780000013: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-papers153804780000013:30 - 14:00
Talk
Manuel BärenzUniversity of Vienna, Austria, Ivan PerezNational Institute of Aerospace, USA
DOI
haskellsymp-2018-papers153804960000014:00 - 14:30
Talk
Dong HanBeijing Bytedance, China, Tao HeBeijing Bytedance, China
DOI
haskellsymp-2018-papers153805140000014: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-papers153804780000013:30 - 13:50
Talk
Frédéric BourFacebook Paris
ocaml-2018-papers153804900000013: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-papers153804780000013:30 - 14:00
Talk
Dominic SteinitzTweag I/O
npfl-2018-papers153804960000014: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-catering153805020000014: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-2018153805080000014:20 - 14:45
Research paper
Daan LeijenMicrosoft Research, USA
DOI
tyde-2018153805230000014: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-papers153805140000014:30 - 14:50
Talk
Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook
ocaml-2018-papers153805260000014: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-papers153805140000014: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-catering153805380000015: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-2018153805500000015:30 - 15:50
Talk
Robert AtkeyUniversity of Strathclyde, James WoodUniversity of Strathclyde
File Attached
tyde-2018153805620000015: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-papers153805500000015: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-papers153805500000015: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-papers153805500000015: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-Keynotes153805860000016:30 - 17:20
Talk
Erica Joy Baker
icfp-2018-Social-Events
17:30 - 19:30: Social Events - Industrial Reception at Regency C
icfp-2018-Social-Events153806220000017:30 - 19:30
Social Event
icfp-2018-Social-Events
19:00 - 22:00: Social Events - Strange Loop Unsessions at Unsessions Room
icfp-2018-Social-Events153806760000019:00 - 22:00
Social Event

Fri 28 Sep

scheme-2018-papers
09:00 - 10:00: Scheme 2018 - Invited Talk 1 at Burlington Route
scheme-2018-papers153811800000009: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-papers153811800000009: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-papers153811800000009: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-papers153811800000009:00 - 09:30
Talk
Baldur Blöndaln.n., n.n., Andres LöhWell-Typed, UK, Ryan ScottIndiana University at Bloomington, USA
DOI
haskellsymp-2018-papers153811980000009: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-Tutorials153811800000009: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-catering153812160000010:00 - 10:20
Coffee break
mlfamilyworkshop-2018-papers
10:20 - 12:00: ML 2018 - Session 1 at New York Central
mlfamilyworkshop-2018-papers153812280000010:20 - 10:45
Talk
Stephen DolanUniversity of Cambridge
mlfamilyworkshop-2018-papers153812430000010:45 - 11:10
Talk
Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
Link to publication Pre-print
mlfamilyworkshop-2018-papers153812580000011:10 - 11:35
Talk
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
Pre-print
mlfamilyworkshop-2018-papers153812730000011: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-papers153812280000010:20 - 10:40
Talk
Arthur GlecklerSRFI Editor
scheme-2018-papers153812400000010: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-papers153812280000010:20 - 10:42
Talk
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
scala-2018-papers153812412000010:42 - 11:05
Talk
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
scala-2018-papers153812550000011:05 - 11:27
Talk
Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI
scala-2018-papers153812682000011: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-papers153812340000010:30 - 11:00
Talk
Richard A. EisenbergBryn Mawr College, USA, Joachim BreitnerDFINITY Foundation, Simon Peyton JonesMicrosoft, UK
DOI
haskellsymp-2018-papers153812520000011:00 - 11:30
Talk
Divesh OtwaniHaverford College, USA, Richard A. EisenbergBryn Mawr College, USA
DOI
haskellsymp-2018-papers153812700000011: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-catering153812520000011:00 - 11:20
Coffee break
scheme-2018-papers
11:20 - 12:00: Scheme 2018 - Session 2 at Burlington Route
scheme-2018-papers153812640000011:20 - 11:40
Talk
Nathaniel Rudavsky-Brody
scheme-2018-papers153812760000011: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-papers153812820000011:50 - 12:00
Talk
Artem PelenitsynNortheastern University
scala-2018-papers153812880000012: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-catering153812880000012: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-Tutorials153813240000013: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-papers153813300000013:10 - 13:32
Talk
Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK
DOI
scala-2018-papers153813435000013:32 - 13:55
Talk
Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
scala-2018-papers153813570000013: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-papers153813705000014: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-papers153813420000013: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-papers153813570000013:55 - 14:20
Talk
Roberto BlancoInria
mlfamilyworkshop-2018-papers153813720000014:20 - 14:45
Talk
Lucas BaudinINRIA, Didier RémyInria
mlfamilyworkshop-2018-papers153813870000014:45 - 15:10
Talk
Dmitrii Kosarev, Dmitri Boulytchev
scheme-2018-papers
13:30 - 14:10: Scheme 2018 - Session 3 at Burlington Route
scheme-2018-papers153813420000013:30 - 13:50
Talk
Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland
scheme-2018-papers153813540000013: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-papers153813420000013:30 - 14:00
Talk
Joachim BreitnerDFINITY Foundation
DOI
haskellsymp-2018-papers153813600000014: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-papers153813780000014:30 - 15:00
Talk
Thomas WinantKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium
DOI
icfp-2018-catering
14:10 - 14:30: Catering - Friday coffee break 3 at Catering
icfp-2018-catering153813660000014:10 - 14:30
Coffee break
scheme-2018-papers
14:30 - 15:10: Scheme 2018 - Session 4 at Burlington Route
scheme-2018-papers153813780000014:30 - 14:50
Talk
Eric HolkGoogle
scheme-2018-papers153813900000014: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-papers153813840000014:40 - 14:50
Talk
Guillaume MartresEPFL, Switzerland
scala-2018-papers153813900000014: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-catering153814020000015: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-papers153814080000015:20 - 15:42
Talk
Jacob DonhamTwitter, Inc.
DOI
scala-2018-papers153814212000015: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-papers153814140000015: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-papers153814140000015: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-papers153814140000015: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-papers153814314000015: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-Keynotes153814500000016:30 - 17:20
Talk
Janelle Shane

Sat 29 Sep

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-papers153820350000008:45 - 09:00
Day opening
Kei DavisLos Alamos National Laboratory, Mike Rainey
FHPC-2018-papers153820440000009:00 - 10:00
Talk
Vadim ZalivaCarnegie Mellon University, USA, 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-papers153820440000009:00 - 09:10
Day opening
Brent YorgeyHendrix College, Donya QuickStevens Institute of Technology, Tom Murphy
farm-2018-papers153820500000009:10 - 09:35
Research paper
Miguel NegrãoPolytechnic Institute of Leiria
DOI
farm-2018-papers153820650000009: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-papers153820440000009:00 - 09:10
Day opening
Adrian FrancalanzaUniversity of Malta, Natalia ChechinaBournemouth University
erlang-2018-papers153820500000009:10 - 10:00
Talk
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-Tutorials153820440000009: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-Tutorials153820440000009: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-Tutorials153820440000009:00 - 12:00
Other
Andrew Turley
icfp-2018-catering
10:00 - 10:20: Catering - Saturday coffee break 1 at Catering
icfp-2018-catering153820800000010: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-papers153820920000010:20 - 10:45
Research paper
Jennifer HackettUniversity of Nottingham, UK
DOI
farm-2018-papers153821070000010:45 - 11:10
Demonstration
Brittni WatkinsSouthern Methodist University
farm-2018-papers153821220000011:10 - 11:35
Demonstration
Donya QuickStevens Institute of Technology
farm-2018-papers153821370000011:35 - 12:00
Demonstration
Cora Johnson-Roberson
erlang-2018-papers
10:20 - 11:00: Erlang 2018 - Latest News at Burlington Route
erlang-2018-papers153820920000010:20 - 11:00
Product announcement
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-papers153820920000010:20 - 11:20
Talk
Troels HenriksenUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
DOI
FHPC-2018-papers153821280000011:20 - 12:05
Talk
George Stelle
icfp-2018-catering
11:00 - 11:20: Catering - Saturday coffee break 2 at Catering
icfp-2018-catering153821160000011:00 - 11:20
Coffee break
erlang-2018-papers
11:20 - 12:00: Erlang 2018 - Session 1 at Burlington Route
erlang-2018-papers153821280000011:20 - 11:45
Full-paper
Alex GerdesUniversity of Gothenburg, Sweden, John HughesChalmers University of Technology, Sweden, Nicholas SmallboneChalmers University of Technology, Sweden, Stefan HanenbergUniversity of Duisburg-Essen, Germany, Sebastian IvarssonChalmers University of Technology, Sweden, Meng WangUniversity of Bristol, UK
DOI
erlang-2018-papers153821430000011:45 - 12:00
Short-paper
Alexandre Jorge Barbosa RodriguesKlarna Bank, Sweden, Viktória FördősKlarna Bank, Sweden
DOI
icfp-2018-catering
12:00 - 13:30: Catering - Saturday lunch at Pegram
icfp-2018-catering153821520000012: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-Tutorials153821880000013: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-Tutorials153821880000013: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-Tutorials153821880000013: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-papers153822060000013:30 - 14:15
Talk
Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University, Laith SakkaPurdue University, Milind KulkarniPurdue University, Ryan R. NewtonIndiana University
FHPC-2018-papers153822330000014:15 - 15:00
Talk
Kavon FarvardinUniversity of Chicago, 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-papers153822060000013: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-papers153822210000013:55 - 14:20
Talk
Sebastien MondetMount Sinai - Hammer Lab
farm-2018-papers153822360000014:20 - 14:45
Demonstration
Scott FradkinFlexion
farm-2018-papers153822510000014: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-papers153822060000013:30 - 13:55
Full-paper
Aman Shankar MathurMPI-SWS, Germany, Burcu Kulahcioglu OzkanMPI-SWS, Germany, Rupak MajumdarMPI-SWS, Germany
DOI
erlang-2018-papers153822210000013:55 - 14:20
Full-paper
Joseph HarrisonUniversity of Kent, UK
DOI
erlang-2018-papers153822360000014:20 - 14:30
Coffee break
icfp-2018-catering
14:10 - 14:30: Catering - Saturday coffee break 3 at Catering
icfp-2018-catering153822300000014:10 - 14:30
Coffee break
erlang-2018-papers
14:30 - 15:10: Erlang 2018 - Session 3 at Burlington Route
erlang-2018-papers153822420000014:30 - 14:55
Full-paper
Stavros AronisErlang Solutions, Sweden, Viktória FördősKlarna Bank, Sweden, Dániel SzoboszlayKlarna Bank, Sweden
DOI
erlang-2018-papers153822570000014:55 - 15:10
Short-paper
Jörgen BrandtHumboldt-Universität zu Berlin, Germany, Wolfgang ReisigHumboldt-Universität zu Berlin, Germany
DOI
icfp-2018-catering
15:10 - 15:30: Catering - Saturday coffee break 4 at Catering
icfp-2018-catering153822660000015: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-papers153822780000015:30 - 16:15
Talk
Joseph Wingerter, John ReppyUniversity of Chicago
FHPC-2018-papers153823050000016:15 - 17:00
Day closing
Kei DavisLos Alamos National Laboratory, Mike Rainey
farm-2018-papers
15:30 - 16:10: FARM 2018 - Art at Jeffersonian+Knickerbocker
Chair(s): Donya QuickStevens Institute of Technology
farm-2018-papers153822780000015:30 - 15:55
Research paper
Ju GonçalvesRoskilde University, Denmark
DOI
farm-2018-papers153822930000015:55 - 16:10
Day closing
Donya QuickStevens Institute of Technology, Brent YorgeyHendrix College, Tom Murphy
erlang-2018-papers
15:30 - 16:10: Erlang 2018 - Final talk and Closing at Burlington Route
erlang-2018-papers153822780000015:30 - 15:55
Full-paper
Nachiappan ValliappanChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden
DOI
erlang-2018-papers153822930000015:55 - 16:10
Day closing
Adrian FrancalanzaUniversity of Malta, Natalia ChechinaBournemouth University
icfp-2018-Social-Events
19:30 - 21:30: Social Events - FARM Evening of Algorithmic Arts at The Luminary
icfp-2018-Social-Events153824220000019:30 - 21:30
Social Event

Sun 23 Sep 2018

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

ICFP Catering

Sunday coffee break 1
10:00 - 10:20

ICFP Catering

Sunday coffee break 2
11:00 - 11:20

ICFP Catering

Sunday coffee break 3
14:10 - 14:30

ICFP Catering

Sunday coffee break 4
15:10 - 15:30
Frisco+Burlington Route

HOPE

morning-1
09:00 - 10:00

HOPE

morning-2
10:20 - 11:00

HOPE

morning-3
11:20 - 12:00

HOPE

afternoon-1
13:30 - 14:10

HOPE

afternoon-2
14:30 - 15:10

HOPE

afternoon-3
15:30 - 16:10
Grand Hall

ICFP Catering

Sunday lunch
12:00 - 13:30
Illinois Central

HIW

Invited Talk
09:00 - 10:00

HIW

GHC
10:20 - 12:00

HIW

Types
13:30 - 15:10

HIW

Tools and Hardware
15:30 - 16:45
New York Central

PLMW @ ICFP

Session 1
09:00 - 10:00

PLMW @ ICFP

Session 2
10:20 - 12:00

PLMW @ ICFP

Session 3
13:30 - 15:10

PLMW @ ICFP

Session 4
15:30 - 16:30

Mon 24 Sep 2018

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

ICFP Catering

Monday coffee break 1
10:05 - 10:30

ICFP Catering

Monday lunch
12:00 - 13:00

ICFP Catering

Monday coffee break 2
14:30 - 15:00

ICFP Catering

Monday coffee break 3
16:10 - 16:40
Grand Hall

ICFP Student Research Competition

Poster Reception

ICFP Social Events

18:30 - 20:30
Stifel Theatre

ICFP Keynotes and Reports

Monday Keynote
09:00 - 10:00

ICFP Keynotes and Reports

10:00 - 10:05

ICFP Research Papers

Environments and Tools
10:30 - 12:00

ICFP Research Papers

Program Construction
13:00 - 14:30

ICFP Research Papers

Continuations and Effects
15:00 - 16:10

ICFP Research Papers

Probabilistic Programming and Learning
16:40 - 18:10

ICFP Keynotes and Reports

18:10 - 18:20

Tue 25 Sep 2018

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

ICFP Catering

Tuesday coffee break 1
10:00 - 10:30

ICFP Catering

Tuesday lunch
12:00 - 13:00

ICFP Catering

Tuesday coffee break 2
14:30 - 15:00

ICFP Catering

Tuesday coffee break 3
16:30 - 17:00
Stifel Theatre

ICFP Keynotes and Reports

Tuesday Keynote
09:00 - 10:00

ICFP Research Papers

Compilation and Concurrency
10:30 - 12:00

ICFP Keynotes and Reports

Report on ICFP and Climate Change
12:15 - 12:50

ICFP Research Papers

Proof Techniques and Mechanization
13:00 - 14:30

ICFP Research Papers

Bidirectional Programming
15:00 - 16:30

ICFP Student Research Competition

Finalist Presentations
17:00 - 17:40

ICFP Programming Contest

Contest Report and Results
17:40 - 18:10

Wed 26 Sep 2018

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

ICFP Catering

Wednesday coffee break 1
10:00 - 10:30

ICFP Catering

Wednesday lunch
12:00 - 13:00

ICFP Catering

Wednesday coffee break 2
14:30 - 15:00

ICFP Catering

Wednesday coffee break 3
16:10 - 16:30

ICFP Catering

Wednesday food trucks
18:00 - 19:00
City Museum

ICFP Social Events

Strange Loop Party
19:00 - 21:30
Stifel Theatre

ICFP Keynotes and Reports

Wednesday Keynote
09:00 - 10:00

ICFP Research Papers

Semantics
10:30 - 12:00

ICFP Research Papers

Gradual Typing and Proving
13:00 - 14:30

ICFP Research Papers

Complexity and Bounds
15:00 - 16:10

ICFP Research Papers

Dependent Types
16:30 - 17:15

ICFP Keynotes and Reports

Closing Events
17:15 - 18:00

ICFP Student Research Competition

Student Research Competition Awards
17:30 - 17:40

Thu 27 Sep 2018

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
09:00 - 12:00

ICFP Tutorials

T02: Direct Manipulation Programming in Sketch-n-Sketch
13:00 - 16:00
Catering

ICFP Catering

Thursday coffee break 1
10:00 - 10:20

ICFP Catering

Thursday coffee break 2
11:00 - 11:20

ICFP Catering

Thursday coffee break 3
14:10 - 14:30

ICFP Catering

Thursday coffee break 4
15:10 - 15:30
Frisco

OCaml

Session 1
09:00 - 10:00

OCaml

Session 2
10:20 - 11:00

OCaml

Session 3
11:20 - 12:00

OCaml

Session 4
13:30 - 14:10

OCaml

Session 5
14:30 - 15:10

OCaml

Session 6
15:30 - 16:10
Illinois Central

Haskell

Keynote
09:00 - 10:00

Haskell

Session 1
10:30 - 12:00

Haskell

Session 2
13:30 - 15:00

Haskell

Session 3
15:30 - 16:00
Midway West

ICFP Catering

Thursday lunch
12:00 - 13:30
New York Central

TyDe

Applications and Monoids
08:45 - 10:00

TyDe

Types
10:20 - 12:00

TyDe

Keynote
13:30 - 14:20

TyDe

Effect Handlers & Abstract Machine
14:20 - 15:10

TyDe

Error Messages & Contexts
15:30 - 16:10
Regency C

ICFP Social Events

Industrial Reception
17:30 - 19:30
Stifel Theatre

ICFP Keynotes and Reports

Strange Loop Keynote
16:30 - 17:20
Texas Special

NPFL

Keynote
09:00 - 10:00

NPFL

Talks I
10:20 - 11:20

NPFL

Talks II
11:20 - 12:00

NPFL

Talks III
13:30 - 14:30

NPFL

Talks IV
14:30 - 15:10

NPFL

Talks V
15:30 - 16:10
Unsessions Room

ICFP Social Events

Strange Loop Unsessions
19:00 - 22:00

Fri 28 Sep 2018

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

Scheme

Invited Talk 1
09:00 - 10:00

Scheme

Session 1
10:20 - 11:00

Scheme

Session 2
11:20 - 12:00

Scheme

Session 3
13:30 - 14:10

Scheme

Session 4
14:30 - 15:10

Scheme

Invited Talk 2
15:30 - 16:10
Catering

ICFP Catering

Friday coffee break 1
10:00 - 10:20

ICFP Catering

Friday coffee break 2
11:00 - 11:20

ICFP Catering

Friday coffee break 3
14:10 - 14:30

ICFP Catering

Friday coffee break 4
15:10 - 15:30
Frisco

Scala

Keynote
09:00 - 10:00

Scala

Session 1: Scala Foundations
10:20 - 11:50

Scala

Student Talks 1
11:50 - 12:10

Scala

Session 2: Scala Extensions & Parsing
13:10 - 14:40

Scala

Student Talks 2
14:40 - 15:00

Scala

Session 3: DSLs & Sponsor Talk
15:20 - 16:10
Illinois Central

Haskell

Session 4
09:00 - 10:00

Haskell

Session 5
10:30 - 12:00

Haskell

Session 6
13:30 - 15:00

Haskell

Session 7
15:30 - 16:00
Midway West

ICFP Catering

Friday lunch
12:00 - 13:30
New York Central

ML

Invited talk
09:00 - 10:00

ML

Session 1
10:20 - 12:00

ML

Session 2
13:30 - 15:10

ML

Session 3
15:30 - 16:10
Stifel Theatre

ICFP Keynotes and Reports

Strange Loop Keynote
16:30 - 17:20
Texas Special

ICFP Tutorials

T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
09:00 - 12:00

ICFP Tutorials

T04: Beluga: Programming Proofs About Formal Systems
13:00 - 16:00

Sat 29 Sep 2018

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

Erlang

Opening & Keynote talk
09:00 - 10:00

Erlang

Latest News
10:20 - 11:00

Erlang

Session 1
11:20 - 12:00

Erlang

Session 2
13:30 - 14:30

Erlang

Session 3
14:30 - 15:10

Erlang

Final talk and Closing
15:30 - 16:10
Catering

ICFP Catering

Saturday coffee break 1
10:00 - 10:20

ICFP Catering

Saturday coffee break 2
11:00 - 11:20

ICFP Catering

Saturday coffee break 3
14:10 - 14:30

ICFP Catering

Saturday coffee break 4
15:10 - 15:30
Frisco

ICFP Tutorials

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

ICFP Tutorials

T09: Pijul, a purely functional version control system
13:00 - 16:00
Jeffersonian+Knickerbocker

FARM

Live Coding
09:00 - 10:00

FARM

Generative Systems
10:20 - 12:00

FARM

Audio
13:30 - 15:10

FARM

Art
15:30 - 16:10
New York Central

FHPC

Morning Session 1
08:45 - 10:00

FHPC

Morning Session 2
10:20 - 12:15

FHPC

Afternoon Session 1
13:30 - 15:10

FHPC

Afternoon Session 2
15:30 - 17:00
Pegram

ICFP Catering

Saturday lunch
12:00 - 13:30
Texas Special

ICFP Tutorials

T07: Writing a chat system in Pony
09:00 - 12:00

ICFP Tutorials

T10: Hop.js: JavaScript multitier programming
13:00 - 16:00
The Luminary

ICFP Social Events

FARM Evening of Algorithmic Arts
19:30 - 21:30
Wabash Cannonball

ICFP Tutorials

T05: Purely functional UIs with Reacl
09:00 - 12:00

ICFP Tutorials

T08: Implement your own reactive language: the ReactiveML experiment
13:00 - 16:00

Sun 23 Sep 2018

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 2018

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 2018

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
16:07 - 16:30
17:00 - 17:40
17:40 - 18:10

Wed 26 Sep 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Catering