Approximating trigonometric functions for posits using the CORDIC method. - Jay P. Lim; Matan Shachnai; Santosh Nagarakatte (CF, 2020)

Semantics, Verification, and Efficient Implementations for Tristate Numbers. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CoRR, 2021)

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CGO, 2022)

Verifying the Verifier: eBPF Range Analysis Verification. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CAV (3), 2023)

Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel. - Matan Shachnai; Harishankar Vishwanathan; Srinivas Narayana; Santosh Nagarakatte (SAS, 2024)

Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis. - Matan Shachnai; Harishankar Vishwanathan; Srinivas Narayana; Santosh Nagarakatte (SAS, 2025)