Login / Signup
Matan Shachnai
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Static Analysis
Fourier Series
Owl Ontologies
Epistemic Logic
Top Venues
CoRR
CF
CAV (3)
CGO
</>
Publications
</>
Harishankar Vishwanathan
,
Matan Shachnai
,
Srinivas Narayana
,
Santosh Nagarakatte
Verifying the Verifier: eBPF Range Analysis Verification.
CAV (3)
(2023)
Harishankar Vishwanathan
,
Matan Shachnai
,
Srinivas Narayana
,
Santosh Nagarakatte
Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers.
CGO
(2022)
Harishankar Vishwanathan
,
Matan Shachnai
,
Srinivas Narayana
,
Santosh Nagarakatte
Semantics, Verification, and Efficient Implementations for Tristate Numbers.
CoRR
(2021)
Jay P. Lim
,
Matan Shachnai
,
Santosh Nagarakatte
Approximating trigonometric functions for posits using the CORDIC method.
CF
(2020)