Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
VenueHotel Scandic Berlin Potsdamer Platz
Room nameAurora Borealis
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 18 Aug

tyde-2019-papers
09:00 - 10:20: TyDe 2019 - Interaction and Applications at Aurora Borealis
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
tyde-2019-papers09:00 - 09:20
Talk
David Moon, Cyrus OmarUniversity of Chicago, Ben ShapiroUniversity of Colorado, Boulder
Pre-print
tyde-2019-papers09:20 - 09:40
Talk
Cyrus OmarUniversity of Chicago, Nick CollinsUniversity of Chicago, David Moon, Ian VoyseyCarnegie Mellon University, Ravi ChughUniversity of Chicago
Pre-print
tyde-2019-papers09:40 - 10:00
Talk
Orestis MelkonianUtrecht University, Wouter SwierstraUtrecht University, Netherlands, Manuel ChakravartyTweag I/O & IOHK
Pre-print
tyde-2019-papers10:00 - 10:20
Talk
Robert KrookChalmers University of Technology, Patrik JanssonChalmers University of Technology
Pre-print
tyde-2019-papers
10:50 - 12:10: TyDe 2019 - Dependently Typed Programming at Aurora Borealis
Chair(s): William J. BowmanUniversity of British Columbia
tyde-2019-papers10:50 - 11:10
Talk
Pre-print
tyde-2019-papers11:10 - 11:30
Talk
Sean InnesUniversity of Bristol, Nicolas WuImperial College London
Link to publication
tyde-2019-papers11:30 - 11:50
Talk
Liang-Ting ChenSwansea University, UK
Pre-print
tyde-2019-papers11:50 - 12:10
Talk
Link to publication
tyde-2019-papers
13:40 - 14:50: TyDe 2019 - Invited Talk and Metatheory at Aurora Borealis
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
tyde-2019-papers13:40 - 14:30
Talk
tyde-2019-papers14:30 - 14:50
Talk
Stefan MonnierUniversité de Montréal
Link to publication
tyde-2019-papers
15:20 - 16:40: TyDe 2019 - Generic Programming and Synthesis at Aurora Borealis
Chair(s): Edwin BradyUniversity of St. Andrews, UK
tyde-2019-papers15:20 - 15:40
Talk
Cas van der RestUtrecht University, Wouter SwierstraUtrecht University, Netherlands, Manuel ChakravartyTweag I/O & IOHK
Pre-print
tyde-2019-papers15:40 - 16:00
Talk
Guillaume AllaisUniversity of Strathclyde
Link to publication
tyde-2019-papers16:00 - 16:20
Talk
Bruce CollieUniversity of Edinburgh, Michael O'BoyleUniversity of Edinburgh
Pre-print
tyde-2019-papers16:20 - 16:40
Talk
Peter-Michael OseraGrinnell College
Link to publication
tyde-2019-papers
17:10 - 18:10: TyDe 2019 - Effects at Aurora Borealis
Chair(s): David DaraisUniversity of Vermont
tyde-2019-papers17:10 - 17:30
Talk
Joris CeulemansKU Leuven, Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel
Pre-print
tyde-2019-papers17:30 - 17:50
Talk
Koen JacobsKU Leuven, Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel
Link to publication

Mon 19 Aug

icfp-2019-Keynotes-and-Reports
09:00 - 10:00: Keynotes and Reports - Monday Keynote at Aurora Borealis
Chair(s): Derek DreyerMPI-SWS
icfp-2019-Keynotes-and-Reports09:00 - 10:00
Talk
Manuel ChakravartyTweag I/O & IOHK
icfp-2019-papers
10:30 - 12:00: Research Papers - Compilation & Parallelism at Aurora Borealis
Chair(s): Michael D. AdamsUniversity of Michigan
icfp-2019-papers10:30 - 10:52
Talk
Matthew FlattUniversity of Utah, Caner DericiIndiana University, R. Kent DybvigCisco Systems, Inc, Andy KeepCisco Systems, Inc, Gustavo E. MassaccesiUniversidad de Buenos Aires, Sarah SpallIndiana University, Sam Tobin-HochstadtIndiana University, Jon Zeppieri
icfp-2019-papers10:52 - 11:15
Talk
Youyou CongTokyo Institute of Technology, Leo OsvaldPurdue University, USA, Gregory EssertelPurdue University, Tiark RompfPurdue University
icfp-2019-papers11:15 - 11:37
Talk
Akimasa MorihataUniversity of Tokyo
icfp-2019-papers11:37 - 12:00
Talk
Stefan MullerCarnegie Mellon University, Sam WestrickCarnegie Mellon University, Umut AcarCarnegie Mellon University
icfp-2019-papers
13:30 - 15:00: Research Papers - Verified Compilation at Aurora Borealis
Chair(s): Ralf JungMPI-SWS
icfp-2019-papers13:30 - 13:52
Talk
Benjamin DelawarePurdue University, Sorawit Suriyakarn, Clément Pit-ClaudelMIT CSAIL, Qianchuan YePurdue University, Adam ChlipalaMassachusetts Institute of Technology
Link to publication DOI Authorizer link
icfp-2019-papers13:52 - 14:15
Talk
Zoe ParaskevopoulouPrinceton University, Andrew AppelPrinceton
icfp-2019-papers14:15 - 14:37
Talk
Thomas Van StrydonckKULeuven, Frank PiessensKU Leuven, Dominique DevrieseVrije Universiteit Brussel
icfp-2019-papers14:37 - 15:00
Talk
Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
icfp-2019-papers
15:20 - 16:30: Research Papers - Type Theory at Aurora Borealis
Chair(s): Jennifer PaykinGalois, Inc.
icfp-2019-papers15:20 - 15:43
Talk
icfp-2019-papers15:43 - 16:06
Talk
Andrea VezzosiChalmers University of Technology, Anders MörtbergDepartment of Mathematics, Stockholm University, Andreas AbelGothenburg University
icfp-2019-papers16:06 - 16:30
Talk
Joseph EremondiUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris, Ronald GarciaUniversity of British Columbia
Pre-print
icfp-2019-papers
16:50 - 18:00: Research Papers - Types at Aurora Borealis
Chair(s): Richard A. EisenbergBryn Mawr College, USA
icfp-2019-papers16:50 - 17:13
Talk
Maximilian AlgehedChalmers University of Technology, Sweden, Jean-Philippe BernardyUniversity of Gothenburg
icfp-2019-papers17:13 - 17:36
Talk
Andrey MokhovNewcastle University, UK, Georgy LukyanovNewcastle University, UK, Simon MarlowFacebook, Jeremie DiminoJane Street Europe
Link to publication
icfp-2019-papers17:36 - 18:00
Talk
Gert-Jan BottuKU Leuven, Ningning XieThe University of Hong Kong, Klara MardirosianKU Leuven, Tom SchrijversKU Leuven

Tue 20 Aug

icfp-2019-Keynotes-and-Reports
09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at Aurora Borealis
Chair(s): François PottierInria, France
icfp-2019-Keynotes-and-Reports09:00 - 10:00
Talk
Emina TorlakUniversity of Washington
icfp-2019-papers
10:30 - 12:00: Research Papers - Program Analysis & Synthesis at Aurora Borealis
Chair(s): Daniel Winograd-CortTarget Corp
icfp-2019-papers10:30 - 10:52
Talk
Weihao QuUniversity at Buffalo, SUNY, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems
icfp-2019-papers10:52 - 11:15
Talk
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Andreas HaeberlenUniversity of Pennsylvania, USA, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania, USA
icfp-2019-papers11:15 - 11:37
Talk
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin-Madison
icfp-2019-papers11:37 - 12:00
Talk
Anders MiltnerPrinceton University, Solomon MainaUniversity of Pennsylvania, Kathleen FisherTufts University, USA, Benjamin C. PierceUniversity of Pennsylvania, David WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
Pre-print
icfp-2019-papers
13:30 - 15:00: Research Papers - The Real World at Aurora Borealis
Chair(s): Robert AtkeyUniversity of Strathclyde
icfp-2019-papers13:30 - 13:52
Talk
Fei Wang, Dan ZhengPurdue University, Google Brain, James Decker, Xilun WuPurdue University, Gregory EssertelPurdue University, Tiark RompfPurdue University
Pre-print
icfp-2019-papers13:52 - 14:15
Talk
Amir ShaikhhaUniversity of Oxford, Andrew FitzgibbonMicrosoft Research, Cambridge, Dimitrios VytiniotisDeepMind, Simon Peyton JonesMicrosoft, UK
icfp-2019-papers14:15 - 14:37
Talk
Rajan WaliaIndiana University, Praveen NarayananIndiana University, USA, Jacques CaretteMcMaster University, Sam Tobin-HochstadtIndiana University, Chung-chieh ShanIndiana University, USA
Pre-print
icfp-2019-papers14:37 - 15:00
Talk
Benjamin ShermanMassachusetts Institute of Technology, USA, Jesse MichelMassachusetts Institute of Technology, Michael CarbinMassachusetts Institute of Technology
DOI Pre-print Media Attached
icfp-2019-papers
15:20 - 16:30: Research Papers - Dependent Types in Haskell at Aurora Borealis
Chair(s): Joachim BreitnerDFINITY Foundation
icfp-2019-papers15:20 - 15:43
Talk
David Thrane ChristiansenGalois, USA, Iavor DiatchkiGalois, Inc., Robert DockinsGalois, Inc., Joe HendrixGalois, Inc., Tristan RavitchGalois, Inc.
icfp-2019-papers15:43 - 16:06
Talk
Stephanie WeirichUniversity of Pennsylvania, USA, Pritam ChoudhuryUniversity of Pennsylvania, Antoine VoizardUniversity of Pennsylvannia, Richard A. EisenbergBryn Mawr College, USA
icfp-2019-papers16:06 - 16:30
Talk
Csongor KissImperial College London, Tony FieldImperial College London, Susan EisenbachImperial College London, Simon Peyton JonesMicrosoft, UK
icfp-2019-Keynotes-and-Reports
16:50 - 18:15: Keynotes and Reports - Tuesday Report at Aurora Borealis
icfp-2019-Student-Research-Competition16:50 - 17:30
Talk
icfp-2019-Keynotes-and-Reports17:30 - 17:45
Awards
icfp-2019-Keynotes-and-Reports17:45 - 18:15
Awards
Ilya SergeyYale-NUS College and National University of Singapore

Wed 21 Aug

icfp-2019-Keynotes-and-Reports
09:00 - 10:00: Keynotes and Reports - Wednesday Keynote at Aurora Borealis
Chair(s): François PottierInria, France
icfp-2019-Keynotes-and-Reports09:00 - 10:00
Talk
Andrej BauerUniversity of Ljubljana
icfp-2019-papers
10:30 - 12:00: Research Papers - Program Verification at Aurora Borealis
Chair(s): Adam ChlipalaMassachusetts Institute of Technology
icfp-2019-papers10:30 - 10:52
Talk
Wouter SwierstraUtrecht University, Netherlands, Tim BaanenUtrecht University
icfp-2019-papers10:52 - 11:15
Talk
Kenji MaillardInria Paris and ENS Paris, Danel AhmanUniversity of Ljubljana, Robert AtkeyUniversity of Strathclyde, Guido MartínezCIFASIS-CONICET, Argentina, Cătălin HriţcuInria Paris, Exequiel RivasInria Paris, Éric TanterUniversity of Chile & Inria Paris
Pre-print
icfp-2019-papers11:15 - 11:37
Talk
Amin Timanyimec-Distrinet KU-Leuven, Lars BirkedalAarhus University
icfp-2019-papers11:37 - 12:00
Talk
Nicholas V. LewchenkoUniversity of Colorado Boulder, Arjun RadhakrishnaMicrosoft, Akash Gaonkar, Pavol CernyUniversity of Colorado Boulder
DOI Pre-print
icfp-2019-papers
13:30 - 15:00: Research Papers - Modal Types at Aurora Borealis
Chair(s): Dominique DevrieseVrije Universiteit Brussel
icfp-2019-papers13:30 - 13:52
Talk
Daniel GratzerAarhus University, Jonathan SterlingCarnegie Mellon University, Lars BirkedalAarhus University
icfp-2019-papers13:52 - 14:15
Talk
Pierre-Marie PédrotINRIA, Nicolas TabareauInria, Hans FehrmannUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
icfp-2019-papers14:15 - 14:37
Talk
Patrick BahrIT University of Copenhagen, Christian Uldal GraulundIT University of Copenhagen, Rasmus Ejlers MøgelbergIT University of Copenhagen
icfp-2019-papers14:37 - 15:00
Talk
Dominic OrchardUniversity of Kent, UK, Vilem-Benjamin LiepeltUniversity of Kent, UK, Harley D. Eades IIIAugusta University
Pre-print
icfp-2019-papers
15:20 - 16:30: Research Papers - Types at Aurora Borealis
Chair(s): Zoe ParaskevopoulouPrinceton University
icfp-2019-papers15:20 - 15:43
Talk
Bert LindenhoviusTulane University, Michael MisloveTulane, Vladimir ZamdzhievUniversity of Lorraine, CNRS, Inria, LORIA
icfp-2019-papers15:43 - 16:06
Talk
Zhao Jinxu, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Tom SchrijversKU Leuven
icfp-2019-papers16:06 - 16:30
Talk
Victor Cacciari MiraldoUtrecht University, Netherlands, Wouter SwierstraUtrecht University, Netherlands
icfp-2019-papers
16:50 - 18:00: Research Papers - Lambda-Calculus & Teaching at Aurora Borealis
Chair(s): Jonathan ProtzenkoMicrosoft Research, Redmond
icfp-2019-papers16:50 - 17:13
Talk
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
icfp-2019-papers17:13 - 17:36
Talk
Aliya HameerMcGill University, Brigitte PientkaMcGill University
icfp-2019-papers17:36 - 18:00
Talk
Jeremy YallopUniversity of Cambridge, UK, Leo WhiteJane Street
DOI Pre-print
icfp-2019-Keynotes-and-Reports
18:00 - 18:30: Keynotes and Reports - Wednesday Report at Aurora Borealis
icfp-2019-Student-Research-Competition18:00 - 18:10
Awards
icfp-2019-Keynotes-and-Reports18:10 - 18:25
Talk
François PottierInria, France
icfp-2019-Keynotes-and-Reports18:25 - 18:30
Talk

Thu 22 Aug

haskellsymp-2019-papers
09:00 - 10:00: Haskell 2019 - Keynote at Aurora Borealis
Chair(s): Richard A. EisenbergBryn Mawr College, USA
haskellsymp-2019-papers09:00 - 10:00
Talk
File Attached
haskellsymp-2019-papers
10:30 - 12:00: Haskell 2019 - Paper Session 1: Classes & Instances at Aurora Borealis
Chair(s): Jose CalderonGalois, Inc.
haskellsymp-2019-papers10:30 - 11:00
Research paper
Koen PauwelsKU Leuven, Georgios KarachaliasKU Leuven, Belgium, Michiel DerhaegGuardsquare, Tom SchrijversKU Leuven
haskellsymp-2019-papers11:00 - 11:30
Research paper
Ryan ScottIndiana University at Bloomington, USA, Ryan R. NewtonIndiana University
Pre-print File Attached
haskellsymp-2019-papers11:30 - 12:00
Research paper
Dominique DevrieseVrije Universiteit Brussel
File Attached
haskellsymp-2019-papers
13:30 - 15:00: Haskell 2019 - Paper Session 2: Verification at Aurora Borealis
Chair(s): Ningning XieThe University of Hong Kong
haskellsymp-2019-papers13:30 - 14:00
Research paper
Jan ChristiansenFlensburg University of Applied Sciences, Germany, Sandra DylusUniversity of Kiel, Germany, Niels BunkenburgUniversity of Kiel, Germany
haskellsymp-2019-papers14:00 - 14:30
Talk
File Attached
haskellsymp-2019-papers14:30 - 15:00
Experience report
Andrey MokhovNewcastle University, UK, Georgy LukyanovNewcastle University, UK, Jakob LechnerRUAG Space Austria GmbH
haskellsymp-2019-papers
15:20 - 16:30: Haskell 2019 - Paper Session 3: SMT & Arity at Aurora Borealis
Chair(s): Eric SeidelBloomberg LP
haskellsymp-2019-papers15:20 - 15:50
Research paper
William T. HallahanYale University, Anton XueYale University, Ruzica PiskacYale University, USA
haskellsymp-2019-papers15:50 - 16:20
Talk
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
haskellsymp-2019-papers
16:50 - 18:15: Haskell 2019 - Paper Session 4: Metaprogramming at Aurora Borealis
Chair(s): Christiaan BaaijQBayLogic B.V.
haskellsymp-2019-papers16:50 - 17:20
Research paper
Matthew PickeringUniversity of Bristol, Nicolas WuImperial College London, Csongor KissImperial College London
haskellsymp-2019-papers17:20 - 17:50
Research paper
Matthew PickeringUniversity of Bristol, Nicolas WuImperial College London, Boldizsár NémethEötvös Loránd University
haskellsymp-2019-papers17:50 - 18:00
Other
Richard A. EisenbergBryn Mawr College, USA

Fri 23 Aug

haskellsymp-2019-papers
09:00 - 10:00: Haskell 2019 - Keynote at Aurora Borealis
Chair(s): Niki VazouIMDEA Software Institute
haskellsymp-2019-papers09:00 - 10:00
Talk
haskellsymp-2019-papers
10:30 - 12:00: Haskell 2019 - Paper Session 5: FRP at Aurora Borealis
Chair(s): Christine RizkallahUNSW Sydney
haskellsymp-2019-papers10:30 - 11:00
Research paper
Sebastian Ertel, Justus AdamTechnische Universität Dresden, Norman A. RinkTU Dresden, Germany, Andrés Goens, Jeronimo CastrillonTU Dresden, Germany
haskellsymp-2019-papers11:00 - 11:30
Research paper
Bernd Finkbeiner, Felix KleinSaarland University, Ruzica PiskacYale University, USA, Mark SantolucitoYale University, USA
haskellsymp-2019-papers11:30 - 12:00
Talk
Manuel Bärenzsonnen eServices GmbH
File Attached
haskellsymp-2019-papers
13:30 - 15:00: Haskell 2019 - Paper Session 6: Effects at Aurora Borealis
Chair(s): Ki Yung AhnHannam University
haskellsymp-2019-papers13:30 - 14:00
Research paper
Tom SchrijversKU Leuven, Maciej PirógUniversity of Wrocław, Nicolas WuImperial College London, Mauro JaskelioffCONICET, Argentina
haskellsymp-2019-papers14:00 - 14:30
Research paper
Anton EkbladChalmers University of Technology

Sun 18 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Aurora Borealis
17:10 - 18:10

Mon 19 Aug 2019

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

Tue 20 Aug 2019

Wed 21 Aug 2019

Thu 22 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Aurora Borealis
09:00 - 10:00

Fri 23 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Aurora Borealis
09:00 - 10:00
15:20 - 16:30
16:50 - 18:00

Wed 21 Aug 2019

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