Subject: pincus talk rescheduled
From: Daniel Jackson (dnj@mit.edu)
Date: Tue Mar 06 2001 - 11:49:55 EST
date : Weds Mar 7
time : 3:30pm
place : NE43-518 (tentatively; if not, see note on door)
speaker : Jon Pincus, Microsoft Research
title : PREfix: C/C++ defect detection via static analysis and much much more
PREfix analyses C and C++ source code, detects defects, and presents the
results to users in a Web-based interface, allowing for sorting, filtering,
and navigation through the source code. Its path-based, interprocedural
analysis consciously trades off both completeness and complexity for
practicality; it is in regular use analyzing systems consisting of over 25
million lines of C/C++ code. [Let's see. Microsoft ... 25 million lines of
C/C++ code ... any guesses?] This talk will cover PREfix' analysis and the
role for analysis within the overall system.
Reference: Bush, Pincus, and Sielaff, A static analyzer for finding
dynamic programming errors, Software -- Practice and Experience 2000 (30):
pp. 775-802.
Jon Pincus is an Architect at Microsoft Research's Programmers'
Productivity Research Center, where he has worked since June 1999 in the
Reliability group, concentrating on static analysis tools (including
PREfix). Before that, he was founder and CTO at Intrinsa, original
developers of PREfix. Backtracking yet further, after receiving the usual
degrees from the usual institutions, he worked in Design Automation
(placement and routing for IC's, CAD frameworks) at GE Calma and EDA
Systems. Spending a year based in Munich as an Application Engineer gave
him a new appreciation for the importance of software quality; being nine
time zones away from the home office and trying to communicate in your non
native language can change your perspective. After being acquired by
Digital Equipment Corporation along with the rest of EDA's assets, he wound
up as the Technical Director of Document Management, but lost his voice mail
privileges in the process.
This archive was generated by hypermail 2b28 : Tue Mar 06 2001 - 13:02:26 EST