Faculty DirectoryHai Zhou
Associate Professor of Electrical Engineering and Computer Science
Contact2145 Sheridan Road
Tech Room L461
Evanston, IL 60208-3109
Email Hai Zhou
Ph.D. Computer Science, University of Texas, Austin, TX
M.E. Computer Science and Technology, Tsinghua University, Beijing, China
B.E. Computer Science and Technology, Tsinghua University, Beijing, China
A. Goel, K. Sa jid, H. Zhou, A. Aziz, and V. Singhal. BDD-based Procedures for a Theory of Equality with Uninterpreted Functions.Journal of Formal Methods in System Design, 22(3), pp. 205-224, May 2003.
H. Zhou. Timing Analysis with Crosstalk is a Fixpoint on a Complete Lattice.IEEE Transactions on Computer-Aided Design, 22(9), pp. 1261-1269, Sept. 2003. (IEEE Donald O. Pederson Award ﬁnalist)
H. Zhou. Eﬃcient Steiner Tree Construction Based on Spanning Graphs.IEEE Transactions on Computer-Aided Design, 23(5), pp. 704-710, May 2004.
H. Zhou and C. Lin, Retiming for Wire Pipelining in System-On-Chip.IEEE Transactions on Computer-Aided Design, 23(9), pp. 1338-1345, Sept. 2004.
D. Sinha, N. Shenoy, and H. Zhou, Statistical Timing Yield Optimization by Gate Sizing. IEEE Transactions on VLSI Systems. 14(10), Oct. 2006.
H. Zhou. A New Eﬃcient Retiming Algorithm Derived by Formal Manipulation.ACM Transactions on Design Automation of Electronic Systems. 13(1). Article No. 7. Jan. 2008.
Y. Lu, H. Zhou, L. Shang, and X. Zeng. Multicore Parallelization of Min-Cost Flow for CAD Applications.IEEE Transactions on Computer-Aided Design. 29(10), pp. 1546-1557, Oct. 2010.
C. Feng, H. Zhou, C. Yan, J. Tao, and X. Zeng. Eﬃcient Approximation Algorithms for CMP Dummy Fill.IEEE Transactions on Computer-Aided Design. 30(3), pp. 402-415, Mar. 2011.
L. Li and H. Zhou. On Error Modeling and Analysis of Approximate Adders. IEEE/ACM International Conference on Computer-Aided Design. pp. 511-518, 2014.
Y. Chen and H. Zhou. Synthesis of Resilient Circuits from Guarded Atomic Actions. Asian South Pacific Design Automation Conference. pp. 550-555, 2015.