diff options
Diffstat (limited to 'references.bib')
| -rw-r--r-- | references.bib | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/references.bib b/references.bib index 3779f02..34cb044 100644 --- a/references.bib +++ b/references.bib @@ -185,12 +185,13 @@ note = {(under review)} } -@unpublished{du21_fuzzin_high_level_synth_tools, +@inproceedings{du21_fuzzin_high_level_synth_tools, author = {Herklotz, Yann and Du, Zewei and Ramanathan, Nadesh and Wickerson, John}, - note = {(under review)}, + note = {(to appear)}, year = 2021, url = {https://yannherklotz.com/docs/drafts/fuzzing_hls.pdf}, - title = {{Fuzzing High-Level Synthesis Tools}}, + title = {An Empirical Study of the Reliability of High-Level Synthesis Tools}, + booktitle = {29th IEEE International Symposium on Field-Programmable Custom Computing Machines}, } @misc{polybench, @@ -203,7 +204,7 @@ @inproceedings{cong06_sdc, author = {J. {Cong} and {Zhiru Zhang}}, title = {An efficient and versatile scheduling algorithm based on SDC formulation}, - booktitle = {2006 43rd ACM/IEEE Design Automation Conference}, + booktitle = {43rd ACM/IEEE Design Automation Conference}, year = 2006, pages = {433-438}, doi = {10.1145/1146909.1147025}, |