New York Central -

VenueUnion Station Hilton

Room nameNew York Central

Floor0

Room InformationNo extra information available

Program

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


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


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


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


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


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


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


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


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

Room information: New York Central

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

TyDe

TyDe

TyDe

TyDe

TyDe

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

ML

ML

ML

ML

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

FHPC

FHPC

FHPC

FHPC

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Room information: New York Central

Program Display Configuration

Sun 23 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

TyDe

TyDe

TyDe

TyDe

TyDe

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

ML

ML

ML

ML

Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

FHPC

FHPC

FHPC

FHPC

Sun 23 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change