Write a Blog >>
OCaml 2019
Fri 23 Aug 2019 Berlin, Germany
co-located with ICFP 2019
VenueHotel Scandic Berlin Potsdamer Platz
Room nameAurora Borealis
Floor0
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

Sun 18 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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
Link to publication DOI
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 K. MullerCarnegie Mellon University, Sam WestrickCarnegie Mellon University, Umut A. 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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Mon 19 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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