Hello everybody,
I am pleased to announce that the OCaml Workshop 2021 started.
The good news is that even if you are not registered to the ICFP Conference, you can follow it live at ICFP 2021-OCaml 2021-14 - YouTube
Thank you very much and I hope you will enjoy it!
(Iām planning to hang out on IRC for the workshop day (web client), feel free to join!)
The program is available on OCaml 2021 - ICFP 2021.
And if you want to watch the video later, they are progressively being made available on OCaml Workshop 2021 - Watch OCaml!
(Thanks to the awesome work by @avsm, @patricoferris, @diksha_gupta :))
I have difficulties to find videos from Sessions 5&6 from workshop on https://watch.ocaml.org/ Are they there?
They are available on Youtube, OCaml 2021 All Videos - YouTube.
And they are in the process of being uploaded on watch.ocaml.org.
And now on the complete workshop on OCaml.org: OCaml Workshop 2021 - Watch OCaml.
The direct links (for search results) to the videos of the talks from the OCaml Workshop at ICFP 2021 are listed below:
GopCaml A structural Editor for OCaml
OCaml and Python getting the best of both worlds
Adapting the OCaml ecosystem for Multicore OCaml
Parafuzz coverage guided Property Fuzzing for Multicore OCaml programs
Wibbily Wobbly Timey Camly
Leveraging Formal Specifications to Generate Fuzzing Suites
Probabilistic resource limits using StatMemprof
Continuous Benchmarking for OCaml Projects
A Multiverse of Glorious Documentation
Digodoc and Docs
Keynote - Xavier Leroy: 25 years of OCaml
Experiences with Effects
opam-bin Binary Packages with Opam
Love a readable language interpreted by blockchain
From 2n+1 to n
Property based testing for OCaml through Coq
Safe protocol updates via propositional logic
Binary Analysis Program (BAP)
Semgrep a fast lightweight polyglot static analysis tool to find bugs
