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

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 Findler Northwestern University, USA
09:00
60m
Talk
Gradual Typing
Keynotes and Reports
Ronald Garcia University of British Columbia
10:30 - 12:00
Environments and ToolsResearch Papers at Stifel Theatre
Chair(s): Alejandro Russo Chalmers University of Technology, Sweden
10:30
22m
Talk
Build Systems à la CarteDistinguished Paper
Research Papers
Andrey Mokhov Newcastle University, UK, Neil Mitchell , Simon Peyton Jones Microsoft, UK
DOI
10:52
22m
Talk
Keep Your Laziness in Check
Research Papers
Kenneth Foner , Hengchu Zhang University of Pennsylvania, Leonidas Lampropoulos University of Pennsylvania
DOI
11:15
22m
Talk
Merlin: A Language Server for OCaml (Experience Report)
Research Papers
Frédéric Bour Facebook Paris, Thomas Réfis , Gabriel Scherer INRIA Saclay
DOI
11:37
22m
Talk
Functional Programming for Compiling and Decompiling Computer-Aided Design
Research Papers
Chandrakana Nandi University of Washington, USA, James R. Wilcox University of Washington, Taylor Blau University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington, Seattle
DOI
15:00 - 16:10
Continuations and EffectsResearch Papers at Stifel Theatre
Chair(s): Martin Elsman University 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 Cong Ochanomizu University, Japan, Kenichi Asai Ochanomizu University
DOI
15:46
23m
Talk
Versatile Event Correlation with Algebraic Effects
Research Papers
Oliver Bračevac TU Darmstadt, Nada Amin University of Cambridge, Guido Salvaneschi TU Darmstadt, Sebastian Erdweg Delft University of Technology, Netherlands, Patrick Eugster Purdue University, Mira Mezini TU Darmstadt
DOI
16:40 - 18:10
Probabilistic Programming and LearningResearch Papers at Stifel Theatre
Chair(s): Michael Sperber Active Group GmbH
16:40
22m
Talk
The Simple Essence of Automatic DifferentiationDistinguished Paper
Research Papers
Conal Elliott Target, USA
DOI
17:02
22m
Talk
Functional Programming for Modular Bayesian Inference
Research Papers
Adam Ścibior University of Cambridge and MPI Tuebingen, Ohad Kammar University of Oxford, Zoubin Ghahramani University of Cambridge
DOI
17:25
22m
Talk
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Research Papers
Mitchell Wand Northeastern University, USA, Ryan Culpepper Czech Technical University, Theophilos Giannakopoulos BAE Systems, Inc., Andrew Cobb Northeastern University
DOI
17:47
22m
Talk
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
Research Papers
José Bacelar Almeira University of Minho & INESC TEC, Alcino Cunha University of Minho and INESC TEC, Portugal, Nuno Macedo University of Minho & INESC TEC, Hugo Pacheco University of Minho, Portugal, José Proença HASLab/INESC TEC & University of Minho
DOI

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 Flatt University of Utah
09:00
60m
Talk
The Role of Functional Programming and DSLs in Hardware
Keynotes and Reports
Pat Hanrahan Stanford University, USA
10:30 - 12:00
Compilation and ConcurrencyResearch Papers at Stifel Theatre
Chair(s): Heather Miller Carnegie Mellon University
10:30
22m
Talk
Competitive Parallelism: Getting Your Priorities Right
Research Papers
Stefan K. Muller , Umut A. Acar Carnegie 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 Elsman University of Copenhagen, Denmark, Troels Henriksen University of Copenhagen, Denmark, Danil Annenkov Department of Computer Science, University of Copenhagen, Cosmin Oancea University of Copenhagen, Denmark
Link to publication DOI
11:15
22m
Talk
Finitary Polymorphism for Optimizing Type-Directed Compilation
Research Papers
Atsushi Ohori Tohoku University, Japan, Katsuhiro Ueno Tohoku University, Hisayuki Mima Tohoku University
DOI
11:37
22m
Talk
Fault Tolerant Functional Reactive Programming (Functional Pearl)
Research Papers
Ivan Perez National 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. Pierce University of Pennsylvania
13:00 - 14:30
Proof Techniques and MechanizationResearch Papers at Stifel Theatre
Chair(s): Niki Vazou University of Maryland, USA
13:00
22m
Talk
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Research Papers
Robbert Krebbers Delft University of Technology, Jacques-Henri Jourdan CNRS, LRI, Université Paris-Sud, Ralf Jung MPI-SWS, Joseph Tassarotti Carnegie Mellon University, Jan-Oliver Kaiser MPI-SWS, Amin Timany imec-Distrinet KU-Leuven, Arthur Charguéraud Inria, Derek Dreyer MPI-SWS
DOI
13:22
22m
Talk
Mtac2: Typed Tactics for Backward Reasoning in Coq
Research Papers
Jan-Oliver Kaiser MPI-SWS, Beta Ziliani FAMAF, UNC and CONICET, Robbert Krebbers Delft University of Technology, Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Derek Dreyer MPI-SWS
DOI
13:45
22m
Talk
Compositional Soundness Proofs of Abstract Interpreters
Research Papers
Sven Keidel Delft University of Technology, Netherlands, Casper Bach Poulsen Delft University of Technology, Sebastian Erdweg Delft University of Technology, Netherlands
DOI
14:07
22m
Talk
Equivalences for Free: Univalent Parametricity for Effective TransportDistinguished Paper
Research Papers
Nicolas Tabareau Inria, Éric Tanter University of Chile & Inria Paris, Matthieu Sozeau Inria
DOI
15:00 - 16:30
Bidirectional ProgrammingResearch Papers at Stifel Theatre
Chair(s): Wouter Swierstra Utrecht University, Netherlands
15:00
22m
Talk
What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)
Research Papers
Guillaume Boisseau University of Oxford, Jeremy Gibbons Department of Computer Science, University of Oxford
DOI
15:22
22m
Talk
Incremental Relational Lenses
Research Papers
Rudi Horn University of Edinburgh, Roly Perera University of Glasgow, James Cheney University of Edinburgh, UK
DOI
15:45
22m
Talk
Synthesizing Quotient Lenses
Research Papers
Solomon Maina University of Pennsylvania, Anders Miltner Princeton University, Kathleen Fisher Tufts University, USA, Benjamin C. Pierce University of Pennsylvania, Dave Walker Princeton University, Steve Zdancewic University of Pennsylvania
DOI
16:07
22m
Talk
Generic Deriving of Generic Traversals
Research Papers
Csongor Kiss Imperial College London, Matthew Pickering University of Bristol, Nicolas Wu University 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 Fluet Rochester Institute of Technology

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 Gibbons Department 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 Lindley University of Edinburgh, UK
10:30
22m
Talk
Partially-Static Data as Free Extension of Algebras
Research Papers
Jeremy Yallop University of Cambridge, UK, Tamara von Glehn University of Cambridge, Ohad Kammar University of Oxford
Link to publication DOI Pre-print
10:52
22m
Talk
Relational Algebra by Way of AdjunctionsDistinguished Paper
Research Papers
Jeremy Gibbons Department of Computer Science, University of Oxford, Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU), Ralf Hinze Radboud University Nijmegen, Nicolas Wu University of Bristol, UK
DOI
11:15
22m
Talk
Strict and Lazy Semantics for Effects: Layering Monads and Comonads
Research Papers
Andrew Hirsch Cornell University, Ross Tate Cornell University
DOI
11:37
22m
Talk
What's the Difference? A Functional Pearl on Subtracting Bijections
Research Papers
Brent Yorgey Hendrix College, Kenneth Foner
DOI
13:00 - 14:30
Gradual Typing and ProvingResearch Papers at Stifel Theatre
Chair(s): Éric Tanter University of Chile & Inria Paris
13:00
22m
Talk
A Spectrum of Type Soundness and Performance
Research Papers
Ben Greenman Northeastern University, USA, Matthias Felleisen Northeastern University, USA
DOI
13:22
22m
Talk
Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
Research Papers
John Peter Campora ULL Lafayette, Sheng Chen University of Louisiana at Lafayette, Eric Walkingshaw Oregon State University
DOI
13:45
22m
Talk
Graduality from Embedding-Projection Pairs
Research Papers
Max New Northeastern University, Amal Ahmed Northeastern University, USA
DOI
14:07
22m
Talk
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Research Papers
Joachim Breitner DFINITY Foundation, Antal Spector-Zabusky , Yao Li University of Pennsylvania, Christine Rizkallah University of New South Wales, John Wiegley BAE Systems, Stephanie Weirich University of Pennsylvania, USA
DOI
15:00 - 16:10
Complexity and BoundsResearch Papers at Stifel Theatre
Chair(s): Ilya Sergey University College London
15:00
23m
Talk
Parallel Complexity Analysis with Temporal Session Types
Research Papers
Ankush Das Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Frank Pfenning Carnegie Mellon University, USA
DOI
15:23
23m
Talk
Parametric Polymorphism and Operational Improvement
Research Papers
Jennifer Hackett University of Nottingham, UK, Graham Hutton University of Nottingham, UK
DOI
15:46
23m
Talk
Tight Typings and Split Bounds
Research Papers
Beniamino Accattoli Inria & Ecole Polytechnique, Stéphane Graham-Lengrand CNRS, France, Delia Kesner IRIF, France / University of Paris Diderot, France
DOI
16:30 - 17:15
Dependent TypesResearch Papers at Stifel Theatre
Chair(s): David Thrane Christiansen Galois, USA
16:30
22m
Talk
Elaborating Dependent (Co)pattern Matching
Research Papers
Jesper Cockx Chalmers | University of Gothenburg, Andreas Abel Gothenburg University
DOI
16:52
22m
Talk
Generic Zero-Cost Reuse for Dependent Types
Research Papers
Larry Diehl , Denis Firsov University of Iowa, USA, Aaron Stump The University of Iowa, USA
DOI
17:15 - 18:00
17:15
15m
Awards
SIGPLAN Awards
Keynotes and Reports
Satnam Singh X, the moonshot factory
17:30
10m
Awards
Student Research Competition Awards
Keynotes and Reports
Ravi Chugh University of Chicago
17:40
15m
Talk
Program Chair's Report
Keynotes and Reports
Matthew Flatt University of Utah
17:55
5m
Talk
ICFP 2019 Announcement
Keynotes and Reports
Derek Dreyer MPI-SWS
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 Chugh University of Chicago

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

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

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 24 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Wed 26 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change