Programming LAnguages
and StatiC AnaLysis Group
and StatiC AnaLysis Group
Posts
-
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