[LLVMdev] Publication

[Santosh Nagarakatte]

LLVM developers,

Can you add the following paper to the publication list?


"Formal Verification of SSA Optimizations for LLVM"
Jianzhou Zhao, Santosh Nagarakatte, Milo M K Martin and Steve Zdancewic
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language
Design and Implementation (PLDI) 2013

link to ACM DL:
http://dl.acm.org/citation.cfm?id=2462164&CFID=338189688&CFTOKEN=97651820

Local pdf link: http://www.cs.rutgers.edu/~santosh.nagarakatte/pldi2013.pdf


Thanks,
Santosh

-- 
Santosh Nagarakatte,
Assistant Professor of Computer Science,
Rutgers University, New Brunswick
http://www.cs.rutgers.edu/~santosh.nagarakatte
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130625/2167626e/attachment.html>