search for: ometita

...DF: https://www.flux.utah.edu/download?uid=114 <https://www.flux.utah.edu/download?uid=114>): . However, after this paper was published we are unaware of any further testing using Csmith, and we would like to ask you if you are aware of any such efforts or further results. Best regards, Radu Ometita, Functional compilers engineer @IOHK -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20181207/c445e837/attachment.html>

...urich 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 done a lot of work on automated testing of llvm. > > On Dec 6, 2018, at 10:15 PM, Radu Ometita via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > > 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 bu...

...gt; On Fri, Dec 7, 2018 at 7:42 PM Vedant Kumar <vsk at apple.com >> <mailto:vsk at apple.com>> wrote: >> >> Hello, >> >> + Zhendong, who’s done a lot of work on automated testing of llvm. >> >>> On Dec 6, 2018, at 10:15 PM, Radu Ometita via llvm-dev >>> <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: >>> >>> Hello everyone! >>> >>> We are working on writing a paper about testing the reliability >>> of C compilers by using Csmi...