20 citations · 25 across the 10 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++
Kunlin Liu, Zhenbang Chen, Piyi Zu +2
Pointer analysis is a fundamental technique for compiler optimization and program analysis. Flow-sensitive pointer analysis provides high precision but is difficult to scale to lar…
cs.PL2018★ 2 cited
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Hengbiao Yu, Zhenbang Chen, Xianjin Fu +5
Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the comple…