Education background
Bachelor of Engineering Mechanics, Tsinghua University, Beijing, China, 1996;
Master of Solid Mechanics, Tsinghua University, Beijing, China, 1998;
Ph.D. in Solid Mechanics, Tsinghua University, Beijing, China, 2001.
Social service
China Computer Federation: Member ofSystem Software Committee(2009-);
IEEE: Member (2009-);
ACM: Member (2007-);
China Linux Standardization Group: Representative (2005-).
Areas of Research Interests/ Research Projects
Embedded Operating System, Compiler, Language-Based Security
Software Methodology for Hardware/Software Co-design
National 863 High-Tech Program: Protocol Stack and Middleware for Ubiquitous Computing Devices (2009-2010);
National 863 High-Tech Program: Research on Automatic Retargetable Compilers for Reconfigurable Computations (2008-2010);
Joint Research Project with Intel: Run-Time Cross-Module Optimization for Mobile Clients of Cloud Computing (2009-2010).
Research Status
I have gained several years' practical experiences of seismic exploration and data processing in petroleum industry during my Ph.D. study. However, my fascination about computer software grew in connection with those doctorate topics, and I went on to pursue research work in computer science and technology after graduation.
My previous knowledge and experiences in engineering mechanics, such as inverse problem theory, numerical methods, and optimization algorithms, have greatly contributed to my current research on software optimization and improvement, software development process, and hardware/software co-design process evaluation and improvement.
My general research interests is the method, design and implementation of trustworthy embedded systems.
Honors And Awards
Science and Technology Award by Ministry of Education, Second Class-C++ Programming Language (2001);
Award for Outstanding Textbook by Tsinghua University-C++ Programming Language (2008);
Award for Outstanding Courseware by Tsinghua University, First Class-CCBlog Website (2008);
Academic Achievement
[1]Kai Ren, Shengyuan Wang, Suqin Zhang: Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.APLAS 2009: 275-293
[2] Shengyuan Wang,Liwei Zhang,Ping Yang: Modular Certification of Low-Level Intermediate Representation Programs.COMPSAC (1) 2009: 563-570
[3]Xinyu Feng,Zhong Shao,Yu Guo, Yuan Dong: Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.J. Autom. Reasoning 42(2-4): 301-347 (2009)
[4]Xinyu Feng,Zhong Shao, Yuan Dong,Yu Guo: Certifying low-level programs with hardware interrupts and preemptive threads.PLDI 2008: 170-182
[5]Xinyu Feng,Zhong Shao,Yu Guo, Yuan Dong: Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.VSTTE 2008: 54-69
[6]Shengyuan Wang, Yuan Dong: Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.TASE 2007: 433-439
[7]Jia Chen,Shengyuan Wang, Yuan Dong,Gui-lan Dai,Yang Yang: A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors.ICESS 2004: 443-448
