Displaying 4 results from an estimated 4 matches for "compiler_correctness".
2008 Nov 18
3
[LLVMdev] quantitative comparison of correctness of llvm-gcc 2.x versions
http://www.cs.utah.edu/~regehr/compiler_correctness/llvm_gcc_x86/
I think these graphs speak for themselves. Feedback is welcome.
John Regehr
2008 Nov 18
3
[LLVMdev] quantitative comparison of correctness of llvm-gcc 2.x versions
...f John doesn't object.
--Vikram
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve
On Nov 18, 2008, at 12:33 PM, Chris Lattner wrote:
>
> On Nov 18, 2008, at 10:08 AM, John Regehr wrote:
>
>> http://www.cs.utah.edu/~regehr/compiler_correctness/llvm_gcc_x86/
>>
>> I think these graphs speak for themselves. Feedback is welcome.
>
> Hey, it looks like we made some progress. ;-)
>
> Would you mind if I added your paper to llvm.org/pubs?
>
> -Chris
> _______________________________________________
> LLVM D...
2008 Nov 18
0
[LLVMdev] quantitative comparison of correctness of llvm-gcc 2.x versions
On Nov 18, 2008, at 10:08 AM, John Regehr wrote:
> http://www.cs.utah.edu/~regehr/compiler_correctness/llvm_gcc_x86/
>
> I think these graphs speak for themselves. Feedback is welcome.
Hey, it looks like we made some progress. ;-)
Would you mind if I added your paper to llvm.org/pubs?
-Chris
2008 Nov 18
0
[LLVMdev] quantitative comparison of correctness of llvm-gcc 2.x versions
...Professor, Computer Science
> University of Illinois at Urbana-Champaign
> http://llvm.org/~vadve
>
>
>
> On Nov 18, 2008, at 12:33 PM, Chris Lattner wrote:
>
>>
>> On Nov 18, 2008, at 10:08 AM, John Regehr wrote:
>>
>>> http://www.cs.utah.edu/~regehr/compiler_correctness/llvm_gcc_x86/
>>>
>>> I think these graphs speak for themselves. Feedback is welcome.
>>
>> Hey, it looks like we made some progress. ;-)
>>
>> Would you mind if I added your paper to llvm.org/pubs?
>>
>> -Chris
>> _______________________...