Matan Shachnai

According to our database, Matan Shachnai authored at least 4 papers between 2020 and 2023.

Collaborative distances:

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

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