User Tools

Site Tools


pub:members:yuelu_duan

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

pub:members:yuelu_duan [2012/01/13 15:22] (current)
Line 1: Line 1:
 +====== 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) 
 +
  
pub/members/yuelu_duan.txt · Last modified: 2012/01/13 15:22 (external edit)