| {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 | 69 | 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 | 64 | 2019 |
| Prorace: Practical data race detection for production use T Zhang, C Jung, D Lee ACM SIGPLAN Notices 52 (4), 149-162, 2017 | 52 | 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 | 34 | 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 |
| 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, 2022 | 4 | 2022 |
| 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 | 3 | 2023 |
| 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 |
| Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns T Zhang Virginia Tech, 2020 | | 2020 |
