4 ms·
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
by samps 6y 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 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 https://dl.acm.org/citation.cfm?id=2594334
- pfdietz 6y agoThere are just too many fun things to teach. More recent paper: yarpgen https://github.com/intel/yarpgen/blob/main/papers/yarpgen-ooplsa-2020.pdf https://github.com/intel/yarpgen/blob/main/papers/yarpgen-oo...