Travelled to:1 × France
1 × United Kingdom
Collaborated with:G.C.Necula S.McPeak W.Weimer
Talks about:transform (1) intermedi (1) untrust (1) softwar (1) program (1) languag (1) analysi (1) oracl (1) check (1) tool (1)
Person: Shree Prakash Rahul
DBLP: Rahul:Shree_Prakash
Contributed to:
2002
2001Wrote 2 papers:
- CC-2002-NeculaMRW #analysis #c #named #source code #tool support
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (GCN, SM, SPR, WW), pp. 213–228.
- POPL-2001-NeculaR
- Oracle-based checking of untrusted software (GCN, SPR), pp. 142–154.