Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueStifel Theatre
Room nameStifel Theatre
Floor0
Room InformationNo extra information available
Program

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

Conference Day
Mon 24 Sep

Displayed 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
60m
Talk
Gradual Typing
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
22m
Talk
Build Systems à la CarteDistinguished Paper
Research Papers
Andrey MokhovNewcastle University, UK, Neil Mitchell, Simon Peyton JonesMicrosoft, UK
DOI
10:52
22m
Talk
Keep Your Laziness in Check
Research Papers
Kenneth Foner, Hengchu ZhangUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
DOI
11:15
22m
Talk
Merlin: A Language Server for OCaml (Experience Report)
Research Papers
Frédéric BourFacebook Paris, Thomas Réfis, Gabriel SchererINRIA Saclay
DOI
11:37
22m
Talk
Functional Programming for Compiling and Decompiling Computer-Aided Design
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
23m
Talk
Capturing the Future by Replaying the Past (Functional Pearl)
Research Papers
DOI
15:23
23m
Talk
Handling Delimited Continuations with Dependent Types
Research Papers
Youyou CongOchanomizu University, Japan, Kenichi AsaiOchanomizu University
DOI
15:46
23m
Talk
Versatile Event Correlation with Algebraic Effects
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
22m
Talk
The Simple Essence of Automatic DifferentiationDistinguished Paper
Research Papers
Conal ElliottTarget, USA
DOI
17:02
22m
Talk
Functional Programming for Modular Bayesian Inference
Research Papers
Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Ohad KammarUniversity of Oxford, Zoubin GhahramaniUniversity of Cambridge
DOI
17:25
22m
Talk
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Research Papers
Mitchell WandNortheastern University, USA, Ryan CulpepperCzech Technical University, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University
DOI
17:47
22m
Talk
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
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

Conference Day
Tue 25 Sep

Displayed 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
60m
Talk
The Role of Functional Programming and DSLs in Hardware
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
22m
Talk
Competitive Parallelism: Getting Your Priorities Right
Research Papers
Stefan K. Muller, Umut A. AcarCarnegie Mellon University, Robert Harper
DOI
10:52
22m
Talk
Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large
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
22m
Talk
Finitary Polymorphism for Optimizing Type-Directed Compilation
Research Papers
Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University
DOI
11:37
22m
Talk
Fault Tolerant Functional Reactive Programming (Functional Pearl)
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
35m
Talk
Report on ICFP and Climate Change
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
22m
Talk
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
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
22m
Talk
Mtac2: Typed Tactics for Backward Reasoning in Coq
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
22m
Talk
Compositional Soundness Proofs of Abstract Interpreters
Research Papers
Sven KeidelDelft University of Technology, Netherlands, Casper Bach PoulsenDelft University of Technology, Sebastian ErdwegDelft University of Technology, Netherlands
DOI
14:07
22m
Talk
Equivalences for Free: Univalent Parametricity for Effective TransportDistinguished Paper
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
22m
Talk
What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)
Research Papers
Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford
DOI
15:22
22m
Talk
Incremental Relational Lenses
Research Papers
Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK
DOI
15:45
22m
Talk
Synthesizing Quotient Lenses
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
22m
Talk
Generic Deriving of Generic Traversals
Research Papers
Csongor KissImperial College London, Matthew PickeringUniversity of Bristol, Nicolas WuUniversity of Bristol, UK
DOI
17:00 - 17:40
17:00
40m
Talk
Finalist Presentations
Student Research Competition

17:40 - 18:10
Contest Report and ResultsProgramming Contest at Stifel Theatre
17:40
30m
Talk
Contest Report and Results
Programming Contest
Matthew FluetRochester Institute of Technology

Conference Day
Wed 26 Sep

Displayed 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
60m
Talk
Conveying the Power of Abstraction
Keynotes and Reports
10:30 - 12:00
SemanticsResearch Papers at Stifel Theatre
Chair(s): Sam LindleyUniversity of Edinburgh, UK
10:30
22m
Talk
Partially-Static Data as Free Extension of Algebras
Research Papers
Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of Oxford
Link to publication DOI Pre-print
10:52
22m
Talk
Relational Algebra by Way of AdjunctionsDistinguished Paper
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
22m
Talk
Strict and Lazy Semantics for Effects: Layering Monads and Comonads
Research Papers
Andrew HirschCornell University, Ross TateCornell University
DOI
11:37
22m
Talk
What's the Difference? A Functional Pearl on Subtracting Bijections
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
22m
Talk
A Spectrum of Type Soundness and Performance
Research Papers
Ben GreenmanNortheastern University, USA, Matthias FelleisenNortheastern University, USA
DOI
13:22
22m
Talk
Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
Research Papers
John Peter CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University
DOI
13:45
22m
Talk
Graduality from Embedding-Projection Pairs
Research Papers
Max NewNortheastern University, Amal AhmedNortheastern University, USA
DOI
14:07
22m
Talk
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
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
23m
Talk
Parallel Complexity Analysis with Temporal Session Types
Research Papers
Ankush DasCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Frank PfenningCarnegie Mellon University, USA
DOI
15:23
23m
Talk
Parametric Polymorphism and Operational Improvement
Research Papers
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
15:46
23m
Talk
Tight Typings and Split Bounds
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
22m
Talk
Elaborating Dependent (Co)pattern Matching
Research Papers
Jesper CockxChalmers | University of Gothenburg, Andreas AbelGothenburg University
DOI
16:52
22m
Talk
Generic Zero-Cost Reuse for Dependent Types
Research Papers
Larry Diehl, Denis FirsovUniversity of Iowa, USA, Aaron StumpThe University of Iowa, USA
DOI
17:15 - 18:00
17:15
15m
Awards
SIGPLAN Awards
Keynotes and Reports
Satnam SinghX, the moonshot factory
17:30
10m
Awards
Student Research Competition Awards
Keynotes and Reports
Ravi ChughUniversity of Chicago
17:40
15m
Talk
Program Chair's Report
Keynotes and Reports
Matthew FlattUniversity of Utah
17:55
5m
Talk
ICFP 2019 Announcement
Keynotes and Reports
17:30 - 17:40
Student Research Competition AwardsKeynotes and Reports at Stifel Theatre
17:30
10m
Awards
Student Research Competition Awards
Keynotes and Reports
Ravi ChughUniversity of Chicago

Conference Day
Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Conference Day
Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:30 - 17:20
Strange Loop KeynoteKeynotes and Reports at Stifel Theatre
16:30
50m
Talk
Strange Loop Keynote: Machine learning failures - for art!
Keynotes and Reports

Conference Day
Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Mon 24 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Conference Day
Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Conference Day
Wed 26 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Conference Day
Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change