notesum.ai

Published at December 9

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

cs.PL

Released Date: December 9, 2024

Authors: Léo Andrès1, Filipe Marques2, Arthur Carcano1, Pierre Chambart1, José Fragoso Santos2, Jean-Christophe Filliâtre3

Aff.: 1OCamlPro SAS; 2INESC-ID / Instituto Superior Técnico; 3Université Paris-Saclay

Arxiv: http://arxiv.org/pdf/2412.06391v1