On 6/25/13 1:44 PM, Santosh Nagarakatte wrote: > Proceedings of the 34th ACM SIGPLAN Conference on Programming Language > Design and Implementation Done. -- John T.