Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.

Miscompilations often happen because optimization safety checks are inadequate, static analyses are unsound, or transfor- mations are flawed. These bugs are out of reach for current and future automated program-verification tools because the specifica- tions that need to be checked were never written down in a precise way, if they were written down at all. Where verification is imprac- tical, however, other methods for improving compiler quality can succeed. This paper reports our experience in using testing to make C compilers better.
If you want to change selection, open document below and click on "Move attachment"


owner: onehrxn - (no access) - pldi11-preprint.pdf, p1


statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on



Do you want to join discussion? Click here to log in or create user.