Congratulations to Harishankar Vishwanathan, Matan Shachnai, Prof. Srinivas Narayana, and Prof. Santosh Nagarakatte on being recognized with the CGO 2022 Distinguished Paper Award for their paper "Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers".
This year International Symposium on Code Generation and Optimization (CGO) accepted 27 papers out of 99 submissions and 2 of the accepted papers were recognized with Distinguished Paper awards. See the CGO 2022 program at https://go.rutgers.edu/13ajg050
This paper verifies the abstract domain operations for tristate numbers in the Linux kernel. See the paper at https://go.rutgers.edu/wn0zob8i
The new abstract multiplication algorithm proposed in this paper is already part of the Linux Kernel. See details at https://go.rutgers.edu/qpnr8y9z
Congratulations Harishankar Vishwanathan, Matan Shachnai, Prof. Srinivas Narayana, and Prof. Santosh Nagarakatte!