Dear all,

Could you please add our three recent papers to LLVM publication list:

Yulei Sui and Jingling Xue. SVF: Interprocedural Static Value-Flow Analysis in LLVM, 25th International Conference on Compiler Construction (CC 2016)
paper link:

Yulei Sui, Peng Di, and Jingling Xue. Sparse Flow-Sensitive Pointer Analysis for Multithreaded Programs, 2016 International Symposium on Code Generation and Optimization (CGO 2016)
paper link:

Yulei Sui and Jingling Xue. On-Demand Strong Update Analysis via Value-Flow Refinement , ACM SIGSOFT International Symposium on the Foundation of Software Engineering (FSE 2016)
paper link:

The above papers work on pointer alias analysis and static value-flow analysis based on LLVM infrastructure.

Since we benefited greatly from LLVM and its community, we have released our research tool SVF, with the hope that it could benefit others. The tool is public available and hosted on GitHub ( Any contributions and collaborations are welcomed.



UNSW, Australia