Coverity Founder Wins ACM SIGOPS Award for Breakthrough Research in Operating System Technology
Dr. Dawson Engler earns Mark Weiser Award for development of automated bug detection technology
SAN FRANCISCO, December 11, 2006 –
Coverity, Inc., makers of the world's most advanced and scalable source code analysis solution, today announced that Dr. Dawson Engler, Stanford University computer science professor and Coverity co-founder, has received the ACM SIGOPS Mark Weiser award for his research on techniques for automatically identifying errors in software systems.
Created in 2001, the award is named in honor of Mark Weiser, a computing visionary recognized for his research accomplishments during his career at Xerox PARC. It is given annually to recognize creativity, innovation, and vision in operating systems research. Dr. Engler received the award at the 2006 USENIX Symposium on Operating Systems Design and Implementation held November 6-8 in Seattle, Washington.
Dr. Engler is an Associate Professor of Computer Science and Electrical Engineering at Stanford University, where he conducts research focused on methods of automatically finding bugs in code. He has been a leader in static analysis research, and together with his students he has pioneered a number of methods to automatically find serious errors in large and complex systems. In 2000, Dr. Engler received an Information Technology Research award from the National Science Foundation (NSF) for his research.
Dr. Engler's work has been presented at top conferences in many different fields, where it has won numerous awards, including the 2000 OSDI Best Paper Award. He holds Ph.D. and M.S. degrees in electrical engineering and computer science from the Massachusetts Institute of Technology and a B.S. in computer science and mathematics from the University of Arizona.
About ACM SIGOPS
ACM, the Association for Computing Machinery (http://www.acm.org), is an educational and scientific society uniting the world's computing educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges. ACM strengthens the profession's collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.
ACM SIGOPS addresses a broad spectrum of issues associated with operating systems research and development. Areas of special interest include: interactions with computer architecture; multiprocessing, distributed, and mobile computing; resource management; security; and interprocess communication.
About Coverity
Coverity (www.coverity.com),
maker of the most advanced source code analysis solution, is a privately held company headquartered in San Francisco. Coverity's groundbreaking technology removes the barriers to writing and delivering complex software by automatically finding critical software defects and security vulnerabilities as the software is written. More than 100 leading companies choose Coverity because it scales to tens of millions of lines of code, has the lowest false positive rate and provides 100 percent path coverage. Companies like Juniper Networks, Symantec/VERITAS, McAfee, Synopsys, NASA, Palm and Wind River work with Coverity's tools to eliminate security and quality defects from their mission-critical code and make their products Coverity Clean.
Coverity is a registered trademark, and Coverity Extend and Coverity Prevent are trademarks of Coverity, Inc. All other company and product names are the property of their respective owners.
Media Contacts
Craig Oda
Page One PR for Coverity
coda@pageonepr.com
+1 650-565-9800 x702
Russ Wood
Director, Corporate Marketing
rwood@coverity.com
+1 415-694-5304
« back to Press Releases Main
|
