search for: z7y8rwo

Displaying 3 results from an estimated 3 matches for "z7y8rwo".

2018 Dec 07
2
Testing compiler reliability using Csmith
...mjc>, link3 <http://tinyurl.com/jd3jnl3>, 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> wrot...
2018 Dec 12
2
Testing compiler reliability using Csmith
..., >> 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/ >...
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