Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameNew York Central
Floor0
Additional informationThere is no additional information of this room 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
PLMW @ ICFP
Nadia PolikarpovaUniversity of California, San Diego
09:30 - 10:00
Talk
PLMW @ ICFP
Ronald GarciaUniversity of British Columbia
10:20 - 12:00: Session 2PLMW @ ICFP at New York Central
10:20 - 10:50
Talk
PLMW @ ICFP
Heather MillerCarnegie Mellon University
10:50 - 12:00
Social Event
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
PLMW @ ICFP
Simon Peyton JonesMicrosoft, UK
14:03 - 14:36
Talk
PLMW @ ICFP
Stephanie WeirichUniversity of Pennsylvania, USA
14:36 - 15:10
Talk
PLMW @ ICFP
Ranjit JhalaUniversity of California, San Diego
15:30 - 16:30: Session 4PLMW @ ICFP at New York Central
15:30 - 16:30
Talk
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
TyDe
Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA
08:55 - 09:15
Talk
TyDe
Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research
File Attached
09:15 - 09:35
Talk
TyDe
Media Attached File Attached
09:35 - 10:00
Research paper
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
TyDe
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
DOI
10:45 - 11:10
Research paper
TyDe
Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA
DOI
11:10 - 11:35
Research paper
TyDe
Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands
DOI
11:35 - 12:00
Research paper
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
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
TyDe
Daan LeijenMicrosoft Research, USA
DOI
14:45 - 15:10
Research paper
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
TyDe
Robert AtkeyUniversity of Strathclyde, James WoodUniversity of Strathclyde
File Attached
15:50 - 16:10
Talk
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
ML
Stephen DolanUniversity of Cambridge
10:45 - 11:10
Talk
ML
Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
Link to publication Pre-print
11:10 - 11:35
Talk
ML
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
Pre-print
11:35 - 12:00
Talk
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
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
ML
14:20 - 14:45
Talk
ML
14:45 - 15:10
Talk
ML
15:30 - 16:10: Session 3ML at New York Central
15:30 - 16:10
Talk
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
FHPC
C: Kei DavisLos Alamos National Laboratory, C: Mike Rainey
09:00 - 10:00
Talk
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
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
FHPC
13:30 - 15:10: Afternoon Session 1FHPC at New York Central
Chair(s): Mike Rainey
13:30 - 14:15
Talk
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
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
FHPC
A: Joseph Wingerter, A: John ReppyUniversity of Chicago
16:15 - 17:00
Day closing
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