Curriculum Vitae
Monday, 2009-04-06 15:18 — dongyuan
V17. Yuan Dong, Shengyuan Wang, Liwei Zhang, Yumin Zhu and Ping Yan, A Logic System for Bytecode Modular Certification (In Chinese). Journal of Software (To be appeared). 2010.
V16. Zhen Cao, Yuan Dong and Shengyuan Wang, Domain-specific Pattern Matching based Automatic Parallelization: Demonstrated by 2-D Prestack Migration. ICPADS 2009 workshop MCSS. Shenzhen, China 8-11 December 2009.
V15. Yuan Dong, Kai Ren, Shengyuan Wang, and Suqin Zhang, Certify Once, Trust Anywhere - Modular Certification of Bytecode Programs for Certified Virtual Machine. APLAS2009. Seoul, Korea 14-16 December 2009.
V14. Yuan Dong, Shengyuan Wang, Liwei Zhang and Ping Yand, Modular Certification of Low-level Intermediate Representation Programs. in Proc. IEEE COMPSAC2009, Seattle, Washington, July 20-24, 2009.
V13. Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong, Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads, Journal of Automated Reasoning, 2009, 42(2-4): 301-347.
V12. Ming Lin, Zhenyang Yu, Duo Zhang, Yunmin Zhu, Shengyuan Wang and Yuan Dong, Retarget the open64 to PowerPC Processor. In Proc. International Conference on Embedded Software and Systems(ICESS2008), Chengdu, China, 152-157, 2008.
V11. Shengyuan Wang and Yuan Dong, A verifiable low-level concurrent programming model based on colored Petri nets. In Proc. 2008 International Workshop on Petri Nets and Distributed Systems (PNDS'08), Xi'an, China, 147-166, June 2008.
V10. Xinyu Feng, Zhong Shao, Yu Guo and Yuan Dong. Combining Domain-Specific and Foundational Logics to Verify Completer Software Systems. In Proc. 2008 Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE2008), LNCS5295, 54-69, 2008.
V9. Xinyu Feng, Zhong Shao, Yuan Dong and Yu Guo. Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. In Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implement ation (PLDI‘08), Tucson, Arizona, 170-182, June 2008. (SCI 328TJ)
V8. Shengyuan Wang, Yingyi Liang, Yuan Dong, Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy, TSINGHUA SCIENCE AND TECHNOLOGY, 2007, 12(6): 684-690.
V7. XiaoGuang Luo, ShengYuan Wang, Yuan Dong, SuQin Zhang, Study on Mobile Code Safety Based on Certifying Compilation(In Chinese), Computer Science, 2007, 34(2): 267-269.
V6. Haoxiang Lin, Yuan Dong, Wei Zhang, Suqin Zhang and Changjun Hu, Design and Implementation of Waycryptic, a Versatile Cryptographic File System for Linux(In Chinese), Mini-Micro Systems, 2007, 28(1): 122-126.
V5. Shengyuan Wang, Yuan Dong, Improving Combinability of Petri Nets with Inheritance, Aggregation and Association, 1st IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering, IEEE CS Press, 2007, 433-439.
V4. Jia Chen, Yuan Dong, Yang Yang, Guilan Dai and Shengyuan Wang, Software Power Optimization for Embedded Systems Based on Instruction Clustering and Instruction Rescheduling(In Chinese): Mini-Micro Systems, 2006, 27(1): 175-179.
V3. Yuan Dong, Shengyuan Wang, Jia Chen, Jinlan Tian and Suqin Zhang, Embedded Linux System Design for Hardware/Software Co-development (In Chinese): Journal of Tsinghua University, 2005, 45(7): 973-976.
V2. Jia Chen, Shengyuan Wang, Yuan Dong, Guilan Dai, Yang Yang, A Functionality Based Instruction Level Softwre Power Estimation Model for Embedded RISC Processors: Z. Wu et al. (Eds.): ICESS 2004, LNCS 3605, 443-448, 2005, Springer-Verlag.
V1. Hongmou Su, Yuan Dong, Shengyuan Wang, Jinlan Tian and Suqin Zhang, Analysis on GAS and Porting it to Support a New Processor, (In Chinese): Mini-Micro Systems, 2004, 25(7): 1185-1187.
E1. Yuan Dong, Shengyuan Wang and Suqin Zhang, Overview of Laboratory in Compiler(In Chinese), Computer Education, 2009(21), 16-18.
A7. Dawei Xu, Yuan Dong, and Suqin Zhang, Multi-dimensional, multi-level text classification system for marine knowledge (In Chinese), Journal of Tsinghua University, 48(7), 1157-1164, 2008. (EI 083111424530)
A6. Ruoyao Bai, Yuan Dong, Suqin Zhang, and Dawei Xu, Support platform for researching Chinese text categorization technologies (In Chinese), Journal of Tsinghua University, 48(7), 1150-1153, 2008. (EI 083111424528)
A5. Wei Xu, Yuan Dong, RouYao Bai, SuQin Zhang, An Evaluation System for Algorithms of Automated Text Categorization on Chinese(In Chinese), Computer Science, 2007, 34(8): 177-179.
A4. Shiyu Huan, Yuan Dong, Design and Implementation of the Enterprise Information Platform(In Chinese), Journal of InnerMongolia University, 2007, 38(2): 229-233.
A3. Sen Lin, Yuan Dong, Shengyuan Wang, Ting Li, Nyimatrashi and Pudun, A Tibetan Input Method Based on Syllable Word for Mobile Phone, Proceedings of The Second International Conference on Embedded Software and Systems (ICESS 2005), Dec. 16-18, Xi'an China.
A2. Yuan Dong, Xiaoying Bai and Suqin Zhang, Agile methods analysis based on the inverse problem theory: PreProceedings of Andrei Ershov Fifth International Conference, 2003, (PSI03).
A1. Hong Li, Yuan Dong, Yongning Cao and Chen Jiang, Design and Implementation of Enterprise Information Platform Based on J2EE(In Chinese): Computer Engineering, 2003, Vol. 29, No. 2, 204-206.
G12. Yuan Dong, Huizhu Yang and Qizhen Du, Reverse Time Migration of Finite Element - Finite Difference Method (In Chinese). Journal of University of Petroleum, 2003, 27(6): 25-29.
G11. Qizhen Du, Huizhu Yang, Yuan Dong, A Study On Shear Wave Velocity Estimation and Fracture Detection in HTI Media: Journal of Computational Acoustics, 2002, 10(3): 331-347.
G10. Qizhen Du, Yuan Dong and Huizhu Yang, HTI Media Shear Wave Normal Moveout Velocity Inversion (In Chinese): Journal of University of Petroleum, 2002, 26(2): 26-30.
G9. Shijun Zhang, Huizhu Yang, Yuan Dong and Qizhen Du, HTI Media parameters Inversion with GA: (In Chinese): Oil Geophysical Prospecting, 2002, 37(1):24-28.
G8. Qizhen Du, Yuan Dong, Huizhu Yang. Shear Wave Velocity Estimation in HTI Media, Theoretical and Computational Acoustics: World Scientific, Singapore, 2001: 397-408 (ICTCA '2001, Beijing, China, 2001).
G7. Yuan Dong, Huizhu Yang and Lizhen Gu. Solution of 2-D wave reverse-time propagation problem by the Finite Element - Finite Difference Method (FE-FDM): Theoretical and Computational Acoustics: World Scientific, Singapore, 2001: 593-599 (ICTCA '2001, Beijing, China, 2001).
G6. Yuan Dong, Huizhu Yang and Weitao Sun, An approximation of the group velocity for HTI media: 70th Ann. Internat. Mtg., 2000, Soc.Expl. Geophys., Expanded Abstracts, Calgary.
G5. Yaping Zhu, Huizhu Yang, Yuan Dong and Yi Ni, Application of OpenGL Technique to Seismic Data Visualization: (In Chinese): Oil Geophysical Prospecting, 2000, 35(4): 418-422. G4. Huizhu Yang, Yuan Dong, Yi Ni, Yaping Zhu and Baixun Xiao, New Method of Improving detection Precision on the base quality of Three Gorges dam(In Chinese): Engineering Mechanics (supplement), 1999, P489-494.
G3. Yuan Dong and Huizhu Yang, Detect the fracture coefficient using the interval moveout (In Chinese): Oil Geophysical Prospecting, 1999, Vol. 34, No. 5, 520-526.
G2. Ke Yin, Huizhu Yang and Yuan Dong, Reflection coefficient of P-wave in anisotropic media (In Chinese): Journal of Tsinghua University. 1998, Vol. 38, No. 2, 12-16.
G1. Ke Yin, Huizhu Yang, and Yuan Dong, AVO in Anisotropic Media: Acta Geophysica Sinica. 1998, Vol, 41, No. 2, 261-272.
 |
Yuan DongAssociate ProfessorDepartment of Computer Science and Technology |
Working Experience
2010-present Associate Professor.
Department of Computer Science and Technology, Tsinghua University, China
2007-2008 Visiting Fellow. Department of Computer Science, Yale University, USA
2003-2009 Assistant Professor. Department of Computer Science and Technology, Tsinghua University, China
2001-2003 Post Doctor. Department of Computer Science and Technology, Tsinghua University, China
2007-2008 Visiting Fellow. Department of Computer Science, Yale University, USA
2003-2009 Assistant Professor. Department of Computer Science and Technology, Tsinghua University, China
2001-2003 Post Doctor. Department of Computer Science and Technology, Tsinghua University, China
Research
Doctor DONG Yuan received his doctoral degree in 2001 from Tsinghua University. He gained several years of practical experience in seismic exploration data processing in the petroleum industry during his doctorate but his interest in computer software grew in connection with topics within mechanics and data processing and he went on to pursue research work in computer science and technology. His knowledge and experience in engineering mechanics such as inverse problem theory, numerical methods, optimization algorithms is contributing to his work on software optimization and improvement, software development process and hardware/software co-design process evaluation and improvement. His general research interests include: Embedded Operating System, Compiler and Language-Based Security; Software Methodology for Hardware/Software Co-design; Theory and Application of Software Engineering.
Teaching
Programming Languages Laboratory, Fall 2009, Fall 2008, Fall 2006.
Software Engineering, Fall 2009, Fall 2008, Fall 2006, Fall 2005, Spring 2005.
Membership of Professional Bodies
[2009-present] Member of System Software Techinical Commitee, China Computer Federation
[2009-present] Member of Institute of Electrical and Electronics Engineers (IEEE)
[2007-present] Member of Association for Computing Machinery (ACM)
[2005-present] Member of China Computer Federation (CCF)
[2005-present] Member of China Linux standardization Group
[2004-present] Member of the IBM Academic Initiative
[1997-2000] Student member of Society of Exploration Geophysicists (SEG)
Publications
-System Software and Verification
V18. Yuan Dong, Kai Ren, Shengyuan Wang, and Suqin Zhang, Construction and Certification of A Bytecode Virtual Machine (In Chinese). Journal of Software (To be appeared). 2010.V17. Yuan Dong, Shengyuan Wang, Liwei Zhang, Yumin Zhu and Ping Yan, A Logic System for Bytecode Modular Certification (In Chinese). Journal of Software (To be appeared). 2010.
V16. Zhen Cao, Yuan Dong and Shengyuan Wang, Domain-specific Pattern Matching based Automatic Parallelization: Demonstrated by 2-D Prestack Migration. ICPADS 2009 workshop MCSS. Shenzhen, China 8-11 December 2009.
V15. Yuan Dong, Kai Ren, Shengyuan Wang, and Suqin Zhang, Certify Once, Trust Anywhere - Modular Certification of Bytecode Programs for Certified Virtual Machine. APLAS2009. Seoul, Korea 14-16 December 2009.
V14. Yuan Dong, Shengyuan Wang, Liwei Zhang and Ping Yand, Modular Certification of Low-level Intermediate Representation Programs. in Proc. IEEE COMPSAC2009, Seattle, Washington, July 20-24, 2009.
V13. Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong, Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads, Journal of Automated Reasoning, 2009, 42(2-4): 301-347.
V12. Ming Lin, Zhenyang Yu, Duo Zhang, Yunmin Zhu, Shengyuan Wang and Yuan Dong, Retarget the open64 to PowerPC Processor. In Proc. International Conference on Embedded Software and Systems(ICESS2008), Chengdu, China, 152-157, 2008.
V11. Shengyuan Wang and Yuan Dong, A verifiable low-level concurrent programming model based on colored Petri nets. In Proc. 2008 International Workshop on Petri Nets and Distributed Systems (PNDS'08), Xi'an, China, 147-166, June 2008.
V10. Xinyu Feng, Zhong Shao, Yu Guo and Yuan Dong. Combining Domain-Specific and Foundational Logics to Verify Completer Software Systems. In Proc. 2008 Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE2008), LNCS5295, 54-69, 2008.
V9. Xinyu Feng, Zhong Shao, Yuan Dong and Yu Guo. Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. In Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implement ation (PLDI‘08), Tucson, Arizona, 170-182, June 2008. (SCI 328TJ)
V8. Shengyuan Wang, Yingyi Liang, Yuan Dong, Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy, TSINGHUA SCIENCE AND TECHNOLOGY, 2007, 12(6): 684-690.
V7. XiaoGuang Luo, ShengYuan Wang, Yuan Dong, SuQin Zhang, Study on Mobile Code Safety Based on Certifying Compilation(In Chinese), Computer Science, 2007, 34(2): 267-269.
V6. Haoxiang Lin, Yuan Dong, Wei Zhang, Suqin Zhang and Changjun Hu, Design and Implementation of Waycryptic, a Versatile Cryptographic File System for Linux(In Chinese), Mini-Micro Systems, 2007, 28(1): 122-126.
V5. Shengyuan Wang, Yuan Dong, Improving Combinability of Petri Nets with Inheritance, Aggregation and Association, 1st IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering, IEEE CS Press, 2007, 433-439.
V4. Jia Chen, Yuan Dong, Yang Yang, Guilan Dai and Shengyuan Wang, Software Power Optimization for Embedded Systems Based on Instruction Clustering and Instruction Rescheduling(In Chinese): Mini-Micro Systems, 2006, 27(1): 175-179.
V3. Yuan Dong, Shengyuan Wang, Jia Chen, Jinlan Tian and Suqin Zhang, Embedded Linux System Design for Hardware/Software Co-development (In Chinese): Journal of Tsinghua University, 2005, 45(7): 973-976.
V2. Jia Chen, Shengyuan Wang, Yuan Dong, Guilan Dai, Yang Yang, A Functionality Based Instruction Level Softwre Power Estimation Model for Embedded RISC Processors: Z. Wu et al. (Eds.): ICESS 2004, LNCS 3605, 443-448, 2005, Springer-Verlag.
V1. Hongmou Su, Yuan Dong, Shengyuan Wang, Jinlan Tian and Suqin Zhang, Analysis on GAS and Porting it to Support a New Processor, (In Chinese): Mini-Micro Systems, 2004, 25(7): 1185-1187.
-Education
E2. Shengyuan Wang, Yuan Dong and Suqin Zhang, Introduction to the Course Lab-Project for Principles of Practice of Compiler Construction, Computer Education, 2009(23), 12-14.E1. Yuan Dong, Shengyuan Wang and Suqin Zhang, Overview of Laboratory in Compiler(In Chinese), Computer Education, 2009(21), 16-18.
-Application and Software Enginerring
A8. Dawei Xu, Yuan Dong, and Suqin Zhang, Application of Text Classification in Marine Information Processing (In Chinese), Computer Science, 2007, 35(11): 144-146.A7. Dawei Xu, Yuan Dong, and Suqin Zhang, Multi-dimensional, multi-level text classification system for marine knowledge (In Chinese), Journal of Tsinghua University, 48(7), 1157-1164, 2008. (EI 083111424530)
A6. Ruoyao Bai, Yuan Dong, Suqin Zhang, and Dawei Xu, Support platform for researching Chinese text categorization technologies (In Chinese), Journal of Tsinghua University, 48(7), 1150-1153, 2008. (EI 083111424528)
A5. Wei Xu, Yuan Dong, RouYao Bai, SuQin Zhang, An Evaluation System for Algorithms of Automated Text Categorization on Chinese(In Chinese), Computer Science, 2007, 34(8): 177-179.
A4. Shiyu Huan, Yuan Dong, Design and Implementation of the Enterprise Information Platform(In Chinese), Journal of InnerMongolia University, 2007, 38(2): 229-233.
A3. Sen Lin, Yuan Dong, Shengyuan Wang, Ting Li, Nyimatrashi and Pudun, A Tibetan Input Method Based on Syllable Word for Mobile Phone, Proceedings of The Second International Conference on Embedded Software and Systems (ICESS 2005), Dec. 16-18, Xi'an China.
A2. Yuan Dong, Xiaoying Bai and Suqin Zhang, Agile methods analysis based on the inverse problem theory: PreProceedings of Andrei Ershov Fifth International Conference, 2003, (PSI03).
A1. Hong Li, Yuan Dong, Yongning Cao and Chen Jiang, Design and Implementation of Enterprise Information Platform Based on J2EE(In Chinese): Computer Engineering, 2003, Vol. 29, No. 2, 204-206.
-Geopysics
G13. Weitao Sun, Yuan Dong, Study on global optimization methods for wave equation inversion problems(In Chinese), PROGRESS IN GEOPHYSICS, 2007, 22(3): 797-803.G12. Yuan Dong, Huizhu Yang and Qizhen Du, Reverse Time Migration of Finite Element - Finite Difference Method (In Chinese). Journal of University of Petroleum, 2003, 27(6): 25-29.
G11. Qizhen Du, Huizhu Yang, Yuan Dong, A Study On Shear Wave Velocity Estimation and Fracture Detection in HTI Media: Journal of Computational Acoustics, 2002, 10(3): 331-347.
G10. Qizhen Du, Yuan Dong and Huizhu Yang, HTI Media Shear Wave Normal Moveout Velocity Inversion (In Chinese): Journal of University of Petroleum, 2002, 26(2): 26-30.
G9. Shijun Zhang, Huizhu Yang, Yuan Dong and Qizhen Du, HTI Media parameters Inversion with GA: (In Chinese): Oil Geophysical Prospecting, 2002, 37(1):24-28.
G8. Qizhen Du, Yuan Dong, Huizhu Yang. Shear Wave Velocity Estimation in HTI Media, Theoretical and Computational Acoustics: World Scientific, Singapore, 2001: 397-408 (ICTCA '2001, Beijing, China, 2001).
G7. Yuan Dong, Huizhu Yang and Lizhen Gu. Solution of 2-D wave reverse-time propagation problem by the Finite Element - Finite Difference Method (FE-FDM): Theoretical and Computational Acoustics: World Scientific, Singapore, 2001: 593-599 (ICTCA '2001, Beijing, China, 2001).
G6. Yuan Dong, Huizhu Yang and Weitao Sun, An approximation of the group velocity for HTI media: 70th Ann. Internat. Mtg., 2000, Soc.Expl. Geophys., Expanded Abstracts, Calgary.
G5. Yaping Zhu, Huizhu Yang, Yuan Dong and Yi Ni, Application of OpenGL Technique to Seismic Data Visualization: (In Chinese): Oil Geophysical Prospecting, 2000, 35(4): 418-422. G4. Huizhu Yang, Yuan Dong, Yi Ni, Yaping Zhu and Baixun Xiao, New Method of Improving detection Precision on the base quality of Three Gorges dam(In Chinese): Engineering Mechanics (supplement), 1999, P489-494.
G3. Yuan Dong and Huizhu Yang, Detect the fracture coefficient using the interval moveout (In Chinese): Oil Geophysical Prospecting, 1999, Vol. 34, No. 5, 520-526.
G2. Ke Yin, Huizhu Yang and Yuan Dong, Reflection coefficient of P-wave in anisotropic media (In Chinese): Journal of Tsinghua University. 1998, Vol. 38, No. 2, 12-16.
G1. Ke Yin, Huizhu Yang, and Yuan Dong, AVO in Anisotropic Media: Acta Geophysica Sinica. 1998, Vol, 41, No. 2, 261-272.
-Books
B7. Yuan Dong, Finite Element - Finite Difference Method Reverse Time Migration, in New Methods for Seismic Imaging, edited by Yong Wang (In Chinese). Beijing: Petroleum Industry Press, 2005.
B6. Li Zheng, Yuan Dong and Ruifeng Zhang, C++ Language Program Design (Ed. III). Beijing: Tsinghua University Press, 2004.
B5. Li Zheng and Yuan Dong, C++ Language Program Design (Ed. II). Beijing: Tsinghua University Press, 2001.
B4. Hemei Tang, Yuan Dong, Li Li and Zhirui Cheng, Basis of Linux Operating System. Beijing: Tsinghua University Press, 2001.
B3. Yuan Dong, Yaping Zhu and Yi Ni, Motif/OpenGL Development under Linux System. Beijing: China Machine Press, 2000.
B2. Li Zheng, Yuan Dong and Shixing Fu, C++ Language Program Design (Ed. I). Beijing: Tsinghua University Press, 1999.
B1. Li Zheng, Yuan Dong and Hongli Meng, FORTRAN Programming. Beijing: Publishing House of Electronics Industry, 1999.
About this document ...
This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html curriculum-vitae.tex -nowhite -noshow_section_numbers -split 0 -nonavigation -t 'DONG Yuan'
The translation was initiated by ydong on 2010-01-20
