Displaying 1 result from an estimated 1 matches for "1031211".
Did you mean:
1031121
2013 Jun 25
1
[LLVMdev] Publication
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: