Venkatesh-Prasad Ranganath

• Program Dependences, Slicing, and Verification