Write a Blog >>
Scala 2018
Fri 28 Sep 2018 St. Louis, Missouri, United States
co-located with ICFP 2018
ICFP 2018 (series) / Scala 2018 (series) / Stifel Theatre /

Room information: Stifel Theatre

VenueStifel Theatre
Room nameStifel Theatre
Floor0
Room InformationNo extra information available
Program

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

Mon 24 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Monday KeynoteICFP Keynotes and Reports at Stifel Theatre
Chair(s): Robert Bruce Findler Northwestern University, USA
09:00
60m
Talk
Gradual Typing
ICFP Keynotes and Reports
Ronald Garcia University of British Columbia
10:30 - 12:00
Environments and ToolsICFP Research Papers at Stifel Theatre
Chair(s): Alejandro Russo Chalmers University of Technology, Sweden
10:30
22m
Talk
Build Systems à la CarteDistinguished Paper
ICFP Research Papers
Andrey Mokhov Newcastle University, UK, Neil Mitchell , Simon Peyton Jones Microsoft, UK
DOI
10:52
22m
Talk
Keep Your Laziness in Check
ICFP Research Papers
Kenneth Foner , Hengchu Zhang University of Pennsylvania, Leonidas Lampropoulos University of Pennsylvania
DOI
11:15
22m
Talk
Merlin: A Language Server for OCaml (Experience Report)
ICFP Research Papers
Frédéric Bour Facebook Paris, Thomas Réfis , Gabriel Scherer INRIA Saclay
DOI
11:37
22m
Talk
Functional Programming for Compiling and Decompiling Computer-Aided Design
ICFP Research Papers
Chandrakana Nandi University of Washington, USA, James R. Wilcox University of Washington, Taylor Blau University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington, Seattle
DOI
13:00 - 14:30
Program ConstructionICFP Research Papers at Stifel Theatre
Chair(s): J. Garrett Morris University of Kansas, USA
13:00
22m
Talk
Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam
ICFP Research Papers
Antonis Stampoulis Originate Inc., Adam Chlipala Massachusetts Institute of Technology, USA
DOI
13:22
22m
Talk
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
ICFP Research Papers
Guillaume Allais Radboud University Nijmegen, Robert Atkey University of Strathclyde, James Chapman , Conor McBride , James McKinna
DOI
13:45
22m
Talk
Reasonably Programmable Literal Notation
ICFP Research Papers
Cyrus Omar University of Chicago, Jonathan Aldrich Carnegie Mellon University
Link to publication DOI
14:07
22m
Talk
Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
ICFP Research Papers
Guannan Wei Purdue University, James Decker , Tiark Rompf Purdue University
DOI
15:00 - 16:10
Continuations and EffectsICFP Research Papers at Stifel Theatre
Chair(s): Martin Elsman University of Copenhagen, Denmark
15:00
23m
Talk
Capturing the Future by Replaying the Past (Functional Pearl)
ICFP Research Papers
James Koppel MIT, Gabriel Scherer INRIA Saclay, Armando Solar-Lezama MIT CSAIL
DOI
15:23
23m
Talk
Handling Delimited Continuations with Dependent Types
ICFP Research Papers
Youyou Cong Ochanomizu University, Japan, Kenichi Asai Ochanomizu University
DOI
15:46
23m
Talk
Versatile Event Correlation with Algebraic Effects
ICFP Research Papers
Oliver Bračevac TU Darmstadt, Nada Amin University of Cambridge, Guido Salvaneschi TU Darmstadt, Sebastian Erdweg Delft University of Technology, Netherlands, Patrick Eugster Purdue University, Mira Mezini TU Darmstadt
DOI
16:40 - 18:10
Probabilistic Programming and LearningICFP Research Papers at Stifel Theatre
Chair(s): Michael Sperber Active Group GmbH
16:40
22m
Talk
The Simple Essence of Automatic DifferentiationDistinguished Paper
ICFP Research Papers
Conal Elliott Target, USA
DOI
17:02
22m
Talk
Functional Programming for Modular Bayesian Inference
ICFP Research Papers
Adam Ścibior University of Cambridge and MPI Tuebingen, Ohad Kammar University of Oxford, Zoubin Ghahramani University of Cambridge
DOI
17:25
22m
Talk
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
ICFP Research Papers
Mitchell Wand Northeastern University, USA, Ryan Culpepper Czech Technical University, Theophilos Giannakopoulos BAE Systems, Inc., Andrew Cobb Northeastern University
DOI
17:47
22m
Talk
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
ICFP Research Papers
José Bacelar Almeira University of Minho & INESC TEC, Alcino Cunha University of Minho and INESC TEC, Portugal, Nuno Macedo University of Minho & INESC TEC, Hugo Pacheco University of Minho, Portugal, José Proença HASLab/INESC TEC & University of Minho
DOI

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Wed 26 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:30 - 17:20
Strange Loop KeynoteICFP Keynotes and Reports at Stifel Theatre
16:30
50m
Talk
Strange Loop Keynote
ICFP Keynotes and Reports
S: Erica Joy Baker

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Mon 24 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

ICFP Keynotes and Reports

Monday Keynote

ICFP Keynotes and Reports

ICFP Research Papers

Environments and Tools

ICFP Research Papers

Program Construction

ICFP Research Papers

Continuations and Effects

ICFP Research Papers

Probabilistic Programming and Learning

ICFP Keynotes and Reports

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

ICFP Keynotes and Reports

Tuesday Keynote

ICFP Research Papers

Compilation and Concurrency

ICFP Keynotes and Reports

Report on ICFP and Climate Change

ICFP Research Papers

Proof Techniques and Mechanization

ICFP Research Papers

Bidirectional Programming

ICFP Student Research Competition

Finalist Presentations

ICFP Programming Contest

Contest Report and Results

Wed 26 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

ICFP Keynotes and Reports

Wednesday Keynote

ICFP Research Papers

Semantics

ICFP Research Papers

Gradual Typing and Proving

ICFP Research Papers

Complexity and Bounds

ICFP Research Papers

Dependent Types

ICFP Keynotes and Reports

Closing Events

ICFP Keynotes and Reports

Student Research Competition Awards
17:30 - 17:40

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room16:003017:0030
Stifel Theatre

ICFP Keynotes and Reports

Strange Loop Keynote

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room16:003017:0030
Stifel Theatre

ICFP Keynotes and Reports

Strange Loop Keynote

Mon 24 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Wed 26 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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