Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
VenueNara Kasugano International Forum
Room nameNoh Theater
Floor1
Capacity500
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 19 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

09:15 - 10:15: Keynote 1Keynote Talks at Noh Theater
Chair(s): Eijiro SumiiTohoku University
09:15 - 10:15
Talk
Keynote Talks
10:45 - 12:25: Session 1Research Papers at Noh Theater
Chair(s): Akimasa MorihataUniversity of Tokyo, Japan
10:45 - 11:10
Talk
Research Papers
David CastroUniversity of St. Andrews, UK, Kevin HammondUniversity of St. Andrews, UK, Susmit SarkarUniversity of St. Andrews, UK
DOI
11:10 - 11:35
Talk
Research Papers
Umut A. AcarCarnegie Mellon University, Arthur CharguéraudInria, France, Mike RaineyInria, France, Filip SieczkowskiInria, France
DOI
11:35 - 12:00
Talk
Research Papers
Johannes BorgströmUppsala University, Sweden, Ugo Dal LagoUniversity of Bologna, France, Andrew D. GordonMicrosoft Research, UK, Marcin SzymczakUniversity of Edinburgh, UK
DOI
12:00 - 12:25
Talk
Research Papers
Wazim Mohammed IsmailIndiana University, USA, Chung-chieh ShanIndiana University, USA
DOI
13:40 - 14:55: Session 2Research Papers at Noh Theater
Chair(s): Kathleen FisherTufts University
13:40 - 14:05
Talk
Research Papers
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
14:05 - 14:30
Talk
Research Papers
Paul DownenUniversity of Oregon, USA, Luke MaurerUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, UK
DOI
14:30 - 14:55
Talk
Research Papers
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
15:15 - 16:30: Session 3Research Papers at Noh Theater
Chair(s): Neel KrishnaswamiUniversity of Birmingham, UK
15:15 - 15:40
Talk
Research Papers
Max NewNortheastern University, William J. BowmanNortheastern University, Amal AhmedNortheastern University
DOI
15:40 - 16:05
Talk
Research Papers
Christos DimoulasHarvard University, Max NewNortheastern University, Robby FindlerNorthwestern University, Matthias FelleisenNortheastern University
DOI
16:05 - 16:30
Talk
Research Papers
Ezgi ÇiçekMPI-SWS, Germany, Zoe ParaskevopoulouPrinceton University, USA, Deepak GargMPI-SWS, Germany
DOI
17:00 - 18:15: Session 4Research Papers at Noh Theater
Chair(s): Tom SchrijversKU Leuven
17:00 - 17:25
Talk
Research Papers
Kotaro TakedaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Kazuya YaguchiTohoku University, Japan, Ayumi ShinoharaTohoku University, Japan
DOI
17:25 - 17:50
Talk
Research Papers
Shin-Cheng MuAcademia Sinica, Taiwan, Yu-Hsi ChiangNational Taiwan University, Taiwan, Yu-Han LyuDartmouth College, USA
DOI
17:50 - 18:15
Talk
Research Papers
Jan ChristiansenFlensburg University of Applied Sciences, Germany, Nikita DanilenkoUniversity of Kiel, Germany, Sandra DylusUniversity of Kiel, Germany
DOI

Tue 20 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

09:15 - 10:15: Keynote 2Keynote Talks at Noh Theater
Chair(s): Gabriele KellerUniversity of New South Wales
09:15 - 10:15
Talk
Keynote Talks
10:35 - 12:15: Session 5Research Papers at Noh Theater
Chair(s): Robby FindlerNorthwestern University
10:35 - 11:00
Talk
Research Papers
Manuel SerranoInria, France, Vincent PrunetInria, France
DOI
11:00 - 11:25
Talk
Research Papers
Ilya SergeyUniversity College London, UK
DOI
11:25 - 11:50
Talk
Research Papers
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
11:50 - 12:15
Talk
Research Papers
Michael ArntzeniusUniversity of Birmingham, UK, Neel KrishnaswamiUniversity of Birmingham, UK
DOI
13:30 - 14:45: Session 6Research Papers at Noh Theater
Chair(s): Johan JeuringUtrecht University
13:30 - 13:55
Talk
Research Papers
Eric SeidelUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California at San Diego, USA, Westley WeimerUniversity of Virginia, USA
DOI
13:55 - 14:20
Talk
Research Papers
Keiichi WatanabeUniversity of Tokyo, Japan, Ryosuke SatoUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI
14:20 - 14:45
Talk
Research Papers
Ralf JungMPI-SWS, Germany, Robbert KrebbersAarhus University, Denmark, Lars BirkedalAarhus University, Denmark, Derek DreyerMPI-SWS, Germany
DOI
15:05 - 16:20: Session 7Research Papers at Noh Theater
Chair(s): Andres LöhWell-Typed LLP
15:05 - 15:30
Talk
Research Papers
Jesper CockxiMinds, Belgium, Dominique DevrieseiMinds, Belgium, Frank PiessensiMinds, Belgium
DOI
15:30 - 15:55
Talk
Research Papers
David Thrane ChristiansenIndiana University, USA, Edwin BradyUniversity of St. Andrews, UK
DOI
15:55 - 16:20
Talk
Research Papers
Pierre-Evariste DagandUPMC, France, Nicolas TabareauInria, France, Éric TanterUniversity of Chile, Chile
DOI
16:50 - 17:40: Session 8Research Papers at Noh Theater
Chair(s): Scott OwensUniversity of Kent, UK
16:50 - 17:15
Talk
Research Papers
David DaraisUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA
DOI
17:15 - 17:40
Talk
Research Papers
Sandrine BlazyUniversity of Rennes 1, France, Vincent LaporteIMDEA Software Institute, Spain, David PichardieENS Rennes, France
DOI
17:40 - 18:10: ICFP Program Chair Report and Contest PresentationReports at Noh Theater
17:40 - 17:50
Other
Reports
17:50 - 18:10
Awards
Reports

Wed 21 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

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

Thu 22 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

09:15 - 10:15: TestingHaskell at Noh Theater
Chair(s): Stephanie WeirichUniversity of Pennsylvania
09:15 - 09:25
Day opening
Haskell
09:25 - 09:50
Talk
Haskell
DOI
09:50 - 10:15
Talk
Haskell
Gustavo Grieco, Martín Ceresa, Pablo BuirasChalmers University of Technology
DOI
10:35 - 11:25: FRPHaskell at Noh Theater
Chair(s): David TereiStanford
10:35 - 11:00
Talk
Haskell
Jeremy YallopUniversity of Cambridge, UK, Hai LiuIntel Labs
DOI
11:00 - 11:25
Talk
Haskell
Ivan PerezUniversity of Nottingham, Manuel Bärenz, Henrik Nilsson
DOI
11:45 - 12:35: FunctorsHaskell at Noh Theater
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
11:45 - 12:10
Talk
Haskell
Jeremy GibbonsUniversity of Oxford, UK
DOI
12:10 - 12:35
Talk
Haskell
DOI
15:20 - 16:10: Language FeaturesHaskell at Noh Theater
Chair(s): Niki VazouUC San Diego
15:20 - 15:45
Talk
Haskell
Matthew Pickering, Gergo Erdi, Simon Peyton JonesMicrosoft Research, UK, Richard A. EisenbergBryn Mawr College
DOI
15:45 - 16:10
Talk
Haskell
DOI
16:40 - 18:00: Lightning TalksHaskell at Noh Theater
Chair(s): Geoffrey MainlandDrexel University
16:40 - 18:00
Talk
Haskell

Fri 23 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

09:15 - 10:15: Strictness and STM Haskell at Noh Theater
Chair(s): Richard A. EisenbergBryn Mawr College
09:25 - 09:50
Talk
Haskell
Matthew Le, Ryan Yates, Matthew FluetRochester Institute of Technology
DOI
09:50 - 10:15
Talk
Haskell
Yisu Remy WangTufts University, Diogenes Nunez, Kathleen FisherTufts University
DOI
10:35 - 11:25: TypesHaskell at Noh Theater
Chair(s): David DukeUniversity of Leeds
10:35 - 11:00
Talk
Haskell
DOI
11:00 - 11:25
Talk
Haskell
Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Edinburgh, UK
DOI
11:45 - 12:35: PC Chair Report and State of HaskellHaskell at Noh Theater
11:45 - 12:35
Talk
Haskell
14:00 - 14:50: MonadsHaskell at Noh Theater
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
14:00 - 14:25
Talk
Haskell
Pablo BuirasChalmers University of Technology, Koen ClaessenChalmers University of Technology, Atze van der Ploeg
DOI
14:25 - 14:50
Talk
Haskell
DOI
15:20 - 16:10: Abstractions that ScaleHaskell at Noh Theater
Chair(s): Geoffrey MainlandDrexel University
15:20 - 15:45
Talk
Haskell
DOI
15:45 - 16:10
Talk
Haskell
DOI

Sat 24 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

09:15 - 10:15: KeynoteCUFP at Noh Theater
09:15 - 09:20
Day opening
CUFP
Katie OtsFacebook, Alex LangTsuru Capital
09:20 - 10:15
Talk
CUFP
Yaron MinskyJane Street
Media Attached
16:40 - 18:00: Talks 5CUFP at Noh Theater
16:40 - 17:05
Talk
CUFP
Media Attached
17:05 - 17:55
Talk
CUFP
Michael SperberActive Group GmbH
Media Attached
17:55 - 18:00
Day closing
CUFP
Katie OtsFacebook, Alex LangTsuru Capital

Mon 19 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

Tue 20 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

Wed 21 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

Thu 22 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

Fri 23 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

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

Tue 20 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change