Sound, precise, and fast abstract interpretation with tristate numbers H Vishwanathan, M Shachnai, S Narayana, S Nagarakatte 2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022 | 10 | 2022 |
Verifying the Verifier: eBPF Range Analysis Verification H Vishwanathan, M Shachnai, S Narayana, S Nagarakatte International Conference on Computer Aided Verification, 226-251, 2023 | 4 | 2023 |
Semantics verification and efficient implementations for tristate numbers H Vishwanathan, M Shachnai, S Narayana, S Nagarakatte arXiv: 2105.05398, 2021 | 1 | 2021 |
Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications (poster) H Vishwanathan, CM Park, SK Mishra, K Dantu, SY Ko, L Ziarek Proceedings of the 17th Annual International Conference on Mobile Systems …, 2019 | | 2019 |
Poster: Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications H Vishwanathan, CM Park, SK Mishra, K Dantu, SY Ko, L Ziarek | | 2019 |
Developing Verified Static Analyzers for Kernel Extensions: A Related Work Report H Vishwanathan | | |