logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
Z

Zhong Shao

Yale University

39H指数
206论文数
4.1K被引数
收录论文 5
发表时间
logo
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2024-02-01
err0
PREAI
errKim, Jieung; Koenig, Jeremie; Chen, Hao; Gu, Ronghui; Shao, Zhong
err分享
err收藏
SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2024-02-01
err0
PREAI
errKim, Jieung; Gu, Ronghui; Shao, Zhong
err分享
err收藏
Building Certified Concurrent OS Kernels
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-09-24
err30
errOAAI
errGu, Ronghui; Shao, Zhong; Chen, Hao; Kim, Jieung; Koenig, Jeremie; Wu, Xiongnan (Newman); Sjoberg, Vilhelm; Costanzo, David
err分享
err收藏
Position paper: the science of deep specification
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2017-09-04
err31
errOAAI
errAppel, Andrew W.; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C.; Shao, Zhong; Weirich, Stephanie; Zdancewic, Steve
err分享
err收藏
Certified Software
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-12-01
err28
PREAI
errShao, Zhong
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
B
Benjamin C. Pierce
H 指数: 61 · 论文数: 352
A
Andrew W. Appel
H 指数: 53 · 论文数: 347
S
Steve Zdancewic
H 指数: 46 · 论文数: 167
S
Stephanie Weirich
H 指数: 33 · 论文数: 184
A
Adam Chlipala
H 指数: 28 · 论文数: 128
查看更多