Srinivas Narayana -

Not registered as user

Name:Srinivas Narayana

Affiliation:Rutgers University

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