[llvm-dev] Publications

[Yulei Sui via llvm-dev]

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.


Thanks


Regards,
Yulei

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