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

Sun 22 - Sat 28 August 2021

Who

Sumit Padhiyar, Adharsh Kamath, KC Sivaramakrishnan

Track

OCaml 2021

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 27 Aug 2021 18:30 - 18:50 at OCaml - Session 2 Chair(s): Tim McGilchrist

Abstract

We develop ParaFuzz, an input and concurrency fuzzing tool for Multicore OCaml programs. ParaFuzz builds on top of Crowbar which combines AFL-based grey box fuzzing with QuickCheck and extends it to handle parallelism.

File attachments

Slides (ParaFuzz.pdf)	1020KiB

Sumit Padhiyar

Indian Institue Of Technology, Madras

India

Adharsh Kamath

National Institute of Technology Karnataka, Surathkal, India

India

KC Sivaramakrishnan

IIT Madras

India

Media

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 27 Aug
Displayed time zone: Seoul change

18:00 - 19:30	Session 2OCaml at OCaml Chair(s): Tim McGilchrist Tarides

18:00 30m Talk		Deductive Verification of Realistic OCaml Code OCaml Carlos Pinto NOVA LINCS & Universidade da Beira Interior, Portugal, Mário Pereira NOVA LINCS & DI -- Nova School of Science and Technology, Simão Melo de Sousa NOVA LINCS & Universidade da Beira Interior, Portugal
18:30 20m Talk		Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs OCaml Sumit Padhiyar Indian Institue Of Technology, Madras, Adharsh Kamath National Institute of Technology Karnataka, Surathkal, India, KC Sivaramakrishnan IIT Madras Media Attached File Attached
18:50 20m Talk		Wibbily Wobbly Timey Camly OCaml Di Long Li The Australian National University, Gabriel Radanne Inria
19:10 20m Talk		Leveraging Formal Specifications to Generate Fuzzing Suites OCaml Nicolas Osborne Tarides, Clément Pascutto Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF