From 27675151806af69526bd9dbe3ef5bc3aeaf5efe5 Mon Sep 17 00:00:00 2001 From: John Wickerson Date: Mon, 13 Sep 2021 08:10:44 +0000 Subject: Update on Overleaf. --- references.bib | 20 -------------------- 1 file changed, 20 deletions(-) (limited to 'references.bib') 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}, -- cgit