@misc{indiciae2b8f167e0462, title = {Solidify, An LLVM pass to compile LLVM IR into Solidity}, author = {Kothapalli, Abhiram}, year = {2017}, doi = {10.11578/dc.20220414.52}, url = {https://www.osti.gov/biblio/code-73081}, note = {Source identifier: code-73081} }