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
5 Likes