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.