One paper (with Shijin Duan) “Holistic Design towards Resource-Stringent Binary Vector Symbolic Architecture” was accepted to DAC 2025.