Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
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-papers09:00 - 09:05
Day opening
Joachim BreitnerDFINITY Foundation
hiw-2018-papers09:05 - 10:00
Talk
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
File Attached
hiw-2018-papers11:51 - 12:00
Talk
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
Link to publication File Attached
hiw-2018-papers14:53 - 15:01
Talk
Shao ChengTweag I/O
Media Attached
hiw-2018-papers15:01 - 15:10
Talk
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
File Attached
hiw-2018-papers15:55 - 16:20
Talk
Christiaan BaaijQBayLogic B.V.
File Attached
hiw-2018-papers16:20 - 16:28
Talk
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

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
DOI
icfp-2018-catering
12:00 - 13:00: Catering - Monday lunch at Catering
icfp-2018-catering12:00 - 13:00
Lunch
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
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

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 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
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

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
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 CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University
DOI
icfp-2018-papers13:45 - 14:07
Talk
Max S. 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
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

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
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 Steinitz
npfl-2018-papers09:00 - 10:00
Day opening
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
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
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
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
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
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
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
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

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
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
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
mlfamilyworkshop-2018-papers14:20 - 14:45
Talk
mlfamilyworkshop-2018-papers14:45 - 15:10
Talk
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
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

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-papers08:45 - 09:00
Day opening
Kei DavisLos Alamos National Laboratory, Mike Rainey
FHPC-2018-papers09: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-papers09:00 - 09:10
Day opening
Brent YorgeyHendrix College, Donya QuickStevens Institute of Technology, Tom Murphy
farm-2018-papers09:10 - 09:35
Research paper
Miguel NegrãoPolytechnic Institute of Leiria
DOI
farm-2018-papers09:35 - 10:00
Demonstration
erlang-2018-papers
09:00 - 10:00: Erlang 2018 - Opening & Keynote talk at Burlington Route
erlang-2018-papers09:00 - 09:10
Day opening
Adrian FrancalanzaUniversity of Malta, Natalia ChechinaBournemouth University
erlang-2018-papers09: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-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
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
erlang-2018-papers
10:20 - 11:00: Erlang 2018 - Latest News at Burlington Route
erlang-2018-papers10:20 - 11:00
Product announcement
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
Troels HenriksenUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
DOI
FHPC-2018-papers11:20 - 12:05
Talk
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
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-papers11: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-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
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
Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University, Laith SakkaPurdue University, Milind KulkarniPurdue University, Ryan R. NewtonIndiana University
FHPC-2018-papers14: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-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
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
Aman Shankar MathurMPI-SWS, Germany, Burcu Kulahcioglu OzkanMPI-SWS, Germany, Rupak MajumdarMPI-SWS, Germany
DOI
erlang-2018-papers13:55 - 14:20
Full-paper
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
Stavros AronisErlang Solutions, Sweden, Viktória FördősKlarna Bank, Sweden, Dániel SzoboszlayKlarna Bank, Sweden
DOI
erlang-2018-papers14: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-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
Joseph Wingerter, John ReppyUniversity of Chicago
FHPC-2018-papers16: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-papers15:30 - 15:55
Research paper
Ju GonçalvesRoskilde University, Denmark
DOI
farm-2018-papers15: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-papers15:30 - 15:55
Full-paper
Nachiappan ValliappanChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden
DOI
erlang-2018-papers15: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-Events19:30 - 21:30
Social Event

Sun 23 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Catering
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
Illinois Central
09:00 - 10:00
10:20 - 12:00
13:30 - 15:10
New York Central

Sun 23 Sep 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Catering
Frisco+Burlington Route
Grand Hall
Illinois Central
09:00 - 09:05
10:20 - 10:45
10:45 - 11:10
New York Central

Mon 24 Sep 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Catering
Grand Hall
Stifel Theatre

Tue 25 Sep 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Catering
Stifel Theatre