Displaying 3 results from an estimated 3 matches for "y7wdf5b4".
2018 Dec 07
2
Testing compiler reliability using Csmith
...l3>, link4
<http://tinyurl.com/zs2826l>, link5 <https://tinyurl.com/yb7okzqd>), LLVM (
link1 <http://tinyurl.com/qj8x5ry>, link2 <http://tinyurl.com/nc9celr>,
link3 <http://tinyurl.com/qy58smb>, link4 <http://tinyurl.com/z7y8rwo>,
link5 <https://tinyurl.com/y7wdf5b4>)]
Best,
Zhendong
--------
Zhendong Su
Professor, Department of Computer Science, ETH Zurich
Office: CAB E 64.1, Tel: +41 44 633 77 72
https://people.inf.ethz.ch/suz/
--------
On Fri, Dec 7, 2018 at 7:42 PM Vedant Kumar <vsk at apple.com> wrote:
> Hello,
>
> + Zhendong, who’s...
2018 Dec 12
2
Testing compiler reliability using Csmith
...2826l>, link5
>> <https://tinyurl.com/yb7okzqd>), LLVM (link1
>> <http://tinyurl.com/qj8x5ry>, link2 <http://tinyurl.com/nc9celr>,
>> link3 <http://tinyurl.com/qy58smb>, link4
>> <http://tinyurl.com/z7y8rwo>, link5 <https://tinyurl.com/y7wdf5b4>)]
>>
>> Best,
>> Zhendong
>>
>> --------
>> Zhendong Su
>> Professor, Department of Computer Science, ETH Zurich
>> Office: CAB E 64.1, Tel: +41 44 633 77 72
>> https://people.inf.ethz.ch/suz/
>> --------
>>
>> On Fri, Dec...
2018 Dec 07
2
Testing compiler reliability using Csmith
Hello everyone!
We are working on writing a paper about testing the reliability of C compilers by using Csmith (a random C99 program generator).
A previous testing effort, using Csmith, found 202 LLVM bugs, which represented 2% of all reported bugs at that time (PDF: https://www.flux.utah.edu/download?uid=114 <https://www.flux.utah.edu/download?uid=114>): . However, after this paper was