A logic-based approach to software system safety and security. - George C. Necula; Shree Prakash Rahul (ACM SIGSOFT Softw. Eng. Notes, 2000)

Oracle-based checking of untrusted software. - George C. Necula; Shree Prakash Rahul (POPL, 2001)

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. - George C. Necula; Scott McPeak; Shree Prakash Rahul; Westley Weimer (CC, 2002)