Matan Shachnai

According to our database1, Matan Shachnai authored at least 5 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
0
1
2
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel.
Proceedings of the Static Analysis - 31st International Symposium, 2024

2023
Verifying the Verifier: eBPF Range Analysis Verification.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2021
Semantics, Verification, and Efficient Implementations for Tristate Numbers.
CoRR, 2021

2020
Approximating trigonometric functions for posits using the CORDIC method.
Proceedings of the 17th ACM International Conference on Computing Frontiers, 2020


  Loading...