Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueStifel Theatre
Room nameStifel Theatre
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 24 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Monday KeynoteKeynotes and Reports at Stifel Theatre
Chair(s): Robby FindlerNorthwestern University, USA
09:00 - 10:00
Talk
Keynotes and Reports
Ronald GarciaUniversity of British Columbia
10:30 - 12:00: Environments and ToolsResearch Papers at Stifel Theatre
Chair(s): Alejandro RussoChalmers University of Technology, Sweden
10:30 - 10:52
Talk
Research Papers
Andrey MokhovNewcastle University, UK, Neil Mitchell, Simon Peyton JonesMicrosoft, UK
DOI
10:52 - 11:15
Talk
Research Papers
Kenneth Foner, Hengchu ZhangUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
DOI
11:15 - 11:37
Talk
Research Papers
Frédéric BourFacebook Paris, Thomas Réfis, Gabriel SchererINRIA Saclay
DOI
11:37 - 12:00
Talk
Research Papers
Chandrakana NandiUniversity of Washington, USA, James R. WilcoxUniversity of Washington, Taylor BlauUniversity of Washington, Dan GrossmanUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
DOI
15:00 - 16:10: Continuations and EffectsResearch Papers at Stifel Theatre
Chair(s): Martin ElsmanUniversity of Copenhagen, Denmark
15:00 - 15:23
Talk
Research Papers
DOI
15:23 - 15:46
Talk
Research Papers
Youyou CongOchanomizu University, Japan, Kenichi AsaiOchanomizu University
DOI
15:46 - 16:10
Talk
Research Papers
Oliver BračevacTU Darmstadt, Nada AminUniversity of Cambridge, Guido SalvaneschiTU Darmstadt, Sebastian ErdwegDelft University of Technology, Netherlands, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt
DOI
16:40 - 18:10: Probabilistic Programming and LearningResearch Papers at Stifel Theatre
Chair(s): Michael SperberActive Group GmbH
16:40 - 17:02
Talk
Research Papers
Conal ElliottTarget, USA
DOI
17:02 - 17:25
Talk
Research Papers
Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Ohad KammarUniversity of Oxford, Zoubin GhahramaniUniversity of Cambridge
DOI
17:25 - 17:47
Talk
Research Papers
Mitchell WandNortheastern University, USA, Ryan CulpepperCzech Technical University, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University
DOI
17:47 - 18:10
Talk
Research Papers
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

Tue 25 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Tuesday KeynoteKeynotes and Reports at Stifel Theatre
Chair(s): Matthew FlattUniversity of Utah
09:00 - 10:00
Talk
Keynotes and Reports
Pat HanrahanStanford University, USA
10:30 - 12:00: Compilation and ConcurrencyResearch Papers at Stifel Theatre
Chair(s): Heather MillerCarnegie Mellon University
10:30 - 10:52
Talk
Research Papers
Stefan K. Muller, Umut A. AcarCarnegie Mellon University, Robert Harper
DOI
10:52 - 11:15
Talk
Research Papers
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
11:15 - 11:37
Talk
Research Papers
Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University
DOI
11:37 - 12:00
Talk
Research Papers
Ivan PerezNational Institute of Aerospace, USA
DOI
12:15 - 12:50: Report on ICFP and Climate ChangeKeynotes and Reports at Stifel Theatre
12:15 - 12:50
Talk
Keynotes and Reports
P: Benjamin C. PierceUniversity of Pennsylvania
13:00 - 14:30: Proof Techniques and MechanizationResearch Papers at Stifel Theatre
Chair(s): Niki VazouUniversity of Maryland, USA
13:00 - 13:22
Talk
Research Papers
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
13:22 - 13:45
Talk
Research Papers
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
13:45 - 14:07
Talk
Research Papers
Sven KeidelDelft University of Technology, Netherlands, Casper Bach PoulsenDelft University of Technology, Sebastian ErdwegDelft University of Technology, Netherlands
DOI
14:07 - 14:30
Talk
Research Papers
Nicolas TabareauInria, Éric TanterUniversity of Chile & Inria Paris, Matthieu SozeauInria
DOI
15:00 - 16:30: Bidirectional ProgrammingResearch Papers at Stifel Theatre
Chair(s): Wouter SwierstraUtrecht University, Netherlands
15:00 - 15:22
Talk
Research Papers
Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford
DOI
15:22 - 15:45
Talk
Research Papers
Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK
DOI
15:45 - 16:07
Talk
Research Papers
Solomon MainaUniversity of Pennsylvania, Anders MiltnerPrinceton University, Kathleen FisherTufts University, USA, Benjamin C. PierceUniversity of Pennsylvania, Dave WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
DOI
16:07 - 16:30
Talk
Research Papers
Csongor KissImperial College London, Matthew PickeringUniversity of Bristol, Nicolas WuUniversity of Bristol, UK
DOI
17:00 - 17:40: Finalist PresentationsStudent Research Competition at Stifel Theatre
17:00 - 17:40
Talk
Student Research Competition
17:40 - 18:10: Contest Report and ResultsProgramming Contest at Stifel Theatre
17:40 - 18:10
Talk
Programming Contest
Matthew FluetRochester Institute of Technology

Wed 26 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Wednesday KeynoteKeynotes and Reports at Stifel Theatre
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
09:00 - 10:00
Talk
Keynotes and Reports
10:30 - 12:00: SemanticsResearch Papers at Stifel Theatre
Chair(s): Sam LindleyUniversity of Edinburgh, UK
10:30 - 10:52
Talk
Research Papers
Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of Oxford
Link to publication DOI Pre-print
10:52 - 11:15
Talk
Research Papers
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
11:15 - 11:37
Talk
Research Papers
Andrew HirschCornell University, Ross TateCornell University
DOI
11:37 - 12:00
Talk
Research Papers
Brent YorgeyHendrix College, Kenneth Foner
DOI
13:00 - 14:30: Gradual Typing and ProvingResearch Papers at Stifel Theatre
Chair(s): Éric TanterUniversity of Chile & Inria Paris
13:00 - 13:22
Talk
Research Papers
Ben GreenmanNortheastern University, USA, Matthias FelleisenNortheastern University, USA
DOI
13:22 - 13:45
Talk
Research Papers
John Peter CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University
DOI
13:45 - 14:07
Talk
Research Papers
Max NewNortheastern University, Amal AhmedNortheastern University, USA
DOI
14:07 - 14:30
Talk
Research Papers
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
15:00 - 16:10: Complexity and BoundsResearch Papers at Stifel Theatre
Chair(s): Ilya SergeyUniversity College London
15:00 - 15:23
Talk
Research Papers
Ankush DasCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Frank PfenningCarnegie Mellon University, USA
DOI
15:23 - 15:46
Talk
Research Papers
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
15:46 - 16:10
Talk
Research Papers
Beniamino AccattoliInria & Ecole Polytechnique, Stéphane Graham-LengrandCNRS, France, Delia KesnerIRIF, France / University of Paris Diderot, France
DOI
16:30 - 17:15: Dependent TypesResearch Papers at Stifel Theatre
Chair(s): David Thrane ChristiansenGalois, USA
16:30 - 16:52
Talk
Research Papers
Jesper CockxChalmers | University of Gothenburg, Andreas AbelGothenburg University
DOI
16:52 - 17:15
Talk
Research Papers
Larry Diehl, Denis FirsovUniversity of Iowa, USA, Aaron StumpThe University of Iowa, USA
DOI
17:15 - 18:00: Closing EventsKeynotes and Reports at Stifel Theatre
17:15 - 17:30
Awards
Keynotes and Reports
Satnam SinghX, the moonshot factory
17:30 - 17:40
Awards
Keynotes and Reports
Ravi ChughUniversity of Chicago
17:40 - 17:55
Talk
Keynotes and Reports
Matthew FlattUniversity of Utah
17:55 - 18:00
Talk
Keynotes and Reports
17:30 - 17:40: Student Research Competition AwardsStudent Research Competition / Keynotes and Reports at Stifel Theatre
17:30 - 17:40
Awards
Keynotes and Reports
Ravi ChughUniversity of Chicago

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

16:30 - 17:20: Strange Loop KeynoteKeynotes and Reports at Stifel Theatre
16:30 - 17:20
Talk
Keynotes and Reports

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

16:30 - 17:20: Strange Loop KeynoteKeynotes and Reports at Stifel Theatre
16:30 - 17:20
Talk
Keynotes and Reports

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

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

Mon 24 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Tue 25 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Wed 26 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

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

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