I agree that this site is using cookies. You can find further informations here.
X
Shao, Zhong
4953  results:
Articles (Online) X
Search for persons X
?
1

ThreadAbs: A template to build verified thread-local interf..:

Kim, Jieung ; Koenig, Jérémie ; Chen, Hao..
Journal of Systems Architecture.  147 (2024)  - p. 103046 , 2024
Link: https://doi.org/10.1016/..
 
?
2

LiDO: Linearizable Byzantine Distributed Objects with Refin..:

Qiu, Longfei ; Kim, Yoonseung ; Shin, Ji-Yong...
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 1140-1164 , 2024
Link: https://doi.org/10.1145/..
 
?
3

AdoB: Bridging Benign and Byzantine Consensus with Atomic D..:

Honoré, Wolf ; Qiu, Longfei ; Kim, Yoonseung...
Proceedings of the ACM on Programming Languages.  8 (2024)  OOPSLA1 - p. 419-448 , 2024
Link: https://doi.org/10.1145/..
 
?
4

A Compositional Theory of Linearizability:

Oliveira Vale, Arthur ; Shao, Zhong ; Chen, Yixuan
Journal of the ACM.  71 (2024)  2 - p. 1-107 , 2024
Link: https://doi.org/10.1145/..
 
?
5

Fully Composable and Adequate Verified Compilation with Dir..:

Zhang, Ling ; Wang, Yuting ; Wu, Jinhua..
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 2160-2190 , 2024
Link: https://doi.org/10.1145/..
 
?
6

SimplMM: A simplified and abstract multicore hardware model..:

Kim, Jieung ; Gu, Ronghui ; Shao, Zhong
Journal of Systems Architecture.  147 (2024)  - p. 103049 , 2024
Link: https://doi.org/10.1016/..
 
?
7

A Compositional Theory of Linearizability:

Oliveira Vale, Arthur ; Shao, Zhong ; Chen, Yixuan
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 1089-1120 , 2023
Link: https://doi.org/10.1145/..
 
?
8

Layered and object-based game semantics:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-32 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Layered and object-based game semantics:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-32 , 2022
Link: https://doi.org/10.1145/..
 
?
10

Compositional virtual timelines: verifying dynamic-priority..:

Liu, Mengqi ; Shao, Zhong ; Chen, Hao..
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 60-88 , 2022
Link: https://doi.org/10.1145/..
 
?
11

Verified compilation of C programs with a nominal memory mo..:

Wang, Yuting ; Zhang, Ling ; Shao, Zhong.
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-31 , 2022
Link: https://dl.acm.org/doi/1..
 
?
12

Effectiveness and Safety of Baidu Jieduan Granules for COVI..:

Xu, Xiang-ru ; Zhang, Wen ; Wu, Xin-xin...
Chinese Journal of Integrative Medicine.  28 (2022)  10 - p. 885-893 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Verified compilation of C programs with a nominal memory mo..:

Wang, Yuting ; Zhang, Ling ; Shao, Zhong.
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-31 , 2022
Link: https://doi.org/10.1145/..
 
?
14

Latitudinal and longitudinal regulation of tissue macrophag..:

He, XiaoYi ; Tan, Stephanie ; Shao, Zhong.
Genes & Diseases.  9 (2022)  5 - p. 1194-1207 , 2022
Link: https://doi.org/10.1016/..
 
?
15

Synergetic copper/TEMPO-catalysed benzylic C–H imidation wi..:

Shao, Zhong ; Wang, Fang ; Shi, Jingqi..
Organic Chemistry Frontiers.  8 (2021)  13 - p. 3298-3307 , 2021
Link: https://doi.org/10.1039/..
 
1-15