llvm dev - Jan 2018 - 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
-- 
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>

On 11/29/17 7:42 PM, Zvonimir Rakamaric via llvm-dev
wrote:
> Counterexample-Guided Bit-Precision Selection
I've added this publication to the publication list.  Please let me know 
if I need to make any corrections.

Regards,

John Criswell


-- 
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
http://www.cs.rochester.edu/u/criswell

Looks good, thanks!

On Tue, Jan 30, 2018 at 6:29 AM John Criswell <jtcriswel at gmail.com>
wrote:
> On 11/29/17 7:42 PM, Zvonimir Rakamaric via llvm-dev wrote:
> > Counterexample-Guided Bit-Precision Selection
> I've added this publication to the publication list.  Please let me
know
> if I need to make any corrections.
>
> Regards,
>
> John Criswell
>
>
> --
> John Criswell
> Assistant Professor
> Department of Computer Science, University of Rochester
> http://www.cs.rochester.edu/u/criswell
>
> --
http://zvonimir.info
http://soarlab.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180131/d1e48419/attachment.html>