谢梦瑶
我现任中国科学院计算技术研究所副研究员。我的研究方向为动态编译与系统安全，包括跨指令集虚拟化、系统防御等。
论文
- Fuzzing JavaScript JIT Compilers With Optimization Path Feedback
Jiming Wang, Chenggang Wu, Yan Kang, Yuhao Hu, Yue Sun, Jikai Ren, Yuanming Lai*, Mengyao Xie, Chao Zhang, Tao Li and Zhe Wang.
In IEEE Transactions on Dependable and Secure Computing (TDSC 2026). (CCF-A) - Large Processor Chip Model
Kaiyan Chang, Mingzhi Chen, Yunji Chen*, Zhirong Chen, Dongrui Fan, Junfeng Gong, Nan Guo, Yinhe Han, Qinfen Hao, Shuo Hou, Xuan Huang, Pengwei Jin, Changxin Ke, Cangyuan Li, Guangli Li, Huawei Li, Kuan Li, Naipeng Li, Shengwen Liang, Cheng Liu, Hongwei Liu, Jiahua Liu, Junliang Lv, Jianan Mu, Jin Qin, Bin Sun, Chenxi Wang, Duo Wang, Mingjun Wang, Ying Wang*, Chenggang Wu, Peiyang Wu, Teng Wu, Xiao Xiao, Mengyao Xie, Chenwei Xiong, Ruiyuan Xu, Mingyu Yan, Xiaochun Ye, Kuai Yu, Rui Zhang, Shuoming Zhang and Jiacheng Zhao.
In Science China Information Sciences (SCIS 2026). (CCF-A) - Optimizing Cross-Architecture Programming Model Adaptation in SIMD-to-RVV Dynamic Binary Translation
Yuanming Lai, Yalong Li, Hanzhi Hu, Mengyao Xie, Zhe Wang* and Chenggang Wu.
In Journal of Computer Research and Development, 62(6): 1469–1491, 2025 (in Chinese). - Shining Light on the Inter-procedural Code Obfuscation: Keep Pace with Progress in Binary Diffing
Peihua Zhang, Chenggang Wu, Hanzhi Hu, Lichen Jia, Mingfan Peng, Jiali Xu, Mengyao Xie, Yuanming Lai, Yan Kang and Zhe Wang*.
In ACM Transactions on Architecture and Code Optimization (TACO 2025). (CCF-A) - BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines
Jiming Wang, Chenggang Wu, Jikai Ren, Yuhao Hu, Yan Kang, Xiaojie Wei, Yuanming Lai, Mengyao Xie and Zhe Wang.
In Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025). (CCF-A) - Tide: An Efficient Kernel-level Isolation Execution Environment on AArch64 via Dynamically Adjusting Output Address Size
Shiyang Zhang, Chenggang Wu, Chengxuan Hou, Jinglin Lv, Yinqian Zhang, Qianyu Guo, Yuanming Lai, Mengyao Xie, Yan Kang and Zhe Wang*.
In Proceedings of the 32nd ACM Conference on Computer and Communications Security (CCS 2025). (CCF-A) - SyzParam: Incorporating Runtime Parameters into Kernel Driver Fuzzing
Yue Sun, Yan Kang, Chenggang Wu*, Kangjie Lu, Jiming Wang, Xingwei Li, Yuhao Hu, Jikai Ren, Yuanming Lai, Mengyao Xie and Zhe Wang.
In Proceedings of the 32nd ACM Conference on Computer and Communications Security (CCS 2025). (CCF-A) - INS: Identifying and Mitigating Performance Interference in Clouds via Interference-Sensitive Paths
Ziwei Huang, Mengyao Xie, Shibo Tang, Zihao Chang, Zhicheng Yao, Yungang Bao and Sa Wang*.
In ACM Symposium on Cloud Computing (SoCC 2024). (CCF-B) - HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64
Peihua Zhang, Chenggang Wu, Xiangyu Meng, Yinqian Zhang, Mingfan Peng, Shiyang Zhang, Bing Hu, Mengyao Xie, Yuanming Lai, Yan Kang and Zhe Wang*.
In Proceedings of the 33rd USENIX Security Symposium, 2024. (CCF-A) - OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers
Jiming Wang, Yan Kang, Chenggang Wu*, Yuhao Hu, Yue Sun, Jikai Ren, Yuanming Lai, Mengyao Xie, Charles Zhang, Tao Li and Zhe Wang.
In Proceedings of the 33rd USENIX Security Symposium, 2024. (CCF-A) - PANIC: PAN-assisted Intra-process Memory Isolation on ARM
Jiali Xu, Mengyao Xie (共同第一作者), Chenggang Wu, Yinqian Zhang, Qijing Li, Xuan Huang, Yuanming Lai, Yan Kang, Wei Wang, Qiang Wei and Zhe Wang*.
In Proceedings of the 30th ACM Conference on Computer and Communications Security (CCS 2023). (CCF-A, 杰出论文奖) - SpecWands: An Efficient Priority-based Scheduler Against Speculation Contention Attacks
Bowen Tang, Chenggang Wu, Pen-Chung Yew, Yinqian Zhang, Mengyao Xie, Yuanming Lai, Yan Kang, Wei Wang, Qiang Wei, and Zhe Wang*.
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD 2023). (CCF-A) - CETIS: Retrofitting Intel CET for Generic and Efficient Intra-process Memory Isolation
Mengyao Xie, Chenggang Wu, Yinqian Zhang, Jiali Xu, Yuanming Lai, Yan Kang, Wei Wang and Zhe Wang*.
In Proceedings of the 29th ACM Conference on Computer and Communications Security (CCS 2022). (CCF-A, 最佳论文荣誉提名) - Dancing with Wolves: An Intra-process Isolation with Privileged Hardware
Chenggang Wu, Mengyao Xie, Zhe Wang*, Yinqian Zhang, Kangjie Lu, Xiaofeng Zhang, Yuanming Lai, Yan Kang, Min Yang, and Tao Li.
In IEEE Transactions on Dependable and Secure Computing (TDSC 2022). (CCF-A) - Making Information Hiding Effective Again
Zhe Wang, Chenggang Wu*, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, and Zhiping Shi.
In IEEE Transactions on Dependable and Secure Computing (TDSC 2021). (CCF-A) - SEIMI: Efficient and secure smap-enabled intra-process memory isolation
Zhe Wang, Chenggang Wu*, Mengyao Xie, Yinqian Zhang, Kangjie Lu, Xiaofeng Zhang, Yuanming Lai, Yan Kang, and Min Yang.
In 2020 IEEE Symposium on Security and Privacy (S&P 2020). (CCF-A) - SafeHidden: An Efficient and Secure Information Hiding Technique Using Rerandomization
Zhe Wang, Chenggang Wu*, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng and Zhiping Shi.
In Proceedings of the 28th USENIX Security Symposium, 2019. (CCF-A) - SysMon: Monitoring Memory Behaviors via OS Approach
Mengyao Xie, Lei Liu*, Hao Yang, Chenggang Wu, and Hongna Geng.
In International Symposium on Advanced Parallel Processing Technologies (APPT 2017). - Memos: A Full Hierarchy Hybrid Memory Management Framework
Lei Liu*, Hao Yang, Yong Li, Mengyao Xie, Lian Li and Chenggang Wu.
In Proceedings of the 34th IEEE International Conference on Computer Design (ICCD 2016). (CCF-B)
获奖与荣誉
- CCF体系结构博士学位论文激励计划提名，2024
科研项目
- 软硬件协同的高性能二进制翻译软件，子课题负责人，1213万
- RISC-V等指令集软硬协同二进制翻译技术研发，课题骨干，6500万
- 内核态app的性能与安全合作项目，课题骨干，185.4万
- 漏洞PoC驱动的双回路模糊测试技术研究，课题骨干，55万
- 自动功能验证及流片，基础与交叉前沿科研（B），课题骨干，1626.15万
学术服务
- CCF体系结构专业委员会，执行委员，2024
- CCF全国高性能计算学术年会，程序委员会委员，2024
- CCF系统软件专业委员会，通信执行委员，2024