Update on Overleaf.

1 files changed, 48 insertions, 35 deletions

diff --git a/references.bib b/references.bib
index d4cd81f..95014da 100644
--- a/references.bib
+++ b/references.bib
@@ -65,7 +65,8 @@ year = {2020},
   booktitle = {{ASAP}},
   pages     = {91--98},
   publisher = {{IEEE} Computer Society},
-  year      = {2016}
+  year      = {2016},
+  doi = {10.1109/ASAP.2016.7760777}
 }  
   
 @article{cong+11,
@@ -80,7 +81,8 @@ year = {2020},
   volume    = {30},
   number    = {4},
   pages     = {473--491},
-  year      = {2011}
+  year      = {2011},
+  doi = {10.1109/TCAD.2011.2110592}
 }
   
 @inproceedings{kiwi,
@@ -90,7 +92,8 @@ year = {2020},
   booktitle = {{FCCM}},
   pages     = {3--12},
   publisher = {{IEEE} Computer Society},
-  year      = {2008}
+  year      = {2008},
+  doi={10.1109/FCCM.2008.46}
 }
   
 @inproceedings{spatial,
@@ -105,11 +108,12 @@ year = {2020},
                Ardavan Pedram and
                Christos Kozyrakis and
                Kunle Olukotun},
-  title     = {Spatial: a language and compiler for application accelerators},
+  title     = {Spatial: A Language and Compiler for Application Accelerators},
   booktitle = {{PLDI}},
   pages     = {296--311},
   publisher = {{ACM}},
-  year      = {2018}
+  year      = {2018},
+  doi       = {https://doi.org/10.1145/3192366.3192379}
 }
   
 @article{greaves_note,
@@ -211,6 +215,7 @@ year = {2020},
   editor          = "Steffen, Bernhard",
   isbn            = "978-3-540-69753-4",
   publisher       = "Springer",
+  doi = "10.1007/BFb0054170"
 }
 
 @article{chouksey19_trans_valid_code_motion_trans_invol_loops,
@@ -327,6 +332,7 @@ year = {2020},
   editor          = "Gupta, Aarti and Malik, Sharad",
   isbn            = "978-3-540-70545-1",
   publisher       = "Springer",
+  doi = "10.1007/978-3-540-70545-1_44"
 }
 
 @inproceedings{chapman92_verif_bedroc,
@@ -378,7 +384,7 @@ year = {2020},
 
 @inproceedings{jifeng93_towar,
   author = "Jifeng, He and Page, Ian and Bowen, Jonathan",
-  title = "Towards a provably correct hardware implementation of occam",
+  title = "Towards a provably correct hardware implementation of Occam",
   booktitle = "Correct Hardware Design and Verification Methods",
   year = 1993,
   pages = "214--225",
@@ -462,17 +468,19 @@ year = {2020},
   year            = 2011,
   pages           = {33--36},
   publisher       = {{ACM}},
+  doi = {10.1145/1950413.1950423}
 }
 
-@inproceedings{choi+18,
-  author    = {Young{-}kyu Choi and
-               Jason Cong},
-  title     = {{HLS}-based optimization and design space exploration for applications
-               with variable loop bounds},
-  booktitle = {{ICCAD}},
-  publisher = {{ACM}},
-  year      = {2018}
-}
+@INPROCEEDINGS{choi+18,
+  author={Y. {Choi} and J. {Cong}},
+  booktitle={2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)}, 
+  title={HLS-Based Optimization and Design Space Exploration for Applications with Variable Loop Bounds}, 
+  year={2018},
+  volume={},
+  number={},
+  pages={1-8},
+  doi={10.1145/3240765.3240815}}
+
 
 @book{micheli94_synth_optim_digit_circuit,
   author          = {De Micheli, Giovanni},
@@ -547,7 +555,8 @@ year = {2020},
   booktitle = {ReConFig},
   pages     = {1--8},
   publisher = {{IEEE}},
-  year      = {2014}
+  year      = {2014},
+  doi={10.1109/ReConFig.2014.7032504}
 }
 
 @INPROCEEDINGS{7818341,
@@ -577,7 +586,8 @@ year = {2020},
   booktitle = {{FPL}},
   pages     = {1--4},
   publisher = {{IEEE}},
-  year      = {2013}
+  year      = {2013},
+  doi       = {10.1109/FPL.2013.6645550}
 }
 
 @inproceedings{nigam20_predic_accel_desig_time_sensit_affin_types,
@@ -648,7 +658,8 @@ year = {2020},
 	address = "Berlin, Heidelberg",
 	editor = "Lau, Kung-Kiu and Banach, Richard",
 	isbn = "978-3-540-32250-4",
-	publisher = "Springer Berlin Heidelberg"
+	publisher = "Springer Berlin Heidelberg",
+	doi = {0.1007/11576280\_20}
 }
 
 @inproceedings{slind08_brief_overv_hol4,
@@ -688,7 +699,8 @@ year = {2020},
 	address = "Berlin, Heidelberg",
 	editor = "Seidl, Helmut",
 	isbn = "978-3-642-28869-2",
-	publisher = "Springer Berlin Heidelberg"
+	publisher = "Springer Berlin Heidelberg",
+	doi = "10.1007/978-3-642-28869-2_20"
 }
 
 @article{zhao12_formal_llvm_inter_repres_verif_progr_trans,
@@ -718,6 +730,7 @@ year = {2020},
   booktitle       = {Proceedings of the conference on Design, automation and test in Europe},
   year            = 1999,
   pages           = {7--es},
+  doi = {10.1109/DATE.1999.761092}
 }
 
 @inproceedings{loow19_proof_trans_veril_devel_hol,
@@ -787,7 +800,8 @@ year = {2020},
   booktitle={2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ ISSS)},
   pages={1--10},
   year={2013},
-  organization={IEEE}
+  organization={IEEE},
+  doi={https://doi.org/10.1109/CODES-ISSS.2013.6659002}
 }
 
 @inproceedings{poly_hls_zhao2017,
@@ -804,7 +818,8 @@ year = {2020},
   author={Pouchet, Louis-Noel and Zhang, Peng and Sadayappan, Ponnuswamy and Cong, Jason},
   booktitle={Proceedings of the ACM/SIGDA international symposium on Field programmable gate arrays},
   pages={29--38},
-  year={2013}
+  year={2013},
+  doi={https://doi.org/10.1145/2435264.2435273}
 }
 
 @misc{quartus,
@@ -818,24 +833,22 @@ year = {2020},
 @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},
-}
-
-
-@inproceedings{kiwi_hls,
-  title={Kiwi: Synthesis of FPGA circuits from parallel programs},
-  author={Singh, Satnam and Greaves, David J},
-  booktitle={2008 16th International Symposium on Field-Programmable Custom Computing Machines},
-  pages={3--12},
-  year={2008},
-  organization={IEEE}
+  title           = {{Fuzzing High-Level Synthesis Tools}},
 }
 
 @inproceedings{chisel,
-  title={Chisel: constructing hardware in a scala embedded language},
+  title={{Chisel: Constructing hardware in a Scala embedded language}},
   author={Bachrach, Jonathan and Vo, Huy and Richards, Brian and Lee, Yunsup and Waterman, Andrew and Avi{\v{z}}ienis, Rimas and Wawrzynek, John and Asanovi{\'c}, Krste},
   booktitle={DAC Design Automation Conference 2012},
   pages={1212--1221},
   year={2012},
-  organization={IEEE}
-}
\ No newline at end of file
+  organization={IEEE},
+  doi={https://doi.org/10.1145/2228360.2228584},
+}
+
+@article{aubury1996handel,
+  title={Handel-C language reference guide},
+  author={Aubury, Matthew and Page, Ian and Randall, Geoff and Saul, Jonathan and Watts, Robin},
+  journal={Computing Laboratory. Oxford University, UK},
+  year={1996}
+}