Pitfalls of multicore software: Why data races are never benign

OpenSystems Media

March 1, 2012

Integrating error-detection techniques to find more bugs in embedded C software

OpenSystems Media

November 1, 2011

Test-Driven Development: Designing high quality from the start

July 1, 2008

Feeling secure

Jerry Gipper

July 1, 2008

Virtual hardware platforms: Productivity-proven for software development

May 1, 2008

Improving reliability and security by analyzing executables

GrammaTech

April 1, 2008