Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 3 Sep

icfp-2017-tutorials
09:00 - 10:00: Tutorials - Morning tutorial session 1 at L5
icfp-2017-tutorials150442200000009:00 - 10:00
Talk
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
scheme-2017
09:00 - 09:10: Scheme 2017 - Session 0 at L4
scheme-2017150442200000009:00 - 09:10
Day opening
PLMW-ICFP-2017
09:00 - 09:10: PLMW 2017 - Welcome at L1
Chair(s): Brigitte PientkaMcGill University
PLMW-ICFP-2017150442200000009:00 - 09:10
Talk
Brigitte PientkaMcGill University, Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge, Dan LicataWesleyan University
tyde-2017-papers
09:00 - 09:05: TyDe 2017 - Welcome at L2
tyde-2017-papers150442200000009:00 - 09:05
Day opening
Sam LindleyUniversity of Edinburgh, UK, Brent YorgeyHendrix College
hope-2017-talks
09:00 - 09:10: HOPE 2017 - Welcome at L3
hope-2017-talks150442200000009:00 - 09:10
Day opening
François PottierInria, France, Aleksandar NanevskiIMDEA Software Institute
tyde-2017-papers
09:05 - 10:00: TyDe 2017 - Invited talk at L2
tyde-2017-papers150442230000009:05 - 10:00
Talk
Andrew KennedyMicrosoft Research
hope-2017-talks
09:10 - 10:00: HOPE 2017 - Invited talk at L3
hope-2017-talks150442260000009:10 - 10:10
Talk
Shin-ya KatsumataNational Institute of Informatics
PLMW-ICFP-2017
09:10 - 10:00: PLMW 2017 - Keynote at L1
Chair(s): Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge
PLMW-ICFP-2017150442260000009:10 - 10:00
Talk
Chris MartensNorth Carolina State University
scheme-2017
09:10 - 10:10: Scheme 2017 - Session 1 at L4
scheme-2017150442260000009:10 - 10:10
Talk
Sam Tobin-HochstadtIndiana University
icfp-2017-catering
10:00 - 10:30: Catering - Sunday coffee break 1 at Catering
icfp-2017-catering150442560000010:00 - 10:30
Coffee break
tyde-2017-papers
10:30 - 11:30: TyDe 2017 - Full papers 1 at L2
tyde-2017-papers150442740000010:30 - 11:00
Talk
Marcell van GeestUtrecht University, Wouter SwierstraUniversity of Utrecht
tyde-2017-papers150442920000011:00 - 11:30
Talk
Daan LeijenMicrosoft Research
hope-2017-talks
10:30 - 11:30: HOPE 2017 - Modular Semantics at L3
hope-2017-talks150442740000010:30 - 11:00
Talk
File Attached
hope-2017-talks150442920000011:00 - 11:30
Talk
Ohad KammarUniversity of Oxford, UK, Dylan McDermottUniversity of Cambridge
File Attached
icfp-2017-tutorials
10:30 - 11:30: Tutorials - Morning tutorial session 2 at L5
icfp-2017-tutorials150442740000010:30 - 11:30
Talk
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
PLMW-ICFP-2017
10:30 - 11:30: PLMW 2017 - Session 1 at L1
PLMW-ICFP-2017150442740000010:30 - 11:00
Talk
PLMW-ICFP-2017150442920000011:00 - 11:30
Talk
Amal AhmedNortheastern University, USA
File Attached
icfp-2017-catering
11:20 - 12:00: Catering - Sunday coffee break 2 at Catering
icfp-2017-catering150443040000011:20 - 12:00
Coffee break
tyde-2017-papers
12:00 - 12:25: TyDe 2017 - Extended abstracts 1 at L2
tyde-2017-papers150443280000012:00 - 12:25
Talk
Zilin ChenUNSW, Australia
icfp-2017-tutorials
12:00 - 12:30: Tutorials - Morning tutorial session 3 at L5
icfp-2017-tutorials150443280000012:00 - 12:30
Talk
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
hope-2017-talks
12:00 - 12:30: HOPE 2017 - Rust at L3
hope-2017-talks150443280000012:00 - 12:30
Talk
Ralf JungMPI-SWS, Germany, Jacques-Henri JourdanMPI-SWS, Germany, Robbert KrebbersDelft University of Technology, Netherlands, Derek DreyerMPI-SWS
PLMW-ICFP-2017
12:00 - 12:30: PLMW 2017 - Session 2 at L1
PLMW-ICFP-2017150443280000012:00 - 12:30
Talk
Gabriel SchererNortheastern University
File Attached
scheme-2017
12:00 - 12:30: Scheme 2017 - Session 3 at L4
scheme-2017150443280000012:00 - 12:30
Talk
François-René Rideau, Marc FeeleyUniversité de Montréal, Arthur GlecklerSRFI Editor, Kathy Gray, Alaric Snell-Pym, Andy WingoIgalia, S.L.
icfp-2017-catering
12:25 - 14:00: Catering - Sunday lunch at Catering
icfp-2017-catering150443430000012:25 - 14:00
Lunch
icfp-2017-tutorials
14:00 - 15:00: Tutorials - Afternoon tutorial session 1 at L5
icfp-2017-tutorials150444000000014:00 - 15:00
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Andreas Lochbihler, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
hope-2017-talks
14:00 - 15:00: HOPE 2017 - Effects and Dependent Types at L3
hope-2017-talks150444000000014:00 - 14:30
Talk
Danel AhmanUniversity of Edinburgh
hope-2017-talks150444180000014:30 - 15:00
Talk
Youyou CongOchanomizu University, William J. BowmanNortheastern University
tyde-2017-papers
14:00 - 15:00: TyDe 2017 - Full papers 2 at L2
tyde-2017-papers150444000000014:00 - 14:30
Talk
Ting-Yan LaiInstitute of Information Science, Academia Sinica, Tyng-Ruey ChuangInstitute of Information Science, Academia Sinica, Shin-Cheng MuAcademia Sinica, Taiwan
tyde-2017-papers150444180000014:30 - 15:00
Talk
Victor Cacciari MiraldoUniversity of Utrecht, Pierre-Evariste DagandLIP6/CNRS , Wouter SwierstraUniversity of Utrecht
PLMW-ICFP-2017
14:00 - 15:00: PLMW 2017 - Session 3 at L1
PLMW-ICFP-2017150444000000014:00 - 14:30
Talk
Ronald GarciaUniversity of British Columbia
File Attached
PLMW-ICFP-2017150444180000014:30 - 15:00
Talk
Nada AminUniversity of Cambridge
File Attached
scheme-2017
14:00 - 15:00: Scheme 2017 - Session 4 at L4
scheme-2017150444000000014:00 - 14:45
Talk
Thomas GilrayUniversity of Utah, USA, Sidharth Kumar
scheme-2017150444270000014:45 - 15:00
Talk
icfp-2017-catering
14:50 - 15:30: Catering - Sunday coffee break 3 at Catering
icfp-2017-catering150444300000014:50 - 15:30
Coffee break
icfp-2017-tutorials
15:30 - 16:20: Tutorials - Afternoon tutorial session 2 at L5
icfp-2017-tutorials150444540000015:30 - 16:20
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Andreas Lochbihler, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
hope-2017-talks
15:30 - 16:30: HOPE 2017 - Effects at L3
hope-2017-talks150444540000015:30 - 16:00
Talk
Daan LeijenMicrosoft Research
hope-2017-talks150444720000016:00 - 16:30
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr Polesiuk, Filip SieczkowskiUniversity of Wrocław
tyde-2017-papers
15:30 - 16:20: TyDe 2017 - Extended abstracts 2 at L2
tyde-2017-papers150444540000015:30 - 15:55
Talk
Kiko Fernandez-ReyesUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern
tyde-2017-papers150444690000015:55 - 16:20
Talk
James McKinnaUniversity of Edinburgh
PLMW-ICFP-2017
15:30 - 16:30: PLMW 2017 - Session 4 at L1
PLMW-ICFP-2017150444540000015:30 - 16:30
Talk
Media Attached
scheme-2017
15:30 - 16:30: Scheme 2017 - Session 5 at L4
scheme-2017150444540000015:30 - 16:15
Talk
scheme-2017150444810000016:15 - 16:30
Talk
icfp-2017-catering
16:20 - 16:50: Catering - Sunday coffee break 4 at Catering
icfp-2017-catering150444840000016:20 - 16:50
Coffee break
icfp-2017-tutorials
16:50 - 17:50: Tutorials - Afternoon tutorial session 3 at L5
icfp-2017-tutorials150445020000016:50 - 17:50
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Andreas Lochbihler, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
tyde-2017-papers
16:50 - 17:40: TyDe 2017 - Extended abstracts 3 at L2
tyde-2017-papers150445020000016:50 - 17:15
Talk
tyde-2017-papers150445170000017:15 - 17:40
Talk
Edwin BradyUniversity of St. Andrews, UK, Kevin HammondUniversity of St. Andrews, UK, Christopher SchwaabUniversity of St Andrews
hope-2017-talks
16:50 - 17:40: HOPE 2017 - Monotonicity at L3
hope-2017-talks150445020000016:50 - 17:20
Talk
Danel AhmanUniversity of Edinburgh, Cătălin HriţcuInria Paris, Kenji MaillardInria Paris, ENS Paris, and Microsoft Research, Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research, n.n., Cédric FournetMicrosoft Research, n.n.
Pre-print
PLMW-ICFP-2017
16:50 - 17:40: PLMW 2017 - Session 5 at L1
PLMW-ICFP-2017150445020000016:50 - 17:40
Talk
Sam StatonUniversity of Oxford, Richard A. EisenbergBryn Mawr College, USA, Andreas RossbergGoogle, Daan Leijen, Amal AhmedNortheastern University, USA
scheme-2017
16:50 - 17:50: Scheme 2017 - Session 6 at L4
scheme-2017150445020000016:50 - 17:40
Talk
Matthew MightUniversity of Utah, USA
scheme-2017150445320000017:40 - 17:50
Day closing

Mon 4 Sep

icfp-2017-Keynote-Talks
09:00 - 10:00: Keynotes and Reports - Monday Keynote at L1
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
icfp-2017-Keynote-Talks150450840000009:00 - 10:00
Talk
Chris MartensNorth Carolina State University
icfp-2017-catering
10:00 - 10:30: Catering - Monday coffee break 1 at Catering
icfp-2017-catering150451200000010:00 - 10:30
Coffee break
icfp-2017-papers
10:30 - 12:00: Research Papers - Art and Education at L1
Chair(s): Kathryn E. GrayUniversity of Cambridge
icfp-2017-papers150451380000010:30 - 10:52
Talk
Leif AndersenNortheastern University, USA, Stephen ChangNortheastern University, USA, Matthias FelleisenNortheastern University, USA
DOI
icfp-2017-papers150451515000010:52 - 11:15
Talk
Ivan PerezUniversity of Nottingham, UK, Henrik NilssonUniversity of Nottingham, UK
DOI
icfp-2017-papers150451650000011:15 - 11:37
Talk
Joachim BreitnerUniversity of Pennsylvania, Chris SmithGoogle, USA
DOI
icfp-2017-papers150451785000011:37 - 12:00
Talk
Benjamin CanouOCamlPro, n.n., Roberto Di CosmoInria, France / University of Paris Diderot, France, Grégoire HenryOCamlPro, n.n.
DOI
fscd-2017
10:30 - 10:45: FSCD 2017 - Welcome at L2
fscd-2017150451380000010:30 - 10:45
Other
Sam StatonUniversity of Oxford, Dale MillerINRIA Saclay and LIX
fscd-2017
10:45 - 11:45: FSCD 2017 - Session 1 at L2
fscd-2017150451470000010:45 - 11:45
Talk
Alexandra SilvaUniversity College London
icfp-2017-catering
12:00 - 13:00: Catering - Monday lunch at Catering
icfp-2017-catering150451920000012:00 - 13:00
Lunch
icfp-2017-papers
13:00 - 14:30: Research Papers - Functional Programming Techniques at L1
Chair(s): Graham HuttonUniversity of Nottingham
icfp-2017-papers150452280000013:00 - 13:22
Talk
Mike SpiveyUniversity of Oxford, UK
DOI
icfp-2017-papers150452415000013:22 - 13:45
Talk
Jean-Philippe BernardyUniversity of Gothenburg
DOI
icfp-2017-papers150452550000013:45 - 14:07
Talk
Conal ElliottTarget, USA
DOI
icfp-2017-papers150452685000014:07 - 14:30
Talk
William E. ByrdUniversity of Utah, USA, Michael BallantyneUniversity of Utah, USA, Gregory Rosenblattn.n., n.n., Matthew MightUniversity of Utah, USA
DOI
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 2 at L2
fscd-2017150452280000013:00 - 13:30
Talk
fscd-2017150452460000013:30 - 14:00
Talk
fscd-2017150452640000014:00 - 14:30
Talk
Ryota Suzuki, Koichi Fujima, Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan
icfp-2017-catering
14:30 - 15:00: Catering - Monday coffee break 2 at Catering
icfp-2017-catering150452820000014:30 - 15:00
Coffee break
icfp-2017-papers
15:00 - 16:10: Research Papers - Applications at L1
Chair(s): Alexandra SilvaUniversity College London
icfp-2017-papers150453000000015:00 - 15:23
Talk
Joshua AuerbachIBM Research, Martin HirzelIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonIBM Research
DOI
icfp-2017-papers150453140000015:23 - 15:46
Talk
Daniel Winograd-CortUniversity of Pennsylvania, USA, Andreas HaeberlenUniversity of Pennsylvania, USA, Aaron RothUniversity of Pennsylvania, USA, Benjamin C. PierceUniversity of Pennsylvania
DOI
icfp-2017-papers150453280000015:46 - 16:10
Talk
Praveen NarayananIndiana University, USA, Chung-chieh ShanIndiana University, USA
DOI
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 3 at L2
fscd-2017150453000000015:00 - 15:30
Talk
Jonas Kaiser, Brigitte PientkaMcGill University, Gert SmolkaSaarland University
fscd-2017150453180000015:30 - 16:00
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Mathias FleuryMPI-INF, Dmitriy TraytelETH Zurich
icfp-2017-catering
16:10 - 16:40: Catering - Monday coffee break 3 at Catering
icfp-2017-catering150453420000016:10 - 16:40
Coffee break
icfp-2017-papers
16:40 - 18:10: Research Papers - Effects at L1
Chair(s): Ben LippmeierDigital Asset / UNSW Australia
icfp-2017-papers150453600000016:40 - 17:02
Talk
David DaraisUniversity of Maryland, USA, Nicholas LabichUniversity of Maryland, USA, Phúc C. NguyễnUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA
DOI
icfp-2017-papers150453735000017:02 - 17:25
Talk
Yannick ForsterSaarland University, Germany / University of Cambridge, UK, Ohad KammarUniversity of Oxford, UK, Sam LindleyUniversity of Edinburgh, UK, Matija PretnarUniversity of Ljubljana, Slovenia
DOI
icfp-2017-papers150453870000017:25 - 17:47
Talk
Wilmer RicciottiUniversity of Edinburgh, UK, Jan StolarekUniversity of Edinburgh, UK, Roly PereraUniversity of Edinburgh, UK / University of Glasgow, UK, James CheneyUniversity of Edinburgh, UK
DOI
icfp-2017-papers150454005000017:47 - 18:10
Talk
Jan MidtgaardDTU, Denmark, Mathias Nygaard JustesenDTU, Denmark, Patrick KastingDTU, Denmark, Flemming NielsonDTU, Denmark, Hanne Riis NielsonDTU, Denmark
DOI
fscd-2017
16:40 - 18:10: FSCD 2017 - Session 4 at L2
fscd-2017150453600000016:40 - 17:10
Talk
fscd-2017150453780000017:10 - 17:40
Talk
Noam ZeilbergerUniversity of Birmingham, UK
fscd-2017150453960000017:40 - 18:10
Talk
icfp-2017-Keynote-Talks
18:10 - 18:20: Keynotes and Reports - Monday Closing Events at L1
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
icfp-2017-Keynote-Talks150454140000018:10 - 18:20
Day closing
icfp-2017-Social-Events
18:30 - 20:30: Social Events - Welcome Reception at Foyer
icfp-2017-Social-Events150454260000018:30 - 20:30
Social Event

Tue 5 Sep

icfp-2017-Keynote-Talks
09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at L1
Chair(s): Mark JonesPortland State University
icfp-2017-Keynote-Talks150459480000009:00 - 10:00
Talk
John LaunchburyGalois, Inc.
icfp-2017-catering
10:00 - 10:30: Catering - Tuesday coffee break 1 at Catering
icfp-2017-catering150459840000010:00 - 10:30
Coffee break
icfp-2017-papers
10:30 - 12:00: Research Papers - Low-level and Systems Programming at L1
Chair(s): Sam Tobin-HochstadtIndiana University
icfp-2017-papers150460020000010:30 - 10:52
Talk
Juan Pedro Bolívar PuenteIndependent Consultant, Sinusoidal Engineering
DOI Pre-print
icfp-2017-papers150460155000010:52 - 11:15
Talk
Jonathan ProtzenkoMicrosoft Research, n.n., Jean-Karim ZinzindohouéInria, France, Aseem RastogiMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n., Peng WangMassachusetts Institute of Technology, USA, Santiago Zanella-BéguelinMicrosoft Research, n.n., Antoine Delignat-LavaudMicrosoft Research, n.n., Cătălin HriţcuInria Paris, Karthikeyan BhargavanInria, France, Cédric FournetMicrosoft Research, n.n., Nikhil SwamyMicrosoft Research, n.n.
DOI
icfp-2017-papers150460290000011:15 - 11:37
Talk
Scott OwensUniversity of Kent, UK, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Magnus O. MyreenChalmers University of Technology, Sweden, Yong Kiam TanCarnegie Mellon University, USA
DOI
icfp-2017-papers150460425000011:37 - 12:00
Talk
Geoffrey MainlandDrexel University, USA
DOI
fscd-2017
10:30 - 11:30: FSCD 2017 - Session 5 at L2
fscd-2017150460020000010:30 - 11:30
Talk
Georg MoserUniversity of Innsbruck
fscd-2017
11:30 - 12:00: FSCD 2017 - Session 6 at L2
fscd-2017150460380000011:30 - 12:00
Talk
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Robert AtkeyUniversity of Strathclyde, KC SivaramakrishnanUniversity of Cambridge
icfp-2017-catering
12:00 - 13:00: Catering - Tuesday lunch at Catering
icfp-2017-catering150460560000012:00 - 13:00
Lunch
icfp-2017-papers
13:00 - 14:30: Research Papers - Foundations of Higher-Order Programming at L1
Chair(s): Gabriel SchererNortheastern University
icfp-2017-papers150460920000013:00 - 13:22
Talk
Makoto HamanaGunma University, Japan
DOI
icfp-2017-papers150461055000013:22 - 13:45
Talk
Alejandro AguirreIMDEA Software Institute, Spain, Gilles BartheIMDEA Software Institute, Spain, Marco GaboardiUniversity at Buffalo, SUNY, USA, Deepak GargMPI-SWS, Germany, Pierre-Yves StrubÉcole Polytechnique, n.n.
DOI
icfp-2017-papers150461190000013:45 - 14:07
Talk
Thibaut BalabonskiLRI, France / University of Paris-Sud, France, Pablo BarenbaumUniversity of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France, Eduardo BonelliCONICET, Argentina / Universidad Nacional de Quilmes, Argentina, Delia KesnerIRIF, France / University of Paris Diderot, France
DOI
icfp-2017-papers150461325000014:07 - 14:30
Talk
Milo DavisNortheastern University, USA, William MeehanNortheastern University, USA, Olin ShiversNortheastern University, USA
DOI
icfp-2017-catering
14:30 - 15:00: Catering - Tuesday coffee break 2 at Catering
icfp-2017-catering150461460000014:30 - 15:00
Coffee break
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 8 at L2
fscd-2017150461640000015:00 - 15:30
Talk
Stefano Guerrini, Marco SolieriUniversity of Bath
fscd-2017150461820000015:30 - 16:00
Talk
Pablo BarenbaumUniversity of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France, Eduardo BonelliCONICET, Argentina / Universidad Nacional de Quilmes, Argentina
icfp-2017-papers
15:00 - 16:10: Research Papers - Tools for Verification at L1
Chair(s): Nikhil SwamyMicrosoft Research, n.n.
icfp-2017-papers150461640000015:00 - 15:23
Talk
Joonwon ChoiMassachusetts Institute of Technology, USA, Muralidaran VijayaraghavanMassachusetts Institute of Technology, USA, Benjamin ShermanMassachusetts Institute of Technology, USA, Adam ChlipalaMassachusetts Institute of Technology, USA, Arvind Massachusetts Institute of Technology, USA
DOI
icfp-2017-papers150461780000015:23 - 15:46
Talk
Konstantin WeitzUniversity of Washington, USA, Steven LyubomirskyUniversity of Washington, USA, Stefan HeuleStanford University, USA, Emina TorlakUniversity of Washington, USA, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, USA
DOI
icfp-2017-papers150461920000015:46 - 16:10
Talk
Benjamin CosmanUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California at San Diego, USA
DOI
icfp-2017-catering
16:10 - 16:40: Catering - Tuesday coffee break 3 at Catering
icfp-2017-catering150462060000016:10 - 16:40
Coffee break
icfp-2017-papers
16:40 - 17:50: Research Papers - Program Construction at L1
Chair(s): John HughesChalmers University of Technology
icfp-2017-papers150462240000016:40 - 17:03
Talk
Conal ElliottTarget, USA
DOI
icfp-2017-papers150462380000017:03 - 17:26
Talk
François PottierInria, France
DOI
icfp-2017-papers150462520000017:26 - 17:50
Talk
Jeremy YallopUniversity of Cambridge, UK
DOI Pre-print
icfp-2017-Keynote-Talks
17:50 - 18:20: Keynotes and Reports - Tuesday Closing Events at L1
icfp-2017-Keynote-Talks150462660000017:50 - 18:20
Talk
Sam LindleyUniversity of Edinburgh, UK

Wed 6 Sep

icfp-2017-Student-Research-Competition
09:00 - 09:37: Student Research Competition - SRC Presentations at L1
Chair(s): Ilya SergeyUniversity College London
icfp-2017-Student-Research-Competition150468120000009:00 - 09:37
Awards
fscd-2017
09:00 - 10:00: FSCD 2017 - Session 10 at L2
fscd-2017150468120000009:00 - 10:00
Talk
icfp-2017-papers
09:37 - 10:00: Research Papers - Domain-Specific Languages at L1
Chair(s): Martin ErwigOregon State University
icfp-2017-papers150468342000009:37 - 10:00
Talk
Vincent St-AmourNorthwestern University, USA, Daniel FelteyNorthwestern University, USA, Spencer P. FlorenceNorthwestern University, USA, Shu-Hung YouNorthwestern University, USA, Robby FindlerNorthwestern University, USA
DOI
icfp-2017-catering
10:00 - 10:30: Catering - Wednesday coffee break 1 at Catering
icfp-2017-catering150468480000010:00 - 10:30
Coffee break
icfp-2017-papers
10:30 - 12:00: Research Papers - Dependently Typed Programming at L1
Chair(s): Dan LicataWesleyan University
icfp-2017-papers150468660000010:30 - 10:52
Talk
Stephanie WeirichUniversity of Pennsylvania, USA, Antoine VoizardUniversity of Pennsylvania, USA, Pedro Henrique Azevedo de AmorimEcole Polytechnique, n.n. / University of Campinas, Brazil, Richard A. EisenbergBryn Mawr College, USA
DOI
icfp-2017-papers150468795000010:52 - 11:15
Talk
Andreas NuytsKU Leuven, Belgium, Andrea VezzosiChalmers University of Technology, Sweden, Dominique DevrieseKU Leuven, Belgium
DOI
icfp-2017-papers150468930000011:15 - 11:37
Talk
Andreas AbelUniversity of Gothenburg, Sweden, Andrea VezzosiChalmers University of Technology, Sweden, Theo WinterhalterENS Paris-Saclay, France
DOI
icfp-2017-papers150469065000011:37 - 12:00
Talk
Gabriel EbnerVienna University of Technology, Austria, Sebastian UllrichKIT, Germany, Jared RoeschUniversity of Washington, USA, Jeremy AvigadCarnegie Mellon University, USA, Leonardo De MouraMicrosoft Research, n.n.
DOI
fscd-2017
10:30 - 12:00: FSCD 2017 - Session 11 at L2
fscd-2017150468660000010:30 - 11:00
Talk
fscd-2017150468840000011:00 - 11:30
Talk
Marcelo FioreComputer Laboratory, University of Cambridge, Philip Saville
fscd-2017150469020000011:30 - 12:00
Talk
icfp-2017-catering
12:00 - 13:00: Catering - Wednesday lunch at Catering
icfp-2017-catering150469200000012:00 - 13:00
Lunch
icfp-2017-papers
13:00 - 14:30: Research Papers - Contracts and Sessions at L1
Chair(s): Matthew FlattUniversity of Utah
icfp-2017-papers150469560000013:00 - 13:22
Talk
Hernan MelgrattiUniversity of Buenos Aires, Argentina, Luca PadovaniUniversity of Turin, Italy
DOI
icfp-2017-papers150469695000013:22 - 13:45
Talk
Lucas WayeHarvard University, USA, Christos DimoulasHarvard University, USA, Stephen ChongHarvard University, USA
DOI
icfp-2017-papers150469830000013:45 - 14:07
Talk
Stephanie BalzerCarnegie Mellon University, USA, Frank PfenningCarnegie Mellon University, USA
DOI
icfp-2017-papers150469965000014:07 - 14:30
Talk
Atsushi IgarashiKyoto University, Japan, Peter ThiemannUniversity of Freiburg, Germany, Vasco VasconcelosUniversity of Lisbon, Portugal, Philip WadlerUniversity of Edinburgh, UK
DOI
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 12 at L2
fscd-2017150469560000013:00 - 13:30
Talk
fscd-2017150469740000013:30 - 14:00
Talk
fscd-2017150469920000014:00 - 14:30
Talk
Andrew PittsUniversity of Cambridge, Ian Orton
icfp-2017-catering
14:30 - 15:00: Catering - Wednesday coffee break 2 at Catering
icfp-2017-catering150470100000014:30 - 15:00
Coffee break
icfp-2017-papers
15:00 - 16:10: Research Papers - Integrating Static and Dynamic Typing at L1
Chair(s): Ronald GarciaUniversity of British Columbia
icfp-2017-papers150470280000015:00 - 15:23
Talk
Amal AhmedNortheastern University, USA, Dustin JamnerNortheastern University, USA, Jeremy G. SiekIndiana University, USA, Philip WadlerUniversity of Edinburgh, UK
DOI
icfp-2017-papers150470420000015:23 - 15:46
Talk
Yuu IgarashiKyoto University, Japan, Taro SekiyamaIBM Research, Japan, Atsushi IgarashiKyoto University, Japan
DOI
icfp-2017-papers150470560000015:46 - 16:10
Talk
Giuseppe CastagnaCNRS, France / University of Paris Diderot, France, Victor LanvinENS Cachan, France
DOI
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 13 at L2
fscd-2017150470280000015:00 - 15:30
Talk
Patrick BahrIT University of Copenhagen
fscd-2017150470460000015:30 - 16:00
Talk
icfp-2017-catering
16:10 - 16:40: Catering - Wednesday coffee break 3 at Catering
icfp-2017-catering150470700000016:10 - 16:40
Coffee break
icfp-2017-papers
16:40 - 17:50: Research Papers - Inference and Analysis at L1
Chair(s): Mark JonesPortland State University
icfp-2017-papers150470880000016:40 - 17:03
Talk
J. Garrett MorrisUniversity of Kansas, USA, Richard A. EisenbergBryn Mawr College, USA
DOI
icfp-2017-papers150471020000017:03 - 17:26
Talk
Martin AvanziniUniversity of Innsbruck, Austria, Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
DOI
icfp-2017-papers150471160000017:26 - 17:50
Talk
Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA, Mitchell WandNortheastern University, USA
DOI
fscd-2017
16:40 - 17:10: FSCD 2017 - Session 14 at L2
fscd-2017150470880000016:40 - 17:10
Talk
fscd-2017
17:10 - 17:20: FSCD 2017 - Termination and Complexity Competition 2017 at L2
fscd-2017150471060000017:10 - 17:20
Other
fscd-2017
17:20 - 18:10: FSCD 2017 - FSCD General Meeting at L2
fscd-2017150471120000017:20 - 18:10
Meeting
icfp-2017-Student-Research-Competition
17:50 - 18:00: Student Research Competition - SRC Awards at L1
Chair(s): Ilya SergeyUniversity College London
icfp-2017-Student-Research-Competition150471300000017:50 - 18:00
Awards
Ilya SergeyUniversity College London
icfp-2017-Keynote-Talks
18:00 - 18:20: Keynotes and Reports - Wednesday Closing Events at L1
icfp-2017-Keynote-Talks150471360000018:00 - 18:10
Talk
Mark JonesPortland State University
icfp-2017-Keynote-Talks150471420000018:10 - 18:20
Talk
Robby FindlerNorthwestern University, USA
icfp-2017-Social-Events
18:30 - 22:30: Social Events - Banquet at Weston Library
icfp-2017-Social-Events150471540000018:30 - 22:30
Social Event

Thu 7 Sep

cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C1 at L6
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks150476760000009:00 - 10:00
Other
cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C2 at L5
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks150476760000009:00 - 10:00
Other
haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 1, Session 1 at L1
haskellsymp-2017-papers150476760000009:00 - 10:00
Talk
fscd-2017
09:00 - 10:00: FSCD 2017 - Session 15 at L2
fscd-2017150476760000009:00 - 10:00
Talk
Marco GaboardiUniversity at Buffalo, SUNY, USA
mlfamilyworkshop-2017-papers
09:00 - 09:05: ML 2017 - Welcome at L3
Chair(s): Sam LindleyUniversity of Edinburgh, UK
mlfamilyworkshop-2017-papers150476760000009:00 - 09:05
Day opening
FHPC-2017-papers
09:00 - 09:10: FHPC 2017 - Welcome to FHPC'17 at L4
FHPC-2017-papers150476760000009:00 - 09:10
Day opening
Phil TrinderUniversity of Glasgow, Cosmin OanceaDIKU, University of Copenhagen
mlfamilyworkshop-2017-papers
09:05 - 10:00: ML 2017 - Invited talk at L3
Chair(s): Sam LindleyUniversity of Edinburgh, UK
mlfamilyworkshop-2017-papers150476790000009:05 - 10:00
Talk
Edwin BradyUniversity of St. Andrews, UK
FHPC-2017-papers
09:10 - 10:10: FHPC 2017 - First Keynote at L4
Chair(s): Kevin HammondUniversity of St. Andrews, UK
FHPC-2017-papers150476820000009:10 - 10:10
Talk
Simon MarlowFacebook
icfp-2017-catering
10:00 - 10:30: Catering - Thursday coffee break 1 at Catering
icfp-2017-catering150477120000010:00 - 10:30
Coffee break
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C1 at L6
cufp-2017-talks150477300000010:30 - 11:30
Talk
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C2 at L5
cufp-2017-talks150477300000010:30 - 11:30
Talk
FHPC-2017-papers
10:30 - 11:30: FHPC 2017 - Compilation at L4
Chair(s): Phil TrinderUniversity of Glasgow
FHPC-2017-papers150477300000010:30 - 11:00
Talk
Geoffrey MainlandDrexel University, USA, Siddhanathan ShanmugamDrexel University, USA
FHPC-2017-papers150477480000011:00 - 11:30
Talk
Amir ShaikhhaEPFL, Switzerland, Andrew FitzgibbonMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research, Cambridge, Dimitrios VytiniotisMicrosoft Research, Cambridge
haskellsymp-2017-papers
10:30 - 11:30: Haskell 2017 - Day 1, Session 2 at L1
haskellsymp-2017-papers150477300000010:30 - 11:00
Talk
haskellsymp-2017-papers150477480000011:00 - 11:30
Talk
fscd-2017
10:30 - 11:59: FSCD 2017 - Session 16 at L2
fscd-2017150477300000010:30 - 11:00
Talk
Benjamin Lichtman, Jan HoffmannCarnegie Mellon University
fscd-2017150477480000011:00 - 11:30
Talk
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund
fscd-2017150477660000011:30 - 11:59
Talk
Delia KesnerIRIF, France / University of Paris Diderot, France, Pierre Vial
mlfamilyworkshop-2017-papers
10:30 - 11:45: ML 2017 - Types and modules at L3
mlfamilyworkshop-2017-papers150477300000010:30 - 10:55
Talk
Gowtham KakiPurdue University, KC SivaramakrishnanUniversity of Cambridge, Samodya AbeysiriwardanePurdue University, Suresh JagannathanPurdue University
mlfamilyworkshop-2017-papers150477450000010:55 - 11:20
Talk
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS, Jérôme VouillonUniv Paris Diderot, Sorbonne Paris Cité, BeSport
mlfamilyworkshop-2017-papers150477600000011:20 - 11:45
Talk
Jeremy YallopUniversity of Cambridge, UK, Stephen Dolan
icfp-2017-catering
11:20 - 12:00: Catering - Thursday coffee break 2 at Catering
icfp-2017-catering150477600000011:20 - 12:00
Coffee break
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C1 at L6
cufp-2017-talks150477840000012:00 - 12:30
Talk
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C2 at L5
cufp-2017-talks150477840000012:00 - 12:30
Talk
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 1, Session 3 at L1
haskellsymp-2017-papers150477840000012:00 - 12:30
Talk
FHPC-2017-papers
12:00 - 12:30: FHPC 2017 - Tools at L4
Chair(s): Cosmin OanceaDIKU, University of Copenhagen
FHPC-2017-papers150477840000012:00 - 12:30
Talk
Maximilian AlgehedChalmers University of Technology, Sweden, Patrik JanssonChalmers University of Technology
mlfamilyworkshop-2017-papers
12:00 - 12:25: ML 2017 - Verification at L3
mlfamilyworkshop-2017-papers150477840000012:00 - 12:25
Talk
Arthur CharguéraudInria, Jean-Christophe FilliatreCNRS, Paris, France, Mário PereiraLRI - Université Paris-Sud, François PottierInria, France
icfp-2017-catering
12:25 - 14:00: Catering - Thursday lunch at Catering
icfp-2017-catering150477990000012:25 - 14:00
Lunch
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C3 at L5
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks150478560000014:00 - 15:00
Other
Daniel HillerströmThe University of Edinburgh, KC SivaramakrishnanUniversity of Cambridge
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C4 at L6
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks150478560000014:00 - 15:00
Talk
haskellsymp-2017-papers
14:00 - 15:00: Haskell 2017 - Day 1, Session 4 at L1
haskellsymp-2017-papers150478560000014:00 - 14:30
Demonstration
Maximilian AlgehedChalmers University of Technology, Sweden, Koen ClaessenChalmers University of Technology, Moa JohanssonChalmers University of Technology, Nicholas Smallbone
haskellsymp-2017-papers150478740000014:30 - 15:00
Talk
FHPC-2017-papers
14:00 - 15:00: FHPC 2017 - Parallel Programming at L4
Chair(s): Geoffrey MainlandDrexel University, USA
FHPC-2017-papers150478560000014:00 - 14:30
Talk
Adam Barwell, Kevin HammondUniversity of St. Andrews, UK
FHPC-2017-papers150478740000014:30 - 15:00
Talk
Rasmus Wriedt LarsenDIKU, University of Copenhagen, Troels HenriksenDIKU, University of Copenhagen
mlfamilyworkshop-2017-papers
14:00 - 15:15: ML 2017 - Programming language design at L3
mlfamilyworkshop-2017-papers150478560000014:00 - 14:25
Talk
Pierre DelaunayUniversité de Montréal, Vincent Archambault-BouffardUniversité de Montréal, Stefan MonnierUniversité de Montréal
mlfamilyworkshop-2017-papers150478710000014:25 - 14:50
Talk
Petr LozovSain Petersburg State University, SPbGU, Dmitri Boulytchev
mlfamilyworkshop-2017-papers150478860000014:50 - 15:15
Talk
Koko MuroyaUniversity of Birmingham, UK
icfp-2017-catering
14:50 - 15:30: Catering - Thursday coffee break 3 at Catering
icfp-2017-catering150478860000014:50 - 15:30
Coffee break
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C3 at L5
cufp-2017-talks150479100000015:30 - 16:20
Talk
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C4 at L6
cufp-2017-talks150479100000015:30 - 16:20
Talk
haskellsymp-2017-papers
15:30 - 16:30: Haskell 2017 - Day 1, Session 5 at L1
haskellsymp-2017-papers150479100000015:30 - 16:00
Talk
haskellsymp-2017-papers150479280000016:00 - 16:30
Talk
Niki VazouUniversity of Maryland, Leonidas LampropoulosUniversity of Pennsylvania, Jeff Polakow
FHPC-2017-papers
15:30 - 16:30: FHPC 2017 - Demo Session at L4
Chair(s): Cosmin OanceaDIKU, University of Copenhagen
FHPC-2017-papers150479100000015:30 - 15:59
Demonstration
Troels HenriksenDIKU, University of Copenhagen
FHPC-2017-papers150479280000016:00 - 16:29
Demonstration
Christopher BrownUniversity of St. Andrews, UK, Kevin HammondUniversity of St. Andrews, UK
FHPC-2017-papers150479460000016:30 - 16:50
Social Event
mlfamilyworkshop-2017-papers
15:30 - 16:20: ML 2017 - Performance at L3
mlfamilyworkshop-2017-papers150479100000015:30 - 15:55
Talk
Atsushi OhoriTohoku University, Japan, Kenjiro TauraThe University of Tokyo, Katsuhiro UenoTohoku University
mlfamilyworkshop-2017-papers150479250000015:55 - 16:20
Talk
icfp-2017-catering
16:20 - 16:50: Catering - Thursday coffee break 4 at Catering
icfp-2017-catering150479400000016:20 - 16:50
Coffee break
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C3 at L5
cufp-2017-talks150479580000016:50 - 17:30
Talk
Daniel HillerströmThe University of Edinburgh, KC SivaramakrishnanUniversity of Cambridge
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C4 at L6
cufp-2017-talks150479580000016:50 - 17:30
Talk
haskellsymp-2017-papers
16:50 - 17:50: Haskell 2017 - Day 1, Session 6 at L1
haskellsymp-2017-papers150479580000016:50 - 17:20
Talk
Anton EkbladChalmers University of Technology
haskellsymp-2017-papers150479760000017:20 - 17:50
Talk
FHPC-2017-papers
16:50 - 17:50: FHPC 2017 - Demo and Panel at L4
Chair(s): Phil TrinderUniversity of Glasgow
FHPC-2017-papers150479580000016:50 - 17:20
Demonstration
Siddhanathan ShanmugamDrexel University, USA, Geoffrey MainlandDrexel University, USA
FHPC-2017-papers150479760000017:20 - 17:50
Day closing
Geoffrey MainlandDrexel University, USA, Kevin HammondUniversity of St. Andrews, UK, Simon MarlowFacebook
mlfamilyworkshop-2017-papers
16:50 - 17:40: ML 2017 - Effects at L3
mlfamilyworkshop-2017-papers150479580000016:50 - 17:15
Talk
mlfamilyworkshop-2017-papers150479730000017:15 - 17:40
Talk
Stephen Dolan, Spiros EliopoulosJane Street Group, Daniel HillerströmThe University of Edinburgh, Anil MadhavapeddyOCaml Labs, KC SivaramakrishnanUniversity of Cambridge, Leo WhiteJane Street
icfp-2017-Social-Events
18:15 - 20:30: Social Events - Industry Reception at Ashmolean Museum
icfp-2017-Social-Events150480090000018:15 - 20:30
Social Event

Fri 8 Sep

cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C5 at L6
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks150485400000009:00 - 10:00
Talk
Michael SperberActive Group GmbH
cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C6 at L5
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks150485400000009:00 - 10:00
Talk
haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 2, Session 1 at L1
haskellsymp-2017-papers150485400000009:00 - 10:00
Talk
Donya QuickStevens Institute of Technology
ocaml-2017-talks
09:00 - 09:10: OCaml 2017 - Opening at L3
ocaml-2017-talks150485400000009:00 - 09:05
Day opening
Gabriel SchererNortheastern University
erlang-2017-papers
09:00 - 09:10: Erlang 2017 - Opening & Welcome at L4
erlang-2017-papers150485400000009:00 - 09:10
Day opening
erlang-2017-papers
09:10 - 10:00: Erlang 2017 - Keynote Invited Talk at L4
erlang-2017-papers150485460000009:10 - 10:00
Talk
ocaml-2017-talks
09:10 - 10:10: OCaml 2017 - Talk session 1 at L3
ocaml-2017-talks150485430000009:05 - 09:40
Talk
ocaml-2017-talks150485640000009:40 - 10:05
Talk
icfp-2017-catering
10:00 - 10:30: Catering - Friday coffee break 1 at Catering
icfp-2017-catering150485760000010:00 - 10:30
Coffee break
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C5 at L6
cufp-2017-talks150485940000010:30 - 11:30
Talk
Michael SperberActive Group GmbH
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C6 at L5
cufp-2017-talks150485940000010:30 - 11:30
Talk
haskellsymp-2017-papers
10:30 - 11:30: Haskell 2017 - Day 2, Session 2 at L1
haskellsymp-2017-papers150485940000010:30 - 11:00
Talk
Dmitrij Szamozvancev, Michael GaleUniversity of Warwick, UK
haskellsymp-2017-papers150486120000011:00 - 11:30
Talk
Ivan PerezUniversity of Nottingham, UK
erlang-2017-papers
10:30 - 11:20: Erlang 2017 - Session 2 at L4
erlang-2017-papers150485940000010:30 - 10:55
Talk
Evgeniy ShishkinJSC "InfoTeCS"
DOI File Attached
erlang-2017-papers150486090000010:55 - 11:20
Talk
Joseph HarrisonUniversity of Kent
ocaml-2017-talks
10:30 - 11:30: OCaml 2017 - Talk session 2 at L3
ocaml-2017-talks150485940000010:30 - 10:50
Talk
Liang WangUniversity of Cambridge
Link to publication Pre-print
ocaml-2017-talks150486060000010:50 - 11:10
Talk
Runhang LiTwitter, Inc, Jeremy YallopUniversity of Cambridge, UK
Link to publication Pre-print
ocaml-2017-talks150486180000011:10 - 11:30
Talk
Sebastien MondetMount Sinai - Hammer Lab
Pre-print
icfp-2017-catering
11:20 - 12:00: Catering - Friday coffee break 2 at Catering
icfp-2017-catering150486240000011:20 - 12:00
Coffee break
ocaml-2017-talks
11:35 - 12:30: OCaml 2017 - Poster session at L3
ocaml-2017-talks150486330000011:35 - 11:45
Talk
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Bury GuillaumeINRIA / LSV / CNRS
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Jeremie DiminoJane Street Europe, Mark Shinwell
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C5 at L6
cufp-2017-talks150486480000012:00 - 12:30
Talk
Michael SperberActive Group GmbH
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C6 at L5
cufp-2017-talks150486480000012:00 - 12:30
Talk
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 2, Session 3 at L1
haskellsymp-2017-papers150486480000012:00 - 12:30
Talk
Jennifer PaykinUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
erlang-2017-papers
12:00 - 12:25: Erlang 2017 - Session 3 at L4
erlang-2017-papers150486480000012:00 - 12:25
Talk
icfp-2017-catering
12:25 - 14:00: Catering - Friday lunch at Catering
icfp-2017-catering150486630000012:25 - 14:00
Lunch
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C7 at L6
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks150487200000014:00 - 15:00
Talk
Liang WangUniversity of Cambridge
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C8 at L5
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks150487200000014:00 - 15:00
Talk
haskellsymp-2017-papers
14:00 - 15:00: Haskell 2017 - Day 2, Session 4 at L1
haskellsymp-2017-papers150487200000014:00 - 14:30
Talk
Georgios KarachaliasKU Leuven, Belgium, Tom SchrijversKU Leuven
haskellsymp-2017-papers150487380000014:30 - 15:00
Talk
Gert-Jan Bottu, Georgios KarachaliasKU Leuven, Belgium, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Philip WadlerUniversity of Edinburgh, UK
erlang-2017-papers
14:00 - 14:50: Erlang 2017 - Session 4 at L4
erlang-2017-papers150487200000014:00 - 14:25
Talk
Kagumi AzumaKwansei Gakuin University, Nagisa IshiuraKwansei Gakuin University, Nobuaki YoshidaASTEM RI/KYOTO, Hiroyuki KanbaraASTEM RI/KYOTO
erlang-2017-papers150487350000014:25 - 14:50
Talk
Dániel LukácsEötvös Loránd University, Melinda Toth
ocaml-2017-talks
14:00 - 15:00: OCaml 2017 - Talk session 3 at L3
ocaml-2017-talks150487200000014:00 - 14:20
Talk
Link to publication
ocaml-2017-talks150487320000014:20 - 14:40
Talk
Stephen Dolan, KC SivaramakrishnanUniversity of Cambridge
Link to publication
ocaml-2017-talks150487440000014:40 - 15:00
Talk
Sebastien MondetMount Sinai - Hammer Lab
Pre-print
icfp-2017-catering
14:50 - 15:30: Catering - Friday coffee break 3 at Catering
icfp-2017-catering150487500000014:50 - 15:30
Coffee break
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C7 at L6
cufp-2017-talks150487740000015:30 - 16:20
Talk
Liang WangUniversity of Cambridge
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C8 at L5
cufp-2017-talks150487740000015:30 - 16:20
Talk
haskellsymp-2017-papers
15:30 - 16:30: Haskell 2017 - Day 2, Session 5 at L1
haskellsymp-2017-papers150487740000015:30 - 16:00
Talk
haskellsymp-2017-papers150487920000016:00 - 16:30
Talk
Robert Clifton-Everest, Trevor L. McDonellUniversity of New South Wales, Australia, Manuel Chakravarty, Gabriele KellerData61,CSIRO (formerly NICTA) and UNSW
erlang-2017-papers
15:30 - 16:20: Erlang 2017 - Session 5 at L4
erlang-2017-papers150487740000015:30 - 15:55
Talk
Stavros AronisUppsala University, Kostis Sagonas
erlang-2017-papers150487890000015:55 - 16:20
Talk
Viktória FördősErlang Solutions Ltd, Hungary, István BozóEötvös Loránd University, Melinda Toth
ocaml-2017-talks
15:30 - 16:30: OCaml 2017 - Talk session 4 at L3
ocaml-2017-talks150487740000015:30 - 15:50
Talk
Tom RidgeUniversity of Leicester, UK
Link to publication
ocaml-2017-talks150487860000015:50 - 16:10
Talk
Link to publication
ocaml-2017-talks150487980000016:10 - 16:30
Talk
Benjamin CanouOCamlPro, n.n., Grégoire HenryOCamlPro, n.n., Pierre ChambartOCamlPRO, Fabrice Le FessantOCamlPro, Arthur BREITMANDynamic Ledger Solutions
icfp-2017-catering
16:20 - 16:50: Catering - Friday coffee break 4 at Catering
icfp-2017-catering150488040000016:20 - 16:50
Coffee break
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C7 at L6
cufp-2017-talks150488220000016:50 - 17:30
Talk
Liang WangUniversity of Cambridge
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C8 at L5
cufp-2017-talks150488220000016:50 - 17:30
Talk
haskellsymp-2017-papers
16:50 - 17:50: Haskell 2017 - Day 2, Session 6 at L1
haskellsymp-2017-papers150488220000016:50 - 17:20
Talk
Ryan Yates, Michael ScottUniversity of Rochester
haskellsymp-2017-papers150488400000017:20 - 17:50
Talk
Chao-Hong ChenIndiana University, Vikraman Choudhury, Ryan R. NewtonIndiana University
erlang-2017-papers
16:50 - 17:50: Erlang 2017 - Session 6 at L4
erlang-2017-papers150488220000016:50 - 17:20
Talk
Ian CassarUniversity of Malta, Adrian FrancalanzaUniversity of Malta, Luca AcetoReykjavik University, Anna IngolfsdottirReykjavik University
erlang-2017-papers150488400000017:20 - 17:50
Talk
ocaml-2017-talks
16:50 - 17:40: OCaml 2017 - Talk session 5 at L3
ocaml-2017-talks150488280000017:00 - 17:20
Talk
Zhanpeng LiangUniversity of Southern California, Kanae Tsushima
Link to publication
ocaml-2017-talks150488400000017:20 - 17:40
Talk

Sat 9 Sep

farm-2017-papers
09:00 - 09:10: FARM 2017 - Introduction at L3
farm-2017-papers150494040000009:00 - 09:10
Day opening
Michael SperberActive Group GmbH, Jean BressonUMR STMS: IRCAM-CNRS-UPMC
hiw-2017
09:00 - 10:10: HIW 2017 - State of GHC at L1
Chair(s): Richard A. EisenbergBryn Mawr College, USA
hiw-2017150494040000009:00 - 09:30
Talk
Simon Peyton JonesMicrosoft Research, Cambridge
hiw-2017150494220000009:30 - 10:00
Talk
Ben GamariWell-Typed LLP
hiw-2017150494400000010:00 - 10:10
Talk
Andrey Mokhov, Zhen ZhangUniversity of Washington, Ben GamariWell-Typed LLP, Neil Mitchell
cufp-2017-talks
09:10 - 10:00: CUFP 2017 - CUFP Talks 1 at L2
cufp-2017-talks150494100000009:10 - 09:35
Talk
Bodil StokkeChurch of Emacs
cufp-2017-talks150494250000009:35 - 10:00
Talk
farm-2017-papers
09:10 - 10:00: FARM 2017 - Session 1: Papers/Demos at L3
Chair(s): Jean BressonUMR STMS: IRCAM-CNRS-UPMC
farm-2017-papers150494100000009:10 - 09:40
Talk
farm-2017-papers150494280000009:40 - 10:00
Demonstration
Pre-print
icfp-2017-catering
10:00 - 10:30: Catering - Saturday coffee break 1 at Catering
icfp-2017-catering150494400000010:00 - 10:30
Coffee break
cufp-2017-talks
10:30 - 11:20: CUFP 2017 - CUFP Talks 2 at L2
cufp-2017-talks150494580000010:30 - 10:55
Talk
Joris GiovannangeliAhrefs Research
cufp-2017-talks150494730000010:55 - 11:20
Talk
hiw-2017
10:30 - 11:30: HIW 2017 - Compiling to LLVM at L1
Chair(s): Jan StolarekUniversity of Edinburgh, UK
hiw-2017150494580000010:30 - 10:55
Talk
Kavon FarvardinUniversity of Chicago, Simon Peyton JonesMicrosoft Research, Cambridge
hiw-2017150494730000010:55 - 11:20
Talk
Siddharth BhatIIT Hyderabad
hiw-2017150494880000011:20 - 11:30
Talk
farm-2017-papers
10:30 - 11:30: FARM 2017 - Session 2: Papers/Demos at L3
Chair(s): Ivan PerezUniversity of Nottingham, UK
farm-2017-papers150494580000010:30 - 10:50
Demonstration
Chris FordThoughtWorks (UK) Ltd.
Pre-print
farm-2017-papers150494700000010:50 - 11:10
Demonstration
Pre-print
farm-2017-papers150494820000011:10 - 11:40
Talk
Ivan PerezUniversity of Nottingham, UK
icfp-2017-catering
11:20 - 12:00: Catering - Saturday coffee break 2 at Catering
icfp-2017-catering150494880000011:20 - 12:00
Coffee break
cufp-2017-talks
12:00 - 12:25: CUFP 2017 - CUFP Talks 3 at L2
cufp-2017-talks150495120000012:00 - 12:25
Talk
hiw-2017
12:00 - 12:25: HIW 2017 - Constraints at L1
Chair(s): Ben GamariWell-Typed LLP
hiw-2017150495120000012:00 - 12:25
Talk
J. Garrett MorrisUniversity of Kansas, USA
farm-2017-papers
12:00 - 12:30: FARM 2017 - Session 3: Paper at L3
Chair(s): Michael SperberActive Group GmbH
farm-2017-papers150495120000012:00 - 12:30
Talk
icfp-2017-catering
12:25 - 14:00: Catering - Saturday lunch at Catering
icfp-2017-catering150495270000012:25 - 14:00
Lunch
cufp-2017-talks
14:00 - 14:50: CUFP 2017 - CUFP Talks 4 at L2
cufp-2017-talks150495840000014:00 - 14:25
Talk
Simon MeierDigital Asset
cufp-2017-talks150495990000014:25 - 14:50
Talk
Ivan PerezUniversity of Nottingham, UK
farm-2017-papers
14:00 - 15:00: FARM 2017 - Session 4: Tutorial at L3
Chair(s): Jean BressonUMR STMS: IRCAM-CNRS-UPMC
farm-2017-papers150495840000014:00 - 15:00
Talk
hiw-2017
14:00 - 15:00: HIW 2017 - Working in Core at L1
Chair(s): Adam GundryWell-Typed LLP
hiw-2017150495840000014:00 - 14:25
Talk
hiw-2017150495990000014:25 - 14:50
Talk
Sebastian GrafKarlsruhe Institute of Technology
hiw-2017150496140000014:50 - 15:00
Talk
icfp-2017-catering
14:50 - 15:30: Catering - Saturday coffee break 3 at Catering
icfp-2017-catering150496140000014:50 - 15:30
Coffee break
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Talks 5 at L2
cufp-2017-talks150496380000015:30 - 15:55
Talk
cufp-2017-talks150496530000015:55 - 16:20
Talk
Nicholas CowleG-Research, Robin KayG-Research
farm-2017-papers
15:30 - 16:20: FARM 2017 - Session 5: Demos at L3
Chair(s): David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
farm-2017-papers150496380000015:30 - 15:50
Demonstration
Henrik NilssonUniversity of Nottingham, UK
Pre-print
farm-2017-papers150496500000015:50 - 16:10
Demonstration
Pre-print
hiw-2017
15:30 - 16:30: HIW 2017 - Tool Support at L1
Chair(s): Wren RomanoX
hiw-2017150496380000015:30 - 15:55
Talk
hiw-2017150496530000015:55 - 16:20
Talk
hiw-2017150496680000016:20 - 16:30
Talk
icfp-2017-catering
16:20 - 16:50: Catering - Saturday coffee break 4 at Catering
icfp-2017-catering150496680000016:20 - 16:50
Coffee break
hiw-2017
16:50 - 17:50: HIW 2017 - All Broken Up at L1
Chair(s): Bartosz NitkaFacebook
hiw-2017150496860000016:50 - 17:15
Talk
Philipp SchusterUniversity of Tübingen
hiw-2017150497010000017:15 - 17:50
Talk
cufp-2017-talks
16:50 - 17:40: CUFP 2017 - CUFP Talks 6 at L2
cufp-2017-talks150496860000016:50 - 17:15
Talk
Máté MarjaiTestingPays
cufp-2017-talks150497010000017:15 - 17:40
Talk
farm-2017-papers
16:50 - 17:40: FARM 2017 - Session 6: Papers/Demos at L3
Chair(s): Henrik NilssonUniversity of Nottingham, UK
farm-2017-papers150496860000016:50 - 17:20
Talk
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
farm-2017-papers150497040000017:20 - 17:40
Demonstration
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
Pre-print
icfp-2017-Social-Events
19:30 - 22:00: Social Events - FARM Performance Evening at Old Fire Station
icfp-2017-Social-Events150497820000019:30 - 22:00
Social Event

Sun 3 Sep 2017

Thu 7 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Ashmolean Museum
Catering
L1
L2
09:00 - 10:00
10:30 - 11:59
L3
09:00 - 09:05
09:05 - 10:00
10:30 - 11:45
12:00 - 12:25
15:30 - 16:20
16:50 - 17:40
L4
09:10 - 10:10
10:30 - 11:30
12:00 - 12:30
15:30 - 16:30
16:50 - 17:50
L5
L6

Fri 8 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Catering
L1