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>