[llvm-dev] Publication: Counterexample-Guided Bit-Precision Selection

Zvonimir Rakamaric via llvm-dev llvm-dev at lists.llvm.org
Wed Nov 29 16:42:13 PST 2017


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.

-- Zvonimir
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171130/e905b2cc/attachment.html>

More information about the llvm-dev mailing list