Chao Wang

21 papers A* 1B 6Misc 4Journal 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects.
CoRR
Chao Wang, Ruijia Li, Yang Zhou, Peng Wu, Yi Lv, Jianwei Liao, Jim Woodcock, Zhiming Liu
2026 J jnl
Decidability of Liveness on the TSO Memory Model.
Formal Aspects Comput.
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Xinhang Song, Zhiming Liu
2025 B conf
Checking Linearizability of Multi-core Task Management and Scheduling System.
ICECCS
Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv
2024 J jnl
Polling Sanitization to Balance I/O Latency and Data Security of High-density SSDs.
ACM Trans. Storage
Jiaojiao Wu, Zhigang Cai, Fan Yang, Jun Li, François Trahay, Zheng Yang, Chao Wang, Jianwei Liao
2024 Misc conf
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.
SETTA
Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu
2023 J jnl
A contract-based semantics and refinement for hybrid Simulink block diagrams.
J. Syst. Archit.
Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu
2023 J jnl
Towards correctness proof for hybrid Simulink block diagrams.
J. Syst. Archit.
Wei Zhang, Quan Sun, Chao Wang, Zhiming Liu
2023 Misc conf
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.
TASE
Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang
2022 Misc conf
A Contract-Based Semantics and Refinement for Simulink.
SETTA
Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu
2022 Misc conf
Decidability of Liveness for Concurrent Objects on the TSO Memory Model.
SETTA
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
2021 J jnl
Decidability of Liveness on the TSO Memory Model.
CoRR
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
2019 J jnl
Replication-Aware Linearizability.
CoRR
Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri, Chao Wang
2019 A* conf
Replication-aware linearizability.
PLDI
Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri
2018 J jnl
Decidability of linearizabilities for relaxed data structures.
Sci. China Inf. Sci.
Chao Wang, Yi Lv, Peng Wu
2018 J jnl
TSO-to-TSO linearizability is undecidable.
Acta Informatica
Chao Wang, Yi Lv, Peng Wu
2017 B conf
Checking Linearizability of Concurrent Priority Queues.
CONCUR
Ahmed Bouajjani, Constantin Enea, Chao Wang
2017 J jnl
Checking Linearizability of Concurrent Priority Queues.
CoRR
Ahmed Bouajjani, Constantin Enea, Chao Wang
2017 B conf
Decomposable Relaxation for Concurrent Data Structures.
SOFSEM
Chao Wang, Yi Lv, Peng Wu
2016 B conf
Bounded TSO-to-SC Linearizability Is Decidable.
SOFSEM
Chao Wang, Yi Lv, Peng Wu
2015 B conf
Quasi-Linearizability is Undecidable.
APLAS
Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
2015 B conf
TSO-to-TSO Linearizability Is Undecidable.
ATVA
Chao Wang, Yi Lv, Peng Wu