Matan Shachnai -

Registered user since Fri 7 May 2021

Name:Matan Shachnai

Contributions

2024

Static Analysis Symposium

Keynote Speaker of Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper) within the SAS 2024-track

2022

CGO

Author of Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers within the Main Conference-track