Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
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
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
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
scheme-2016-papers147419010000011:15 - 11:45
Talk
scheme-2016-papers147419190000011:45 - 12:15
Talk
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
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
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
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
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
scheme-2016-papers147420720000016:00 - 16:30
Talk
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
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
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
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
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 Thrane 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
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
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
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
DOI
haskellsymp-2016-papers147454710000014:25 - 14:50
Talk
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
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
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
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
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
ocaml-2016-papers147461610000009:35 - 10:00
Talk
ocaml-2016-papers147461760000010:00 - 10:25
Talk
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
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
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
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
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
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
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
ocaml-2016-papers147462540000012:10 - 12:35
Talk
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
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
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
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
DOI
haskellsymp-2016-papers147463830000015:45 - 16:10
Talk
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
ocaml-2016-papers147463830000015:45 - 16:10
Talk
ocaml-2016-papers
16:10 - 17:05: OCaml - Break and Poster Session at Conference Room 1
ocaml-2016-papers147463980000016:10 - 16:28
ocaml-2016-papers147464090000016:28 - 16:46
ocaml-2016-papers147464200000016:46 - 17:05
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
ocaml-2016-papers147464460000017:30 - 17:55
Talk
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
cufp-2016-papers
10:35 - 11:25: CUFP - Talks 1 at Noh Theater
cufp-2016-papers147470610000010:35 - 11:00
Talk
Media Attached
cufp-2016-papers147470760000011:00 - 11:25
Talk
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
Media Attached
cufp-2016-papers147471180000012:10 - 12:35
Talk
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
Media Attached
cufp-2016-papers147471990000014:25 - 14:50
Talk
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
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
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
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
Media Attached
farm-2016-papers
16:40 - 18:00: FARM - 6 at Conference Room 3
farm-2016-papers147472800000016:40 - 17:20
Talk
farm-2016-papers147473040000017:20 - 18:00
Talk
Link to publication
cufp-2016-papers
16:40 - 18:00: CUFP - Talks 5 at Noh Theater
cufp-2016-papers147472800000016:40 - 17:05
Talk
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

Sun 18 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 1
09:15 - 10:15
10:45 - 12:15
14:00 - 15:00
15:30 - 16:30
17:00 - 18:00
Conference Room 2
09:15 - 10:15
10:45 - 12:15
14:00 - 15:00
17:00 - 18:00
Conference Room 3
Conference Room 5
09:15 - 10:15
10:45 - 12:15
14:00 - 15:00
15:30 - 16:30
17:00 - 18:00

Mon 19 Sep 2016

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

Tue 20 Sep 2016

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

Wed 21 Sep 2016

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

Thu 22 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Conference Room 1
09:10 - 10:15
10:35 - 11:25
11:45 - 12:25
14:00 - 14:50
15:20 - 16:10
16:40 - 17:35
Conference Room 2
09:15 - 10:15
11:45 - 12:35
14:00 - 14:50
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 - 10:15
10:35 - 11:25
11:45 - 12:35
Reception Hall 2

Fri 23 Sep 2016

Sat 24 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Conference Room 1
09:15 - 10:15
15:20 - 16:10
Conference Room 3
09:15 - 10:15
10:35 - 11:25
11:45 - 12:35
14:00 - 14:50
15:20 - 16:10
16:40 - 18:00
Live House Beverly Hills Restaurant
Noh Theater
09:15 - 10:15
10:35 - 11:25
11:45 - 12:35
14:00 - 14:50
15:20 - 16:10
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
Conference Room 2
14:00 - 14:20
Conference Room 3
09:10 - 09:15
Conference Room 5

Tue 20 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Hotel Nikko
Noh Theater

Thu 22 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Conference Room 1
09:10 - 09:15
Conference Room 2
17:05 - 18:00
Conference Room 5
Conference Room 6
Noh Theater
09:15 - 09:25
Reception Hall 2

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
17:55 - 18:00
Conference Room 2
Conference Room 5
Conference Room 6
Noh Theater

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