Programming LAnguages
and StatiC AnaLysis Group
and StatiC AnaLysis Group
Posts
- March 20, 2025
-
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! 🎉 -
March 06, 2025
Our paper “Pointer Analysis for Database-Backed Applications” has been conditionally 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.
-
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.
-
April 01, 2023
Our paper “Context Sensitivity without Context: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis” has been accepted by PLDI’23. Congratulations to Wenjie and Shengyuan! This is the first published research work developed on top of Tai-e.
-
July 31, 2022
Tai-e, an easy-to-learn, easy-to-use, efficient, and extensible static analysis framework for Java, has been released at GitHub! Please refer to our technical report for details.
-
April 25, 2022
Tai-e assignments for static program analysis has been released at GitHub!
-
August 31, 2021
Our paper “Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity” has been accepted by OOPSLA’21.
-
September 29, 2020
ZIPPER-e (introduced in our TOPLAS’20 paper) has been released at GitHub!
-
April 15, 2020
Our paper “A Principled Approach to Selective Context Sensitivity for Pointer Analysis” has been accepted by TOPLAS.
-
October 15, 2019