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)