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

Room information: New York Central

VenueUnion Station Hilton
Room nameNew York Central
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

Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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 Polikarpova University of California, San Diego
09:30
30m
Talk
Gradual Types
PLMW @ ICFP
Ronald Garcia University of British Columbia
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 Miller Carnegie Mellon University
10:50
70m
Social Event
Interactive Game
PLMW @ ICFP
Joachim Breitner DFINITY Foundation, Niki Vazou University of Maryland, USA
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 Jones Microsoft, UK
14:03
33m
Talk
Dependent Types
PLMW @ ICFP
Stephanie Weirich University of Pennsylvania, USA
14:36
34m
Talk
An opinionated talk on how to give talks
PLMW @ ICFP
Ranjit Jhala University of California, San Diego
15:30 - 16:30
Session 4PLMW @ ICFP at New York Central
15:30
60m
Talk
Panel Discussion: Research in Functional Programming
PLMW @ ICFP
Alejandro Russo Chalmers University of Technology, Sweden, Katie Ots Facebook, Leonidas Lampropoulos University of Pennsylvania, David Darais University of Vermont, Ivan Perez National Institute of Aerospace, USA

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 10:00
Applications and MonoidsTyDe at New York Central
Chair(s): Daan Leijen Microsoft Research, USA
08:45
10m
Talk
Welcome!
TyDe
Richard A. Eisenberg Bryn Mawr College, USA, Niki Vazou University of Maryland, USA
08:55
20m
Talk
Extended Abstract: F# OpenCL Type Provider
TyDe
Kirill Smirenko Saint Petersburg State University, Semyon Grigorev Saint-Petersburg State University, JetBrains Research
File Attached
09:15
20m
Talk
Extended Abstract: Comprehending Monoids with Class
TyDe
Lionel Parreaux EPFL, Christoph E. Koch EPFL
Media Attached File Attached
09:35
25m
Research paper
Authenticated Modular Maps in Haskell
TyDe
Victor Cacciari Miraldo Utrecht University, Netherlands, Harold Carr Oracle Labs, USA, Alex Kogan Oracle Labs, USA, Mark Moir Oracle Labs, New Zealand, Maurice Herlihy Brown University, USA
DOI
10:20 - 12:00
TypesTyDe at New York Central
Chair(s): Richard A. Eisenberg Bryn Mawr College, USA
10:20
25m
Research paper
Typing, Representing, and Abstracting Control: Functional Pearl
TyDe
Philipp Schuster University of Tübingen, Germany, Jonathan Immanuel Brachthäuser University of Tübingen, Germany
DOI
10:45
25m
Research paper
Extensible Type-Directed Editing
TyDe
Joomy Korkut Wesleyan University, USA, David Thrane Christiansen Galois, USA
DOI
11:10
25m
Research paper
Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming
TyDe
Victor Cacciari Miraldo Utrecht University, Netherlands, Alejandro Serrano Utrecht University, Netherlands
DOI
11:35
25m
Research paper
Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL
TyDe
Ilya Yanok USI Lugano, Switzerland, Nate Nystrom USI Lugano, Switzerland
DOI
13:30 - 14:20
KeynoteTyDe at New York Central
Chair(s): Niki Vazou University of Maryland, USA
13:30
50m
Talk
Extrinsic vs Intrinsic Specifications, and Subset Types
TyDe
K. Rustan M. Leino Amazon
14:20 - 15:10
Effect Handlers & Abstract MachineTyDe at New York Central
Chair(s): Niki Vazou University of Maryland, USA
14:20
25m
Research paper
First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers
TyDe
Daan Leijen Microsoft Research, USA
DOI
14:45
25m
Research paper
From Algebra to Abstract Machine: A Verified Generic Construction
TyDe
Carlos Tomé Cortiñas Utrecht University, Netherlands, Wouter Swierstra Utrecht University, Netherlands
DOI
15:30 - 16:10
Error Messages & ContextsTyDe at New York Central
Chair(s): David Darais University of Vermont
15:30
20m
Talk
Extended Abstract: Context Constrained Computing
TyDe
Robert Atkey University of Strathclyde, James Wood University of Strathclyde
File Attached
15:50
20m
Talk
Extended Abstract: Improving Error Messages for Dependent Types
TyDe
Joseph Eremondi University of British Columbia, Wouter Swierstra Utrecht University, Netherlands, Jurriaan Hage Utrecht University
File Attached

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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 Tassi INRIA
10:20 - 12:00
Session 1ML at New York Central
10:20
25m
Talk
Safely Mixing OCaml and Rust
ML
Stephen Dolan University of Cambridge
10:45
25m
Talk
Rust Distilled: An Expressive Tower of Languages
ML
Aaron Weiss Northeastern University, Daniel Patterson Northeastern University, Amal Ahmed Northeastern University, USA
Link to publication Pre-print
11:10
25m
Talk
Generating Mutually Recursive Definitions
ML
Jeremy Yallop University of Cambridge, UK, Oleg Kiselyov
Pre-print
11:35
25m
Talk
Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules
ML
Martin Elsman University of Copenhagen, Denmark, Philip Munksgaard Intelligent Alpha AG, Switzerland, Ken Friis Larsen DIKU, University of Copenhagen
Link to publication
13:30 - 15:10
Session 2ML at New York Central
13:30
25m
Talk
ML as a Tactic Language, Again
ML
Guido Martínez CIFASIS-CONICET, Argentina, Danel Ahman University of Ljubljana, Victor Dumitrescu , Nick Giannarakis Princeton University, Chris Hawblitzel Microsoft Research, Cătălin Hriţcu Inria Paris, Monal Narasimhamurthy , Zoe Paraskevopoulou Princeton University, Clément Pit-Claudel MIT CSAIL, Jonathan Protzenko Microsoft Research, Redmond, Tahina Ramananandro Microsoft Research, n.n., Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research
File Attached
13:55
25m
Talk
Design and verification of functional proof checkers
ML
Roberto Blanco Inria
14:20
25m
Talk
Disornamentation
ML
Lucas Baudin INRIA, Didier Rémy Inria
14:45
25m
Talk
Generic Programming with Combinators and Objects
ML
Dmitrii Kosarev , Dmitri Boulytchev
15:30 - 16:10
Session 3ML at New York Central
15:30
40m
Talk
Programming with Abstract Algebraic Effects
ML
Dariusz Biernacki University of Wrocław, Maciej Piróg University of Wrocław, Piotr Polesiuk University of Wrocław, Filip Sieczkowski University of Wrocław

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 10:00
Morning Session 1FHPC at New York Central
Chair(s): Kei Davis Los Alamos National Laboratory
08:45
15m
Day opening
Welcome and Introductions
FHPC
C: Kei Davis Los 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 Zaliva Carnegie Mellon University, USA, A: Franz Franchetti Carnegie Mellon University, USA
DOI
10:20 - 12:15
Morning Session 2FHPC at New York Central
Chair(s): Kei Davis Los Alamos National Laboratory
10:20
60m
Talk
Modular Acceleration: Tricky Cases of Functional High-Performance Computing
FHPC
A: Troels Henriksen University of Copenhagen, Denmark, A: Martin Elsman University of Copenhagen, Denmark, A: Cosmin Oancea University of Copenhagen, Denmark
DOI
11:20
45m
Talk
Preventing Data Races with Refinement Types
FHPC
A: George Stelle
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 Vollmer Indiana University, USA, A: Chaitanya S. Koparkar Indiana University, A: Laith Sakka Purdue University, A: Milind Kulkarni Purdue University, A: Ryan R. Newton Indiana University
14:15
45m
Talk
Comparing strategies for lightweight threading based on continuations
FHPC
A: Kavon Farvardin University of Chicago, A: John Reppy University of Chicago
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 Reppy University of Chicago
16:15
45m
Day closing
Optional Discussion
FHPC
C: Kei Davis Los Alamos National Laboratory, C: Mike Rainey

Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
New York Central

PLMW @ ICFP

Session 1

PLMW @ ICFP

Session 2

PLMW @ ICFP

Session 3

PLMW @ ICFP

Session 4

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
New York Central

TyDe

Applications and Monoids

TyDe

Types

TyDe

Keynote

TyDe

Effect Handlers & Abstract Machine

TyDe

Error Messages & Contexts

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
New York Central

ML

Invited talk

ML

Session 1

ML

Session 2

ML

Session 3

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
New York Central

FHPC

Morning Session 1

FHPC

Morning Session 2

FHPC

Afternoon Session 1

FHPC

Afternoon Session 2

Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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