The Compiler & Security Research Group focuses on cutting-edge research in compiler technologies, programming language design, and software security. The team explores compiler optimization, static/dynamic program analysis, formal verification, vulnerability detection, and defense mechanisms, aiming to enhance software performance, reliability, and security through advanced programming language tools and compilation techniques.
Key research areas include:
- Compiler Design & Optimization: Novel compiler architectures, cross-platform code generation, just-in-time (JIT) compilation, etc.
- Software Security: Vulnerability discovery, malware analysis, memory safety, fuzzing, and automated patching.
- Program Analysis: AI-assisted static/dynamic analysis, symbolic execution, and binary reverse engineering.
- Trusted Computing: Formal methods, hardware-assisted security mechanisms, and privacy-preserving compilation techniques.
By bridging theory and practice, the group collaborates closely with industry and open-source communities to apply research outcomes in operating systems, embedded systems, and network systems. Through interdisciplinary talent development, we strive to address future challenges in secure and efficient computing environments.
编译与安全研究组致力于编译器技术、程序语言设计及软件安全的前沿研究。团队聚焦于编译优化、静态/动态程序分析、形式化验证、漏洞检测与防御等领域，探索如何通过先进的编程语言工具和编译技术提升软件性能、可靠性与安全性。
研究方向包括但不限于：
- 编译器设计与优化：新型编译架构、跨平台代码生成、实时编译（JIT）技术等；
- 软件安全：漏洞挖掘、恶意代码分析、内存安全、模糊测试（Fuzzing）及自动化修复；
- 程序分析：基于AI的静态/动态分析、符号执行、二进制代码逆向工程；
- 可信计算：形式化方法、硬件辅助安全机制、隐私保护编译技术。
团队结合理论与应用，与工业界及开源社区紧密合作，推动研究成果在操作系统、嵌入式系统及网络系统等领域的落地。通过培养跨学科人才，致力于解决未来计算环境中的安全与效率挑战。
