Jagannathan Ramanujam

• PPoPP'12