Publication: Counterexample-Guided Bit-Precision Selection

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

I've added this publication to the publication list. Please let me know if I need to make any corrections.

Regards,

John Criswell

Looks good, thanks!