summaryrefslogtreecommitdiffstats
path: root/references.bib
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-11-19 22:47:13 +0000
committerYann Herklotz <git@yannherklotz.com>2020-11-19 22:47:13 +0000
commit0159982015b96224fd5a67ab57cd61d72b625177 (patch)
tree821308db62d7b67e04e813e37ce2c40ea5db24f1 /references.bib
parent9ef3587cdb6f58e8f28c6b8ac98ca43255db0d6b (diff)
downloadoopsla21_fvhls-0159982015b96224fd5a67ab57cd61d72b625177.tar.gz
oopsla21_fvhls-0159982015b96224fd5a67ab57cd61d72b625177.zip
Add unpublished citation
Diffstat (limited to 'references.bib')
-rw-r--r--references.bib25
1 files changed, 24 insertions, 1 deletions
diff --git a/references.bib b/references.bib
index e2b7468..8a101e6 100644
--- a/references.bib
+++ b/references.bib
@@ -813,4 +813,27 @@ year = {2020},
url = {https://intel.ly/3fpUNhv},
urldate = {2020-07-20},
year = 2020,
-} \ No newline at end of file
+}
+
+@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},
+ title = {Fuzzing High-Level Synthesis Tools},
+}