Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
ICFP 2018 (series) / Stifel Theatre /

Room information: Stifel Theatre

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): Robert Bruce 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
13:00 - 14:30
Program ConstructionResearch Papers at Stifel Theatre
Chair(s): J. Garrett Morris University of Kansas, USA
13:00
22m
Talk
Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam
Research Papers
Antonis Stampoulis Originate Inc., Adam Chlipala Massachusetts Institute of Technology, USA
DOI
13:22
22m
Talk
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Research Papers
Guillaume Allais Radboud University Nijmegen, Robert Atkey University of Strathclyde, James Chapman , Conor McBride , James McKinna
DOI
13:45
22m
Talk
Reasonably Programmable Literal Notation
Research Papers
Cyrus Omar University of Chicago, Jonathan Aldrich Carnegie Mellon University
Link to publication DOI
14:07
22m
Talk
Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
Research Papers
Guannan Wei Purdue University, James Decker , Tiark Rompf Purdue University
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
James Koppel MIT, Gabriel Scherer INRIA Saclay, Armando Solar-Lezama MIT CSAIL
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
Finalist PresentationsStudent Research Competition at Stifel Theatre
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
Eugenia Cheng
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 K. 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 S. 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
Closing EventsKeynotes and Reports at Stifel Theatre
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
S: Erica Joy Baker

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
S: Janelle Shane

Mon 24 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Stifel Theatre

Keynotes and Reports

Monday Keynote

Keynotes and Reports

Research Papers

Environments and Tools

Research Papers

Program Construction

Research Papers

Continuations and Effects

Research Papers

Probabilistic Programming and Learning

Keynotes and Reports

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Stifel Theatre

Keynotes and Reports

Tuesday Keynote

Research Papers

Compilation and Concurrency

Keynotes and Reports

Report on ICFP and Climate Change

Research Papers

Proof Techniques and Mechanization

Research Papers

Bidirectional Programming

Student Research Competition

Finalist Presentations

Programming Contest

Contest Report and Results

Wed 26 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Stifel Theatre

Keynotes and Reports

Wednesday Keynote

Research Papers

Semantics

Research Papers

Gradual Typing and Proving

Research Papers

Complexity and Bounds

Research Papers

Dependent Types

Keynotes and Reports

Closing Events

Keynotes and Reports

Student Research Competition Awards
17:30 - 17:40

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room16:003017:0030
Stifel Theatre

Keynotes and Reports

Strange Loop Keynote

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room16:003017:0030
Stifel Theatre

Keynotes and Reports

Strange Loop Keynote

Mon 24 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Stifel Theatre
ICFP Keynotes and Reports
Gradual Typing
09:00 - 10:00
ICFP Research PapersDistinguished Paper
Build Systems à la Carte
10:30 - 10:52
ICFP Research Papers
Keep Your Laziness in Check
10:52 - 11:15
ICFP Research Papers
Merlin: A Language Server for OCaml (Experience Report)
11:15 - 11:37
ICFP Research Papers
Functional Programming for Compiling and Decompiling Computer-Aided Design
11:37 - 12:00
ICFP Research Papers
Prototyping a Functional Language using Higher-Order Logic Programming: ...
13:00 - 13:22
ICFP Research Papers
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantic ...
13:22 - 13:45
ICFP Research Papers
Reasonably Programmable Literal Notation
13:45 - 14:07
ICFP Research Papers
Refunctionalization of Abstract Abstract Machines: Bridging the Gap bet ...
14:07 - 14:30
ICFP Research Papers
Capturing the Future by Replaying the Past (Functional Pearl)
15:00 - 15:23
ICFP Research Papers
Handling Delimited Continuations with Dependent Types
15:23 - 15:46
ICFP Research Papers
Versatile Event Correlation with Algebraic Effects
15:46 - 16:10
ICFP Research PapersDistinguished Paper
The Simple Essence of Automatic Differentiation
16:40 - 17:02
ICFP Research Papers
Functional Programming for Modular Bayesian Inference
17:02 - 17:25
ICFP Research Papers
Contextual Equivalence for a Probabilistic Language with Continuous Ran ...
17:25 - 17:47
ICFP Research Papers
Teaching How to Program using Automated Assessment and Functional Gloss ...
17:47 - 18:10

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Stifel Theatre
ICFP Keynotes and Reports
The Role of Functional Programming and DSLs in Hardware
09:00 - 10:00
ICFP Research Papers
Competitive Parallelism: Getting Your Priorities Right
10:30 - 10:52
ICFP Research Papers
Static Interpretation of Higher-Order Modules in Futhark: Functional GP ...
10:52 - 11:15
ICFP Research Papers
Finitary Polymorphism for Optimizing Type-Directed Compilation
11:15 - 11:37
ICFP Research Papers
Fault Tolerant Functional Reactive Programming (Functional Pearl)
11:37 - 12:00
ICFP Keynotes and Reports
Report on ICFP and Climate Change
12:15 - 12:50
ICFP Research Papers
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in ...
13:00 - 13:22
ICFP Research Papers
Mtac2: Typed Tactics for Backward Reasoning in Coq
13:22 - 13:45
ICFP Research Papers
Compositional Soundness Proofs of Abstract Interpreters
13:45 - 14:07
ICFP Research PapersDistinguished Paper
Equivalences for Free: Univalent Parametricity for Effective Transport
14:07 - 14:30
ICFP Research Papers
What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemm ...
15:00 - 15:22
ICFP Research Papers
Incremental Relational Lenses
15:22 - 15:45
ICFP Research Papers
Synthesizing Quotient Lenses
15:45 - 16:07
ICFP Research Papers
Generic Deriving of Generic Traversals
16:07 - 16:30
ICFP Student Research Competition
Finalist Presentations
17:00 - 17:40
ICFP Programming Contest
Contest Report and Results
17:40 - 18:10

Wed 26 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Stifel Theatre
ICFP Keynotes and Reports
Conveying the Power of Abstraction
09:00 - 10:00
ICFP Research Papers
Partially-Static Data as Free Extension of Algebras
10:30 - 10:52
ICFP Research PapersDistinguished Paper
Relational Algebra by Way of Adjunctions
10:52 - 11:15
ICFP Research Papers
Strict and Lazy Semantics for Effects: Layering Monads and Comonads
11:15 - 11:37
ICFP Research Papers
What's the Difference? A Functional Pearl on Subtracting Bijections
11:37 - 12:00
ICFP Research Papers
A Spectrum of Type Soundness and Performance
13:00 - 13:22
ICFP Research Papers
Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
13:22 - 13:45
ICFP Research Papers
Graduality from Embedding-Projection Pairs
13:45 - 14:07
ICFP Research Papers
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Expe ...
14:07 - 14:30
ICFP Research Papers
Parallel Complexity Analysis with Temporal Session Types
15:00 - 15:23
ICFP Research Papers
Parametric Polymorphism and Operational Improvement
15:23 - 15:46
ICFP Research Papers
Tight Typings and Split Bounds
15:46 - 16:10
ICFP Research Papers
Elaborating Dependent (Co)pattern Matching
16:30 - 16:52
ICFP Research Papers
Generic Zero-Cost Reuse for Dependent Types
16:52 - 17:15
ICFP Keynotes and Reports
SIGPLAN Awards
17:15 - 17:30
ICFP Keynotes and Reports
Student Research Competition Awards
17:30 - 17:40
Student Research Competition Awards
17:30 - 17:40
ICFP Keynotes and Reports
Program Chair's Report
17:40 - 17:55
ICFP Keynotes and Reports
ICFP 2019 Announcement
17:55 - 18:00

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room16:0015304517:00153045
Stifel Theatre
ICFP Keynotes and Reports
Strange Loop Keynote
16:30 - 17:20

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room16:0015304517:00153045
Stifel Theatre
ICFP Keynotes and Reports
Strange Loop Keynote: Machine learning failures - for art!
16:30 - 17:20