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

[Zvonimir Rakamaric via llvm-dev]

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>