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

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session 1PLMW @ ICFP at New York Central
09:00 - 09:30
Talk
What an SMT solver can do for you
PLMW @ ICFP
Nadia PolikarpovaUniversity of California, San Diego
09:30 - 10:00
Talk
Gradual Types
PLMW @ ICFP
Ronald GarciaUniversity of British Columbia
10:20 - 12:00: Session 2PLMW @ ICFP at New York Central
10:20 - 10:50
Talk
I'm a Young Assistant Professor: AMA. + Heather's Unsolicited Advice About Grad School
PLMW @ ICFP
Heather MillerCarnegie Mellon University
10:50 - 12:00
Social Event
Interactive Game
PLMW @ ICFP
Joachim BreitnerDFINITY Foundation, Niki VazouUniversity of Maryland, USA
13:30 - 15:10: Session 3PLMW @ ICFP at New York Central
13:30 - 14:03
Talk
How to write a Great Research Paper
PLMW @ ICFP
Simon Peyton JonesMicrosoft, UK
14:03 - 14:36
Talk
Dependent Types
PLMW @ ICFP
Stephanie WeirichUniversity of Pennsylvania, USA
14:36 - 15:10
Talk
An opinionated talk on how to give talks
PLMW @ ICFP
Ranjit JhalaUniversity of California, San Diego
15:30 - 16:30: Session 4PLMW @ ICFP at New York Central
15:30 - 16:30
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

Thu 27 Sep
Times are displayed in 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 - 08:55
Talk
Welcome!
TyDe
Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA
08:55 - 09:15
Talk
Extended Abstract: F# OpenCL Type Provider
TyDe
Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research
File Attached
09:15 - 09:35
Talk
Extended Abstract: Comprehending Monoids with Class
TyDe
Media Attached File Attached
09:35 - 10:00
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 - 10:45
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 - 11:10
Research paper
Extensible Type-Directed Editing
TyDe
Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA
DOI
11:10 - 11:35
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 - 12:00
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 - 14:20
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 - 14:45
Research paper
First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers
TyDe
Daan LeijenMicrosoft Research, USA
DOI
14:45 - 15:10
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 - 15:50
Talk
Extended Abstract: Context Constrained Computing
TyDe
Robert AtkeyUniversity of Strathclyde, James WoodUniversity of Strathclyde
File Attached
15:50 - 16:10
Talk
Extended Abstract: Improving Error Messages for Dependent Types
TyDe
Joseph EremondiUniversity of British Columbia, Wouter SwierstraUtrecht University, Netherlands, Jurriaan HageUtrecht University
File Attached

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:20 - 12:00: Session 1ML at New York Central
10:20 - 10:45
Talk
Safely Mixing OCaml and Rust
ML
Stephen DolanUniversity of Cambridge
10:45 - 11:10
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 - 11:35
Talk
Generating Mutually Recursive Definitions
ML
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
Pre-print
11:35 - 12:00
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 - 13:55
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 - 14:20
Talk
Design and verification of functional proof checkers
ML
14:20 - 14:45
Talk
Disornamentation
ML
14:45 - 15:10
Talk
Generic Programming with Combinators and Objects
ML
15:30 - 16:10: Session 3ML at New York Central
15:30 - 16:10
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

Sat 29 Sep
Times are displayed in 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 - 09:00
Day opening
Welcome and Introductions
FHPC
C: Kei DavisLos Alamos National Laboratory, C: Mike Rainey
09:00 - 10:00
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 - 11:20
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 - 12:05
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 - 14:15
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 - 15:00
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 - 16:15
Talk
Optimizing Data Parallelism with Linear Programming in Nessie
FHPC
A: Joseph Wingerter, A: John ReppyUniversity of Chicago
16:15 - 17:00
Day closing
Optional Discussion
FHPC
C: Kei DavisLos Alamos National Laboratory, C: Mike Rainey

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change