diff options
| author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-08-31 11:31:45 +0000 |
|---|---|---|
| committer | node <node@git-bridge-prod-0> | 2021-08-31 15:38:19 +0000 |
| commit | 945414d6bacce6205136358766a44f50af6dfd65 (patch) | |
| tree | fd5f85cc8c3ea59193c415b9a74d444dfcaa9a10 /references.bib | |
| parent | 02cad5f3082fb3661a121be62c09b8356e36a584 (diff) | |
| download | oopsla21_fvhls-945414d6bacce6205136358766a44f50af6dfd65.tar.gz oopsla21_fvhls-945414d6bacce6205136358766a44f50af6dfd65.zip | |
Update on Overleaf.
Diffstat (limited to 'references.bib')
| -rw-r--r-- | references.bib | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/references.bib b/references.bib index c73c488..0065756 100644 --- a/references.bib +++ b/references.bib @@ -712,7 +712,29 @@ year = {2020}, doi = "10.1007/978-3-642-28869-2_20" } -@article{zhao12_formal_llvm_inter_repres_verif_progr_trans, +@inproceedings{zhao12_formal_llvm_inter_repres_verif_progr_trans, + author = {Jianzhou Zhao and + Santosh Nagarakatte and + Milo M. K. Martin and + Steve Zdancewic}, + editor = {John Field and + Michael Hicks}, + title = {Formalizing the {LLVM} intermediate representation for verified program + transformations}, + booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles + of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, + USA, January 22-28, 2012}, + pages = {427--440}, + publisher = {{ACM}}, + year = {2012}, + url = {https://doi.org/10.1145/2103656.2103709}, + doi = {10.1145/2103656.2103709}, + timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, + biburl = {https://dblp.org/rec/conf/popl/ZhaoNMZ12.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + + author = {Zhao, Jianzhou and Nagarakatte, Santosh and Martin, Milo M.K. and Zdancewic, Steve}, title = {Formalizing the {LLVM} Intermediate Representation for Verified Program |