Concepedia

Shiyou Huang

SH

4

Publications

72

Citations

4

H-Index

2016

Active since

Affiliations

Texas A&M University(Current)

Shiyou Huang is an author at Texas A&M University specializing in computer science, formal verification, and engineering.

Top concepts

Publications per year

2016–2019

4

Publications

4

Maximal causality reduction for TSO and PSO

Shiyou Huang, Jeff Huang · 2016 · 40 citations

, , +24

Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Shiyou Huang, Jeff Huang · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 11 citations · Full text

, , +24

Maximal causality reduction for TSO and PSO

Shiyou Huang, Jeff Huang · ACM SIGPLAN Notices · 2016 · 11 citations

, , +24

SafeCheck: Safety Enhancement of Java Unsafe API

Shiyou Huang, Jianmei Guo, Sanhong Li et al. · 2019 · 10 citations

, , +22

Rows per page

1–4 of 4