From 0159982015b96224fd5a67ab57cd61d72b625177 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 19 Nov 2020 22:47:13 +0000
Subject: Add unpublished citation

---
 references.bib | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

(limited to 'references.bib')

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},
+}
-- 
cgit