OCaml 2022
Fri 16 Sep 2022 Ljubljana, Slovenia
co-located with ICFP 2022
VenueCankarjev Dom
Room nameKosovel
Capacity170
Room InformationNo extra information available
Program

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

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
Opening SessionPLMW @ ICFP at Kosovel
09:00
45m
Other
Opening Remarks
PLMW @ ICFP
Kristopher Micinski Syracuse University
09:45
45m
Talk
How to thrive as a PhD student
PLMW @ ICFP
Sam Westrick Carnegie Mellon University
11:00 - 12:30
Topics of Interest and Navigating a PhDPLMW @ ICFP at Kosovel
11:00
45m
Panel
Formal Methods: Theory and Practice
PLMW @ ICFP
Thomas Gilray University of Alabama at Birmingham, Nadia Polikarpova University of California at San Diego, Niki Vazou IMDEA Software Institute, Mike Dodds Galois, Inc., Kristopher Micinski Syracuse University, Daan Leijen Microsoft Research
11:45
45m
Talk
Getting the Most Out of ICFP
PLMW @ ICFP
Paulette Koronkevich University of British Columbia
14:00 - 15:30
Learning about Lean and yourselfPLMW @ ICFP at Kosovel
14:00
45m
Talk
Introduction to Lean
PLMW @ ICFP
Sebastian Ullrich Karlsruhe Institute of Technology, David Thrane Christiansen The Haskell Foundation
14:45
45m
Talk
How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond
PLMW @ ICFP
16:00 - 17:30
Closing SessionPLMW @ ICFP at Kosovel
16:00
90m
Talk
How to Write Papers and Give Talks That People Can Follow
PLMW @ ICFP
Derek Dreyer MPI-SWS

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
Keynote IHaskell at Kosovel
Chair(s): Richard A. Eisenberg Jane Street
09:20
10m
Day opening
Welcome
Haskell
Nadia Polikarpova University of California at San Diego
09:30
60m
Keynote
Cause and Effect(s): Towards a More Programmable Haskell
Haskell
Rob Rix GitHub, Inc.
11:00 - 12:30
VerificationHaskell at Kosovel
Chair(s): Wouter Swierstra Utrecht University, Netherlands
11:00
30m
Talk
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Haskell
Lykourgos Mastorou National Technical University of Athens, Nikolaos Papaspyrou National Technical University of Athens, Niki Vazou IMDEA Software Institute
11:30
30m
Talk
How to Safely Use Extensionality in Liquid Haskell
Haskell
Niki Vazou IMDEA Software Institute, Michael Greenberg Stevens Institute of Technology
12:00
30m
Talk
Liquid Proof Macros
Haskell
Henry Blanchette , Niki Vazou IMDEA Software Institute, Leonidas Lampropoulos University of Maryland, College Park
14:00 - 15:30
ApplicationsHaskell at Kosovel
Chair(s): Satnam Singh Groq
14:00
30m
Talk
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Haskell
Gershom Bazerman Arista Networks
14:30
30m
Talk
Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Haskell
Jonathas Augusto de Oliveira Conceição Universidade Federal de Pelotas, André Rauber Du Bois Universidade Federal de Pelotas, Gerson Cavalheiro Universidade Federal de Pelotas, Samuel Feitosa Universidade Federal da Fronteira Sul, Rodrigo G. Ribeiro Federal University of Ouro Preto
15:00
30m
Talk
Staging Regular Expressions with Moore Cayley Fusion
Haskell
Jamie Willis Imperial College London, Nicolas Wu Imperial College London, Tom Schrijvers KU Leuven
16:00 - 17:30
GHC ProposalsHaskell at Kosovel
Chair(s): Joachim Breitner Epic Games
16:00
90m
Live Q&A
GHC Proposal Presentations
Haskell
S: Joachim Breitner Epic Games , Gergo Erdi Standard Chartered Bank, Andreas Klebinger , Matthías Páll Gissurarson Chalmers University of Technology, Sweden
File Attached

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
Keynote IIHaskell at Kosovel
Chair(s): Simon Peyton Jones Epic Games
09:30
60m
Keynote
Industrial Strength Laziness: What's Next?
Haskell
David Thrane Christiansen The Haskell Foundation
11:00 - 12:30
Compiler and ExtensionsHaskell at Kosovel
Chair(s): Marco Vassena Utrecht University
11:00
30m
Talk
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Haskell
Celeste Hollenbeck University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh, Michel Steuwer University of Edinburgh
11:30
30m
Talk
Partial Type Constructors in Practice
Haskell
Apoorv Ingle University of Iowa, Alex Hubers The University of Iowa, J. Garrett Morris The University of Iowa
12:00
30m
Talk
Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
Haskell
Jesper Cockx TU Delft, Lucas Escot TU Delft, Orestis Melkonian University of Edinburgh, James Chapman Input Output, Ulf Norell Gothenburg University
Pre-print File Attached
14:00 - 15:30
Embedded DSLsHaskell at Kosovel
Chair(s): James Koppel Massachusetts Institute of Technology, USA
14:00
30m
Talk
Embedded Pattern Matching
Haskell
Trevor L. McDonell Utrecht University, Joshua D. Meredith IOHK, Gabriele Keller Utrecht University
14:30
30m
Demonstration
Eiger: Auditable, executable, flexible legal regulations
Haskell
Alexander Bernauer PricewaterhouseCoopers Switzerland, Richard A. Eisenberg Jane Street
15:00
30m
Day closing
PC Chair Report
Haskell
Nadia Polikarpova University of California at San Diego
16:00 - 17:30
Demos + DiscussionsHaskell at Kosovel
Chair(s): Nadia Polikarpova University of California at San Diego
16:00
90m
Meeting
Demos
Haskell
Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Makoto Hamana Gunma University, Japan, David Thrane Christiansen The Haskell Foundation, Jesper Cockx TU Delft, Lisa Vasilenko IMDEA Software Institute, Orestis Melkonian University of Edinburgh

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

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

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change