Jialiang Chang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2021
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ISoLA | sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. | Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang |
| 2019 | ICFEM | sCompile: Critical Path Identification and Analysis for Smart Contracts. | Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang |
| 2017 | ICST | Automated Testing of Definition-Use Data Flow for Multithreaded Programs. | Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu |