Parafuzz: Fuzzing Multicore Ocaml Programs

2022 15:08
Synopsis
ParaFuzz is a property-based fuzzing tool for parallel programs written in Multicore OCaml. This talk was given at the OCaml ...

You Might Also Like

OCaml Workshop 2020 - Parallelising your OCaml Code with Multicore OCaml 19:58
Ocaml Workshop 2020 - Parallelising Your Ocaml Code With Mul...
2021
OCaml 2021 - Leveraging Formal Specifications to Generate Fuzzing Suites 14:54
Ocaml 2021 - Leveraging Formal Specifications To Generate Fu...
2022
[Fuzzing with AFLplusplus] How to use CmpLog feature to fuzz a binary 25:25
[fuzzing With Aflplusplus] How To Use Cmplog Feature To Fuzz...
2022
Blackbox Fuzzing using AFL++ QEMU mode (Binary-Only Fuzzing) 18:14
Blackbox Fuzzing Using Afl++ Qemu Mode (binary-only Fuzzing)
2022
Fuzzing w/o recompilation using E9AFL Static Binary Rewriting & AFL++ tools - Blackbox Fuzzing #5 14:08
Fuzzing W/o Recompilation Using E9afl Static Binary Rewritin...
2022
Fuzzing tools 4:59
Fuzzing Tools
2024
Nomadic Labs Research Seminars #4 | Multicore OCaml -- what's coming in 2021 57:55
Nomadic Labs Research Seminars #4 | Multicore Ocaml -- What'...
2021
OCaml might just be a sleeper language 21:52
Ocaml Might Just Be A Sleeper Language
2026
Part 4: Fuzz testing techniques: unfuzzing the fuzzing 9:27
Part 4: Fuzz Testing Techniques: Unfuzzing The Fuzzing
2015
OCaml 2021 - Continuous Benchmarking for Ocaml Projects 10:52
Ocaml 2021 - Continuous Benchmarking For Ocaml Projects
2022
OCaml is a BEAST, Here's why... 0:20
Ocaml Is A Beast, Here's Why...
2025
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.