CUFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
co-located with ICFP 2016
VenueNara Kasugano International Forum
Room nameNoh Theater
Floor1
Room number
Capacity500
Additional informationThere is no additional information of this room available.
Program

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

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

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

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

Fri 23 Sep

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

Sat 24 Sep

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

Mon 19 Sep 2016

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

Tue 20 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
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:0030
Noh Theater
09:15 - 10:15
10:35 - 11:25
11:45 - 12:35

Fri 23 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Noh Theater
10:35 - 11:25
14:00 - 14:50
16:40 - 18:00

Sat 24 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
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