Chao Wang

According to our database, Chao Wang authored at least 18 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Decidability of Liveness on the TSO Memory Model.

Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Xinhang Song, Zhiming Liu

Formal Aspects Comput., March, 2026

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects.

Chao Wang, Ruijia Li, Yang Zhou, Peng Wu, Yi Lv, Jianwei Liao, Jim Woodcock, Zhiming Liu

CoRR, January, 2026

2025

Checking Linearizability of Multi-core Task Management and Scheduling System.

Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv

Proceedings of the Engineering of Complex Computer Systems - 29th International Conference, 2025

2024

Polling Sanitization to Balance I/O Latency and Data Security of High-density SSDs.

Jiaojiao Wu, Zhigang Cai, Fan Yang, Jun Li, François Trahay, Zheng Yang, Chao Wang, Jianwei Liao

ACM Trans. Storage, May, 2024

Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.

Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

2023

A contract-based semantics and refinement for hybrid Simulink block diagrams.

Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu

J. Syst. Archit., October, 2023

Towards correctness proof for hybrid Simulink block diagrams.

Wei Zhang, Quan Sun, Chao Wang, Zhiming Liu

J. Syst. Archit., 2023

VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.

Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2022

Decidability of Liveness for Concurrent Objects on the TSO Memory Model.

Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

A Contract-Based Semantics and Refinement for Simulink.

Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

2021

Decidability of Liveness on the TSO Memory Model.

Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu

CoRR, 2021

2019

Replication-aware linearizability.

Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Decidability of linearizabilities for relaxed data structures.

Chao Wang, Yi Lv, Peng Wu

Sci. China Inf. Sci., 2018

2017

Decomposable Relaxation for Concurrent Data Structures.

Chao Wang, Yi Lv, Peng Wu

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Checking Linearizability of Concurrent Priority Queues.

Ahmed Bouajjani, Constantin Enea, Chao Wang

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Bounded TSO-to-SC Linearizability Is Decidable.

Chao Wang, Yi Lv, Peng Wu

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

2015

TSO-to-TSO Linearizability Is Undecidable.

Chao Wang, Yi Lv, Peng Wu

Proceedings of the Automated Technology for Verification and Analysis, 2015

Quasi-Linearizability is Undecidable.

Chao Wang, Yi Lv, Gaoang Liu, Peng Wu

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015