A Clever Way To Find Compiler Bugs

Gödel’s Lost Letter and P=NP 2019-11-20

Summary:

Your comments are valuable, we thank you. source Xuejun Yang is a Senior Staff Engineer at FutureWei Technologies. He is the DFA on the 2011 paper, “Finding and Understanding Bugs in C Compilers.” Today Ken and I discuss a clever idea from that paper. The paper was brought to our attention just now in a […]

Link:

https://rjlipton.wordpress.com/2019/11/19/a-clever-way-to-find-compiler-bugs/

From feeds:

Online Mathematical Communication » Gödel’s Lost Letter and P=NP

Tags:

bugs

Authors:

RJLipton+KWRegan

Date tagged:

11/20/2019, 06:48

Date published:

11/19/2019, 19:57