Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ziteng Yang
Observed name:
Yang, Ziteng
Institution:
Georgia Institute of Technology
Observed institution:
Georgia Institute of Technology
ORCID:
0000-0001-5849-7409
Observed ORCID:
0000-0001-5849-7409
OpenAlex ID:
A5108158386
Fully Verified Instruction Scheduling
2024
·
Ziteng Yang
, Jun Shirako
, et al.
·
Proceedings of the ACM on Programming Languages
·
5
Taming Bitwise Behavior in GPU Kernels with Tensor Core: Black-Box Reconstruction, Compiler Enforcement, and Static Verification
2026
·
Yang, Ziteng
, Riasanovsky, Nicholas J.
, et al.
·
arXiv (Cornell University)
·
2
PDF
Show more works
View as search
Works count:
3
Citation count:
8
H-index:
2
I10-index:
Year
Topic
Type