Jialiang Chang
Ph.D student
Department of Computer Science
College of Engineering and Applied Science

Western Michigan University

Office: Parkview Campus
Address: 1903 West Michigan Avenue, Kalamazoo, MI 49008-5466
Email: jialiang DOT chang AT wmich DOT edu




My research is in the area of software engineering and formal methods, precisely on concurrency and cloud computing.


  1. Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai and Zijiang Yang. sCompile: Critical Path Identification and Analysis for Smart Contracts. 21st International Conference on Formal Engineering Methods,(ICFEM 2019), November 5-9, 2019. Shenzhen, China.
  2. Hao Li, Jialiang Chang, Zijiang Yang and Steve Carr. Memory Distance Measurement for Concurrent Programs. The 30th International Workshop on Languages and Compilers for Parallel Computing (LCPC), October 11-13, 2017. College Station, Texas.
  3. Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao and Ting Liu. Automated Testing of Definition-Use Data Flow for Multithreaded Programs. The 10th IEEE International Conference on Software Testing, Verification and Validation (ICST), March 13-18, 2017. Tokyo, Japan.
  4. Lin Cheng, Jialiang Chang, Zijiang Yang and Chao Wang. GUICat: GUI Testing as a Service. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3-7,  2016.  Singapore. Tool Paper.