[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.
I would appreciate if someone could add it to your publication list.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev