Shengyuan WANG
Associate Professor
Department of Computer Science and Technology
Joined Department: 2001
Email:wwssyy@tsinghua.edu.cn
URL:http://soft.cs.tsinghua.edu.cn/~wang/
Phone:+86-10-62794240
Fax:+86-10-62771138
Education background
Bachelor of Computer Science, Taiyuan University of Technology, Taiyuan, China, 1984;
Master of Computer Science, Xidian University, Xi'an, China, 1987;
Ph.D. in Computer Science, Beijing University, Beijing, China, 2001.
Areas of Research Interests/ Research Projects
Programming Languages and Systems
Concurrent System Modeling, Theory and Application of Petri Nets
National Natural Science Foundation of China: Colored Petri Net-based Transactional Concurrent Programming Model and Program Verification (2009-20011);
National Natural Science Foundation of China: Meta Object Petri Nets for Machine Descriptions (2006-2008).
Research Status
My research group works on the methodologies and tools for a programmer to improve coding quality, especially for safety and correctness purposes. Our research areas include programming models, compilers, and formal verification. I am particular interested in the concurrent program issues in those areas.
In my current research, I'm developing a transactional concurrent programming model based on Petri nets. Explicit concurrency among cooperative transactions can undoubtedly decrease the rate of conflicts and improve the performance, but unfortunately it is harmful to the correctness. In one of my projects, concurrency among transactions is programmed based on special colored Petri nets, which facilitates programmers in writing correct transactional concurrent programs while maintaining a low overhead.
I have before proposed a theory to improve the hierarchical modeling capability of a Petri net by classifying its elements into groups, which is helpful to specifying the behavioral reuse of concurrent object-oriented systems, as well as aspect-oriented components.
Academic Achievement
[1] Shengyuan Wang, Jian Yu, Chongyi Yuan. A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. Journal of Computer Science and Technology. Vol.16, No.5, pp. 418-425, 2001.
[2] Shengyuan Wang, Lianghuai Yang, Chongyi Yuan, and Ping yang. Inheritance Anomaly in Concurrent Object-orientation. Journal of Software, vol. 13, no. 6, pp. 1148-1154, 2002 (in Chinese).
[3] Shengyuan Wang, Jian Yu, Chongyi Yuan. A Net-based Multi-tier Behavior Inheritance Modeling Method. Proc. 4th International Andrei Ershov Memorial Conference(PSI 2001), PERSPECTIVES OF SYSTEM INFORMATICS, Akademgorodok, Novosibirsk, Russia, 2001, Lecture Notes in Computer Science, vol.2244, pp. 279-286.
[4] Shengyuan Wang, Yuan Dong. Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. Proc. 1st IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, IEEE CS Press, 2007, pp. 433-439.
[5] Shengyuan Wang, Yuan Dong. A Verifiable Low-level Concurrent Programming Model Based on Colored Petri Nets, Proc. of Petri Nets and Distributed Systems 2008 (a satellite workshop of 29th ATPN conference), Xi'an, China, June 23-24, pp. 147-166.
[6] Shengyuan Wang, Yuan Dong, Ping Yang and Suqin Zhang. Principles of Compiler Design, Posts & Telecommunications Press, Beijing, 2010 (in Chinese).
