ICFP 2021
Sun 22 - Sat 28 August 2021
ICFP 2021 (series) / Virtual /

Room information: OCaml

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 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
20:00 - 21:30
Session 3OCaml at OCaml
Chair(s): Thomas Gazagnaire Tarides
20:00
30m
Talk
Probabilistic resource limits, or: Programming with interrupts in OCaml
OCaml
Guillaume Munch-Maccagnoni Inria
20:30
20m
Talk
Continuous Benchmarking for Ocaml Projects
OCaml
Gargi Sharma Tarides, Rizo Isrof Tarides, Magnus Skjegstad Tarides and OCaml Labs
20:50
20m
Talk
A Multiverse of Glorious Documentation
OCaml
Lucas Pluvinage Tarides, Jonathan Ludlam University of Cambridge
File Attached
21:10
20m
Talk
Digodoc and Docs
OCaml
Mohamed Hernouf OCamlPro, Fabrice Le Fessant OCamlPro, Thomas Blanc OCamlPro, Louis Gesbert OCamlPro
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
Fabrice Le Fessant OCamlPro
File Attached
00:30
30m
Talk
Love: a readable language interpreted by a blockchain
OCaml
Steven de Oliveira OCamlPro, David Declerck OCamlPro

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
03:30 - 05:00
Session 6OCaml at OCaml
Chair(s): Rudi Grinberg OCaml Labs
03:30
30m
Talk
Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks
OCaml
Ivan Gotovchits Carnegie Mellon University, David Brumley Carnegie Mellon University
File Attached
04:00
20m
Talk
Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs
OCaml
Yoann Padioleau Return to Corp
File Attached

Fri 27 Aug

Displayed time zone: Seoul change

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

OCaml

Session 1

OCaml

Session 2

OCaml

Session 3

OCaml

Keynote

OCaml

Session 4

Sat 28 Aug

Displayed time zone: Seoul change

Room1:00302:00303:00304:0030
OCaml

OCaml

Session 5

OCaml

Session 6

Fri 27 Aug

Displayed time zone: Seoul change

Room16:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
OCaml
OCaml
GopCaml: A Structural Editor for OCaml
16:00 - 16:30
OCaml
OCaml and Python: Getting the Best of Both Worlds
16:30 - 17:00
OCaml
Adapting the OCaml ecosystem for Multicore OCaml
17:00 - 17:30
OCaml
Deductive Verification of Realistic OCaml Code
18:00 - 18:30
OCaml
Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
18:30 - 18:50
OCaml
Wibbily Wobbly Timey Camly
18:50 - 19:10
OCaml
Leveraging Formal Specifications to Generate Fuzzing Suites
19:10 - 19:30
OCaml
Probabilistic resource limits, or: Programming with interrupts in OCaml
20:00 - 20:30
OCaml
Continuous Benchmarking for Ocaml Projects
20:30 - 20:50
OCaml
A Multiverse of Glorious Documentation
20:50 - 21:10
OCaml
Digodoc and Docs
21:10 - 21:30
OCaml
25 years of OCaml
22:00 - 23:00
OCaml
Experiences with Effects
23:30 - 00:00

Sat 28 Aug

Displayed time zone: Seoul change

Room0:001530451:001530452:001530453:001530454:00153045
OCaml
OCaml
Opam-bin: Binary Packages with Opam
00:00 - 00:30
OCaml
Love: a readable language interpreted by a blockchain
00:30 - 01:00
OCaml
From 2n+1 to n
01:30 - 02:00
OCaml
Property-Based Testing for OCaml through Coq
02:00 - 02:20
OCaml
Safe Protocol Updates via Propositional Logic
02:20 - 02:40
OCaml
Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Fin ...
03:30 - 04:00
OCaml
Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs
04:00 - 04:20