(original) (raw)

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