====== Yuelu Duan (段月路)======

{{  :duanyuelu.jpg?220*220}}

Master Candiate

[[http://arch.ict.ac.cn|Key Laboratory of Computer System and Architecture]], 

[[http://www.ict.ac.cn/english/|Institute of Computing Technology]],

[[http://english.cas.cn/|Chinese Academy of Sciences]], 

Beijing, P.R.China

Phone: +86-10-62600639

E-mail: duanyuelu **at** ict **dot** ac **dot** cn

----

===== About Me =====

Currently I am a 3rd-year Master Student under the supervision of [[http://www.ict.ac.cn/survey/channel/detail846.asp|Prof. Xiaobing Feng]], at Institute of Computing Technology (ICT), Chinese Academy of Science. Before I joined ICT, I was a member of [[http://ppi.fudan.edu.cn|Parallel Processing Institute]](PPI), [[http://www.fudan.edu.cn/englishnew|Fudan University]], under the supervision of [[http://ppi.fudan.edu.cn/binyu_zang|Prof. Binyu Zang]]. 

I have done much work on compiler construction and debugging, including the Intel IXP auto-partition compiler developed in PPI (based on [[http://agassiz.cs.umn.edu/|Agassiz]]) and the Godson-II compiler system in ICT. I also research on memory consistency models, recently my paper about consistency bug detection is accepted by the [[https://www.softconf.com/s08/cgo09/cgi-bin/scmd.cgi?scmd=aLogin&passcode=24X-C4B5B5G5G7|CGO 2009]]. Now I am seeking better models for programmers to write recursive codes on the emerging multi-core systems. 

{{:cv_duanyuelu.pdf|Here}} is my CV.

===== Research Interests =====
Compiler and Computer Architecture, with a primary focus on multi-core systems, \\
Concurrent Software Reliability, and \\ 
Parallel Programming Model.



===== Education =====
 
  * Sep. 2006 - Present Master Candidate, Chinese Academy of Science, Supervisor : Xiaobing Feng 
  * Sep. 2002 - Jun. 2006 B.S. Software School, Fudan University, Advisor: Binyu Zang   




===== Publications =====

  * **Yuelu Duan**, Xiaobing Feng, Lei Wang, Chao Zhang and Pen-chung Yew.  Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs.  To be appear in the 2009 International Symposium on Code Generation and Optimization (CGO 2009). [{{:duanyuelu_pvsc_detection.pdf|pdf}}][{{:duanyuelu_pvsc_detection.ppt|ppt}}]
===== Projects =====

  * Parallel Programming Model, Aug. 2008 ~ Present
  - Designing parallel programming model for recursive programs which are not easy to be programmed by current models such as Cilk and TBB.

  * Improving the Reliability of Concurrent Software, Apr.2008 ~ Present
  - Task-level Deterministic Replay for Cilk applications.
  - Detecting and Eliminating Consistency Bugs.

  * Compiler System Construction and Debugging, Jun. 2005 ~ Dec. 2007
  - Design and Implementation of Intel IXP auto-partition compiler.
  - Improve the Usability and Reliability of Godson-II Compiler System.


===== Teaching Experiences =====

  * Teaching Assistant of Introduction to Computer System, Software School, Fudan University, 2006 (Intructor: Prof. Binyu Zang)
  * Teaching Assistant of Operating System, Software School, Fudan University, 2005 (Instructor: Dr. Hongwei Feng)