This shows you the differences between two versions of the page.
— |
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) | ||
+ | |||