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

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

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/..
 
?
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

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/..
 
?
7

Research on named entity recognition method for rich text e..:

, In: 2023 4th International Conference on Computer Engineering and Application (ICCEA),
Shao, Zhong ; Yang, Lulu - p. 494-497 , 2023
Link: https://doi.org/10.1109/..
 
?
8

A Multilevel Cognitive Diagnosis Model with Time Influencin..:

, In: Proceedings of International Conference on Image, Vision and Intelligent Systems 2022 (ICIVIS 2022); Lecture Notes in Electrical Engineering,
Shao, Zhong ; Zhou, Jianyu - p. 774-783 , 2023
Link: https://doi.org/10.1007/..
 
?
9

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/..
 
?
10

Ou: Automating the Parallelization of Zero-Knowledge Protoc..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Sang, Yuyang ; Luo, Ning ; Judson, Samuel... - p. 534-548 , 2023
Link: https://dl.acm.org/doi/1..
 
?
11

The Disambiguation Strategy of Knowledge Fusion for Domain ..:

, In: Proceedings of International Conference on Image, Vision and Intelligent Systems 2022 (ICIVIS 2022); Lecture Notes in Electrical Engineering,
Shao, Zhong ; Ma, Yunxiao - p. 944-952 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Research on Student Target Detection Method Based on Improv..:

, In: 2022 International Conference on Image Processing and Computer Vision (IPCV),
Shang, Yongting ; Shao, Zhong ; Wu, Xiangxun - p. 76-79 , 2023
Link: https://doi.org/10.1109/..
 
?
13

TimeDice: Schedulability-Preserving Priority Inversion for ..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),
Yoon, Man-Ki ; Kim, Jung-Eun ; Bradford, Richard. - p. 453-465 , 2022
Link: https://doi.org/10.1109/..
 
?
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

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/..
 
1-15