Picture of Daofu Liu Daofu Liu(刘道福)
MSc, PhD Candidate in Computer Science
Institute of Computing Technology
Chinese Academy of Sciences
Address:
Institute of Computing Technology
No.6 Kexueyuan South Road Zhongguancun
Haidian District Beijing,P.R.China  100190
86-10-62600806
Email:
Turn on Javascript to see email address.
Blog:
http://www.sigma.me

About me

Currently, I am a PhD Candidate at the the Institute of Computing Technology(ICT)  of Chinese Academy of Sciences(CAS). Before that, I got my Bachelor's degree in Computer Science at University of Science and Technology of China(USTC) in July 2010.

I am in the the Microprocessor Technology Research Center of ICT, and do some design and verification work on Loongson,  which is a family of general-purpose MIPS-compatible CPUs.

My research interests are Computer Architecture and Formal verification(especial Model Checking).And I am also very interested in Parallel Computing,especial doing reaseachs(design, verification etc.) in parallel computing hardware like Graphics Processing Unit(GPU).

Education

MSc, PhD Candidate in Computer Science, Institute of Computing Technology 2010-Present
B.Eng. Computer Science, University of Science and Technology of China 2006-2010

Publication

  • Daofu Liu, Qi Guo, Tianshi Chen, Ling Li, and Yunji Chen, " Performance Prediction for Reconfigurable Processor", HPCC-ICESS 2012 1352-1359
  • Ling Li, Yunji Chen, Daofu Liu, Cheng Qian and Weiwu Hu, "An FFT Performance Model for Optimizing General-Purpose Processor Architecture", Journal of Computer Science and Technology, vol. 26, no. 5, 2011.
  • Yunji Chen, Tianshi Chen, Ling Li, Ruiyang Wu, Daofu Liu, and Weiwu Hu, "Deterministic Replay Using Global Clock", TACO10(1): 1 (2013)

  • Last updated 30/11/2011 by Sigma