[llvm-dev] Publications

[Renato Golin via llvm-dev]

Done, http://llvm.org/pubs/

cheers,
--renato

On 1 September 2016 at 15:34, Yulei Sui via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
> 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
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>