We stand with Ukraine  

Chao Wang

Affiliations:
  • Southwest University, Chongqing, China
  • Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
  • University of Chinese Academy of Sciences, Beijing, China


According to our database1, Chao Wang authored at least 14 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Quan Sun
,
Wei Zhang
,
Chao Wang
,
Zhiming Liu
J. Syst. Archit., October, 2023

Towards correctness proof for hybrid Simulink block diagrams.
[BibTeX]
[DOI]
Wei Zhang
,
Quan Sun
,
Chao Wang
,
Zhiming Liu
J. Syst. Archit., 2023

VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Chao Wang
,
Gustavo Petri
,
Yi Lv
,
Teng Long
,
Zhiming Liu
CoRR, 2021

2019
Replication-aware linearizability.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Chao Wang
,
Yi Lv
,
Peng Wu
Sci. China Inf. Sci., 2018

TSO-to-TSO linearizability is undecidable.
[BibTeX]
[DOI]
Chao Wang
,
Yi Lv
,
Peng Wu
Acta Informatica, 2018

2017
Decomposable Relaxation for Concurrent Data Structures.
[BibTeX]
[DOI]
Chao Wang
,
Yi Lv
,
Peng Wu
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Checking Linearizability of Concurrent Priority Queues.
[BibTeX]
[DOI]
Ahmed Bouajjani
,
Constantin Enea
,
Chao Wang
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
Bounded TSO-to-SC Linearizability Is Decidable.
[BibTeX]
[DOI]
Chao Wang
,
Yi Lv
,
Peng Wu
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

2015
Quasi-Linearizability is Undecidable.
[BibTeX]
[DOI]
Chao Wang
,
Yi Lv
,
Gaoang Liu
,
Peng Wu
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015


  Loading...