[llvm-dev] Publication: Counterexample-Guided Bit-Precision Selection (original) (raw)
Zvonimir Rakamaric via llvm-dev llvm-dev at lists.llvm.org
Wed Nov 29 16:42:13 PST 2017
- Previous message: [llvm-dev] [Release-testers] 5.0.1-rc2 has been tagged
- Next message: [llvm-dev] libclang API to access static array initializer
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Hi,
We just published our work that uses LLVM for software verification:
Counterexample-Guided Bit-Precision Selection Shaobo He, Zvonimir Rakamaric Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), November 2017.
Link: http://soarlab.org/2017/09/aplas2017-hr/
I would appreciate if someone could add it to your publication list.
Thanks! -- Zvonimir
http://zvonimir.info http://soarlab.org -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171130/e905b2cc/attachment.html>
- Previous message: [llvm-dev] [Release-testers] 5.0.1-rc2 has been tagged
- Next message: [llvm-dev] libclang API to access static array initializer
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]