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

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

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

Thu 27 Sep

icfp-2018-Keynotes
16:30 - 17:20: Keynotes and Reports - Strange Loop Keynote at Stifel Theatre
icfp-2018-Keynotes153805860000016:30 - 17:20
Talk

Fri 28 Sep

icfp-2018-Keynotes
16:30 - 17:20: Keynotes and Reports - Strange Loop Keynote at Stifel Theatre
icfp-2018-Keynotes153814500000016:30 - 17:20
Talk

Thu 27 Sep 2018

Fri 28 Sep 2018

Mon 24 Sep 2018

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

Tue 25 Sep 2018

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

Wed 26 Sep 2018

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

Thu 27 Sep 2018