[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] paper using c-reduce as a baseline



John Regehr <regehr@cs.utah.edu> writes:

> "Compared to two state-of-the-art
> program reducers C-Reduce and Perses, which time out on 6 programs and 2
> programs respectively in 12 hours, Chisel runs up to
> 7.1x and 3.7x faster and finishes on all programs."
>
> https://www.cis.upenn.edu/~mhnaik/papers/ccs18.pdf

Thanks for the pointer!  I had not seen this.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX