{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 | 85 | 2019 |
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 | 75 | 2019 |
Prorace: Practical data race detection for production use T Zhang, C Jung, D Lee ACM SIGPLAN Notices 52 (4), 149-162, 2017 | 57 | 2017 |
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 | 38 | 2016 |
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 | 9 | 2018 |
DEVFUZZ: automatic device model-guided device driver fuzzing Y Wu, T Zhang, C Jung, D Lee 2023 IEEE Symposium on Security and Privacy (SP), 3246-3261, 2023 | 7 | 2023 |
Compiler-Directed Whole-System Persistence J Zeng, T Zhang, C Jung Proceedings of the 51th Annual International Symposium on Computer Architecture, 2024 | 5 | 2024 |
Automatic permission check analysis for linux kernel J Zhou, T Zhang, W Shen, D Lee, C Jung, A Azab, R Wang, P Ning, K Ren IEEE Transactions on Dependable and Secure Computing 20 (3), 1849-1866, 2022 | 4 | 2022 |
Enhancing the performance of process level redundancy with coprocessors in symmetric multiprocessors T Zhang, H Dai, C Wu, Z Jia International Journal of Computational Science and Engineering 16 (1), 1-8, 2018 | 2 | 2018 |
ngAP: Non-blocking Large-scale Automata Processing on GPUs T Ge, T Zhang, H Liu Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 1 | 2024 |
Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns T Zhang Virginia Tech, 2020 | 1 | 2020 |