diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-09-13 08:10:44 +0000 |
---|---|---|
committer | node <node@git-bridge-prod-0> | 2021-09-13 08:10:45 +0000 |
commit | 27675151806af69526bd9dbe3ef5bc3aeaf5efe5 (patch) | |
tree | 72644d05331c1d8656708e4a04f886b0caf48ef6 /references.bib | |
parent | 79c53e5edbef589b82c5cbb1dbcc286a728f9e1d (diff) | |
download | oopsla21_fvhls-27675151806af69526bd9dbe3ef5bc3aeaf5efe5.tar.gz oopsla21_fvhls-27675151806af69526bd9dbe3ef5bc3aeaf5efe5.zip |
Update on Overleaf.
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/references.bib b/references.bib index b183298..c1e979a 100644 --- a/references.bib +++ b/references.bib @@ -734,26 +734,6 @@ year = {2020}, } - author = {Zhao, Jianzhou and Nagarakatte, Santosh and Martin, Milo M.K. and Zdancewic, - Steve}, - title = {Formalizing the {LLVM} Intermediate Representation for Verified Program - Transformations}, - journal = {SIGPLAN Not.}, - volume = {47}, - number = {1}, - pages = {427-440}, - year = {2012}, - doi = {10.1145/2103621.2103709}, - url = {https://doi.org/10.1145/2103621.2103709}, - address = {New York, NY, USA}, - issn = {0362-1340}, - issue_date = {January 2012}, - keywords = {LLVM, memory safety, Coq}, - month = jan, - numpages = {14}, - publisher = {ACM}, -} - @inproceedings{hwang99_fsmd, author = {Hwang, Enoch and Vahid, Frank and Hsu, Yu-Chin}, title = {FSMD functional partitioning for low power}, |