P
rogramming L
A
nguages
and
S
tati
C
A
na
L
ysis Group
Home
People
Publications
Code
Teaching
Posts
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
Yue Li
and
Tian Tan
start the
PASCAL Research Group
at
Nanjing University
!