June 13, 2008
GrammaTech's Paul Anderson Presents At 2008 ACM SIGPLAN Static Analysis Workshop
GrammaTech's Paul Anderson presented at the 2008 ACM SIGPLAN Static Analysis Workshop, organized by the National Institute of Standards and Technology (NIST). The workshop focused on NIST's Software Assurance Metrics And Tool Evaluation (SAMATE) project. According to NIST's website, the SAMATE project is dedicated to improving software assurance by developing methods to enable software tool evaluations, measuring the effectiveness of tools and techniques, and identifying gaps in tools and methods. Paul's paper and talk described GrammaTech's experience in participating in the SAMATE project.
In a second talk, Paul presented a paper, Static Analysis of Medical Device Software using CodeSonar, co-authored with Raoul Jetley and Paul Jones of the FDA. The paper describes the FDA's experiences using static analysis to identify flaws in medical-device software.
About Grammatech
GrammaTech's static-analysis tools are used worldwide by startups,
Fortune 500 companies, educational institutions, and government
agencies. The staff includes ten researchers with PhDs in programming
languages and program analysis. The company has offices in Ithaca, New
York, and San Jose, California. More information about GrammaTech can
be found at www.grammatech.com.
GrammaTech, Inc.
317 N. Aurora St.
Ithaca, NY 14850 USA
phone: 607-273-7340
fax: 607-273-8752
e-mail: info@grammatech.com