<div dir="ltr">LLVM developers,<div><br></div><div>Can you add the following paper to the publication list?</div><div><br></div><div><br></div><div>"Formal Verification of SSA Optimizations for LLVM" </div><div style>
Jianzhou Zhao, Santosh Nagarakatte, Milo M K Martin and Steve Zdancewic</div><div style>Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2013</div><div style><br></div>
<div style>link to ACM DL: <a href="http://dl.acm.org/citation.cfm?id=2462164&CFID=338189688&CFTOKEN=97651820">http://dl.acm.org/citation.cfm?id=2462164&CFID=338189688&CFTOKEN=97651820</a></div><div><div><br>
</div><div style>Local pdf link: <a href="http://www.cs.rutgers.edu/~santosh.nagarakatte/pldi2013.pdf">http://www.cs.rutgers.edu/~santosh.nagarakatte/pldi2013.pdf</a></div><div style><br></div><div style><br></div><div style>
Thanks,</div><div style>Santosh</div><div style><br></div>-- <br>Santosh Nagarakatte,<br>Assistant Professor of Computer Science,<br>Rutgers University, New Brunswick<br><a href="http://www.cs.rutgers.edu/~santosh.nagarakatte" target="_blank">http://www.cs.rutgers.edu/~santosh.nagarakatte</a>

</div></div>