paper-conference

H-Houdini: Scalable Invariant Learning
Formal verification is a critical task in hardware design today. Yet, while there has been significant progress in improving technique …
Sushant Dinesh, Yongye Zhu, Christopher W. Fletcher
Cite DOI URL
Optimizing Energy Efficiency with Configuration Constraints for AMR Trajectory Planning
Jian Chu, Joey Huang, Soovadeep Bakshi, Yongye Zhu, Ethan Ohman, Dongmei Chen
Cite DOI
Tail Victims in Termination Timing Channel Protections beyond Cryptographic Kernels
Shijia Wei, Austin Harris, Yongye Zhu, Prakash Ramrakhyani, Calvin Lin, Mohit Tiwari
Cite