PASCAL Research Group: Home

News

March 20, 2025
Pinned 📢我们现在开放实习申请，欢迎有志于探索程序分析的同学加入我们的团队！✨
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 descibes 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 descibes the first pointer analysis for Java Microservice systems developed on top of Tai-e.
November 13, 2024
Our paper “Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs“ has been accepted by ICSE 2025. Congratulations to Chenxi and Yufei! This is the first cross-language pointer analysis between Java and C.
August 30, 2023
Our paper “The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog” has been accepted by OOPSLA’23. Congratulations to Qinlin, Nairen, and Jinpeng! This is our first published research work on EDA and hardware description language.
May 25, 2023
Our paper “Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics” has been accepted by ISSTA’23. Congratulations to Tian and Yue! (ᕑᗢᓫ∗)˒ This paper describes the designs for the major components of Tai-e.