PASCAL Research Group: Home

News

March 20, 2025
Pinned 📢我们现在开放【实习申请】【研究生申请】，欢迎有志于探索程序分析的同学加入我们的团队！✨
January 17, 2026
We are pleased to announce the release of Qihe, the first general-purpose static analysis framework for Verilog. For further resources, please visit the Qihe project homepage or watch the introductory video.
November 18, 2025
Our paper “ChiSA: Static Analysis for Lightweight Chisel Verification” has been accepted by POPL’26. Congratulations to Jiacai, Qinlin and Zhongsheng! This is the first static analysis framework for Chisel.
June 18, 2025
Our paper “Two Approaches to Fast Bytecode Frontend for Static Analysis” has been accepted by OOPSLA’25. Congratulations to Chenxi and Haoran! This paper presents Tai-e’s new bytecode frontend, which is significantly faster and more reliable than existing frontends.
April 05, 2025
Our paper “Pointer Analysis for Database-Backed Applications” has been accepted by PLDI’25. Congratulations to Yufei, Teng, and Ganlin! This paper describes an end–to–end pointer analysis for Java database–backed application developed on top of Tai-e.
March 26, 2025
ICSE 2025 Awards 🏅
Our paper “Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs” won the Distinguished Paper Award 🏅, and “PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps” earned the Best Artifact Award 🏅. Congratulations to Chenxi, Yufei, and Menglong! 🎉
January 30, 2025
Our paper “PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps” has been accepted by ICSE’25 Congratulations to Menglong! This work demonstrates Tai-e’s new capability in Android analysis, providing a simple yet effective approach for security analysis of Apps.
December 19, 2024
Our paper “Bridge the Islands: Pointer Analysis for Microservice Systems” has been accepted by ISSTA’25. Congratulations to Teng, Yufei and Ganlin! This paper describes the first pointer analysis for Java Microservice systems developed on top of Tai-e.