24:55

OCaml 2021 - GopCaml: A Structural Editor for OCaml

ACM SIGPLAN

24:37

OCaml 2021 - Adapting the OCaml ecosystem for Multicore OCaml

ACM SIGPLAN

20:40

OCaml 2021 - OCaml and Python: Getting the Best of Both Worlds

ACM SIGPLAN

24:47

OCaml 2021 - Deductive Verification of Realistic OCaml Code

ACM SIGPLAN

15:08

OCaml 2021 - Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs

ACM SIGPLAN

15:12

OCaml 2021 - Wibbily Wobbly Timey Camly

ACM SIGPLAN

14:54

OCaml 2021 - Leveraging Formal Specifications to Generate Fuzzing Suites

ACM SIGPLAN

28:15

OCaml 2021 - Probabilistic resource limits, or: Programming with interrupts in OCaml

ACM SIGPLAN

10:52

OCaml 2021 - Continuous Benchmarking for Ocaml Projects

ACM SIGPLAN

14:24

OCaml 2021 - A Multiverse of Glorious Documentation

ACM SIGPLAN

14:38

OCaml 2021 - Digodoc and Docs

ACM SIGPLAN

39:10

OCaml 2021 - 25 years of OCaml

ACM SIGPLAN

18:45

OCaml 2021 - Experiences with Effects

ACM SIGPLAN

21:12

OCaml 2021 - Opam-bin: Binary Packages with Opam

ACM SIGPLAN

16:15

OCaml 2021 - Love: a readable language interpreted by a blockchain

ACM SIGPLAN

17:30

OCaml 2021 - From 2n+1 to n

ACM SIGPLAN

7:45

OCaml 2021 - Property-Based Testing for OCaml through Coq

ACM SIGPLAN

14:58

OCaml 2021 - Safe Protocol Updates via Propositional Logic

ACM SIGPLAN

16:19

OCaml 2021 - Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style

ACM SIGPLAN

14:44

OCaml 2021 - Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs

ACM SIGPLAN

9:15:01

OCaml 2021 - Full Workshop

ACM SIGPLAN