Comment by pfdietz 6 years ago Nice, although I'd have wanted a segment on compiler testing. 2 comments pfdietz Reply samps 6 years ago Indeed; I previously had these papers on the list but had to take them out for time this semester:- Finding and understanding bugs in C compilers. Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. PLDI 2011. https://dl.acm.org/citation.cfm?id=1993532 - Compiler validation via equivalence modulo inputs. Vu Le, Mehrdad Afshari, and Zhendong Su. PLDI 2014. https://dl.acm.org/citation.cfm?id=2594334 pfdietz 6 years ago There are just too many fun things to teach.More recent paper: yarpgenhttps://github.com/intel/yarpgen/blob/main/papers/yarpgen-oo...
samps 6 years ago Indeed; I previously had these papers on the list but had to take them out for time this semester:- Finding and understanding bugs in C compilers. Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. PLDI 2011. https://dl.acm.org/citation.cfm?id=1993532 - Compiler validation via equivalence modulo inputs. Vu Le, Mehrdad Afshari, and Zhendong Su. PLDI 2014. https://dl.acm.org/citation.cfm?id=2594334 pfdietz 6 years ago There are just too many fun things to teach.More recent paper: yarpgenhttps://github.com/intel/yarpgen/blob/main/papers/yarpgen-oo...
pfdietz 6 years ago There are just too many fun things to teach.More recent paper: yarpgenhttps://github.com/intel/yarpgen/blob/main/papers/yarpgen-oo...
Indeed; I previously had these papers on the list but had to take them out for time this semester:
- Finding and understanding bugs in C compilers. Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. PLDI 2011. https://dl.acm.org/citation.cfm?id=1993532 - Compiler validation via equivalence modulo inputs. Vu Le, Mehrdad Afshari, and Zhendong Su. PLDI 2014. https://dl.acm.org/citation.cfm?id=2594334
There are just too many fun things to teach.
More recent paper: yarpgen
https://github.com/intel/yarpgen/blob/main/papers/yarpgen-oo...