Harishankar Vishwanathan -

Registered user since Fri 18 Jun 2021

Name:Harishankar Vishwanathan

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