Relevant Links
Link to Original Paper
Media Contact
Keywords
compiler, correctness, c programming language
Buzz
COMPUTING RESEARCH HIGHLIGHT OF THE WEEK [April 22 - 29, 2011]
Killing Compiler Bugs
Compilers are software tools that translate programs in a high-level language into binary code that machines can directly execute. Bugs in compilers for the C language can undermine the correctness of operating systems, financial systems, controllers embedded in cars or medical equipment, and other important systems. Computer scientists at the University of Utah have developed a technique for automatically locating bugs in C compilers and have used it to find 350 previously-unknown flaws, most of which have already been fixed by compiler developers.
Researchers:
Xuejun Yang (University of Utah)
Yang Chen (University of Utah)
Eric Eide (University of Utah)
John Regehr (University of Utah)
Agencies/Institutions (that have supported the research):
DARPA, University of Utah
‹ Current Highlight | Past Highlights ›
Computing Research Highlight of the Week is a service of the Computing Community Consortium and the Computing Research Association designed to highlight some of the exciting and important recent research results in the computing fields. Each week a new highlight is chosen by CRA and CCC staff and volunteers from submissions from the computing community. Want your research featured? Submit it!.
