Program - ICFP 2018

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	morning-1HOPE at Frisco+Burlington Route

09:00 60m Talk		A preview of a tutorial on L (polarized μμ̃) HOPE Kenji MaillardInria Paris and ENS Paris, Étienne MiqueyINRIA, Xavier MontilletINRIA, Guillaume Munch-MaccagnoniInria, Gabriel SchererINRIA Saclay

09:00 - 10:00	Invited TalkHIW at Illinois Central Chair(s): Joachim BreitnerDFINITY Foundation

09:00 5m Day opening		Welcome to HIW HIW Joachim BreitnerDFINITY Foundation
09:05 55m Talk		Invited Talk: Let’s Go Mainstream with Eta! HIW Rahul MuttineniTypeLead Media Attached

09:00 - 10:00	Session 1PLMW @ ICFP at New York Central

09:00 30m Talk		What an SMT solver can do for you PLMW @ ICFP Nadia PolikarpovaUniversity of California, San Diego
09:30 30m Talk		Gradual Types PLMW @ ICFP Ronald GarciaUniversity of British Columbia

10:00 - 10:20	Sunday coffee break 1Catering at Catering

10:00 20m Coffee break		Sunday coffee break 1 Catering

10:20 - 11:00	morning-2HOPE at Frisco+Burlington Route

10:20 40m Talk		Finding fixed points faster HOPE Michael ArntzeniusUniversity of Birmingham, UK

10:20 - 12:00	GHCHIW at Illinois Central Chair(s): Ben GamariWell-Typed LLP

10:20 25m Talk		GHC Update HIW Simon Peyton JonesMicrosoft, UK File Attached
10:45 25m Talk		Source Plugins HIW Matthew PickeringUniversity of Bristol Media Attached
11:10 25m Talk		Generalized Abstract GHC.Generics HIW Ryan ScottIndiana University at Bloomington, USA File Attached
11:35 8m Talk		Lightning talk: CodeWorld: Teaching Haskell and mathematics to children HIW Chris SmithGoogle, USA
11:43 8m Talk		Lightning talk: CoreSpec: Verifying GHC with hs-to-coq HIW Antal Spector-Zabusky File Attached
11:51 9m Talk		Lightning talk: The trick which makes exceptions-0.10.0 possible HIW Samuel GélineauSimSpace Media Attached

10:20 - 12:00	Session 2PLMW @ ICFP at New York Central

10:20 30m Talk		I'm a Young Assistant Professor: AMA. + Heather's Unsolicited Advice About Grad School PLMW @ ICFP Heather MillerCarnegie Mellon University
10:50 70m Social Event		Interactive Game PLMW @ ICFP Joachim BreitnerDFINITY Foundation, Niki VazouUniversity of Maryland, USA

11:00 - 11:20	Sunday coffee break 2Catering at Catering

11:00 20m Coffee break		Sunday coffee break 2 Catering

11:20 - 12:00	morning-3HOPE at Frisco+Burlington Route

11:20 40m Talk		A Metalanguage for Guarded Iteration HOPE Sergey GoncharovFriedrich-Alexander-Universität Erlangen-Nürnberg, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8

12:00 - 13:30	Sunday lunchCatering at Grand Hall

12:00 90m Lunch		Sunday lunch Catering

13:30 - 14:10	afternoon-1HOPE at Frisco+Burlington Route

13:30 40m Talk		Functional programming with MLTS HOPE Ulysse GérardINRIA, Dale MillerINRIA, Gabriel SchererINRIA Saclay

13:30 - 15:10	TypesHIW at Illinois Central Chair(s): Niki VazouUniversity of Maryland, USA

13:30 25m Talk		Coercion Quantification HIW Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA Link to publication File Attached
13:55 25m Talk		Type-level visible type application HIW My NguyenBryn Mawr College File Attached
14:20 25m Talk		Implementing Linear Haskell HIW Matthew PickeringUniversity of Bristol, Arnaud SpiwackTweag I/O Media Attached
14:45 8m Talk		Lightning talk: Implementing a VMware Haskell Client with Extensible Records HIW Matthew RussellSimSpace Link to publication File Attached
14:53 8m Talk		Lightning talk: Asterius: Bringing Haskell to WebAssembly HIW Cheng ShaoTweag I/O Media Attached
15:01 9m Talk		Lightning talk: Perfomance impact of control flow optimization HIW Andreas Klebinger

13:30 - 15:10	Session 3PLMW @ ICFP at New York Central

13:30 33m Talk		How to write a Great Research Paper PLMW @ ICFP Simon Peyton JonesMicrosoft, UK
14:03 33m Talk		Dependent Types PLMW @ ICFP Stephanie WeirichUniversity of Pennsylvania, USA
14:36 34m Talk		An opinionated talk on how to give talks PLMW @ ICFP Ranjit JhalaUniversity of California, San Diego

14:10 - 14:30	Sunday coffee break 3Catering at Catering

14:10 20m Coffee break		Sunday coffee break 3 Catering

14:30 - 15:10	afternoon-2HOPE at Frisco+Burlington Route

14:30 40m Talk		Taming Control Flow through Linear Effect Handlers HOPE Daan LeijenMicrosoft Research, USA, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany

15:10 - 15:30	Sunday coffee break 4Catering at Catering

15:10 20m Coffee break		Sunday coffee break 4 Catering

15:30 - 16:10	afternoon-3HOPE at Frisco+Burlington Route

15:30 40m Talk		A domain theory for statistical probabilistic programming HOPE Ohad KammarUniversity of Oxford, Matthijs VákárUniversity of Oxford, Sam StatonUniversity of Oxford File Attached

15:30 - 16:45	Tools and HardwareHIW at Illinois Central Chair(s): Joachim BreitnerDFINITY Foundation

15:30 25m Talk		Pier: yet another Haskell build tool HIW Judah Jacobson File Attached
15:55 25m Talk		Clash: a practical Haskell to circuit compiler HIW Christiaan BaaijQBayLogic B.V. File Attached
16:20 8m Talk		Lightning talk: More Explicit Foralls in GHC HIW Matthew Yacavone
16:28 17m Other		GHC Community Discussion HIW Simon Peyton JonesMicrosoft, UK

15:30 - 16:30	Session 4PLMW @ ICFP at New York Central

15:30 60m Talk		Panel Discussion: Research in Functional Programming PLMW @ ICFP Alejandro RussoChalmers University of Technology, Sweden, Katie OtsFacebook, Leonidas LampropoulosUniversity of Pennsylvania, David DaraisUniversity of Vermont, Ivan PerezNational Institute of Aerospace, USA

Mon 24 Sep
Times are displayed in 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:05 - 10:30	Monday coffee break 1Catering at Catering

10:05 25m Coffee break		Monday coffee break 1 Catering

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

12:00 - 13:00	Monday lunchCatering at Catering

12:00 60m Lunch		Monday lunch Catering

13:00 - 14:30	Program ConstructionResearch Papers at Stifel Theatre Chair(s): J. Garrett MorrisUniversity 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 StampoulisOriginate Inc., Adam ChlipalaMassachusetts 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 AllaisRadboud University Nijmegen, Robert AtkeyUniversity of Strathclyde, James Chapman, Conor McBride, James McKinna DOI
13:45 22m Talk		Reasonably Programmable Literal Notation Research Papers Cyrus OmarUniversity of Chicago, Jonathan AldrichCarnegie 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 WeiPurdue University, James Decker, Tiark RompfPurdue University DOI

14:30 - 15:00	Monday coffee break 2Catering at Catering

14:30 30m Coffee break		Monday coffee break 2 Catering

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 James KoppelMIT, Gabriel SchererINRIA Saclay, Armando Solar-LezamaMIT CSAIL 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:10 - 16:40	Monday coffee break 3Catering at Catering

16:10 30m Coffee break		Monday coffee break 3 Catering

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

18:30 - 20:30	Poster ReceptionSocial Events at Grand Hall

18:30 2h Social Event		SRC Poster Reception Social Events

Tue 25 Sep
Times are displayed in 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:00 - 10:30	Tuesday coffee break 1Catering at Catering

10:00 30m Coffee break		Tuesday coffee break 1 Catering

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:00 - 13:00	Tuesday lunchCatering at Catering

12:00 60m Lunch		Tuesday lunch Catering

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

14:30 - 15:00	Tuesday coffee break 2Catering at Catering

14:30 30m Coffee break		Tuesday coffee break 2 Catering

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

16:30 - 17:00	Tuesday coffee break 3Catering at Catering

16:30 30m Coffee break		Tuesday coffee break 3 Catering

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 FluetRochester Institute of Technology

Wed 26 Sep
Times are displayed in 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 Eugenia Cheng

10:00 - 10:30	Wednesday coffee break 1Catering at Catering

10:00 30m Coffee break		Wednesday coffee break 1 Catering

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

12:00 - 13:00	Wednesday lunchCatering at Catering

12:00 60m Lunch		Wednesday lunch Catering

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

14:30 - 15:00	Wednesday coffee break 2Catering at Catering

14:30 30m Coffee break		Wednesday coffee break 2 Catering

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:10 - 16:30	Wednesday coffee break 3Catering at Catering

16:10 20m Coffee break		Wednesday coffee break 3 Catering

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	Closing EventsKeynotes and Reports at Stifel Theatre

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 Derek DreyerMPI-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 ChughUniversity of Chicago

18:00 - 19:00	Wednesday food trucksCatering at Catering

18:00 60m Dinner		Wednesday food trucks Catering

19:00 - 21:30	Strange Loop PartySocial Events at City Museum

19:00 2h30m Social Event		Strange Loop Party, ride a bus from the venue to the City Museum Social Events

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 10:00	Applications and MonoidsTyDe at New York Central Chair(s): Daan LeijenMicrosoft Research, USA

08:45 10m Talk		Welcome! TyDe Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA
08:55 20m Talk		Extended Abstract: F# OpenCL Type Provider TyDe Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research File Attached
09:15 20m Talk		Extended Abstract: Comprehending Monoids with Class TyDe Lionel ParreauxEPFL, Christoph E. KochEPFL Media Attached File Attached
09:35 25m Research paper		Authenticated Modular Maps in Haskell TyDe Victor Cacciari MiraldoUtrecht University, Netherlands, Harold CarrOracle Labs, USA, Alex KoganOracle Labs, USA, Mark MoirOracle Labs, New Zealand, Maurice HerlihyBrown University, USA DOI

09:00 - 12:00	T01: Introduction to Programming and Proving in CedilleTutorials at Burlington Route Chair(s): Aaron StumpThe University of Iowa, USA

09:00 3h Other		T01: Introduction to Programming and Proving in Cedille Tutorials Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Colin McDonald

09:00 - 10:00	Session 1OCaml at Frisco Chair(s): Andrew KennedyFacebook London

09:00 5m Day opening		Introduction OCaml Andrew KennedyFacebook London
09:05 30m Talk		The OCaml Platform 1.0 OCaml Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
09:35 10m Poster		The OCaml Software Foundation OCaml Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45 5m Poster		This PDF is an OCaml bytecode OCaml Gabriel RadanneUniversity of Freiburg, Germany

09:00 - 10:00	KeynoteHaskell at Illinois Central Chair(s): Nicolas WuUniversity of Bristol, UK

09:00 5m Day opening		Welcome and Chair's Report Haskell Nicolas WuUniversity of Bristol, UK
09:05 55m Talk		Neither Web nor Assembly (Invited Talk) Haskell Andreas RossbergDfinity

09:00 - 10:00	KeynoteNPFL at Texas Special Chair(s): Dominic SteinitzTweag I/O

09:00 60m Day opening		Daisy - a framework for sound accuracy analysis and optimization of numerical programs NPFL Eva DarulovaMPI-SWS

10:00 - 10:20	Thursday coffee break 1Catering at Catering

10:00 20m Coffee break		Thursday coffee break 1 Catering

10:20 - 11:00	Session 2OCaml at Frisco Chair(s): Stephen DolanUniversity of Cambridge

10:20 20m Talk		Abusing Format for fun and profits OCaml Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris
10:40 20m Talk		RFCs, all the way down! OCaml Romain CalascibettaTarides

10:20 - 12:00	TypesTyDe at New York Central Chair(s): Richard A. EisenbergBryn Mawr College, USA

10:20 25m Research paper		Typing, Representing, and Abstracting Control: Functional Pearl TyDe Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany DOI
10:45 25m Research paper		Extensible Type-Directed Editing TyDe Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA DOI
11:10 25m Research paper		Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming TyDe Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands DOI
11:35 25m Research paper		Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL TyDe Ilya YanokUSI Lugano, Switzerland, Nate NystromUSI Lugano, Switzerland DOI

10:20 - 11:20	Talks INPFL at Texas Special Chair(s): Dominic SteinitzTweag I/O

10:20 30m Talk		Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming NPFL Sam StitesSentenai, Austin HuangPfizer
10:50 30m Talk		APLicative Programming with Naperian Functors NPFL Jeremy GibbonsDepartment of Computer Science, University of Oxford

10:30 - 12:00	Session 1Haskell at Illinois Central Chair(s): Michael D. AdamsUniversity of Utah

10:30 30m Talk		AutoBench: Comparing the Time Performance of Haskell Programs Haskell Martin A. T. HandleyUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK DOI
11:00 30m Talk		Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration) Haskell Marilyn SunTufts University, USA, Kathleen FisherTufts University, USA DOI
11:30 30m Talk		Improving Typeclass Relations by Being Open Haskell Guido MartínezCIFASIS-CONICET, Argentina, Mauro JaskelioffCONICET, Argentina, Guido De LucaUniversidad Nacional de Rosario, Argentina DOI

11:00 - 11:20	Thursday coffee break 2Catering at Catering

11:00 20m Coffee break		Thursday coffee break 2 Catering

11:20 - 12:00	Session 3OCaml at Frisco Chair(s): KC SivaramakrishnanUniversity of Cambridge

11:20 20m Talk		The Vecosek Ecosystem OCaml Sebastien MondetMount Sinai - Hammer Lab
11:40 20m Talk		OCaml on the ESP32 chip: Well Typed Lightbulbs Await OCaml Lucas PluvinageENS Paris, Sadiq JafferOpsian, Anil MadhavapeddyOCaml Labs

11:20 - 12:00	Talks IINPFL at Texas Special Chair(s): Dominic SteinitzTweag I/O

11:20 40m Talk		Error analysis almost for free NPFL Eva RichterPotsdam University, Matti RichterPotsdam University

12:00 - 13:30	Thursday lunchCatering at Midway West

12:00 90m Lunch		Thursday lunch Catering

13:00 - 16:00	T02: Direct Manipulation Programming in Sketch-n-SketchTutorials at Burlington Route Chair(s): Justin Lubin, Mikaël MayerEPFL, Switzerland, Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago

13:00 3h Other		T02: Direct Manipulation Programming in Sketch-n-Sketch Tutorials Nick CollinsUniversity of Chicago, Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago, Mikaël MayerEPFL, Switzerland, Justin Lubin

13:30 - 14:10	Session 4OCaml at Frisco Chair(s): Gabriel SchererINRIA Saclay

13:30 20m Talk		Wall: rendering vector graphics with OCaml and OpenGL OCaml Frédéric BourFacebook Paris
13:50 20m Talk		Winning on Windows: porting the OCaml platform OCaml David AllsoppUniversity of Cambridge

13:30 - 15:00	Session 2Haskell at Illinois Central Chair(s): Sam LindleyUniversity of Edinburgh, UK

13:30 30m Talk		Rhine: FRP with Type-Level Clocks Haskell Manuel BärenzUniversity of Vienna, Austria, Ivan PerezNational Institute of Aerospace, USA DOI
14:00 30m Talk		A High-Performance Multicore IO Manager Based on libuv (Experience Report) Haskell Dong HanBeijing Bytedance, China, Tao HeBeijing Bytedance, China DOI
14:30 30m Talk		Embedding Invertible Languages with Binders: A Case of the FliPpr Language Haskell Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK DOI

13:30 - 14:20	KeynoteTyDe at New York Central Chair(s): Niki VazouUniversity of Maryland, USA

13:30 50m Talk		Extrinsic vs Intrinsic Specifications, and Subset Types TyDe K. Rustan M. LeinoAmazon

13:30 - 14:30	Talks IIINPFL at Texas Special Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

13:30 30m Talk		A Haskell Interface to Sundials via inline-c NPFL Dominic SteinitzTweag I/O
14:00 30m Talk		On the Calculation of Functions in the Algebra of Physical Space NPFL Nathan Waiviohttps://github.com/waivio

14:10 - 14:30	Thursday coffee break 3Catering at Catering

14:10 20m Coffee break		Thursday coffee break 3 Catering

14:20 - 15:10	Effect Handlers & Abstract MachineTyDe at New York Central Chair(s): Niki VazouUniversity of Maryland, USA

14:20 25m Research paper		First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers TyDe Daan LeijenMicrosoft Research, USA DOI
14:45 25m Research paper		From Algebra to Abstract Machine: A Verified Generic Construction TyDe Carlos Tomé CortiñasUtrecht University, Netherlands, Wouter SwierstraUtrecht University, Netherlands DOI

14:30 - 15:10	Session 5OCaml at Frisco

14:30 20m Talk		R&B: Towards bringing functional programming to everyday's web programmer OCaml Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook
14:50 20m Talk		MLExplain OCaml Kévin Le BonInria, Alan SchmittInria Link to publication

14:30 - 15:10	Talks IVNPFL at Texas Special Chair(s): Dominic SteinitzTweag I/O

14:30 40m Talk		Manifolds as Haskell types NPFL Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie

15:10 - 15:30	Thursday coffee break 4Catering at Catering

15:10 20m Coffee break		Thursday coffee break 4 Catering

15:30 - 16:10	Session 6OCaml at Frisco Chair(s): Andrew KennedyFacebook London

15:30 20m Talk		Relit: Implementing Typed Literal Macros in Reason OCaml Charles ChamberlainUniversity of Chicago, Cyrus OmarUniversity of Chicago

15:30 - 16:00	Session 3Haskell at Illinois Central Chair(s): Ryan Yates

15:30 30m Talk		Ghosts of Departed Proofs (Functional Pearl) Haskell Matt NoonanKataskeue, USA DOI

15:30 - 16:10	Error Messages & ContextsTyDe at New York Central Chair(s): David DaraisUniversity of Vermont

15:30 20m Talk		Extended Abstract: Context Constrained Computing TyDe Robert AtkeyUniversity of Strathclyde, James WoodUniversity of Strathclyde File Attached
15:50 20m Talk		Extended Abstract: Improving Error Messages for Dependent Types TyDe Joseph EremondiUniversity of British Columbia, Wouter SwierstraUtrecht University, Netherlands, Jurriaan HageUtrecht University File Attached

15:30 - 16:10	Talks VNPFL at Texas Special Chair(s): Dominic SteinitzTweag I/O

15:30 40m Talk		Exact Real Arithmetic for Geometric Operations NPFL Pavel PanchekhaUniversity of Washington

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

17:30 - 19:30	Industrial ReceptionSocial Events at Regency C

17:30 2h Social Event		Industrial Reception Social Events

19:00 - 22:00	Strange Loop UnsessionsSocial Events at Unsessions Room

19:00 3h Social Event		Strange Loop Unsessions at Union Station; see Strange Loop website for details Social Events

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

09:00 - 10:00	Invited Talk 1Scheme at Burlington Route

09:00 60m Talk		From Scripting to Proving: Gradual Verification with a Scheme Scheme David Van HornUniversity of Maryland, USA

09:00 - 10:00	KeynoteScala at Frisco Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, China

09:00 60m Talk		Cross-Platform Language Design in Scala.js Scala Sébastien DoeraeneEPFL, Switzerland DOI

09:00 - 10:00	Session 4Haskell at Illinois Central Chair(s): Iavor DiatchkiGalois, Inc.

09:00 30m Talk		Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern Haskell Baldur Blöndaln.n., n.n., Andres LöhWell-Typed, UK, Ryan ScottIndiana University at Bloomington, USA DOI
09:30 30m Talk		Generic Programming of All Kinds Haskell Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands DOI

09:00 - 10:00	Invited talkML at New York Central

09:00 60m Talk		ELPI: an extension language with binders and unification variables (Invited talk) ML Enrico TassiINRIA

09:00 - 12:00	T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed LanguagesTutorials at Texas Special Chair(s): Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris

09:00 3h Other		T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages Tutorials Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris

10:00 - 10:20	Friday coffee break 1Catering at Catering

10:00 20m Coffee break		Friday coffee break 1 Catering

10:20 - 11:00	Session 1Scheme at Burlington Route

10:20 20m Talk		Growing Schemes: Twenty Years of Scheme Requests for Implementation Scheme Arthur GlecklerSRFI Editor
10:40 20m Talk		Loop Patterns: Extension of Kleene Star Operator for More Powerful Pattern Matching against Arbitrary Data Structures Scheme Satoshi EgiRakuten Institute of Technology

10:20 - 11:50	Session 1: Scala FoundationsScala at Frisco Chair(s): Paolo G. GiarrussoEPFL, Switzerland

10:20 22m Talk		Extending Scala with Records: Design, Implementation, and Evaluation Scala Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden DOI
10:42 23m Talk		Initialization Patterns in Dotty Scala Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland DOI
11:05 22m Talk		Path Dependent Types with Path-Equality Scala Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea DOI
11:27 23m Talk		κDOT: Scaling DOT with Mutation and Constructors Scala Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo DOI

10:20 - 12:00	Session 1ML at New York Central

10:20 25m Talk		Safely Mixing OCaml and Rust ML Stephen DolanUniversity of Cambridge
10:45 25m Talk		Rust Distilled: An Expressive Tower of Languages ML Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA Link to publication Pre-print
11:10 25m Talk		Generating Mutually Recursive Definitions ML Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov Pre-print
11:35 25m Talk		Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules ML Martin ElsmanUniversity of Copenhagen, Denmark, Philip MunksgaardIntelligent Alpha AG, Switzerland, Ken Friis LarsenDIKU, University of Copenhagen Link to publication

10:30 - 12:00	Session 5Haskell at Illinois Central Chair(s): Niki VazouUniversity of Maryland, USA

10:30 30m Talk		Type Variables in Patterns Haskell Richard A. EisenbergBryn Mawr College, USA, Joachim BreitnerDFINITY Foundation, Simon Peyton JonesMicrosoft, UK DOI
11:00 30m Talk		The Thoralf Plugin: For Your Fancy Type Needs Haskell Divesh OtwaniHaverford College, USA, Richard A. EisenbergBryn Mawr College, USA DOI
11:30 30m Talk		Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Haskell Matthías Páll GissurarsonChalmers University of Technology, Sweden DOI

11:00 - 11:20	Friday coffee break 2Catering at Catering

11:00 20m Coffee break		Friday coffee break 2 Catering

11:20 - 12:00	Session 2Scheme at Burlington Route

11:20 20m Talk		Temporal Logic, μKanren, and a Time-Traveling RDF Database Scheme Nathaniel Rudavsky-Brody
11:40 20m Talk		A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie Scheme Benjamin Boskin, Weixi Ma, David Thrane ChristiansenGalois, USA, Daniel FriedmanIndiana University

11:50 - 12:10	Student Talks 1Scala at Frisco Chair(s): Sukyoung RyuKAIST, South Korea

11:50 10m Talk		Julia Subtyping Lessons Scala Could Learn (Student Talk) Scala Artem PelenitsynNortheastern University
12:00 10m Talk		Scala with explicit nulls (student talk) Scala Abel NietoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo

12:00 - 13:30	Friday lunchCatering at Midway West

12:00 90m Lunch		Friday lunch Catering

13:00 - 16:00	T04: Beluga: Programming Proofs About Formal SystemsTutorials at Texas Special Chair(s): Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University, Brigitte PientkaMcGill University

13:00 3h Talk		T04: Beluga: Programming Proofs About Formal Systems Tutorials Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University

13:10 - 14:40	Session 2: Scala Extensions & ParsingScala at Frisco Chair(s): Philipp HallerKTH, Sweden

13:10 22m Talk		Garnishing Parsec with Parsley Scala Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK DOI
13:32 22m Talk		Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication Scala Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland DOI
13:55 22m Talk		Parser Combinators for Context-Free Path Querying Scala Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Ilya KirillovSaint Petersburg State University, Russia, Ilya NozkinSaint Petersburg State University, Russia, Semyon GrigorevSaint Petersburg State University, Russia DOI
14:17 22m Talk		Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem Scala Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland DOI

13:30 - 14:10	Session 3Scheme at Burlington Route

13:30 20m Talk		Racets: Faceted Execution in Racket Scheme Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland
13:50 20m Talk		An Efficient Compiler for the Gradually Typed Lambda Calculus Scheme Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA

13:30 - 15:00	Session 6Haskell at Illinois Central Chair(s): Brent YorgeyHendrix College

13:30 30m Talk		A Promise Checked Is a Promise Kept: Inspection Testing Haskell Joachim BreitnerDFINITY Foundation DOI
14:00 30m Talk		Branching Processes for QuickCheck Generators Haskell Agustín MistaUniversidad Nacional de Rosario, Argentina, Alejandro RussoChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden DOI
14:30 30m Talk		Coherent Explicit Dictionary Application for Haskell Haskell Thomas WinantKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium DOI File Attached

13:30 - 15:10	Session 2ML at New York Central

13:30 25m Talk		ML as a Tactic Language, Again ML Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor Dumitrescu, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal Narasimhamurthy, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research File Attached
13:55 25m Talk		Design and verification of functional proof checkers ML Roberto BlancoInria
14:20 25m Talk		Disornamentation ML Lucas BaudinINRIA, Didier RémyInria
14:45 25m Talk		Generic Programming with Combinators and Objects ML Dmitrii Kosarev, Dmitri Boulytchev

14:10 - 14:30	Friday coffee break 3Catering at Catering

14:10 20m Coffee break		Friday coffee break 3 Catering

14:30 - 15:10	Session 4Scheme at Burlington Route

14:30 20m Talk		Schism: A Self-Hosting Scheme to WebAssembly Compiler Scheme Eric HolkGoogle
14:50 20m Talk		Tail Calling Between Code Generated by C and Native Backends Scheme Laurent Huberdeau, Marc FeeleyUniversité de Montréal

14:40 - 15:00	Student Talks 2Scala at Frisco Chair(s): Philipp HallerKTH, Sweden

14:40 10m Talk		Adding polymorphic functions to Scala (Student Talk) Scala Guillaume MartresEPFL, Switzerland
14:50 10m Talk		Validating Changes in Typechecking on Codebases with SemanticDB (Student talk) Scala Max OvsiankinUC Berkeley, Eugene BurmakoTwitter, Inc.

15:10 - 15:30	Friday coffee break 4Catering at Catering

15:10 20m Coffee break		Friday coffee break 4 Catering

15:20 - 16:10	Session 3: DSLs & Sponsor TalkScala at Frisco Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands

15:20 22m Talk		A Domain-specific Language for Microservices Scala Jacob DonhamTwitter, Inc. DOI
15:42 28m Industry talk		SemanticDB: a common data model for Scala developer tools Scala Eugene BurmakoTwitter, Inc.

15:30 - 16:10	Invited Talk 2Scheme at Burlington Route

15:30 40m Talk		Rebuilding Racket on Chez Scheme: An Experience Report Scheme Matthew FlattUniversity of Utah

15:30 - 16:00	Session 7Haskell at Illinois Central Chair(s): Simon MarlowFacebook

15:30 29m Talk		Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Haskell Niki VazouUniversity of Maryland, USA, Joachim BreitnerDFINITY Foundation, Rose KunkelUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA, Graham HuttonUniversity of Nottingham, UK DOI
15:59 1m Talk		Closing Statement Haskell Nicolas WuUniversity of Bristol, UK

15:30 - 16:10	Session 3ML at New York Central

15:30 40m Talk		Programming with Abstract Algebraic Effects ML Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław

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

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 10:00	Morning Session 1FHPC at New York Central Chair(s): Kei DavisLos Alamos National Laboratory

08:45 15m Day opening		Welcome and Introductions FHPC C: Kei DavisLos Alamos National Laboratory, C: Mike Rainey
09:00 60m Talk		HELIX: A Case Study of a Formal Verification of High Performance Program Generation FHPC A: Vadim ZalivaCarnegie Mellon University, USA, A: Franz FranchettiCarnegie Mellon University, USA DOI

09:00 - 10:00	Opening & Keynote talkErlang at Burlington Route

09:00 10m Day opening		Day Openning Erlang C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University
09:10 50m Talk		Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications Erlang K: Christopher MeiklejohnCarnegie Mellon University

09:00 - 12:00	T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and gamesTutorials at Frisco Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.

09:00 3h Other		T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games Tutorials Eric MertensGalois, Inc., Jose CalderonGalois, Inc.

09:00 - 10:00	Live CodingFARM at Jeffersonian+Knickerbocker Chair(s): Tom Murphy

09:00 10m Day opening		Welcome FARM G: Brent YorgeyHendrix College, P: Donya QuickStevens Institute of Technology, P: Tom Murphy
09:10 25m Research paper		NNdef: Livecoding Digital Musical Instruments in SuperCollider using Functional Reactive Programming FARM Miguel NegrãoPolytechnic Institute of Leiria DOI
09:35 25m Demonstration		La Habra — Livecoding with Clojurescript FARM Sarah Groff Hennigh-Palermo

09:00 - 12:00	T07: Writing a chat system in PonyTutorials at Texas Special Chair(s): Andrew Turley

09:00 3h Other		T07: Writing a chat system in Pony Tutorials Andrew Turley

09:00 - 12:00	T05: Purely functional UIs with ReaclTutorials at Wabash Cannonball Chair(s): Michael SperberActive Group GmbH

09:00 3h Other		T05: Purely functional UIs with Reacl Tutorials Michael SperberActive Group GmbH

10:00 - 10:20	Saturday coffee break 1Catering at Catering

10:00 20m Coffee break		Saturday coffee break 1 Catering

10:20 - 11:00	Latest NewsErlang at Burlington Route

10:20 40m Product announcement		Latest News from the OTP Team Erlang I: Kenneth Lundin

10:20 - 12:00	Generative SystemsFARM at Jeffersonian+Knickerbocker Chair(s): Brent YorgeyHendrix College

10:20 25m Research paper		Compositional Computational Constructive Critique: Or, How My Computer Learned to Appreciate Poetry FARM Jennifer HackettUniversity of Nottingham, UK DOI
10:45 25m Demonstration		Chord Progressions in Haskell FARM Brittni WatkinsSouthern Methodist University
11:10 25m Demonstration		Pattern-Based Algorithmic Music with Euterpea FARM Donya QuickStevens Institute of Technology
11:35 25m Demonstration		GAYER: A Graphical Audio plaYER in ReasonML FARM Cora Johnson-Roberson

10:20 - 12:15	Morning Session 2FHPC at New York Central Chair(s): Kei DavisLos Alamos National Laboratory

10:20 60m Talk		Modular Acceleration: Tricky Cases of Functional High-Performance Computing FHPC A: Troels HenriksenUniversity of Copenhagen, Denmark, A: Martin ElsmanUniversity of Copenhagen, Denmark, A: Cosmin OanceaUniversity of Copenhagen, Denmark DOI
11:20 45m Talk		Preventing Data Races with Refinement Types FHPC A: George Stelle

11:00 - 11:20	Saturday coffee break 2Catering at Catering

11:00 20m Coffee break		Saturday coffee break 2 Catering

11:20 - 12:00	Session 1Erlang at Burlington Route

11:20 25m Full-paper		Understanding Formal Specifications through Good Examples Erlang A: Alex GerdesUniversity of Gothenburg, Sweden, A: John HughesChalmers University of Technology, Sweden, A: Nicholas SmallboneChalmers University of Technology, Sweden, A: Stefan HanenbergUniversity of Duisburg-Essen, Germany, A: Sebastian IvarssonChalmers University of Technology, Sweden, A: Meng WangUniversity of Bristol, UK DOI
11:45 15m Short-paper		Towards Secure Erlang Systems Erlang A: Alexandre Jorge Barbosa RodriguesKlarna Bank, Sweden, A: Viktória FördősKlarna Bank, Sweden DOI

12:00 - 13:30	Saturday lunchCatering at Pegram

12:00 90m Lunch		Saturday lunch Catering

13:00 - 16:00	T09: Pijul, a purely functional version control systemTutorials at Frisco Chair(s): Pierre-Étienne Meunier

13:00 3h Other		T09: Pijul, a purely functional version control system. Tutorials Pierre-Étienne Meunier

13:00 - 16:00	T10: Hop.js: JavaScript multitier programmingTutorials at Texas Special Chair(s): Manuel SerranoInria, France

13:00 3h Other		T10: Hop.js: JavaScript multitier programming Tutorials Manuel SerranoInria, France

13:00 - 16:00	T08: Implement your own reactive language: the ReactiveML experimentTutorials at Wabash Cannonball Chair(s): Louis MandelIBM Research, Marc PouzetÉcole normale supérieure, Cédric Pasteur, Guillaume BaudartIBM Research

13:00 3h Other		T08: Implement your own reactive language: the ReactiveML experiment Tutorials Guillaume BaudartIBM Research, Louis MandelIBM Research, Cédric Pasteur, Marc PouzetÉcole normale supérieure

13:30 - 14:30	Session 2Erlang at Burlington Route

13:30 25m Full-paper		iDeA: An Immersive Debugger for Actors Erlang A: Aman Shankar MathurMPI-SWS, Germany, A: Burcu Kulahcioglu OzkanMPI-SWS, Germany, A: Rupak MajumdarMPI-SWS, Germany DOI
13:55 25m Full-paper		Automatic Detection of Core Erlang Message Passing Errors Erlang A: Joseph HarrisonUniversity of Kent, UK DOI
14:20 10m Coffee break		10 min Coffee break Erlang

13:30 - 15:10	AudioFARM at Jeffersonian+Knickerbocker Chair(s): Donya QuickStevens Institute of Technology

13:30 25m Research paper		Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs FARM Mark SantolucitoYale University, USA, Kate RogersYale University, USA, Aedan LombardoYale University, USA, Ruzica PiskacYale University, USA DOI Pre-print
13:55 25m Talk		Call For Collaboration: The Vecosek Ecosystem FARM Sebastien MondetMount Sinai - Hammer Lab
14:20 25m Demonstration		Musical Steganography: Hiding Things in Music FARM Scott FradkinFlexion
14:45 25m Demonstration		(Ab)using a monadic screen-presentation EDSL as a just-intonation synth pad controller FARM Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie

13:30 - 15:10	Afternoon Session 1FHPC at New York Central Chair(s): Mike Rainey

13:30 45m Talk		An Efficient Compiler for Recursive Functions on Mostly-Serialized Data FHPC A: Michael VollmerIndiana University, USA, A: Chaitanya KoparkarIndiana University, A: Laith SakkaPurdue University, A: Milind KulkarniPurdue University, A: Ryan R. NewtonIndiana University
14:15 45m Talk		Comparing strategies for lightweight threading based on continuations FHPC A: Kavon FarvardinUniversity of Chicago, A: John ReppyUniversity of Chicago

14:10 - 14:30	Saturday coffee break 3Catering at Catering

14:10 20m Coffee break		Saturday coffee break 3 Catering

14:30 - 15:10	Session 3Erlang at Burlington Route

14:30 25m Full-paper		Modelling Distributed Erlang within a Single Node Erlang A: Stavros AronisErlang Solutions, Sweden, A: Viktória FördősKlarna Bank, Sweden, A: Dániel SzoboszlayKlarna Bank, Sweden DOI
14:55 15m Short-paper		Modeling Erlang Processes as Petri Nets Erlang A: Jörgen BrandtHumboldt-Universität zu Berlin, Germany, A: Wolfgang ReisigHumboldt-Universität zu Berlin, Germany DOI

15:10 - 15:30	Saturday coffee break 4Catering at Catering

15:10 20m Coffee break		Saturday coffee break 4 Catering

15:30 - 16:10	Final talk and ClosingErlang at Burlington Route

15:30 25m Full-paper		Typing the Wild in Erlang Erlang A: Nachiappan ValliappanChalmers University of Technology, Sweden, A: John HughesChalmers University of Technology, Sweden DOI
15:55 15m Day closing		Farewell & Closing Erlang C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University

15:30 - 16:10	ArtFARM at Jeffersonian+Knickerbocker Chair(s): Donya QuickStevens Institute of Technology

15:30 25m Research paper		Abstract Nonsense FARM April GonçalvesRoskilde University, Denmark DOI
15:55 15m Day closing		Closing FARM P: Donya QuickStevens Institute of Technology, G: Brent YorgeyHendrix College, P: Tom Murphy

15:30 - 17:00	Afternoon Session 2FHPC at New York Central Chair(s): Mike Rainey

15:30 45m Talk		Optimizing Data Parallelism with Linear Programming in Nessie FHPC A: Joseph Wingerter, A: John ReppyUniversity of Chicago
16:15 45m Day closing		Optional Discussion FHPC C: Kei DavisLos Alamos National Laboratory, C: Mike Rainey

19:30 - 21:30	FARM Evening of Algorithmic ArtsSocial Events at The Luminary

19:30 2h Social Event		FARM Evening of Algorithmic Arts Social Events

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00	30	10:00		30	11:00		30	12:00	30	13:00	30	14:00		30	15:00		30	16:00	30
Catering			Catering Sunday coffee break 1			Catering Sunday coffee break 2								Catering Sunday coffee break 3			Catering Sunday coffee break 4
Frisco+Burlington Route	HOPE morning-1			HOPE morning-2			HOPE morning-3					HOPE afternoon-1			HOPE afternoon-2			HOPE afternoon-3
Grand Hall									Catering Sunday lunch
Illinois Central	HIW Invited Talk			HIW GHC								HIW Types						HIW Tools and Hardware
New York Central	PLMW @ ICFP Session 1			PLMW @ ICFP Session 2								PLMW @ ICFP Session 3						PLMW @ ICFP Session 4

Mon 24 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00	30	10:00		30	11:00	30	12:00	30	13:00	30	14:00		30	15:00	30	16:00		30		17:00	30	18:00		30	19:00	30	20:00	30
Catering				Catering Monday coffee break 1				Catering Monday lunch						Catering Monday coffee break 2				Catering Monday coffee break 3
Grand Hall													Social Events Poster Reception Social Events 18:30 - 20:30
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00	30	10:00	30	11:00	30	12:00		30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30		18:00	30
Catering			Catering Tuesday coffee break 1				Catering Tuesday lunch						Catering Tuesday coffee break 2				Catering Tuesday coffee break 3
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00		30	15:00	30	16:00		30	17:00		30	18:00	30	19:00	30	20:00	30	21:00	30
Catering			Catering Wednesday coffee break 1				Catering Wednesday lunch						Catering Wednesday coffee break 2				Catering Wednesday coffee break 3					Catering Wednesday food trucks
City Museum												Social Events Strange Loop Party
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	8:00	30		9:00	30	10:00		30	11:00		30	12:00	30	13:00		30	14:00			30	15:00		30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30
Burlington Route				Tutorials T01: Introduction to Programming and Proving in Cedille										Tutorials T02: Direct Manipulation Programming in Sketch-n-Sketch
Catering						Catering Thursday coffee break 1			Catering Thursday coffee break 2									Catering Thursday coffee break 3				Catering Thursday coffee break 4
Frisco				OCaml Session 1			OCaml Session 2			OCaml Session 3						OCaml Session 4				OCaml Session 5			OCaml Session 6
Illinois Central				Haskell Keynote				Haskell Session 1								Haskell Session 2							Haskell Session 3
Midway West												Catering Thursday lunch
New York Central			TyDe Applications and Monoids				TyDe Types									TyDe Keynote			TyDe Effect Handlers & Abstract Machine				TyDe Error Messages & Contexts
Regency C															Social Events Industrial Reception
Stifel Theatre															Keynotes and Reports Strange Loop Keynote
Texas Special				NPFL Keynote			NPFL Talks I			NPFL Talks II						NPFL Talks III				NPFL Talks IV			NPFL Talks V
Unsessions Room															Social Events Strange Loop Unsessions

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


Room	9:00	30	10:00		30	11:00		30		12:00	30	13:00		30	14:00			30		15:00			30	16:00	30	17:00	30
Burlington Route	Scheme Invited Talk 1			Scheme Session 1			Scheme Session 2							Scheme Session 3				Scheme Session 4					Scheme Invited Talk 2
Catering			Catering Friday coffee break 1			Catering Friday coffee break 2										Catering Friday coffee break 3					Catering Friday coffee break 4
Frisco	Scala Keynote			Scala Session 1: Scala Foundations					Scala Student Talks 1				Scala Session 2: Scala Extensions & Parsing						Scala Student Talks 2			Scala Session 3: DSLs & Sponsor Talk
Illinois Central	Haskell Session 4				Haskell Session 5									Haskell Session 6									Haskell Session 7
Midway West										Catering Friday lunch
New York Central	ML Invited talk			ML Session 1										ML Session 2									ML Session 3
Stifel Theatre																	Keynotes and Reports Strange Loop Keynote
Texas Special	Tutorials T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages											Tutorials T04: Beluga: Programming Proofs About Formal Systems

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	8:00	30		9:00	30	10:00		30	11:00		30	12:00	30	13:00		30	14:00		30	15:00		30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30
Burlington Route				Erlang Opening & Keynote talk			Erlang Latest News			Erlang Session 1						Erlang Session 2			Erlang Session 3			Erlang Final talk and Closing
Catering						Catering Saturday coffee break 1			Catering Saturday coffee break 2									Catering Saturday coffee break 3			Catering Saturday coffee break 4
Frisco				Tutorials T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games										Tutorials T09: Pijul, a purely functional version control system
Jeffersonian+Knickerbocker				FARM Live Coding			FARM Generative Systems									FARM Audio						FARM Art
New York Central			FHPC Morning Session 1				FHPC Morning Session 2									FHPC Afternoon Session 1						FHPC Afternoon Session 2
Pegram												Catering Saturday lunch
Texas Special				Tutorials T07: Writing a chat system in Pony										Tutorials T10: Hop.js: JavaScript multitier programming
The Luminary															Social Events FARM Evening of Algorithmic Arts
Wabash Cannonball				Tutorials T05: Purely functional UIs with Reacl										Tutorials T08: Implement your own reactive language: the ReactiveML experiment

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00		15	30	45	10:00	15		30	45		11:00		15		30		45		12:00	15	30	45	13:00	15	30	45		14:00			15		30		45		15:00		15	30	45		16:00	15		30	45
Catering						ICFP Catering Sunday coffee break 1 10:00 - 10:20						ICFP Catering Sunday coffee break 2 11:00 - 11:20																			ICFP Catering Sunday coffee break 3 14:10 - 14:30								ICFP Catering Sunday coffee break 4 15:10 - 15:30
Frisco+Burlington Route	HOPE A preview of a tutorial on L (polarized μμ̃) 09:00 - 10:00							HOPE Finding fixed points faster 10:20 - 11:00							HOPE A Metalanguage for Guarded Iteration 11:20 - 12:00											HOPE Functional programming with MLTS 13:30 - 14:10								HOPE Taming Control Flow through Linear Effect Handlers 14:30 - 15:10							HOPE A domain theory for statistical probabilistic programming 15:30 - 16:10
Grand Hall																				ICFP Catering Sunday lunch 12:00 - 13:30
Illinois Central	HIW Welcome to HIW 09:00 - 09:05	HIW Invited Talk: Let’s Go Mainstream with Eta! 09:05 - 10:00						HIW GHC Update 10:20 - 10:45		HIW Source Plugins 10:45 - 11:10			HIW Generalized Abstract GHC.Generics 11:10 - 11:35				HIW Lightning talk: CodeWorld: Teaching Haskell and mathematics to children 11:35 - 11:43	HIW Lightning talk: CoreSpec: Verifying GHC with hs-to-coq 11:43 - 11:51	HIW Lightning talk: The trick which makes exceptions-0.10.0 possible 11:51 - 12:00							HIW Coercion Quantification 13:30 - 13:55		HIW Type-level visible type application 13:55 - 14:20					HIW Implementing Linear Haskell 14:20 - 14:45			HIW Lightning talk: Implementing a VMware Haskell Client with Extensible Re ... 14:45 - 14:53	HIW Lightning talk: Asterius: Bringing Haskell to WebAssembly 14:53 - 15:01	HIW Lightning talk: Perfomance impact of control flow optimization 15:01 - 15:10			HIW Pier: yet another Haskell build tool 15:30 - 15:55		HIW Clash: a practical Haskell to circuit compiler 15:55 - 16:20			HIW Lightning talk: More Explicit Foralls in GHC 16:20 - 16:28	HIW GHC Community Discussion 16:28 - 16:45
New York Central	PLMW @ ICFP What an SMT solver can do for you 09:00 - 09:30			PLMW @ ICFP Gradual Types 09:30 - 10:00				PLMW @ ICFP I'm a Young Assistant Professor: AMA. + Heather's Unsolicited Advice Ab ... 10:20 - 10:50			PLMW @ ICFP Interactive Game 10:50 - 12:00															PLMW @ ICFP How to write a Great Research Paper 13:30 - 14:03				PLMW @ ICFP Dependent Types 14:03 - 14:36					PLMW @ ICFP An opinionated talk on how to give talks 14:36 - 15:10						PLMW @ ICFP Panel Discussion: Research in Functional Programming 15:30 - 16:30

Mon 24 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00	15	30	45	10:00		15	30	45		11:00	15	30		45	12:00	15	30	45	13:00	15		30	45	14:00		15		30	45	15:00	15		30	45	16:00		15	30		45	17:00	15		30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
Catering						ICFP Catering Monday coffee break 1 10:05 - 10:30										ICFP Catering Monday lunch 12:00 - 13:00													ICFP Catering Monday coffee break 2 14:30 - 15:00								ICFP Catering Monday coffee break 3 16:10 - 16:40
Grand Hall																												ICFP Social Events SRC Poster Reception 18:30 - 20:30
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00	15	30	45	10:00	15	30	45		11:00	15	30		45	12:00	15	30	45	13:00	15		30	45	14:00		15	30	45	15:00	15		30	45	16:00		15	30	45	17:00	15	30		45	18:00	15	30	45
Catering					ICFP Catering Tuesday coffee break 1 10:00 - 10:30										ICFP Catering Tuesday lunch 12:00 - 13:00												ICFP Catering Tuesday coffee break 2 14:30 - 15:00										ICFP Catering Tuesday coffee break 3 16:30 - 17:00
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00	15	30	45	10:00	15	30	45		11:00	15	30		45	12:00	15	30	45	13:00	15		30	45	14:00		15		30	45	15:00	15		30	45	16:00		15	30	45		17:00	15	30		45		18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Catering					ICFP Catering Wednesday coffee break 1 10:00 - 10:30										ICFP Catering Wednesday lunch 12:00 - 13:00													ICFP Catering Wednesday coffee break 2 14:30 - 15:00								ICFP Catering Wednesday coffee break 3 16:10 - 16:30											ICFP Catering Wednesday food trucks 18:00 - 19:00
City Museum																											ICFP Social Events Strange Loop Party, ride a bus from the venue to the City Museum 19:00 - 21:30
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	8:00	15	30	45		9:00		15	30		45	10:00	15		30		45		11:00		15		30			45	12:00	15	30	45	13:00	15		30	45		14:00		15		30	45		15:00		15	30	45		16:00	15	30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Burlington Route						ICFP Tutorials T01: Introduction to Programming and Proving in Cedille 09:00 - 12:00																									ICFP Tutorials T02: Direct Manipulation Programming in Sketch-n-Sketch 13:00 - 16:00
Catering												ICFP Catering Thursday coffee break 1 10:00 - 10:20							ICFP Catering Thursday coffee break 2 11:00 - 11:20																			ICFP Catering Thursday coffee break 3 14:10 - 14:30							ICFP Catering Thursday coffee break 4 15:10 - 15:30
Frisco						OCaml Introduction 09:00 - 09:05	OCaml The OCaml Platform 1.0 09:05 - 09:35			OCaml The OCaml Software Foundation 09:35 - 09:45	OCaml This PDF is an OCaml bytecode 09:45 - 09:50			OCaml Abusing Format for fun and profits 10:20 - 10:40		OCaml RFCs, all the way down! 10:40 - 11:00						OCaml The Vecosek Ecosystem 11:20 - 11:40			OCaml OCaml on the ESP32 chip: Well Typed Lightbulbs Await 11:40 - 12:00									OCaml Wall: rendering vector graphics with OCaml and OpenGL 13:30 - 13:50		OCaml Winning on Windows: porting the OCaml platform 13:50 - 14:10					OCaml R&B: Towards bringing functional programming to everyday's web programmer 14:30 - 14:50		OCaml MLExplain 14:50 - 15:10				OCaml Relit: Implementing Typed Literal Macros in Reason 15:30 - 15:50
Illinois Central						Haskell Welcome and Chair's Report 09:00 - 09:05	Haskell Neither Web nor Assembly (Invited Talk) 09:05 - 10:00								Haskell AutoBench: Comparing the Time Performance of Haskell Programs 10:30 - 11:00				Haskell Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System De ... 11:00 - 11:30				Haskell Improving Typeclass Relations by Being Open 11:30 - 12:00											Haskell Rhine: FRP with Type-Level Clocks 13:30 - 14:00			Haskell A High-Performance Multicore IO Manager Based on libuv (Experience Report) 14:00 - 14:30				Haskell Embedding Invertible Languages with Binders: A Case of the FliPpr Language 14:30 - 15:00						Haskell Ghosts of Departed Proofs (Functional Pearl) 15:30 - 16:00
Midway West																											ICFP Catering Thursday lunch 12:00 - 13:30
New York Central				TyDe Welcome! 08:45 - 08:55	TyDe Extended Abstract: F# OpenCL Type Provider 08:55 - 09:15			TyDe Extended Abstract: Comprehending Monoids with Class 09:15 - 09:35		TyDe Authenticated Modular Maps in Haskell 09:35 - 10:00				TyDe Typing, Representing, and Abstracting Control: Functional Pearl 10:20 - 10:45			TyDe Extensible Type-Directed Editing 10:45 - 11:10			TyDe Sums of Products for Mutually Recursive Datatypes: The Appropriationist ... 11:10 - 11:35				TyDe Implementing Resource-Aware Safe Assembly for Kernel Probes as a Depend ... 11:35 - 12:00										TyDe Extrinsic vs Intrinsic Specifications, and Subset Types 13:30 - 14:20						TyDe First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic ... 14:20 - 14:45		TyDe From Algebra to Abstract Machine: A Verified Generic Construction 14:45 - 15:10					TyDe Extended Abstract: Context Constrained Computing 15:30 - 15:50		TyDe Extended Abstract: Improving Error Messages for Dependent Types 15:50 - 16:10
Regency C																																	ICFP Social Events Industrial Reception 17:30 - 19:30
Stifel Theatre																																	ICFP Keynotes and Reports Strange Loop Keynote 16:30 - 17:20
Texas Special						NPFL Daisy - a framework for sound accuracy analysis and optimization of num ... 09:00 - 10:00								NPFL Hasktorch: A Comprehensive Haskell Library for Differentiable Functiona ... 10:20 - 10:50				NPFL APLicative Programming with Naperian Functors 10:50 - 11:20				NPFL Error analysis almost for free 11:20 - 12:00												NPFL A Haskell Interface to Sundials via inline-c 13:30 - 14:00			NPFL On the Calculation of Functions in the Algebra of Physical Space 14:00 - 14:30				NPFL Manifolds as Haskell types 14:30 - 15:10						NPFL Exact Real Arithmetic for Geometric Operations 15:30 - 16:10
Unsessions Room																																	ICFP Social Events Strange Loop Unsessions at Union Station; see Strange Loop website for ... 19:00 - 22:00

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


Room	9:00	15	30	45	10:00	15		30		45	11:00			15			30			45		12:00	15	30	45	13:00		15	30	45			14:00		15		30		45		15:00		15		30		45	16:00	15	30	45	17:00	15	30	45
Burlington Route	Scheme From Scripting to Proving: Gradual Verification with a Scheme 09:00 - 10:00						Scheme Growing Schemes: Twenty Years of Scheme Requests for Implementation 10:20 - 10:40		Scheme Loop Patterns: Extension of Kleene Star Operator for More Powerful Patt ... 10:40 - 11:00						Scheme Temporal Logic, μKanren, and a Time-Traveling RDF Database 11:20 - 11:40				Scheme A Surprisingly Competitive Conditional Operator: miniKanrenizing the In ... 11:40 - 12:00										Scheme Racets: Faceted Execution in Racket 13:30 - 13:50		Scheme An Efficient Compiler for the Gradually Typed Lambda Calculus 13:50 - 14:10						Scheme Schism: A Self-Hosting Scheme to WebAssembly Compiler 14:30 - 14:50			Scheme Tail Calling Between Code Generated by C and Native Backends 14:50 - 15:10					Scheme Rebuilding Racket on Chez Scheme: An Experience Report 15:30 - 16:10
Catering					ICFP Catering Friday coffee break 1 10:00 - 10:20						ICFP Catering Friday coffee break 2 11:00 - 11:20																							ICFP Catering Friday coffee break 3 14:10 - 14:30								ICFP Catering Friday coffee break 4 15:10 - 15:30
Frisco	Scala Cross-Platform Language Design in Scala.js 09:00 - 10:00						Scala Extending Scala with Records: Design, Implementation, and Evaluation 10:20 - 10:42		Scala Initialization Patterns in Dotty 10:42 - 11:05			Scala Path Dependent Types with Path-Equality 11:05 - 11:27				Scala κDOT: Scaling DOT with Mutation and Constructors 11:27 - 11:50					Scala Julia Subtyping Lessons Scala Could Learn (Student Talk) 11:50 - 12:00	Scala Scala with explicit nulls (student talk) 12:00 - 12:10					Scala Garnishing Parsec with Parsley 13:10 - 13:32		Scala Interflow: Interprocedural Flow-Sensitive Type Inference and Method Dup ... 13:32 - 13:55			Scala Parser Combinators for Context-Free Path Querying 13:55 - 14:17			Scala Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typin ... 14:17 - 14:40			Scala Adding polymorphic functions to Scala (Student Talk) 14:40 - 14:50		Scala Validating Changes in Typechecking on Codebases with SemanticDB (Studen ... 14:50 - 15:00				Scala A Domain-specific Language for Microservices 15:20 - 15:42		Scala SemanticDB: a common data model for Scala developer tools 15:42 - 16:10
Illinois Central	Haskell Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern 09:00 - 09:30		Haskell Generic Programming of All Kinds 09:30 - 10:00					Haskell Type Variables in Patterns 10:30 - 11:00			Haskell The Thoralf Plugin: For Your Fancy Type Needs 11:00 - 11:30						Haskell Suggesting Valid Hole Fits for Typed-Holes (Experience Report) 11:30 - 12:00												Haskell A Promise Checked Is a Promise Kept: Inspection Testing 13:30 - 14:00				Haskell Branching Processes for QuickCheck Generators 14:00 - 14:30				Haskell Coherent Explicit Dictionary Application for Haskell 14:30 - 15:00								Haskell Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functi ... 15:30 - 15:59			Haskell Closing Statement 15:59 - 16:00
Midway West																						ICFP Catering Friday lunch 12:00 - 13:30
New York Central	ML ELPI: an extension language with binders and unification variables (Inv ... 09:00 - 10:00						ML Safely Mixing OCaml and Rust 10:20 - 10:45			ML Rust Distilled: An Expressive Tower of Languages 10:45 - 11:10			ML Generating Mutually Recursive Definitions 11:10 - 11:35					ML Experience Report: Type-Safe Multi-Tier Programming with Standard ML Mo ... 11:35 - 12:00											ML ML as a Tactic Language, Again 13:30 - 13:55			ML Design and verification of functional proof checkers 13:55 - 14:20				ML Disornamentation 14:20 - 14:45			ML Generic Programming with Combinators and Objects 14:45 - 15:10						ML Programming with Abstract Algebraic Effects 15:30 - 16:10
Stifel Theatre																																				ICFP Keynotes and Reports Strange Loop Keynote: Machine learning failures - for art! 16:30 - 17:20
Texas Special	ICFP Tutorials T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gra ... 09:00 - 12:00																									ICFP Tutorials T04: Beluga: Programming Proofs About Formal Systems 13:00 - 16:00

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change


Room	8:00	15	30	45	9:00		15	30		45	10:00	15		30	45	11:00		15		30		45	12:00	15	30	45	13:00	15		30	45		14:00		15		30	45		15:00		15	30	45		16:00	15	30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Burlington Route					Erlang Day Openning 09:00 - 09:10	Erlang Invited Keynote -- Distributed Erlang: From Datacenter Applications to ... 09:10 - 10:00							Erlang Latest News from the OTP Team 10:20 - 11:00						Erlang Understanding Formal Specifications through Good Examples 11:20 - 11:45			Erlang Towards Secure Erlang Systems 11:45 - 12:00								Erlang iDeA: An Immersive Debugger for Actors 13:30 - 13:55		Erlang Automatic Detection of Core Erlang Message Passing Errors 13:55 - 14:20				Erlang 10 min Coffee break 14:20 - 14:30	Erlang Modelling Distributed Erlang within a Single Node 14:30 - 14:55		Erlang Modeling Erlang Processes as Petri Nets 14:55 - 15:10				Erlang Typing the Wild in Erlang 15:30 - 15:55		Erlang Farewell & Closing 15:55 - 16:10
Catering											ICFP Catering Saturday coffee break 1 10:00 - 10:20					ICFP Catering Saturday coffee break 2 11:00 - 11:20																		ICFP Catering Saturday coffee break 3 14:10 - 14:30							ICFP Catering Saturday coffee break 4 15:10 - 15:30
Frisco					ICFP Tutorials T06: Getting Satisfaction out of Games: Learning to use SAT solvers thr ... 09:00 - 12:00																						ICFP Tutorials T09: Pijul, a purely functional version control system. 13:00 - 16:00
Jeffersonian+Knickerbocker					FARM Welcome 09:00 - 09:10	FARM NNdef: Livecoding Digital Musical Instruments in SuperCollider using Fu ... 09:10 - 09:35			FARM La Habra — Livecoding with Clojurescript 09:35 - 10:00				FARM Compositional Computational Constructive Critique: Or, How My Computer ... 10:20 - 10:45		FARM Chord Progressions in Haskell 10:45 - 11:10		FARM Pattern-Based Algorithmic Music with Euterpea 11:10 - 11:35				FARM GAYER: A Graphical Audio plaYER in ReasonML 11:35 - 12:00									FARM Programming-by-Example for Audio: Synthesizing Digital Signal Processin ... 13:30 - 13:55		FARM Call For Collaboration: The Vecosek Ecosystem 13:55 - 14:20				FARM Musical Steganography: Hiding Things in Music 14:20 - 14:45		FARM (Ab)using a monadic screen-presentation EDSL as a just-intonation synth ... 14:45 - 15:10					FARM Abstract Nonsense 15:30 - 15:55		FARM Closing 15:55 - 16:10
New York Central				FHPC Welcome and Introductions 08:45 - 09:00	FHPC HELIX: A Case Study of a Formal Verification of High Performance Progr ... 09:00 - 10:00								FHPC Modular Acceleration: Tricky Cases of Functional High-Performance Comp ... 10:20 - 11:20						FHPC Preventing Data Races with Refinement Types 11:20 - 12:05											FHPC An Efficient Compiler for Recursive Functions on Mostly-Serialized Data 13:30 - 14:15					FHPC Comparing strategies for lightweight threading based on continuations 14:15 - 15:00								FHPC Optimizing Data Parallelism with Linear Programming in Nessie 15:30 - 16:15				FHPC Optional Discussion 16:15 - 17:00
Pegram																							ICFP Catering Saturday lunch 12:00 - 13:30
Texas Special					ICFP Tutorials T07: Writing a chat system in Pony 09:00 - 12:00																						ICFP Tutorials T10: Hop.js: JavaScript multitier programming 13:00 - 16:00
The Luminary																													ICFP Social Events FARM Evening of Algorithmic Arts 19:30 - 21:30
Wabash Cannonball					ICFP Tutorials T05: Purely functional UIs with Reacl 09:00 - 12:00																						ICFP Tutorials T08: Implement your own reactive language: the ReactiveML experiment 13:00 - 16:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

ICFP 2018 Program

Filter Program

Program Display Configuration

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

Tue 25 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Sat 29 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Catering

Catering

Catering

Catering

HOPE

HOPE

HOPE

HOPE

HOPE

HOPE

Catering

HIW

HIW

HIW

HIW

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

Mon 24 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Catering

Catering

Catering

Catering

Social Events

Social Events

Keynotes and Reports

Keynotes and Reports

Research Papers

Research Papers

Research Papers

Research Papers

Keynotes and Reports

Tue 25 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Catering

Catering

Catering

Catering

Keynotes and Reports

Research Papers

Keynotes and Reports

Research Papers

Research Papers

Student Research Competition

Programming Contest

Wed 26 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Catering

Catering

Catering

Catering

Catering

Social Events

Keynotes and Reports

Research Papers

Research Papers

Research Papers

Research Papers

Keynotes and Reports

Keynotes and Reports

Thu 27 Sep Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tutorials

Tutorials

Catering

Catering

Catering

Catering

OCaml

OCaml

OCaml

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

Tue 25 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Tue 25 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change