[llvm-dev] Publications

Yulei Sui via llvm-dev llvm-dev at lists.llvm.org
Thu Sep 1 07:34:56 PDT 2016

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: 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.



UNSW, Australia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160902/51ca584c/attachment.html>

More information about the llvm-dev mailing list