Shree Prakash Rahul

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. CC (2002)
George C. Necula, Shree Prakash Rahul
Oracle-based checking of untrusted software. POPL (2001)
George C. Necula, Shree Prakash Rahul
A logic-based approach to software system safety and security. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)