›› 2016, Vol. 31 ›› Issue (5): 849-850.doi: 10.1007/s11390-016-1667-x

• Special Section on Software Systems 2016 •     Next Articles


Tao Xie   

  1. Associate Professor and Willett Faculty Scholar, Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, U.S.A
  • Online:2016-09-05 Published:2016-09-05
  • About author:Tao Xie is an associate professor and Willett Faculty Scholar in the Department of Computer Science at the University of Illinois at Urbana-Champaign, Urbana, USA. He received his Ph.D. degree in computer science from the University of Washington, Seattle, in 2005. He received his M.S. degree in computer science from Peking University, Beijing, in 2000, and his B.S. degree in computer science from Fudan University, Shanghai, in 1997. He has worked as a visiting researcher at Microsoft Research. His research interests are in software engineering, focusing on software testing, program analysis, software analytics, software security, and educational software engineering. He has served as the ACM SIGSOFT History Liaison in the SIGSOFT Executive Committee as well as a member of the ACM History Committee. He is an associate editor of IEEE Transactions on Software Engineering (TSE), an associate editor of ACM Transactions on Internet Technology (TOIT), an associate editor of Journal of Software Testing, Verification and Reliability (STVR), an advisory board member of the IEEE Software Magazine, and a leading editor of the Journal of Computer Science and Technology (JCST). He is a distinguished scientist of ACM and a senior member of IEEE.
No related articles found!
Full text



[1] Sun Yongqiang; Lu Ruzhan; Huang Xiaorong;. Termination Preserving Problem in the Transformation of Applicative Programs[J]. , 1987, 2(3): 191 -201 .
[2] Feng Yulin;. Hierarchical Protocol Analysis by Temporal Logic[J]. , 1988, 3(1): 56 -69 .
[3] Zhang Bo; Zhang Ling;. A Relation Matrix Approach to Labelling Temporal Relations in Scheduling[J]. , 1991, 6(4): 339 -346 .
[4] Harald E. Otto;. UNDO, An Aid for Explorative Learning?[J]. , 1992, 7(3): 226 -236 .
[5] Shen Yidong;. Form alizing Incomplete Knowledge in Incomplete Databases[J]. , 1992, 7(4): 295 -304 .
[6] Xu Meirui; Liu Xiaolin;. A VLSI Algorithm for Calculating the Tree to Tree Distance[J]. , 1993, 8(1): 68 -76 .
[7] Li Renwei; He Pei; Zhang Wenhui;. An Introduction to IN CAPS System[J]. , 1993, 8(1): 26 -37 .
[8] Shen Yidong;. A Fixpoint Semantics for Stratified Databases[J]. , 1993, 8(2): 12 -21 .
[9] Pan Zhigeng; Shi Jiaoying; Hu Bingfeng;. DGLa: A Distributed Graphics Language[J]. , 1994, 9(2): 97 -106 .
[10] Wang Hui; Liu Dayou; Wang Yafei;. Sequential Back-Propagation[J]. , 1994, 9(3): 252 -260 .

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
E-mail: jcst@ict.ac.cn
  Copyright ©2015 JCST, All Rights Reserved