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