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
Local pdf link: http://www.cs.rutgers.edu/~santosh.nagarakatte/pldi2013.pdf