I agree that this site is using cookies. You can find further informations here.
X
Shao, Zhong
7309  results:
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

Construction of Word Semantic Knowledge Graph in the Domain..:

, In: 2024 5th International Seminar on Artificial Intelligence, Networking and Information Technology (AINIT),
Shao, Zhong ; Sun, Yanjie - p. 1626-1630 , 2024
Link: https://doi.org/10.1109/..
 
?
7

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

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

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

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

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

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

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

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

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