PASCAL Research Group: Home

Programming LAnguages
and StatiC AnaLysis Group

The PASCAL Research Group is affiliated with Institute of Computer Software and Department of Computer Science and Technology at Nanjing University. We develop effective static program analysis techniques and tools for solving the problems in programming languages, software engineering, system and security.

News

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.