Write a Blog >>
OCaml 2021
Sun 22 - Fri 27 August 2021
co-located with
ICFP 2021
Toggle navigation
Attending
Venue: Virtual
Program
Complete Program
Your Program
Sun 22 Aug
Mon 23 Aug
Tue 24 Aug
Wed 25 Aug
Thu 26 Aug
Fri 27 Aug
Track/Call
Organization
OCaml 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
OCaml 2024
OCaml 2023
OCaml 2022
OCaml 2021
OCaml 2020
OCaml 2019
OCaml 2018
OCaml 2017
OCaml 2016
Sign in
Sign up
ICFP 2021
(
series
) /
OCaml 2021 (
series
) /
Virtual
/
Room information: OCaml
Venue
Virtual
Room name
OCaml
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
OCaml 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 2
OCaml 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 3
OCaml 2021
at
OCaml
Chair(s):
Thomas Gazagnaire
Tarides
20:00
30m
Talk
Probabilistic resource limits, or: Programming with interrupts in OCaml
OCaml 2021
Guillaume Munch-Maccagnoni
Inria
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
Keynote
OCaml 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 4
OCaml 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
Fabrice Le Fessant
OCamlPro
File Attached
00:30
30m
Talk
Love: a readable language interpreted by a blockchain
OCaml 2021
Steven de Oliveira
OCamlPro
,
David Declerck
OCamlPro
Sat 28 Aug
Displayed time zone:
Seoul
change
01:30 - 03:00
Session 5
OCaml 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
03:30 - 05:00
Session 6
OCaml 2021
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 2021
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 2021
Yoann Padioleau
Return to Corp
File Attached
Fri 27 Aug
Displayed time zone:
Seoul
change
Room
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
0:00
30
OCaml
OCaml 2021
Session 1
OCaml 2021
Session 2
OCaml 2021
Session 3
OCaml 2021
Keynote
OCaml 2021
Session 4
Sat 28 Aug
Displayed time zone:
Seoul
change
Room
1:00
30
2:00
30
3:00
30
4:00
30
OCaml
OCaml 2021
Session 5
OCaml 2021
Session 6
Fri 27 Aug
Displayed time zone:
Seoul
change
Room
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
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
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
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
x
Thu 25 Apr 15:26