Sign In

Communications of the ACM

ACM News

Coverity Co-Founder Receives ACM Grace Murray Hopper Award


View as: Print Mobile App Share: Send by email Share on reddit Share on StumbleUpon Share on Hacker News Share on Tweeter Share on Facebook
Standord University Associate Professor Computer Science and Electrical Engineering Dawson Engler

Grace Murray Hopper Award winner Dawson Engler

Standord University

Coverity co-founder Dawson Engler has been awarded ACM's Grace Murray Hopper Award for his groundbreaking research in automated program checking. "Dawson Engler introduces and develops powerful techniques and tools for practical program analysis that automatically detect errors in code," ACM said in a statement announcing the award. "These methods have now been widely used to check large, complex software systems, uncovering many hidden defects."

The Grace Murray Hopper Award is given annually to an outstanding young computer professional for a single recent major technical or service contribution. Engler, an associate professor of computer science and electrical engineering at Stanford University, helped lead the development of the technology behind Coverity's software analysis system.

"The field of effective error detection has exploded in the past decade, and it's my hope we can realize a similar magnitude of improvement in the next 10 years," Engler says. "For too long, the pervasiveness of computation has led to the same story: Software is everywhere, but all software is prone to crashing, therefore everything is prone to crashing. I believe we are on the right trajectory to deliver a credible means of ending this costly storyline, so developers can finally focus on building software instead of firefighting failures."

From PR Newswire
View Full Article

 

Abstracts Copyright © 2009 Information Inc., Bethesda, Maryland, USA


 

No entries found