Harishankar Vishwanathan

According to our database, Harishankar Vishwanathan authored at least 5 papers between 2019 and 2024.

Collaborative distances:

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

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

2019

Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications.

Harishankar Vishwanathan, Chang Min Park, Sidharth Kumar Mishra, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019