Matan Shachnai

According to our database, Matan Shachnai authored at least 7 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis.

Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte

Proceedings of the Static Analysis - 32nd International Symposium, 2025

Automatic Synthesis of Abstract Operators for eBPF.

Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte

Proceedings of the 3rd Workshop on eBPF and Kernel Extensions, 2025

2024

Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel.

Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte

Proceedings of the Static Analysis - 31st International Symposium, 2024

2023

Verifying the Verifier: eBPF Range Analysis Verification.

Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers.

Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2021

Semantics, Verification, and Efficient Implementations for Tristate Numbers.

Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte

CoRR, 2021

2020

Approximating trigonometric functions for posits using the CORDIC method.

Jay P. Lim, Matan Shachnai, Santosh Nagarakatte

Proceedings of the 17th ACM International Conference on Computing Frontiers, 2020