Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
ICFP 2016 (series) /

ICFP 2016 Program

Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 18 Sep

hope-2016-papers
09:10 - 10:15: HOPE - Welcome and Invited Talk at Conference Room 3
hope-2016-papers147418260000009:10 - 09:15
Day opening
Lars BirkedalAarhus University, Denmark, Aleksandar NanevskiIMDEA Software Institute
hope-2016-papers147418290000009:15 - 10:15
Talk
Leo WhiteJane Street
PLMW-ICFP-2016
09:15 - 10:15: PLMW - 1 at Conference Room 5
Chair(s): Amal AhmedNortheastern University
PLMW-ICFP-2016147418290000009:15 - 09:45
Talk
Kathleen FisherTufts University
Media Attached File Attached
PLMW-ICFP-2016147418470000009:45 - 10:15
Talk
Aaron TuronMPI-SWS
scheme-2016-papers
09:15 - 10:15: Scheme - Invited Talk at Conference Room 2
scheme-2016-papers147418290000009:15 - 09:25
Day opening
Alex ShinnIndeed.com
scheme-2016-papers147418350000009:25 - 10:15
Talk
Magnus O. MyreenChalmers University of Technology, Sweden
tyde-2016-papers
09:15 - 10:15: TyDe - Session One at Conference Room 1
tyde-2016-papers147418290000009:15 - 09:35
Day opening
tyde-2016-papers147418410000009:35 - 09:55
Talk
Jeremy GibbonsUniversity of Oxford, UK
tyde-2016-papers147418530000009:55 - 10:15
Talk
Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner
PLMW-ICFP-2016
10:45 - 12:15: PLMW - 2 at Conference Room 5
Chair(s): Amal AhmedNortheastern University
PLMW-ICFP-2016147418830000010:45 - 11:30
Talk
David Van HornUniversity of Maryland, USA
Link to publication
PLMW-ICFP-2016147419100000011:30 - 12:15
Talk
Philip WadlerUniversity of Edinburgh
File Attached
scheme-2016-papers
10:45 - 12:15: Scheme - Scheming at Conference Room 2
scheme-2016-papers147418830000010:45 - 11:15
Talk
Takashi Kato
scheme-2016-papers147419010000011:15 - 11:45
Talk
Atsuro Hoshino
scheme-2016-papers147419190000011:45 - 12:15
Talk
Daniel SzmulewiczNone
hope-2016-papers
10:45 - 12:15: HOPE - Session 1 (Effects) at Conference Room 3
hope-2016-papers147418830000010:45 - 11:15
Talk
Fengyun LiuEPFL, Nicolas StuckiEPFL, LAMP, Sandro StuckiEPFL, Nada AminEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
hope-2016-papers147419010000011:15 - 11:45
Talk
Morten Krogh-JespersenAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Denmark
hope-2016-papers147419190000011:45 - 12:15
Talk
Amin Timany, Bart JacobsiMinds - Distrinet, KU Leuven
tyde-2016-papers
10:45 - 12:15: TyDe - Session Two at Conference Room 1
tyde-2016-papers147418830000010:45 - 11:15
Talk
Marco Vassena
tyde-2016-papers147419010000011:15 - 11:35
Talk
Peter-Michael OseraGrinnell College
tyde-2016-papers147419130000011:35 - 11:55
Talk
David Kaloper-Meršinjak, Jeremy YallopUniversity of Cambridge, UK
tyde-2016-papers147419250000011:55 - 12:15
Talk
James McKinna
PLMW-ICFP-2016
14:00 - 15:00: PLMW - 3 at Conference Room 5
Chair(s): Robby FindlerNorthwestern University
PLMW-ICFP-2016147420000000014:00 - 14:30
Talk
Sukyoung RyuKAIST
File Attached
PLMW-ICFP-2016147420180000014:30 - 15:00
Talk
Dan LicataWesleyan University
Link to publication
scheme-2016-papers
14:00 - 15:00: Scheme - Invited Talk at Conference Room 2
scheme-2016-papers147420000000014:00 - 14:20
Talk
scheme-2016-papers147420120000014:20 - 15:00
Talk
Ludovic CourtèsINRIA
hope-2016-papers
14:00 - 15:00: HOPE - Session 2 (Verification) at Conference Room 3
hope-2016-papers147420000000014:00 - 14:30
Talk
Germán Andrés DelbiancoIMDEA Software Institute, Ilya SergeyUniversity College London, UK, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
hope-2016-papers147420180000014:30 - 15:00
Talk
William J. BowmanNortheastern University
tyde-2016-papers
14:00 - 15:00: TyDe - Session Three at Conference Room 1
tyde-2016-papers147420000000014:00 - 14:30
Talk
Liam O'ConnorUNSW, Australia
tyde-2016-papers147420180000014:30 - 15:00
Talk
Daniel Hillerström, Sam LindleyUniversity of Edinburgh, UK
PLMW-ICFP-2016
15:30 - 16:30: PLMW - 4 at Conference Room 5
Chair(s): Atsushi IgarashiKyoto University
PLMW-ICFP-2016147420540000015:30 - 16:00
Talk
Akimasa MorihataUniversity of Tokyo, Japan
File Attached
PLMW-ICFP-2016147420720000016:00 - 16:30
Talk
Derek DreyerMPI-SWS, Germany
File Attached
scheme-2016-papers
15:30 - 16:30: Scheme - Functional Programming at Conference Room 2
scheme-2016-papers147420540000015:30 - 16:00
Talk
Yuheng Xie
scheme-2016-papers147420720000016:00 - 16:30
Talk
Mu Lei
hope-2016-papers
15:30 - 16:30: HOPE - Session 3 (Compilation) at Conference Room 3
hope-2016-papers147420540000015:30 - 16:00
Talk
Daan LeijenMicrosoft Research
Link to publication
hope-2016-papers147420720000016:00 - 16:30
Talk
Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, UK
tyde-2016-papers
15:30 - 16:30: TyDe - Session Four at Conference Room 1
tyde-2016-papers147420540000015:30 - 16:00
Talk
Bashar Igried Deb Alkhawaldeh, Anton Setzer
tyde-2016-papers147420720000016:00 - 16:30
Talk
Larry Diehl, Tim SheardPortland State University
PLMW-ICFP-2016
17:00 - 18:00: PLMW - 5 at Conference Room 5
Chair(s): Atsushi IgarashiKyoto University
PLMW-ICFP-2016147421080000017:00 - 17:30
Talk
Kenichi AsaiOchanomizu University
File Attached
PLMW-ICFP-2016147421260000017:30 - 18:00
Talk
John HughesChalmers University of Technology
scheme-2016-papers
17:00 - 18:00: Scheme - Scheming at Conference Room 2
scheme-2016-papers147421080000017:00 - 17:30
Talk
Dakota Fisher, Matthew HammerUniversity of Colorado, Boulder, William E. ByrdUniversity of Utah, Matthew MightUniversity of Utah, USA
scheme-2016-papers147421260000017:30 - 18:00
Talk
Jason HemannIndiana University, Daniel FriedmanIndiana University
hope-2016-papers
17:00 - 17:30: HOPE - Session 4 (Semantics) at Conference Room 3
hope-2016-papers147421080000017:00 - 17:30
Talk
Ohad Kammar, Sean K. Moss
tyde-2016-papers
17:00 - 18:00: TyDe - Session Five at Conference Room 1
tyde-2016-papers147421080000017:00 - 17:20
Talk
Oleg KiselyovTohoku University
tyde-2016-papers147421200000017:20 - 17:40
Talk
Patrik JanssonChalmers University of Technology, Adam Sandberg Eriksson
Pre-print

Mon 19 Sep

icfp-2016-keynote-talks
09:15 - 10:15: Keynote Talks - Keynote 1 at Noh Theater
Chair(s): Eijiro SumiiTohoku University
icfp-2016-keynote-talks147426930000009:15 - 10:15
Talk
Martin AbadiGoogle
icfp-2016-papers
10:45 - 12:25: Research Papers - Session 1 at Noh Theater
Chair(s): Akimasa MorihataUniversity of Tokyo, Japan
icfp-2016-papers147427470000010:45 - 11:10
Talk
David CastroUniversity of St. Andrews, UK, Kevin HammondUniversity of St. Andrews, UK, Susmit SarkarUniversity of St. Andrews, UK
DOI
icfp-2016-papers147427620000011:10 - 11:35
Talk
Umut AcarCarnegie Mellon University, Arthur CharguéraudInria, France, Mike RaineyInria, France, Filip SieczkowskiInria, France
DOI
icfp-2016-papers147427770000011:35 - 12:00
Talk
Johannes BorgströmUppsala University, Sweden, Ugo Dal LagoUniversity of Bologna, France, Andrew D. GordonMicrosoft Research, UK, Marcin SzymczakUniversity of Edinburgh, UK
DOI
icfp-2016-papers147427920000012:00 - 12:25
Talk
Wazim Mohammed IsmailIndiana University, USA, Chung-chieh ShanIndiana University, USA
DOI
icfp-2016-papers
13:40 - 14:55: Research Papers - Session 2 at Noh Theater
Chair(s): Kathleen FisherTufts University
icfp-2016-papers147428520000013:40 - 14:05
Talk
Yong Kiam TanIHPC at A*STAR, Singapore, Magnus O. MyreenChalmers University of Technology, Sweden, Ramana KumarData61 at CSIRO, Australia, Anthony FoxUniversity of Cambridge, UK, Scott OwensUniversity of Kent, UK, Michael NorrishData61 at CSIRO, Australia
DOI
icfp-2016-papers147428670000014:05 - 14:30
Talk
Paul DownenUniversity of Oregon, USA, Luke MaurerUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, UK
DOI
icfp-2016-papers147428820000014:30 - 14:55
Talk
Liam O'ConnorUNSW, Australia, Zilin ChenUNSW, Australia, Christine RizkallahUniversity of Pennsylvania, USA, Sidney AmaniUNSW, Australia, Japheth LimData61, Australia, Toby MurrayUniversity of Melbourne, Australia, Yutaka NagashimaData61, Australia, Thomas SewellUNSW, Australia, Gerwin KleinUNSW, Australia
DOI
icfp-2016-papers
15:15 - 16:30: Research Papers - Session 3 at Noh Theater
Chair(s): Neelakantan R. KrishnaswamiUniversity of Birmingham, UK
icfp-2016-papers147429090000015:15 - 15:40
Talk
Max NewNortheastern University, William J. BowmanNortheastern University, Amal AhmedNortheastern University
DOI
icfp-2016-papers147429240000015:40 - 16:05
Talk
Christos DimoulasHarvard University, Max NewNortheastern University, Robby FindlerNorthwestern University, Matthias FelleisenNortheastern University
DOI
icfp-2016-papers147429390000016:05 - 16:30
Talk
Ezgi ÇiçekMPI-SWS, Germany, Zoe ParaskevopoulouPrinceton University, USA, Deepak GargMPI-SWS, Germany
DOI
icfp-2016-papers
17:00 - 18:15: Research Papers - Session 4 at Noh Theater
Chair(s): Tom SchrijversKU Leuven
icfp-2016-papers147429720000017:00 - 17:25
Talk
Kotaro TakedaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Kazuya YaguchiTohoku University, Japan, Ayumi ShinoharaTohoku University, Japan
DOI
icfp-2016-papers147429870000017:25 - 17:50
Talk
Shin-Cheng MuAcademia Sinica, Taiwan, Yu-Hsi ChiangNational Taiwan University, Taiwan, Yu-Han LyuDartmouth College, USA
DOI
icfp-2016-papers147430020000017:50 - 18:15
Talk
Jan ChristiansenFlensburg University of Applied Sciences, Germany, Nikita DanilenkoUniversity of Kiel, Germany, Sandra DylusUniversity of Kiel, Germany
DOI
icfp-2016-reception
18:30 - 20:30: Receptions - Welcome Reception with SRC Posters at Reception Hall 1
icfp-2016-reception147430260000018:30 - 20:30
Social Event

Tue 20 Sep

icfp-2016-keynote-talks
09:15 - 10:15: Keynote Talks - Keynote 2 at Noh Theater
Chair(s): Gabriele KellerUniversity of New South Wales
icfp-2016-keynote-talks147435570000009:15 - 10:15
Talk
Sukyoung RyuKAIST
icfp-2016-papers
10:35 - 12:15: Research Papers - Session 5 at Noh Theater
Chair(s): Robby FindlerNorthwestern University
icfp-2016-papers147436050000010:35 - 11:00
Talk
Manuel SerranoInria, France, Vincent PrunetInria, France
DOI
icfp-2016-papers147436200000011:00 - 11:25
Talk
Ilya SergeyUniversity College London, UK
DOI
icfp-2016-papers147436350000011:25 - 11:50
Talk
Kento EmotoKyushu Institute of Technology, Japan, Kiminori MatsuzakiKochi University of Technology, Japan, Zhenjiang HuNational Institute of Informatics, Japan, Akimasa MorihataUniversity of Tokyo, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan
DOI
icfp-2016-papers147436500000011:50 - 12:15
Talk
Michael ArntzeniusUniversity of Birmingham, UK, Neelakantan R. KrishnaswamiUniversity of Birmingham, UK
DOI
icfp-2016-papers
13:30 - 14:45: Research Papers - Session 6 at Noh Theater
Chair(s): Johan JeuringUtrecht University
icfp-2016-papers147437100000013:30 - 13:55
Talk
Eric L. SeidelUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California at San Diego, USA, Westley WeimerUniversity of Virginia, USA
DOI
icfp-2016-papers147437250000013:55 - 14:20
Talk
Keiichi WatanabeUniversity of Tokyo, Japan, Ryosuke SatoUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI
icfp-2016-papers147437400000014:20 - 14:45
Talk
Ralf JungMPI-SWS, Germany, Robbert KrebbersAarhus University, Denmark, Lars BirkedalAarhus University, Denmark, Derek DreyerMPI-SWS, Germany
DOI
icfp-2016-papers
15:05 - 16:20: Research Papers - Session 7 at Noh Theater
Chair(s): Andres LöhWell-Typed LLP
icfp-2016-papers147437670000015:05 - 15:30
Talk
Jesper CockxiMinds, Belgium, Dominique DevrieseiMinds, Belgium, Frank PiessensiMinds, Belgium
DOI
icfp-2016-papers147437820000015:30 - 15:55
Talk
David ChristiansenIndiana University, USA, Edwin BradyUniversity of St. Andrews, UK
DOI
icfp-2016-papers147437970000015:55 - 16:20
Talk
Pierre-Evariste DagandUPMC, France, Nicolas TabareauInria, France, Éric TanterUniversity of Chile, Chile
DOI
icfp-2016-papers
16:50 - 17:40: Research Papers - Session 8 at Noh Theater
Chair(s): Scott OwensUniversity of Kent, UK
icfp-2016-papers147438300000016:50 - 17:15
Talk
David DaraisUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA
DOI
icfp-2016-papers147438450000017:15 - 17:40
Talk
Sandrine BlazyUniversity of Rennes 1, France, Vincent LaporteIMDEA Software Institute, Spain, David PichardieENS Rennes, France
DOI
icfp-2016-ICFP-2016-Report
17:40 - 18:10: Reports - ICFP Program Chair Report and Contest Presentation at Noh Theater
icfp-2016-ICFP-2016-Report147438600000017:40 - 17:50
Other
icfp-2016-ICFP-2016-Report147438660000017:50 - 18:10
Awards
icfp-2016-reception
19:00 - 21:00: Receptions - Banquet and SIGPLAN Awards at Hotel Nikko
icfp-2016-reception147439080000019:00 - 21:00
Social Event

Wed 21 Sep

icfp-2016-keynote-talks
09:15 - 10:15: Keynote Talks - Keynote 3 at Noh Theater
Chair(s): Jacques GarrigueNagoya University
icfp-2016-keynote-talks147444210000009:15 - 10:15
Talk
Dan LicataWesleyan University
icfp-2016-papers
10:35 - 12:15: Research Papers - Session 9 at Noh Theater
Chair(s): Sam LindleyUniversity of Edinburgh, UK
icfp-2016-papers147444690000010:35 - 11:00
Talk
Trevor L. McDonellIndiana University, USA, Timothy A. K. ZakianOxford University, UK, Matteo CiminiIndiana University, USA, Ryan R. NewtonIndiana University, USA
DOI
icfp-2016-papers147444840000011:00 - 11:25
Talk
David ThibodeauMcGill University, Canada, Andrew CaveMcGill University, Canada, Brigitte PientkaMcGill University, Canada
DOI
icfp-2016-papers147444990000011:25 - 11:50
Talk
Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Zhiyuan ShiUniversity of Hong Kong, China, João AlpuimUniversity of Hong Kong, China
DOI
icfp-2016-papers147445140000011:50 - 12:15
Talk
Giuseppe CastagnaParis Diderot University & CNRS, Tommaso PetruccianiUniversity of Genoa, France, Kim Nguyá»…nUniversity of Paris-Sud, France
DOI
icfp-2016-papers
13:30 - 14:45: Research Papers - Session 10 at Noh Theater
Chair(s): John ReppyUniversity of Chicago
icfp-2016-papers147445740000013:30 - 13:55
Talk
Ram RaghunathanCarnegie Mellon University, USA, Stefan K. MullerCarnegie Mellon University, USA, Umut AcarCarnegie Mellon University, Guy BlellochCarnegie Mellon University, USA
DOI
icfp-2016-papers147445890000013:55 - 14:20
Talk
Thomas GilrayUniversity of Utah, USA, Michael D. AdamsUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
icfp-2016-papers147446040000014:20 - 14:45
Talk
Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan
DOI
icfp-2016-papers
15:05 - 16:20: Research Papers - Session 11 at Noh Theater
Chair(s): Alejandro RussoChalmers University of Technology
icfp-2016-papers147446310000015:05 - 15:30
Talk
Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Edinburgh, UK
DOI
icfp-2016-papers147446460000015:30 - 15:55
Talk
J. Garrett MorrisUniversity of Edinburgh, UK
DOI
icfp-2016-papers147446610000015:55 - 16:20
Talk
Peter ThiemannUniversity of Freiburg, Germany, Vasco Thudichum Vasconcelos
DOI
icfp-2016-papers
16:50 - 17:40: Research Papers - Session 12 at Noh Theater
Chair(s): Jeremy GibbonsUniversity of Oxford, UK
icfp-2016-papers147446940000016:50 - 17:15
Talk
Marco GaboardiSUNY Buffalo, USA, Shin-ya KatsumataKyoto University, Japan, Dominic OrchardUniversity of Cambridge, UK, Flavien BreuvartInria, France, Tarmo UustaluTallinn University of Technology, Estonia
DOI
icfp-2016-papers147447090000017:15 - 17:40
Talk
Maciej PirógKU Leuven, Belgium, Nicolas WuUniversity of Bristol, UK
DOI
icfp-2016-ICFP-2016-Report
17:40 - 18:10: Reports - SRC Awards and Closing at Noh Theater
icfp-2016-ICFP-2016-Report147447240000017:40 - 17:55
Awards
icfp-2016-ICFP-2016-Report147447330000017:55 - 18:10
Day closing

Thu 22 Sep

mlfamilyworkshop-2016-papers
09:10 - 10:15: ML - Invited Talk at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
mlfamilyworkshop-2016-papers147452820000009:10 - 09:15
Day opening
mlfamilyworkshop-2016-papers147452850000009:15 - 10:15
Talk
Neelakantan R. KrishnaswamiUniversity of Birmingham, UK
FHPC-2016-papers
09:15 - 10:15: FHPC - Invited Talk at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
FHPC-2016-papers147452850000009:15 - 10:15
Talk
Akimasa MorihataUniversity of Tokyo, Japan
icfp-2016-Tutorials
09:15 - 12:45: Tutorials - T1 at Conference Room 6
icfp-2016-Tutorials147452850000009:15 - 12:45
Talk
Michael SperberActive Group GmbH
Pre-print
icfp-2016-Tutorials
09:15 - 12:45: Tutorials - T2 at Conference Room 5
icfp-2016-Tutorials147452850000009:15 - 12:45
Talk
Oleg KiselyovTohoku University
Pre-print
haskellsymp-2016-papers
09:15 - 10:15: Haskell - Testing at Noh Theater
Chair(s): Stephanie WeirichUniversity of Pennsylvania
haskellsymp-2016-papers147452850000009:15 - 09:25
Day opening
haskellsymp-2016-papers147452910000009:25 - 09:50
Talk
Rudy Braquehais, Colin Runciman
DOI
haskellsymp-2016-papers147453060000009:50 - 10:15
Talk
Gustavo Grieco, Martín Ceresa, Pablo BuirasChalmers University of Technology
DOI
FHPC-2016-papers
10:35 - 11:25: FHPC - Domain Specific Languages at Conference Room 2
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
FHPC-2016-papers147453330000010:35 - 11:00
Talk
Amos RobinsonAmbiata (Australia), Ben LippmeierUniversity of New South Wales
FHPC-2016-papers147453480000011:00 - 11:25
Talk
Mate KaracsonyEötvös Loránd University, Koen ClaessenChalmers University of Technology
haskellsymp-2016-papers
10:35 - 11:25: Haskell - FRP at Noh Theater
Chair(s): David TereiStanford
haskellsymp-2016-papers147453330000010:35 - 11:00
Talk
Jeremy YallopUniversity of Cambridge, UK, Hai LiuIntel Labs
DOI
haskellsymp-2016-papers147453480000011:00 - 11:25
Talk
Ivan PerezUniversity of Nottingham, Manuel Barenz, Henrik Nilsson
DOI
mlfamilyworkshop-2016-papers
10:35 - 11:25: ML - Web at Conference Room 1
Chair(s): Katsuhiro UenoTohoku University, Japan
mlfamilyworkshop-2016-papers147453330000010:35 - 11:00
Talk
Andreas RossbergGoogle
Pre-print
mlfamilyworkshop-2016-papers147453480000011:00 - 11:25
Talk
Jonathan ProtzenkoMicrosoft Research, Karthikeyan BhargavanINRIA, Jean-Karim ZinzindohouéINRIA, Abhishek Anand, Cédric FournetMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research
Pre-print
FHPC-2016-papers
11:45 - 12:35: FHPC - Code Generation at Conference Room 2
Chair(s): Jost BertholdCommonwealth Bank, Australia
FHPC-2016-papers147453750000011:45 - 12:10
Talk
Takayuki MuranushiRIKEN, Seiya NishizawaRIKEN, Hirofumi TomitaRIKEN, Keigo NitadoriRIKEN, Masaki IwasawaRIKEN, Yutaka Maruyama, Hisashi YashiroRIKEN, Yoshifumi NakamuraRIKEN, Hideyuki HottaUniversity of Chile, Chile, Junichiro MakinoKobe University, Natsuki HosonoKyoto University, Hikaru InoueFujitsu Limited
FHPC-2016-papers147453900000012:10 - 12:35
Talk
Patrick MaierUniversity of Glasgow, John Magnus MotronUniversity of Glasgow, Phil TrinderUniversity of Glasgow
haskellsymp-2016-papers
11:45 - 12:35: Haskell - Functors at Noh Theater
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
haskellsymp-2016-papers147453750000011:45 - 12:10
Talk
Jeremy GibbonsUniversity of Oxford, UK
DOI
haskellsymp-2016-papers147453900000012:10 - 12:35
Talk
Satvik Chauhan, Piyush Kurur, Brent YorgeyHendrix College
DOI
mlfamilyworkshop-2016-papers
11:45 - 12:25: ML - Implementation at Conference Room 1
Chair(s): Didier RémyINRIA
mlfamilyworkshop-2016-papers147453750000011:45 - 12:10
Talk
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
Pre-print
mlfamilyworkshop-2016-papers147453900000012:10 - 12:25
Talk
Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan
Pre-print
mlfamilyworkshop-2016-papers
14:00 - 14:50: ML - Effects at Conference Room 1
Chair(s): Sam LindleyUniversity of Edinburgh, UK
mlfamilyworkshop-2016-papers147454560000014:00 - 14:25
Talk
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
mlfamilyworkshop-2016-papers147454710000014:25 - 14:50
Talk
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge
Pre-print
FHPC-2016-papers
14:00 - 14:50: FHPC - GPUs at Conference Room 2
Chair(s): Ben LippmeierUniversity of New South Wales
FHPC-2016-papers147454560000014:00 - 14:25
Talk
Martin Dybdal, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Bo Joel SvenssonChalmers University of Technology, Sweden, Mary SheeranChalmers University of Technology
FHPC-2016-papers147454710000014:25 - 14:50
Talk
Troels HenriksenDIKU, University of Copenhagen, Martin Dybdal, Henrik UrmsDIKU, University of Copenhagen, Anna Sofie KiehnDIKU, University of Copenhagen, Daniel GavinDIKU, University of Copenhagen, Hjalte AbelskovDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Cosmin OanceaDIKU, University of Copenhagen
icfp-2016-Tutorials
14:00 - 17:30: Tutorials - T3 at Conference Room 6
icfp-2016-Tutorials147454560000014:00 - 17:30
Talk
KC SivaramakrishnanUniversity of Cambridge
Pre-print
icfp-2016-Tutorials
14:00 - 17:30: Tutorials - T4 at Conference Room 5
icfp-2016-Tutorials147454560000014:00 - 17:30
Talk
Andres LöhWell-Typed LLP
Pre-print
haskellsymp-2016-papers
14:00 - 14:50: Haskell - Web Technology at Noh Theater
Chair(s): Iavor DiatchkiGalois, Inc.
haskellsymp-2016-papers147454560000014:00 - 14:25
Talk
Anton Ekblad
DOI
haskellsymp-2016-papers147454710000014:25 - 14:50
Talk
Kazuhiko Yamamoto
DOI
mlfamilyworkshop-2016-papers
15:20 - 16:10: ML - Classes at Conference Room 1
Chair(s): John ReppyUniversity of Chicago
mlfamilyworkshop-2016-papers147455040000015:20 - 15:45
Talk
Claudio RussoMicrosoft Research, Matthew Windsor, Don SymeMicrosoft, Rupert Horlick, James Clarke
Pre-print
mlfamilyworkshop-2016-papers147455190000015:45 - 16:10
Talk
Yutaka NagashimaData61, Australia, Liam O'ConnorUNSW, Australia
Pre-print
haskellsymp-2016-papers
15:20 - 16:10: Haskell - Language Features at Noh Theater
Chair(s): Niki VazouUC San Diego
haskellsymp-2016-papers147455040000015:20 - 15:45
Talk
Matthew Pickering, Gergo Erdi, Simon Peyton JonesMicrosoft Research, UK, Richard A. EisenbergBryn Mawr College
DOI
haskellsymp-2016-papers147455190000015:45 - 16:10
Talk
Simon MarlowFacebook, Simon Peyton JonesMicrosoft Research, UK, Edward Kmett, Andrey Mokhov
DOI
FHPC-2016-papers
15:20 - 16:10: FHPC - Streaming and Dataflow at Conference Room 2
Chair(s): Hai LiuIntel Labs
FHPC-2016-papers147455040000015:20 - 15:45
Talk
Frederik M. MadsenDIKU, University of Copenhagen, Andrzej FilinskiDIKU, University of Copenhagen
FHPC-2016-papers147455190000015:45 - 16:10
Talk
Ben LippmeierUniversity of New South Wales, Fil MackayVertigo Technology (Australia), Amos RobinsonAmbiata (Australia)
mlfamilyworkshop-2016-papers
16:40 - 17:35: ML - Future at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
mlfamilyworkshop-2016-papers147455520000016:40 - 16:55
Talk
Stephen Dolan
Pre-print
mlfamilyworkshop-2016-papers147455610000016:55 - 17:20
Talk
Gabriel SchererNortheastern University, Luc MarangetINRIA Rocquencourt, Thomas Réfis
Pre-print
mlfamilyworkshop-2016-papers147455760000017:20 - 17:35
Talk
Dmitrii Kosarev, Dmitri Boulytchev
Pre-print
FHPC-2016-papers
16:40 - 17:05: FHPC - Graph Processing at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
FHPC-2016-papers147455520000016:40 - 17:05
Talk
Onofre Coll RuizKochi University of Technology, Kiminori MatsuzakiKochi University of Technology, Japan, Shigeyuki SatoKochi University of Technology
haskellsymp-2016-papers
16:40 - 18:00: Haskell - Lightning Talks at Noh Theater
Chair(s): Geoffrey MainlandDrexel University
haskellsymp-2016-papers147455520000016:40 - 18:00
Talk
FHPC-2016-papers
17:05 - 18:00: FHPC - DIscussion at Conference Room 2
Chair(s): David DukeUniversity of Leeds
FHPC-2016-papers147455670000017:05 - 18:00
Talk
icfp-2016-reception
18:30 - 20:30: Receptions - Industrial Reception at Reception Hall 2
icfp-2016-reception147456180000018:30 - 20:30
Social Event

Fri 23 Sep

ocaml-2016-papers
09:09 - 10:25: OCaml - Session 1 at Conference Room 1
ocaml-2016-papers147461454000009:09 - 09:10
Day opening
Mark ShinwellJane Street
ocaml-2016-papers147461460000009:10 - 09:35
Talk
Damien Doligez
ocaml-2016-papers147461610000009:35 - 10:00
Talk
Louis GesbertOCamlPro
ocaml-2016-papers147461760000010:00 - 10:25
Talk
Benjamin Canou, Grégoire Henry, Çagdas Bozman, Fabrice Le FessantOCamlPro
erlang-2016-papers
09:15 - 10:15: Erlang - Invited Keynote Talk at Conference Room 2
erlang-2016-papers147461490000009:15 - 09:25
Day opening
erlang-2016-papers147461550000009:25 - 10:15
Talk
María del Mar Rubio González
haskellsymp-2016-papers
09:15 - 10:15: Haskell - Strictness and STM at Noh Theater
Chair(s): Richard A. EisenbergBryn Mawr College
haskellsymp-2016-papers147461550000009:25 - 09:50
Talk
Matthew Le, Ryan Yates, Matthew FluetRochester Institute of Technology
DOI
haskellsymp-2016-papers147461700000009:50 - 10:15
Talk
Yisu Remy WangTufts University, Diogenes Nunez, Kathleen FisherTufts University
DOI
icfp-2016-Tutorials
09:15 - 12:45: Tutorials - T5 at Conference Room 6
icfp-2016-Tutorials147461490000009:15 - 12:45
Talk
Alfonso Garcia-Caro
Pre-print
icfp-2016-Tutorials
09:15 - 12:45: Tutorials - T6 at Conference Room 5
icfp-2016-Tutorials147461490000009:15 - 12:45
Talk
Niki VazouUC San Diego
Pre-print
erlang-2016-papers
10:35 - 11:25: Erlang - Scalability and Distribution at Conference Room 2
erlang-2016-papers147461970000010:35 - 11:00
Talk
Natalia ChechinaUniversity of Glasgow, Mario Moro Hernandez, Phil TrinderUniversity of Glasgow
erlang-2016-papers147462120000011:00 - 11:25
Talk
Viktória FördősErlang Solutions Ltd., Francesco Cesarini
haskellsymp-2016-papers
10:35 - 11:25: Haskell - Types at Noh Theater
Chair(s): David DukeUniversity of Leeds
haskellsymp-2016-papers147461970000010:35 - 11:00
Talk
Marten Agren, Lennart Augustsson
DOI
haskellsymp-2016-papers147462120000011:00 - 11:25
Talk
Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Edinburgh, UK
DOI
ocaml-2016-papers
10:40 - 11:30: OCaml - Session 2 at Conference Room 1
ocaml-2016-papers147462000000010:40 - 11:05
Talk
Jacques-Henri Jourdan
ocaml-2016-papers147462150000011:05 - 11:30
Talk
KC SivaramakrishnanUniversity of Cambridge, Théo Laurent
erlang-2016-papers
11:45 - 12:35: Erlang - Experience report presentations at Conference Room 2
erlang-2016-papers147462390000011:45 - 12:10
Talk
Deepthi Devaki Akkoorath, Viktória FördősErlang Solutions Ltd., Annette BieniusaTechnischen Universität Kaiserslautern
erlang-2016-papers147462540000012:10 - 12:35
Talk
Laura M. CastroUniversity of A Coruña, J. Daniel Fernandez, Carlos Lopez Pampin
haskellsymp-2016-papers
11:45 - 12:35: Haskell - PC Chair Report and State of Haskell at Noh Theater
haskellsymp-2016-papers147462390000011:45 - 12:35
Talk
ocaml-2016-papers
11:45 - 12:35: OCaml - Session 3 at Conference Room 1
ocaml-2016-papers147462390000011:45 - 12:10
Talk
Hannes Mehnert, Louis GesbertOCamlPro
ocaml-2016-papers147462540000012:10 - 12:35
Talk
Fabrice Le FessantOCamlPro
haskellsymp-2016-papers
14:00 - 14:50: Haskell - Monads at Noh Theater
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
haskellsymp-2016-papers147463200000014:00 - 14:25
Talk
Pablo BuirasChalmers University of Technology, Koen ClaessenChalmers University of Technology, Atze van der Ploeg
DOI
haskellsymp-2016-papers147463350000014:25 - 14:50
Talk
Jan Bracker, Henrik Nilsson
DOI
ocaml-2016-papers
14:00 - 14:50: OCaml - Session 4 at Conference Room 1
ocaml-2016-papers147463200000014:00 - 14:25
Talk
Timothy BourkeINRIA, Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
ocaml-2016-papers147463350000014:25 - 14:50
Talk
Enguerrand Decorne, Jeremy YallopUniversity of Cambridge, UK, David Kaloper-Meršinjak
icfp-2016-Tutorials
14:00 - 17:30: Tutorials - T7 at Conference Room 6
icfp-2016-Tutorials147463200000014:00 - 17:30
Talk
Brian McKennaAtlassian
Pre-print
icfp-2016-Tutorials
14:00 - 17:30: Tutorials - T8 at Conference Room 5
icfp-2016-Tutorials147463200000014:00 - 17:30
Talk
Fumiaki KinoshitaTsuru Capital
Pre-print
erlang-2016-papers
14:00 - 14:50: Erlang - Tools at Conference Room 2
erlang-2016-papers147463200000014:00 - 14:25
Talk
Andrea RosàUniversità della Svizzera italiana, Lydia Y. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano
erlang-2016-papers147463350000014:25 - 14:50
Talk
Andreas Löscher, Kostis Sagonas
haskellsymp-2016-papers
15:20 - 16:10: Haskell - Abstractions that Scale at Noh Theater
Chair(s): Geoffrey MainlandDrexel University
haskellsymp-2016-papers147463680000015:20 - 15:45
Talk
Andrey Mokhov, Neil Mitchell, Simon Peyton JonesMicrosoft Research, UK, Simon MarlowFacebook
DOI
haskellsymp-2016-papers147463830000015:45 - 16:10
Talk
Philip Dexter, Yu David Liu, Kenneth Chiu
DOI
erlang-2016-papers
15:20 - 16:10: Erlang - Poster presentations at Conference Room 2
erlang-2016-papers147463680000015:20 - 15:45
Other
Daniel Carballa, Laura M. CastroUniversity of A Coruña
erlang-2016-papers147463830000015:45 - 16:10
Other
Adam Barwell, Christopher Brown, Kevin HammondUniversity of St. Andrews, UK, David CastroUniversity of St. Andrews, UK
ocaml-2016-papers
15:20 - 16:10: OCaml - Session 5 at Conference Room 1
ocaml-2016-papers147463680000015:20 - 15:45
Talk
Pierre ChambartOCamlPRO
ocaml-2016-papers147463830000015:45 - 16:10
Talk
Florent Balestrieri, Michel Mauny
ocaml-2016-papers
16:10 - 17:05: OCaml - Break and Poster Session at Conference Room 1
ocaml-2016-papers147463980000016:10 - 16:28
Frédéric Bour
ocaml-2016-papers147464090000016:28 - 16:46
Çagdas Bozman, Théophane Hufschmitt, Michael Laporte, Fabrice Le FessantOCamlPro
ocaml-2016-papers147464200000016:46 - 17:05
Pierre ChambartOCamlPRO
erlang-2016-papers
16:40 - 18:00: Erlang - Erlang in Robotics & Erlang Latest News at Conference Room 2
erlang-2016-papers147464160000016:40 - 17:05
Talk
Andreea Lutac, Natalia ChechinaUniversity of Glasgow, Gerardo Aragon-Camarasa, Phil TrinderUniversity of Glasgow
erlang-2016-papers147464310000017:05 - 17:30
Talk
erlang-2016-papers147464460000017:30 - 18:00
Day closing
ocaml-2016-papers
17:05 - 18:00: OCaml - Session 6 at Conference Room 1
ocaml-2016-papers147464310000017:05 - 17:30
Talk
Romain Calascibetta
ocaml-2016-papers147464460000017:30 - 17:55
Talk
Spiridon Eliopoulos
ocaml-2016-papers147464610000017:55 - 18:00
Day closing

Sat 24 Sep

farm-2016-papers
09:15 - 10:15: FARM - 1 at Conference Room 3
farm-2016-papers147470130000009:15 - 09:45
Talk
Jay McCarthyUniversity of Massachusetts Lowell
farm-2016-papers147470310000009:45 - 10:15
Talk
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninUniversity of Bordeaux
cufp-2016-papers
09:15 - 10:15: CUFP - Keynote at Noh Theater
cufp-2016-papers147470130000009:15 - 09:20
Day opening
Katie OtsFacebook, Alex LangTsuru Capital
cufp-2016-papers147470160000009:20 - 10:15
Talk
Yaron MinskyJane Street
Media Attached
hiw-2016-papers
09:15 - 10:15: HIW - The State of GHC at Conference Room 1
hiw-2016-papers147470130000009:15 - 09:45
Talk
Simon Peyton JonesMicrosoft Research, UK
hiw-2016-papers147470310000009:45 - 10:15
Talk
Ben GamariWell-Typed LLP
farm-2016-papers
10:35 - 11:25: FARM - 2 at Conference Room 3
farm-2016-papers147470610000010:35 - 11:00
Talk
Caleb HelblingTufts University, Sam Guyer
farm-2016-papers147470760000011:00 - 11:25
Talk
Caleb HelblingTufts University, Sam Guyer
hiw-2016-papers
10:35 - 11:25: HIW - Pluggability and Modularity at Conference Room 1
hiw-2016-papers147470610000010:35 - 11:00
Talk
Edward Z. YangStanford University
hiw-2016-papers147470760000011:00 - 11:25
Talk
Moritz Angermann
cufp-2016-papers
10:35 - 11:25: CUFP - Talks 1 at Noh Theater
cufp-2016-papers147470610000010:35 - 11:00
Talk
Nick HibberdAmbiata
Media Attached
cufp-2016-papers147470760000011:00 - 11:25
Talk
Will Sewell
Media Attached
farm-2016-papers
11:45 - 12:35: FARM - 3 at Conference Room 3
farm-2016-papers147471030000011:45 - 12:10
Talk
Jakob LebenUniversity of Victoria
farm-2016-papers147471180000012:10 - 12:35
Talk
Chris FordThoughtWorks (UK) Ltd.
cufp-2016-papers
11:45 - 12:35: CUFP - Talks 2 at Noh Theater
cufp-2016-papers147471030000011:45 - 12:10
Talk
Rachel ReeseJet.com
Media Attached
cufp-2016-papers147471180000012:10 - 12:35
Talk
Seitaro YukiDwango
Media Attached
hiw-2016-papers
11:45 - 12:35: HIW - Types and Effects at Conference Room 1
hiw-2016-papers147471030000011:45 - 12:10
Talk
Richard A. EisenbergBryn Mawr College
hiw-2016-papers147471180000012:10 - 12:35
Talk
Ben LippmeierUniversity of New South Wales
farm-2016-papers
14:00 - 14:50: FARM - 4 at Conference Room 3
farm-2016-papers147471840000014:00 - 14:25
Talk
Csongor KissImperial College London, Toby ShawImperial College London
Link to publication
farm-2016-papers147471990000014:25 - 14:50
Talk
Jean BressonUMR STMS: IRCAM-CNRS-UPMC, John MacCallumCNMAT - UC Berkeley, Adrian FreedCNMAT - UC Berkeley
cufp-2016-papers
14:00 - 14:50: CUFP - Talks 3 at Noh Theater
cufp-2016-papers147471840000014:00 - 14:25
Talk
Jasper Van der JeugtFugue
Media Attached
cufp-2016-papers147471990000014:25 - 14:50
Talk
Jacob StanleyAmbiata
Media Attached
hiw-2016-papers
14:00 - 14:50: HIW - The Engineering of GHC at Conference Room 1
hiw-2016-papers147471840000014:00 - 14:25
Talk
Ben GamariWell-Typed LLP
hiw-2016-papers147471990000014:25 - 14:50
Talk
Bartosz NitkaFacebook
farm-2016-papers
15:20 - 16:10: FARM - 5 at Conference Room 3
farm-2016-papers147472320000015:20 - 15:45
Talk
Chris FordThoughtWorks (UK) Ltd.
farm-2016-papers147472470000015:45 - 16:10
Talk
Dave YarwoodAdzerk
Link to publication
hiw-2016-papers
15:20 - 16:10: HIW - Backends for GHC at Conference Room 1
hiw-2016-papers147472320000015:20 - 15:45
Talk
Simon MarlowFacebook
hiw-2016-papers147472470000015:45 - 16:10
Talk
Rahul MuttineniTypeLead
cufp-2016-papers
15:20 - 16:10: CUFP - Talks 4 at Noh Theater
cufp-2016-papers147472320000015:20 - 15:45
Talk
Brandon KasePinterest
Media Attached
cufp-2016-papers147472470000015:45 - 16:10
Talk
Ludovic CourtèsINRIA
Media Attached
farm-2016-papers
16:40 - 18:00: FARM - 6 at Conference Room 3
farm-2016-papers147472800000016:40 - 17:20
Talk
Tom Murphy
farm-2016-papers147473040000017:20 - 18:00
Talk
Francis Shuman
Link to publication
cufp-2016-papers
16:40 - 18:00: CUFP - Talks 5 at Noh Theater
cufp-2016-papers147472800000016:40 - 17:05
Talk
Sean Grove
Media Attached
cufp-2016-papers147472950000017:05 - 17:55
Talk
Michael SperberActive Group GmbH
Media Attached
cufp-2016-papers147473250000017:55 - 18:00
Day closing
Katie OtsFacebook, Alex LangTsuru Capital
hiw-2016-papers
16:40 - 18:00: HIW - Trees and Lightning Talks at Conference Room 1
hiw-2016-papers147472800000016:40 - 17:05
Talk
Shayan Najd, Simon Peyton JonesMicrosoft Research, UK, Jacques CaretteMcMaster University
hiw-2016-papers147472950000017:05 - 18:00
Other
farm-2016-papers
19:30 - 21:30: FARM - Performance Evening at Live House Beverly Hills Restaurant
Chair(s): Renick Bell
farm-2016-papers147473820000019:30 - 21:30
Other
Renick Bell

Sun 18 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 1

TyDe

Session One
09:15 - 10:15

TyDe

Session Two
10:45 - 12:15

TyDe

Session Three
14:00 - 15:00

TyDe

Session Four
15:30 - 16:30

TyDe

Session Five
17:00 - 18:00
Conference Room 2

Scheme

Invited Talk
09:15 - 10:15

Scheme

Scheming
10:45 - 12:15

Scheme

Invited Talk
14:00 - 15:00

Scheme

Functional Programming
15:30 - 16:30

Scheme

Scheming
17:00 - 18:00
Conference Room 3

HOPE

Welcome and Invited Talk
09:10 - 10:15

HOPE

Session 1 (Effects)
10:45 - 12:15

HOPE

Session 2 (Verification)
14:00 - 15:00

HOPE

Session 3 (Compilation)
15:30 - 16:30

HOPE

Session 4 (Semantics)
17:00 - 17:30
Conference Room 5

PLMW

1
09:15 - 10:15

PLMW

2
10:45 - 12:15

PLMW

3
14:00 - 15:00

PLMW

4
15:30 - 16:30

PLMW

5
17:00 - 18:00

Mon 19 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Noh Theater

Keynote Talks

Keynote 1
09:15 - 10:15

Research Papers

Session 1
10:45 - 12:25

Research Papers

Session 2
13:40 - 14:55

Research Papers

Session 3
15:15 - 16:30

Research Papers

Session 4
17:00 - 18:15
Reception Hall 1

Receptions

Welcome Reception with SRC Posters
18:30 - 20:30

Tue 20 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Hotel Nikko

Receptions

Banquet and SIGPLAN Awards
19:00 - 21:00
Noh Theater

Keynote Talks

Keynote 2
09:15 - 10:15

Research Papers

Session 5
10:35 - 12:15

Research Papers

Session 6
13:30 - 14:45

Research Papers

Session 7
15:05 - 16:20

Research Papers

Session 8
16:50 - 17:40

Reports

ICFP Program Chair Report and Contest Presentation
17:40 - 18:10

Wed 21 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Noh Theater

Keynote Talks

Keynote 3
09:15 - 10:15

Research Papers

Session 9
10:35 - 12:15

Research Papers

Session 10
13:30 - 14:45

Research Papers

Session 11
15:05 - 16:20

Research Papers

Session 12
16:50 - 17:40

Reports

SRC Awards and Closing
17:40 - 18:10

Thu 22 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Conference Room 1

ML

Invited Talk
09:10 - 10:15

ML

Web
10:35 - 11:25

ML

Implementation
11:45 - 12:25

ML

Effects
14:00 - 14:50

ML

Classes
15:20 - 16:10

ML

Future
16:40 - 17:35
Conference Room 2

FHPC

Invited Talk
09:15 - 10:15

FHPC

Domain Specific Languages
10:35 - 11:25

FHPC

Code Generation
11:45 - 12:35

FHPC

GPUs
14:00 - 14:50

FHPC

Streaming and Dataflow
15:20 - 16:10

FHPC

Graph Processing
16:40 - 17:05

FHPC

DIscussion
17:05 - 18:00
Conference Room 5

Tutorials

T2
09:15 - 12:45

Tutorials

T4
14:00 - 17:30
Conference Room 6

Tutorials

T1
09:15 - 12:45

Tutorials

T3
14:00 - 17:30
Noh Theater

Haskell

Testing
09:15 - 10:15

Haskell

FRP
10:35 - 11:25

Haskell

Functors
11:45 - 12:35

Haskell

Web Technology
14:00 - 14:50

Haskell

Language Features
15:20 - 16:10

Haskell

Lightning Talks
16:40 - 18:00
Reception Hall 2

Receptions

Industrial Reception
18:30 - 20:30

Fri 23 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 1

OCaml

Session 1
09:09 - 10:25

OCaml

Session 2
10:40 - 11:30

OCaml

Session 3
11:45 - 12:35

OCaml

Session 4
14:00 - 14:50

OCaml

Session 5
15:20 - 16:10

OCaml

Break and Poster Session
16:10 - 17:05

OCaml

Session 6
17:05 - 18:00
Conference Room 2

Erlang

Invited Keynote Talk
09:15 - 10:15

Erlang

Scalability and Distribution
10:35 - 11:25

Erlang

Experience report presentations
11:45 - 12:35

Erlang

Tools
14:00 - 14:50

Erlang

Poster presentations
15:20 - 16:10

Erlang

Erlang in Robotics & Erlang Latest News
16:40 - 18:00
Conference Room 5

Tutorials

T6
09:15 - 12:45

Tutorials

T8
14:00 - 17:30
Conference Room 6

Tutorials

T5
09:15 - 12:45

Tutorials

T7
14:00 - 17:30
Noh Theater

Haskell

Strictness and STM
09:15 - 10:15

Haskell

Types
10:35 - 11:25

Haskell

PC Chair Report and State of Haskell
11:45 - 12:35

Haskell

Monads
14:00 - 14:50

Haskell

Abstractions that Scale
15:20 - 16:10

Haskell

16:40 - 18:00

Sat 24 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Conference Room 1

HIW

The State of GHC
09:15 - 10:15

HIW

Pluggability and Modularity
10:35 - 11:25

HIW

Types and Effects
11:45 - 12:35

HIW

The Engineering of GHC
14:00 - 14:50

HIW

Backends for GHC
15:20 - 16:10

HIW

Trees and Lightning Talks
16:40 - 18:00
Conference Room 3

FARM

1
09:15 - 10:15

FARM

2
10:35 - 11:25

FARM

3
11:45 - 12:35

FARM

4
14:00 - 14:50

FARM

5
15:20 - 16:10

FARM

6
16:40 - 18:00
Live House Beverly Hills Restaurant

FARM

Performance Evening
19:30 - 21:30
Noh Theater

CUFP

Keynote
09:15 - 10:15

CUFP

Talks 1
10:35 - 11:25

CUFP

Talks 2
11:45 - 12:35

CUFP

Talks 3
14:00 - 14:50

CUFP

Talks 4
15:20 - 16:10

CUFP

Talks 5
16:40 - 18:00

Sun 18 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Conference Room 1
09:15 - 09:35
09:35 - 09:55
09:55 - 10:15
10:45 - 11:15
11:15 - 11:35
11:35 - 11:55
11:55 - 12:15
14:00 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30
17:00 - 17:20
17:20 - 17:40
Conference Room 2
09:15 - 09:25
09:25 - 10:15
10:45 - 11:15
11:15 - 11:45
11:45 - 12:15
14:00 - 14:20
14:20 - 15:00
15:30 - 16:00
16:00 - 16:30
17:00 - 17:30
17:30 - 18:00
Conference Room 3
09:10 - 09:15
09:15 - 10:15
10:45 - 11:15
11:15 - 11:45
11:45 - 12:15
14:00 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30
17:00 - 17:30
Conference Room 5
09:15 - 09:45
09:45 - 10:15
10:45 - 11:30
11:30 - 12:15
14:00 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30
17:00 - 17:30
17:30 - 18:00

Mon 19 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Noh Theater
09:15 - 10:15
10:45 - 11:10
11:10 - 11:35
11:35 - 12:00
12:00 - 12:25
13:40 - 14:05
14:05 - 14:30
14:30 - 14:55
15:15 - 15:40
15:40 - 16:05
16:05 - 16:30
17:00 - 17:25
17:25 - 17:50
17:50 - 18:15
Reception Hall 1
18:30 - 20:30

Tue 20 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Hotel Nikko
19:00 - 21:00
Noh Theater
09:15 - 10:15
10:35 - 11:00
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
13:30 - 13:55
13:55 - 14:20
14:20 - 14:45
15:05 - 15:30
15:30 - 15:55
15:55 - 16:20
16:50 - 17:15
17:15 - 17:40
17:40 - 17:50
17:50 - 18:10

Wed 21 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Noh Theater
09:15 - 10:15
10:35 - 11:00
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
13:30 - 13:55
13:55 - 14:20
14:20 - 14:45
15:05 - 15:30
15:30 - 15:55
15:55 - 16:20
16:50 - 17:15
17:15 - 17:40
17:40 - 17:55
17:55 - 18:10

Thu 22 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Conference Room 1
09:10 - 09:15
09:15 - 10:15
10:35 - 11:00
11:00 - 11:25
11:45 - 12:10
12:10 - 12:25
14:00 - 14:25
14:25 - 14:50
15:20 - 15:45
15:45 - 16:10
16:40 - 16:55
16:55 - 17:20
17:20 - 17:35
Conference Room 2
09:15 - 10:15
10:35 - 11:00
11:00 - 11:25
11:45 - 12:10
12:10 - 12:35
14:00 - 14:25
14:25 - 14:50
15:20 - 15:45
15:45 - 16:10
16:40 - 17:05
17:05 - 18:00
Conference Room 5
09:15 - 12:45
14:00 - 17:30
Conference Room 6
09:15 - 12:45
14:00 - 17:30
Noh Theater
09:15 - 09:25
09:25 - 09:50
09:50 - 10:15
10:35 - 11:00
11:00 - 11:25
11:45 - 12:10
12:10 - 12:35
14:00 - 14:25
14:25 - 14:50
15:20 - 15:45
15:45 - 16:10
16:40 - 18:00
Reception Hall 2
18:30 - 20:30

Fri 23 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Conference Room 1
09:09 - 09:10
09:10 - 09:35
09:35 - 10:00
10:00 - 10:25
10:40 - 11:05
11:05 - 11:30
11:45 - 12:10
12:10 - 12:35
14:00 - 14:25
14:25 - 14:50
15:20 - 15:45
15:45 - 16:10
16:10 - 16:28
16:28 - 16:46
16:46 - 17:05
17:05 - 17:30
17:30 - 17:55
17:55 - 18:00
Conference Room 2
09:15 - 09:25
09:25 - 10:15
10:35 - 11:00
11:00 - 11:25
11:45 - 12:10
12:10 - 12:35
14:00 - 14:25
14:25 - 14:50
15:20 - 15:45
15:45 - 16:10
16:40 - 17:05
17:05 - 17:30
17:30 - 18:00
Conference Room 5
09:15 - 12:45
14:00 - 17:30
Conference Room 6
09:15 - 12:45
14:00 - 17:30
Noh Theater
09:25 - 09:50
09:50 - 10:15
10:35 - 11:00
11:00 - 11:25
11:45 - 12:35
14:00 - 14:25
14:25 - 14:50
15:20 - 15:45
15:45 - 16:10

Sat 24 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Conference Room 1
09:15 - 09:45
09:45 - 10:15