Subject: POCS Seminar--Tuesday, March 6, 2001
From: Kincade Dunn (kdunn@lcs.mit.edu)
Date: Thu Mar 01 2001 - 13:29:36 EST
POCS*POCS*POCS*POCS*POCS*POCS*POCS*POCS*POCS*POCS*POCS*POCS*POCS*POCS*POCS*P
OCS*POCS
DATE: Tuesday, March 6, 2001
TIME: 3:45 refreshments
4:15 seminar
PLACE: NE43-941
Jon Pincus
Microsoft Research
PREfix: C/C++ defect detection via static analysis and much much more
Abstract:
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.
BIO:
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 voicemail
privileges in the process.
host: Prof. Daniel Jackson
Kincade Dunn
200 Technology Square
Cambridge, MA 02139
kdunn@lcs.mit.edu
phone: 617-258-5707
fax: 617-258-8607
Assisting Professors John Chapin, Daniel Jackson, Barbara Liskov,
Robert Morris and Joel Moses
This archive was generated by hypermail 2b28 : Thu Mar 01 2001 - 14:23:32 EST