Skip to content

Commit bb5141b

Browse files
zhangt2333silverbullettt
authored andcommitted
Add recent publications
1 parent 23e3d36 commit bb5141b

File tree

2 files changed

+18
-0
lines changed

2 files changed

+18
-0
lines changed

README.md

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,16 @@
1010
[![DOI](https://img.shields.io/badge/DOI-10.1145/3597926.3598120-blue)](https://doi.org/10.1145/3597926.3598120)
1111
</div>
1212

13+
## ✨News
14+
15+
- Our paper _"Pointer Analysis for Database-Backed Applications"_ has been accepted by <ins>PLDI'25</ins>. This paper describes an end–to–end pointer analysis for Java database–backed application developed on top of Tai-e.
16+
- Our paper _"PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps"_ has been accepted by <ins>ICSE'25</ins>. This work demonstrates Tai-e's new capability in Android analysis, providing a simple yet effective approach for security analysis of Apps. This work earned the **Best Artifact Award**🏅.
17+
- Our paper _"Bridge the Islands: Pointer Analysis for Microservice Systems"_ has been accepted by <ins>ISSTA'25</ins>. This paper describes the first pointer analysis for Java Microservice systems developed on top of Tai-e.
18+
- Our paper _"Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs"_ has been accepted by <ins>ICSE'25</ins>. This is the first cross-language pointer analysis between Java and C. This work won the **Distinguished Paper Award**🏅.
19+
- Our paper _"Context Sensitivity without Context: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis"_ has been accepted by <ins>PLDI'23</ins>. This is the first published research work developed on top of Tai-e.
20+
- Our paper _"Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics"_ has been accepted by <ins>ISSTA'23</ins>. This paper describes the designs for the major components of Tai-e.
21+
22+
1323
## Table of Contents
1424

1525
- [What is Tai-e?](#what-is-tai-e)

docs/en/publications.adoc

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,14 @@ include::attributes.adoc[]
22

33
= Publications
44

5+
* Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, and Yue Li. _Pointer Analysis for Database-Backed Applications_. In Proceedings of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seoul, South Korea, June 16--20 2025 (PLDI'25).
6+
7+
* Menglong Chen, Tian Tan, Minxue Pan, and Yue Li. _PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps_. In Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, Ottawa, Canada, April 27--May 3 2025 (ICSE'25).
8+
9+
* Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, and Yue Li. _Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs_. In Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, Ottawa, Canada, April 27--May 3 2025 (ICSE'25).
10+
11+
* Teng Zhang, Yufei Liang, Ganlin Li, Tian Tan, Chang Xu, and Yue Li. _Bridge the Islands: Pointer Analysis for Microservice Systems_. In Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, Trondheim, Norway, June 25--28 2025 (ISSTA'25).
12+
513
* Tian Tan and Yue Li. *Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics*. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, WA, USA. July 17--21, 2023 (ISSTA'23).
614

715
* Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu and Yue Li. _Context Sensitivity without Context: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis_. In Proceedings of the ACM on Programming Languages, 2023 (PLDI'23).

0 commit comments

Comments
 (0)