<div dir="ltr">Hi,<div><br></div><div>We just published our work that uses LLVM for software verification:</div><div><br></div><div>Counterexample-Guided Bit-Precision Selection<br></div><div>Shaobo He, Zvonimir Rakamaric</div><div>Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), November 2017.</div><div><br></div><div>Link: <a href="http://soarlab.org/2017/09/aplas2017-hr/">http://soarlab.org/2017/09/aplas2017-hr/</a></div><div><br></div><div>I would appreciate if someone could add it to your publication list.</div><div><br></div><div>Thanks!</div><div>-- Zvonimir</div></div><div dir="ltr">-- <br></div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><a>http://zvonimir.info</a><br></div><a>http://soarlab.org</a><br></div></div>