| 2026 | ASPLOS | Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification. | Yuheng Yang, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan |
| 2026 | SP | Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation. | Tingzhen Dong, Qinhan Tan, Kunpeng Wang, Thomas Bourgeat, Yuheng Yang, Sharad Malik, Yu-Wei Fan, Mengjia Yan |
| 2025 | AAAI | Skeleton-based Action Recognition with Non-linear Dependency Modeling and Hilbert-Schmidt Independence Criterion. | Haipeng Chen, Yuheng Yang, Yingda Lyu |
| 2025 | ASPLOS | RTL Verification for Secure Speculation Using Contract Shadow Logic. | Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan |
| 2025 | ICASSP | Auxiliary Tasks Benefit Skeleton-based Action Recognition. | Yuheng Yang, Haipeng Chen |
| 2025 | IJCAI | Enhancing Semantic Clarity: Discriminative and Fine-grained Information Mining for Remote Sensing Image-Text Retrieval. | Yu Liu, Haipeng Chen, Yuheng Liang, Yuheng Yang, Xun Yang, Yingda Lyu |
| 2025 | ICRA | SAP-SLAM: Semantic-Assisted Perception SLAM with 3D Gaussian Splatting. | Yuheng Yang, Yudong Lin, Wenming Yang, Guijin Wang, Qingmin Liao |
| 2025 | IECON | Research on Transient Synchronization of Wind Turbines Based on the Analysis of Phase - Locked Loop Damping Ratio and the Improved Voltage Normalization Control Strategy. | Yuheng Yang, Zekang Xiao, Qihui Liu, Xipeng Cai, Yihua Zhu, Chao Luo, Xueshen Cui |
| 2024 | AsiaCCS | SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments. | Mengyuan Li, Yuheng Yang, Guoxing Chen, Mengjia Yan, Yinqian Zhang |
| 2023 | IJCAI | Action Recognition with Multi-stream Motion Modeling and Mutual Information Maximization. | Yuheng Yang, Haipeng Chen, Zhenguang Liu, Yingda Lyu, Beibei Zhang, Shuang Wu, Zhibo Wang, Kui Ren |
| 2023 | ISCA | Pensieve: Microarchitectural Modeling for Security Evaluation. | Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan |
| 2022 | ASPLOS | DAGguise: mitigating memory timing side channels. | Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, Mengjia Yan |
| 2020 | MICRO | CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches. | Thomas Bourgeat, Jules Drean, Yuheng Yang, Lillian Tsai, Joel S. Emer, Mengjia Yan |