Chao Wang

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Top Venues

J. Syst. Archit.

Sci. China Inf. Sci.

Publications

Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. TASE (2023)
Wei Zhang, Quan Sun, Chao Wang, Zhiming Liu
Towards correctness proof for hybrid Simulink block diagrams. J. Syst. Archit. 141 (2023)
Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu
A contract-based semantics and refinement for hybrid Simulink block diagrams. J. Syst. Archit. 143 (2023)
Chao Wang, Yi Lv, Peng Wu
TSO-to-TSO linearizability is undecidable. Acta Informatica 55 (8) (2018)
Chao Wang, Yi Lv, Peng Wu
Decidability of linearizabilities for relaxed data structures. Sci. China Inf. Sci. 61 (1) (2018)
Chao Wang, Yi Lv, Peng Wu
Decomposable Relaxation for Concurrent Data Structures. SOFSEM (2017)
Chao Wang, Yi Lv, Peng Wu
Bounded TSO-to-SC Linearizability Is Decidable. SOFSEM (2016)
Chao Wang, Yi Lv, Peng Wu
TSO-to-TSO Linearizability Is Undecidable. ATVA (2015)
Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
Quasi-Linearizability is Undecidable. APLAS (2015)