News

GrammaTech’s Paul Anderson Presents at 2008 ACM SIGPLAN Static Analysis Workshop

Posted on

by

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 fourteen researchers with PhDs in programming languages and program analysis.

Related Posts

Check out all of GrammaTech’s resources and stay informed.

view all posts

Contact Us

Get a personally guided tour of our solution offerings. 

Contact US