[llvm-dev] Publication: Counterexample-Guided Bit-Precision Selection

[John Criswell via llvm-dev]

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