Tong Zhang
Tong Zhang
Verifierad e-postadress på vt.edu
Titel
Citeras av
Citeras av
År
Prorace: Practical data race detection for production use
T Zhang, C Jung, D Lee
ACM SIGPLAN Notices 52 (4), 149-162, 2017
282017
Txrace: Efficient data race detection using commodity hardware transactional memory
T Zhang, D Lee, C Jung
Proceedings of the Twenty-First International Conference on Architectural …, 2016
222016
Pex: A permission check analysis framework for linux kernel
T Zhang, W Shen, D Lee, C Jung, AM Azab, R Wang
28th {USENIX} Security Symposium ({USENIX} Security 19), 1205-1220, 2019
132019
BOGO: buy spatial memory safety, get temporal memory safety (almost) free
T Zhang, D Lee, C Jung
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
122019
Sampler: Pmu-based sampling to detect memory errors latent in production software
S Silvestro, H Liu, T Zhang, C Jung, D Lee, T Liu
2018 51st Annual IEEE/ACM International Symposium on Microarchitecture …, 2018
42018
Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns
T Zhang
Virginia Tech, 2020
2020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–6