Steve

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

Index

 


 

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

Publications:

  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.

 


 


 

.