OCaml Workshop 2021: Live Stream

Community
9

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
    1-GopCaml

  • OCaml and Python getting the best of both worlds
    2-OCaml-and-Python

  • Adapting the OCaml ecosystem for Multicore OCaml
    3-Multicore-OCaml

  • Parafuzz coverage guided Property Fuzzing for Multicore OCaml programs
    4-ParaFuzz

  • Wibbily Wobbly Timey Camly
    5-Camly

  • Leveraging Formal Specifications to Generate Fuzzing Suites
    6-Fuzzing-Suites

  • Probabilistic resource limits using StatMemprof
    7-Statmemprof

  • Continuous Benchmarking for OCaml Projects
    8-Current-Bench

  • A Multiverse of Glorious Documentation
    9-multiverse-documentation

  • Digodoc and Docs
    10-digodoc

  • Keynote - Xavier Leroy: 25 years of OCaml
    11-25-years-of-OCaml

  • Experiences with Effects
    12-Experiences-with-Effects

  • opam-bin Binary Packages with Opam
    13-opam-bin

  • Love a readable language interpreted by blockchain
    14-love-blockchain

  • From 2n+1 to n
    15-2n-plus-1

  • Property based testing for OCaml through Coq
    16-property-testing

  • Safe protocol updates via propositional logic
    17-safe-protocol-updates

  • Binary Analysis Program (BAP)
    18-bap

  • Semgrep a fast lightweight polyglot static analysis tool to find bugs
    19-semgrep

5 Likes