From d7a54e37fb0338524fc6952325986ed2ad3e976c Mon Sep 17 00:00:00 2001 From: Zhiwei Zhang <2507097782@qq.com> Date: Wed, 21 Oct 2026 15:35:08 +0800 Subject: [PATCH 1/2] Add OOPSLA'26 paper and ICSE'27 paper --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index da547dbda..ca1f7267d 100644 --- a/README.md +++ b/README.md @@ -16,6 +16,8 @@ - Tai-e ships with a new frontend, providing faster and more reliable conversion from Java programs to Tai-e IR. - Android app analysis is supported through a PacDroid-powered plugin integrated with pointer analysis. - Spring DI and WEC analysis is supported through the Spring analysis plugin. +- Our paper _"When Absence Speaks: A Null-Aware Approach for Taint Analysis"_ has been accepted by ICSE'27. This work presents a simple yet effective approach for recovering missing taint flows, improving the vulnerability detection capability of general-purpose Java taint analysis. +- Our paper _"Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis"_ has been accepted by OOPSLA'26. This work presents Valve, a novel heap abstraction technique that significantly accelerates pointer analysis while preserving high precision. - Our paper _"Two Approaches to Fast Bytecode Frontend for Static Analysis"_ has been accepted by OOPSLA'25. This paper presents Tai-e's new bytecode frontend, which is significantly faster and more reliable than existing frontends. - Our paper _"Pointer Analysis for Database-Backed Applications"_ has been accepted by PLDI'25. This paper describes an end–to–end pointer analysis for Java database–backed application developed on top of Tai-e. - Our paper _"PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps"_ has been accepted by ICSE'25. 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**🏅. From fcadc798ddbf3d800f2fce168f4f996e275195ce Mon Sep 17 00:00:00 2001 From: Zhiwei Zhang <2507097782@qq.com> Date: Wed, 21 Oct 2026 15:35:08 +0800 Subject: [PATCH 2/2] Add OOPSLA'26 paper and ICSE'27 paper --- docs/en/publications.adoc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/en/publications.adoc b/docs/en/publications.adoc index 7f4741038..561f16868 100644 --- a/docs/en/publications.adoc +++ b/docs/en/publications.adoc @@ -2,6 +2,10 @@ include::attributes.adoc[] = Publications +* Zhiwei Zhang, Menglong Chen, Yufei Liang, Hengbin Zheng, Yinning Xiao, Tian Tan, Jie Liu, and Yue Li. _When Absence Speaks: A Null-Aware Approach for Taint Analysis_. In Proceedings of the 49th IEEE/ACM International Conference on Software Engineering, Dublin, Ireland, April 25--May 1 2027 (ICSE'27). (Accepted, to Appear). + +* Jinpeng Wang, Yufei Liang, Zhongsheng Zhan, Tian Tan, and Yue Li. _Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis_. In Proceedings of the ACM on Programming Languages, Volume 10, Issue OOPSLA2, Oakland, California, United States, October 4--9 2026 (OOPSLA'26). + * Chenxi Li, Haoran Lin, Tian Tan, and Yue Li. _Two Approaches to Fast Bytecode Frontend for Static Analysis_. In Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2, Singapore, October 12--18 2025. (OOPSLA'25) * 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).