From aba1f5d550676af635889917ad79e0f5444f1b8b Mon Sep 17 00:00:00 2001 From: John Wickerson Date: Wed, 11 Aug 2021 13:38:31 +0000 Subject: Update on Overleaf. --- references.bib | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'references.bib') diff --git a/references.bib b/references.bib index 6a5360c..c73c488 100644 --- a/references.bib +++ b/references.bib @@ -36,7 +36,7 @@ isbn = 9781450334686, location = {Portland, OR, USA}, numpages = 12, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, series = {PLDI '15}, } @@ -300,7 +300,7 @@ year = {2020}, isbn = 1595930272, location = {Charleston, South Carolina, USA}, numpages = 13, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, series = {POPL '06} } @@ -326,7 +326,7 @@ year = {2020}, isbn = 9781595936899, location = {San Francisco, California, USA}, numpages = 11, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, series = {POPL '08} } @@ -615,7 +615,7 @@ year = {2020}, keywords = {Affine Type Systems, High-Level Synthesis}, location = {London, UK}, numpages = 15, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, series = {PLDI 2020}, } @@ -633,7 +633,7 @@ year = {2020}, keywords = {Hardware Description Language, Compiler Correctness, Semantics}, location = {London, UK}, numpages = 15, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, series = {PLDI 2020}, } @@ -652,7 +652,7 @@ year = {2020}, compiler defect}, location = {San Jose, California, USA}, numpages = 12, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, series = {PLDI '11} } @@ -730,7 +730,7 @@ year = {2020}, keywords = {LLVM, memory safety, Coq}, month = jan, numpages = {14}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, } @inproceedings{hwang99_fsmd, @@ -785,7 +785,7 @@ year = {2020}, isbn = 9781450376136, location = {London, UK}, numpages = 14, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, series = {PLDI 2020}, } @@ -902,7 +902,7 @@ year = {2020}, title = {CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency}, year = {2013}, issue_date = {June 2013}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, volume = {60}, number = {3}, @@ -922,7 +922,7 @@ year = {2020}, title = {CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files}, year = {2020}, issue_date = {November 2020}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, volume = {4}, number = {OOPSLA}, @@ -941,7 +941,7 @@ author = {L\"{o}\"{o}w, Andreas}, title = {Lutsig: A Verified Verilog Compiler for Verified Circuit Development}, year = {2021}, isbn = {9781450382991}, -publisher = {Association for Computing Machinery}, +publisher = {ACM}, address = {New York, NY, USA}, url = {https://doi.org/10.1145/3437992.3439916}, doi = {10.1145/3437992.3439916}, @@ -966,7 +966,7 @@ series = {CPP 2021} isbn = 0897913108, location = {Las Vegas, Nevada, USA}, numpages = 6, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, series = {DAC '89}, } -- cgit