Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
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

Conference Day
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 PolikarpovaUniversity of California, San Diego
09:30
30m
Talk
Gradual Types
PLMW @ ICFP
Ronald GarciaUniversity 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 MillerCarnegie Mellon University
10:50
70m
Social Event
Interactive Game
PLMW @ ICFP
Joachim BreitnerDFINITY Foundation, Niki VazouUniversity of Maryland, USA
13:30 - 15:10
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
15:30 - 16:30
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

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

Conference Day
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 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
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
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 BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław

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

Conference Day
Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Conference Day
Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change