Zhong Shao - Publications, H-index & Citations

Back

Zhong Shao

Yale University

39H-index

207Paper Count

4.1KCitation Count

Published Papers 6

Publication Date

PROCTOR: An Extensible C-to-Rust Translation Framework With Static-Analysis-Driven Plug-Ins

IEEE SECURITY & PRIVACY

IF3

2026-07-21

PREAI

Jaemin Hong; Kanguk Lee; Hanliang Zhang; Hyunhee Kang; Eunsu Kim; Justin Restivo; Thanos Typaldos; Ramla Ijaz; Sukyoung Ryu; Zhong Shao

Save

ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2024-02-01

PREAI

Kim, Jieung; Koenig, Jeremie; Chen, Hao; Gu, Ronghui; Shao, Zhong

Save

SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2024-02-01

PREAI

Kim, Jieung; Gu, Ronghui; Shao, Zhong

Save

Building Certified Concurrent OS Kernels

COMMUNICATIONS OF THE ACM

IF12.2

2019-09-24

OAAI

Gu, Ronghui; Shao, Zhong; Chen, Hao; Kim, Jieung; Koenig, Jeremie; Wu, Xiongnan (Newman); Sjoberg, Vilhelm; Costanzo, David

Save

Position paper: the science of deep specification

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

IF3.7

2017-09-04

OAAI

Appel, Andrew W.; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C.; Shao, Zhong; Weirich, Stephanie; Zdancewic, Steve

Save

Certified Software

COMMUNICATIONS OF THE ACM

IF12.2

2010-12-01

PREAI

Shao, Zhong

Save

Research Directions