Write a Blog >>
OCaml 2021
Sun 22 - Fri 27 August 2021
co-located with ICFP 2021
VenueVirtual
Room nameOCaml
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

Fri 27 Aug

Displayed time zone: Seoul change

16:00 - 17:30
Session 1OCaml 2021 at OCaml
Chair(s): Youyou Cong Tokyo Institute of Technology
16:00
30m
Talk
GopCaml: A Structural Editor for OCaml
OCaml 2021
Kiran Gopinathan National University of Singapore
File Attached
16:30
30m
Talk
OCaml and Python: Getting the Best of Both Worlds
OCaml 2021
Laurent Mazare Jane Street
17:00
30m
Talk
Adapting the OCaml ecosystem for Multicore OCaml
OCaml 2021
Sudha Parimala Segfault Systems, Enguerrand Decorne Tarides, Sadiq Jaffer Opsian and OCaml Labs, Tom Kelly OCaml Labs, KC Sivaramakrishnan IIT Madras
File Attached
18:00 - 19:30
Session 2OCaml 2021 at OCaml
Chair(s): Tim McGilchrist Tarides
18:00
30m
Talk
Deductive Verification of Realistic OCaml Code
OCaml 2021
Carlos Pinto NOVA LINCS & Universidade da Beira Interior, Portugal, Mário Pereira NOVA LINCS & DI -- Nova School of Science and Technology, Simão Melo de Sousa NOVA LINCS & Universidade da Beira Interior, Portugal
18:30
20m
Talk
Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
OCaml 2021
Sumit Padhiyar Indian Institue Of Technology, Madras, Adharsh Kamath National Institute of Technology Karnataka, Surathkal, India, KC Sivaramakrishnan IIT Madras
Media Attached File Attached
18:50
20m
Talk
Wibbily Wobbly Timey Camly
OCaml 2021
Di Long Li The Australian National University, Gabriel Radanne Inria
19:10
20m
Talk
Leveraging Formal Specifications to Generate Fuzzing Suites
OCaml 2021
Nicolas Osborne Tarides, Clément Pascutto Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
20:00 - 21:30
Session 3OCaml 2021 at OCaml
Chair(s): Thomas Gazagnaire Tarides
20:00
30m
Talk
Probabilistic resource limits, or: Programming with interrupts in OCaml
OCaml 2021
20:30
20m
Talk
Continuous Benchmarking for Ocaml Projects
OCaml 2021
Gargi Sharma Tarides, Rizo Isrof Tarides, Magnus Skjegstad Tarides and OCaml Labs
20:50
20m
Talk
A Multiverse of Glorious Documentation
OCaml 2021
Lucas Pluvinage Tarides, Jonathan Ludlam University of Cambridge
File Attached
21:10
20m
Talk
Digodoc and Docs
OCaml 2021
Mohamed Hernouf OCamlPro, Fabrice Le Fessant OCamlPro, Thomas Blanc OCamlPro, Louis Gesbert OCamlPro
22:00 - 23:30
KeynoteOCaml 2021 at OCaml
Chair(s): Anil Madhavapeddy University of Cambridge, UK
22:00
60m
Keynote
25 years of OCaml
OCaml 2021
Xavier Leroy Collège de France
23:30 - 01:00
Session 4OCaml 2021 at OCaml
Chair(s): Raja Boujbel OCamlPro
23:30
30m
Talk
Experiences with Effects
OCaml 2021
Thomas Leonard OCaml Labs, Craig Ferguson Tarides, Patrick Ferris OCaml Labs, Sadiq Jaffer Opsian and OCaml Labs, Tom Kelly OCaml Labs, KC Sivaramakrishnan IIT Madras, Anil Madhavapeddy University of Cambridge, UK
File Attached
00:00
30m
Talk
Opam-bin: Binary Packages with Opam
OCaml 2021
File Attached
00:30
30m
Talk
Love: a readable language interpreted by a blockchain
OCaml 2021

Sat 28 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Session 5OCaml 2021 at OCaml
Chair(s): Ashish Agarwal
01:30
30m
Talk
From 2n+1 to n
OCaml 2021
Nandor Licker University of Cambridge, Timothy M. Jones University of Cambridge, UK
File Attached
02:00
20m
Talk
Property-Based Testing for OCaml through Coq
OCaml 2021
Paaras Bhandari University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park
02:20
20m
Talk
Safe Protocol Updates via Propositional Logic
OCaml 2021
Michael O'Connor Jane Street

Fri 27 Aug

Displayed time zone: Seoul change

Room16:003017:003018:003019:003020:003021:003022:003023:00300:0030
OCaml

Sat 28 Aug

Displayed time zone: Seoul change