One million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (RST 2006)
Checking for Deadlock, Double Free, and Other Abuses in the Linux Kernel Source Code Tree (CSSSE '06)
Lecture Seventeen: Types of Insurers and Marketing Systems.
Unity Worldwide Ministries Vision 2014 and Beyond Working Document