Yulei Sui via llvm-dev
llvm-dev at lists.llvm.org
Thu Sep 1 07:34:56 PDT 2016
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: http://www.cse.unsw.edu.au/~ysui/papers/cc16.pdf
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: http://www.cse.unsw.edu.au/~ysui/papers/cgo16.pdf
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: http://www.cse.unsw.edu.au/~ysui/papers/fse16.pdf
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 (https://github.com/unsw-corg/SVF).
Any contributions and collaborations are welcomed.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev