Tags » Code Analysis

Paper accepted for ICSE'15 NIER

We are excited to announce that our paper Rapid Multi-Purpose, Multi-Commit Code Analysis was accepted for the New Ideas and Emerging Results (NIER) track of the… 121 more words

Research

Preventing bugs, and improving code quality with Microsoft SAL (Part 1, Prologue)

Microsoft’s SAL started nearly ten years ago at Microsoft as part of a major push for code quality, and (more visibly) preventing bugchecks. In its earliest versions, it appears to have been effectively restricted to the Windows core codebase, with kernel-mode-driver developers following suit.  387 more words