diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-11-19 22:47:13 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-19 22:47:13 +0000 |
commit | 0159982015b96224fd5a67ab57cd61d72b625177 (patch) | |
tree | 821308db62d7b67e04e813e37ce2c40ea5db24f1 /references.bib | |
parent | 9ef3587cdb6f58e8f28c6b8ac98ca43255db0d6b (diff) | |
download | oopsla21_fvhls-0159982015b96224fd5a67ab57cd61d72b625177.tar.gz oopsla21_fvhls-0159982015b96224fd5a67ab57cd61d72b625177.zip |
Add unpublished citation
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 25 |
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}, +} |