diff options
| author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-08-11 13:38:31 +0000 |
|---|---|---|
| committer | node <node@git-bridge-prod-0> | 2021-08-11 13:39:10 +0000 |
| commit | aba1f5d550676af635889917ad79e0f5444f1b8b (patch) | |
| tree | 74ca8d6d061d20a4f23239181ca9f53abc933e47 /references.bib | |
| parent | e2e7ba544d650440ab2371c9a103ff2c8c8f9d1e (diff) | |
| download | oopsla21_fvhls-aba1f5d550676af635889917ad79e0f5444f1b8b.tar.gz oopsla21_fvhls-aba1f5d550676af635889917ad79e0f5444f1b8b.zip | |
Update on Overleaf.
Diffstat (limited to 'references.bib')
| -rw-r--r-- | references.bib | 24 |
1 files changed, 12 insertions, 12 deletions
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}, } |