ICFP 2021
Sun 22 - Sat 28 August 2021

Dates
Rooms
Tracks
Badges
Your 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 at OCaml
Chair(s): Youyou Cong Tokyo Institute of Technology
16:00
30m
Talk
GopCaml: A Structural Editor for OCaml
OCaml
Kiran Gopinathan National University of Singapore
File Attached
16:30
30m
Talk
OCaml and Python: Getting the Best of Both Worlds
OCaml
Laurent Mazare Jane Street
17:00
30m
Talk
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
Session 2OCaml at OCaml
Chair(s): Tim McGilchrist Tarides
18:00
30m
Talk
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
20m
Talk
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
20m
Talk
Wibbily Wobbly Timey Camly
OCaml
Di Long Li The Australian National University, Gabriel Radanne Inria
19:10
20m
Talk
Leveraging Formal Specifications to Generate Fuzzing Suites
OCaml
Nicolas Osborne Tarides, Clément Pascutto Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
22:00 - 23:30
KeynoteOCaml at OCaml
Chair(s): Anil Madhavapeddy University of Cambridge, UK
22:00
60m
Keynote
25 years of OCaml
OCaml
Xavier Leroy Collège de France
23:30 - 01:00
Session 4OCaml at OCaml
Chair(s): Raja Boujbel OCamlPro
23:30
30m
Talk
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
30m
Talk
Opam-bin: Binary Packages with Opam
OCaml
File Attached
00:30
30m
Talk
Love: a readable language interpreted by a blockchain
OCaml

Sat 28 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Session 5OCaml at OCaml
Chair(s): Ashish Agarwal
01:30
30m
Talk
From 2n+1 to n
OCaml
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
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
Michael O'Connor Jane Street