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