Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte. Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. In Jae W. Lee, Sebastian Hack, Tatiana Shpeisman, editors, IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022. pages 254-265, IEEE, 2022. [doi]
Abstract is missing.