ICFP 2021 (series) / OCaml 2021 (series) /
OCaml 2021 Program
This is the OCaml 2021 program - see the full program for ICFP 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 27 AugDisplayed time zone: Seoul change
Fri 27 Aug
Displayed time zone: Seoul change
16:00 - 17:30 | |||
16:00 30mTalk | GopCaml: A Structural Editor for OCaml OCaml Kiran Gopinathan National University of Singapore File Attached | ||
16:30 30mTalk | OCaml and Python: Getting the Best of Both Worlds OCaml Laurent Mazare Jane Street | ||
17:00 30mTalk | Adapting the OCaml ecosystem for Multicore OCaml OCaml 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 | |||
18:00 30mTalk | Deductive Verification of Realistic OCaml Code OCaml 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 20mTalk | Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs OCaml 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 20mTalk | Wibbily Wobbly Timey Camly OCaml | ||
19:10 20mTalk | Leveraging Formal Specifications to Generate Fuzzing Suites OCaml Nicolas Osborne Tarides, Clément Pascutto Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF |
20:00 - 21:30 | |||
20:00 30mTalk | Probabilistic resource limits, or: Programming with interrupts in OCaml OCaml | ||
20:30 20mTalk | Continuous Benchmarking for Ocaml Projects OCaml | ||
20:50 20mTalk | A Multiverse of Glorious Documentation OCaml File Attached | ||
21:10 20mTalk | Digodoc and Docs OCaml Mohamed Hernouf OCamlPro, Fabrice Le Fessant OCamlPro, Thomas Blanc OCamlPro, Louis Gesbert OCamlPro |
22:00 - 23:30 | |||
22:00 60mKeynote | 25 years of OCaml OCaml Xavier Leroy Collège de France |
23:30 - 01:00 | |||
23:30 30mTalk | Experiences with Effects OCaml 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 30mTalk | Opam-bin: Binary Packages with Opam OCaml Fabrice Le Fessant OCamlPro File Attached | ||
00:30 30mTalk | Love: a readable language interpreted by a blockchain OCaml |
Sat 28 AugDisplayed time zone: Seoul change
Sat 28 Aug
Displayed time zone: Seoul change
01:30 - 03:00 | |||
01:30 30mTalk | From 2n+1 to n OCaml File Attached | ||
02:00 20mTalk | Property-Based Testing for OCaml through Coq OCaml Paaras Bhandari University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park | ||
02:20 20mTalk | Safe Protocol Updates via Propositional Logic OCaml Michael O'Connor Jane Street |
03:30 - 05:00 | |||
03:30 30mTalk | Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks OCaml File Attached | ||
04:00 20mTalk | Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs OCaml Yoann Padioleau Return to Corp File Attached |