Shree Prakash Rahul

According to our database, Shree Prakash Rahul authored at least 3 papers between 2000 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.

George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer

Proceedings of the Compiler Construction, 11th International Conference, 2002

2001

Oracle-based checking of untrusted software.

George C. Necula, Shree Prakash Rahul

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

2000

A logic-based approach to software system safety and security.

George C. Necula, Shree Prakash Rahul

ACM SIGSOFT Softw. Eng. Notes, 2000