NPFL 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
co-located with ICFP 2018
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
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
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
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
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
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
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

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
14:20
25m
Talk
Disornamentation
ML
14:45
25m
Talk
Generic Programming with Combinators and Objects
ML
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
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

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change