summaryrefslogtreecommitdiffstats
path: root/references.bib
diff options
context:
space:
mode:
authorYann Herklotz <ymh15@ic.ac.uk>2020-11-20 01:50:03 +0000
committeroverleaf <overleaf@localhost>2020-11-20 01:56:47 +0000
commit92dd944915df61e8277da389dd60a20b98ab7952 (patch)
treed941b3fcc6f88dbb8e754aab797ef0ba1d2029d7 /references.bib
parenta2f75b2fc01bd18513b2f7395e16e4cae66eee6f (diff)
downloadoopsla21_fvhls-92dd944915df61e8277da389dd60a20b98ab7952.tar.gz
oopsla21_fvhls-92dd944915df61e8277da389dd60a20b98ab7952.zip
Update on Overleaf.
Diffstat (limited to 'references.bib')
-rw-r--r--references.bib17
1 files changed, 0 insertions, 17 deletions
diff --git a/references.bib b/references.bib
index 8a101e6..982434f 100644
--- a/references.bib
+++ b/references.bib
@@ -815,23 +815,6 @@ year = {2020},
year = 2020,
}
-@article{zhao12_formal_llvm_inter_repres_verif_progr_trans,
- author = {Du, Zewei and Herklotz, Yann and Ramanathan, Nadesh and Wickerson, John},
- title = {Fuzzing High-Level Synthesis Tools},
- journal = {},
- volume = {},
- number = {},
- pages = {},
- year = {},
- doi = {},
- url = {},
- address = {},
- issn = {},
- issue_date = {},
- numpages = {},
- publisher = {Association for Computing Machinery},
-}
-
@unpublished{du_fuzzin_high_level_synth_tools,
author = {Du, Zewei and Herklotz, Yann and Ramanathan, Nadesh and Wickerson, John},
note = {unpublished},