Write a Blog >>
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Monday KeynoteICFP Keynotes and Reports at Stifel Theatre
Chair(s): Robby FindlerNorthwestern University, USA
09:00
60m
Talk
Gradual Typing
ICFP Keynotes and Reports
Ronald GarciaUniversity of British Columbia
10:30 - 12:00
Environments and ToolsICFP Research Papers at Stifel Theatre
Chair(s): Alejandro RussoChalmers University of Technology, Sweden
10:30
22m
Talk
Build Systems à la CarteDistinguished Paper
ICFP Research Papers
Andrey MokhovNewcastle University, UK, Neil Mitchell, Simon Peyton JonesMicrosoft, UK
DOI
10:52
22m
Talk
Keep Your Laziness in Check
ICFP 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)
ICFP 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
ICFP 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 EffectsICFP Research Papers at Stifel Theatre
Chair(s): Martin ElsmanUniversity of Copenhagen, Denmark
15:00
23m
Talk
Capturing the Future by Replaying the Past (Functional Pearl)
ICFP Research Papers
DOI
15:23
23m
Talk
Handling Delimited Continuations with Dependent Types
ICFP Research Papers
Youyou CongOchanomizu University, Japan, Kenichi AsaiOchanomizu University
DOI
15:46
23m
Talk
Versatile Event Correlation with Algebraic Effects
ICFP 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 LearningICFP Research Papers at Stifel Theatre
Chair(s): Michael SperberActive Group GmbH
16:40
22m
Talk
The Simple Essence of Automatic DifferentiationDistinguished Paper
ICFP Research Papers
Conal ElliottTarget, USA
DOI
17:02
22m
Talk
Functional Programming for Modular Bayesian Inference
ICFP 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
ICFP 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)
ICFP 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 KeynoteICFP Keynotes and Reports at Stifel Theatre
Chair(s): Matthew FlattUniversity of Utah
09:00
60m
Talk
The Role of Functional Programming and DSLs in Hardware
ICFP Keynotes and Reports
Pat HanrahanStanford University, USA
10:30 - 12:00
Compilation and ConcurrencyICFP Research Papers at Stifel Theatre
Chair(s): Heather MillerCarnegie Mellon University
10:30
22m
Talk
Competitive Parallelism: Getting Your Priorities Right
ICFP 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
ICFP 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
ICFP Research Papers
Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University
DOI
11:37
22m
Talk
Fault Tolerant Functional Reactive Programming (Functional Pearl)
ICFP Research Papers
Ivan PerezNational Institute of Aerospace, USA
DOI
12:15 - 12:50
Report on ICFP and Climate ChangeICFP Keynotes and Reports at Stifel Theatre
12:15
35m
Talk
Report on ICFP and Climate Change
ICFP Keynotes and Reports
P: Benjamin C. PierceUniversity of Pennsylvania
13:00 - 14:30
Proof Techniques and MechanizationICFP Research 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
ICFP 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
ICFP 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
ICFP 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
ICFP Research Papers
Nicolas TabareauInria, Éric TanterUniversity of Chile & Inria Paris, Matthieu SozeauInria
DOI
15:00 - 16:30
Bidirectional ProgrammingICFP Research 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)
ICFP Research Papers
Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford
DOI
15:22
22m
Talk
Incremental Relational Lenses
ICFP Research Papers
Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK
DOI
15:45
22m
Talk
Synthesizing Quotient Lenses
ICFP 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
ICFP 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
ICFP Student Research Competition
17:40 - 18:10
Contest Report and ResultsICFP Programming Contest at Stifel Theatre
17:40
30m
Talk
Contest Report and Results
ICFP 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 KeynoteICFP Keynotes and Reports at Stifel Theatre
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
09:00
60m
Talk
Conveying the Power of Abstraction
ICFP Keynotes and Reports
10:30 - 12:00
SemanticsICFP Research Papers at Stifel Theatre
Chair(s): Sam LindleyUniversity of Edinburgh, UK
10:30
22m
Talk
Partially-Static Data as Free Extension of Algebras
ICFP 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
ICFP 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
ICFP Research Papers
Andrew HirschCornell University, Ross TateCornell University
DOI
11:37
22m
Talk
What's the Difference? A Functional Pearl on Subtracting Bijections
ICFP Research Papers
Brent YorgeyHendrix College, Kenneth Foner
DOI
13:00 - 14:30
Gradual Typing and ProvingICFP Research Papers at Stifel Theatre
Chair(s): Éric TanterUniversity of Chile & Inria Paris
13:00
22m
Talk
A Spectrum of Type Soundness and Performance
ICFP 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
ICFP 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
ICFP 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)
ICFP 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 BoundsICFP Research Papers at Stifel Theatre
Chair(s): Ilya SergeyUniversity College London
15:00
23m
Talk
Parallel Complexity Analysis with Temporal Session Types
ICFP 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
ICFP Research Papers
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
15:46
23m
Talk
Tight Typings and Split Bounds
ICFP 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 TypesICFP Research Papers at Stifel Theatre
Chair(s): David Thrane ChristiansenGalois, USA
16:30
22m
Talk
Elaborating Dependent (Co)pattern Matching
ICFP Research Papers
Jesper CockxChalmers | University of Gothenburg, Andreas AbelGothenburg University
DOI
16:52
22m
Talk
Generic Zero-Cost Reuse for Dependent Types
ICFP 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
ICFP Keynotes and Reports
Satnam SinghX, the moonshot factory
17:30
10m
Awards
Student Research Competition Awards
ICFP Keynotes and Reports
Ravi ChughUniversity of Chicago
17:40
15m
Talk
Program Chair's Report
ICFP Keynotes and Reports
Matthew FlattUniversity of Utah
17:55
5m
Talk
ICFP 2019 Announcement
ICFP Keynotes and Reports
17:30 - 17:40
Student Research Competition AwardsICFP Keynotes and Reports at Stifel Theatre
17:30
10m
Awards
Student Research Competition Awards
ICFP 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
16:30
50m
Talk
Strange Loop Keynote
ICFP Keynotes and Reports

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

16:30 - 17:20
16:30
50m
Talk
Strange Loop Keynote: Machine learning failures - for art!
ICFP 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