Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
VenueMathematical Institute
Room nameL1
Floor0
Room number
Capacity360
Additional informationThere is no additional information of this room available.
Program

Sun 3 Sep

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
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
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
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
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
PLMW-ICFP-2017
15:30 - 16:30: PLMW 2017 - Session 4 at L1
PLMW-ICFP-2017150444540000015:30 - 16:30
Talk
Media Attached
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

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

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

Thu 7 Sep

haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 1, Session 1 at L1
haskellsymp-2017-papers150476760000009:00 - 10:00
Talk
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
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 1, Session 3 at L1
haskellsymp-2017-papers150477840000012:00 - 12:30
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
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
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

Fri 8 Sep

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

Sat 9 Sep

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

Sun 3 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L1
09:00 - 09:10
09:10 - 10:00
10:30 - 11:30
12:00 - 12:30
14:00 - 15:00
15:30 - 16:30
16:50 - 17:40

Mon 4 Sep 2017

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

Thu 7 Sep 2017

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

Fri 8 Sep 2017

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

Sat 9 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L1
12:00 - 12:25

Sun 3 Sep 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
L1
09:00 - 09:10
09:10 - 10:00
14:00 - 14:30

Mon 4 Sep 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
L1

Wed 6 Sep 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
L1