Update on Overleaf.

1 files changed, 20 insertions, 2 deletions

diff --git a/references.bib b/references.bib
index 7303a48..6551126 100644
--- a/references.bib
+++ b/references.bib
@@ -15,6 +15,14 @@
   publisher =    {ACM},
 }
 
+@article{six+20,
+ author={Cyril Six and Sylvain Boulm\'e and David Monniaux},
+ title = {{Certified and efficient instruction scheduling: Application to interlocked {VLIW} processors}},
+  journal   = {Proc. {ACM} Program. Lang.},
+  number    = {{OOPSLA}},
+  year      = {2020}
+ }
+
 @inproceedings{lidbury15_many_core_compil_fuzzin,
   author          = {Lidbury, Christopher and Lascu, Andrei and Chong, Nathan and Donaldson,
                   Alastair F.},
@@ -659,7 +667,7 @@ year = {2020},
 	editor = "Lau, Kung-Kiu and Banach, Richard",
 	isbn = "978-3-540-32250-4",
 	publisher = "Springer Berlin Heidelberg",
-	doi = {0.1007/11576280\_20}
+	doi = {0.1007/11576280_20}
 }
 
 @inproceedings{slind08_brief_overv_hol4,
@@ -833,7 +841,7 @@ year = {2020},
 @unpublished{du_fuzzin_high_level_synth_tools,
   author          = {Du, Zewei and Herklotz, Yann and Ramanathan, Nadesh and Wickerson, John},
   note            = {Unpublished},
-  url             = {https://yannherklotz.com/docs/drafts/fuzzing_hls.pdf}
+  url             = {https://yannherklotz.com/docs/drafts/fuzzing_hls.pdf},
   title           = {{Fuzzing High-Level Synthesis Tools}},
 }
 
@@ -853,3 +861,13 @@ year = {2020},
   journal={Computing Laboratory. Oxford University, UK},
   year={1996}
 }
+
+@inproceedings{clarke03_behav_c_veril,
+  author          = {E. {Clarke} and D. {Kroening} and K. {Yorav}},
+  title           = {Behavioral consistency of {C} and {Verilog} programs using bounded model checking},
+  booktitle       = {Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)},
+  year            = 2003,
+  pages           = {368-371},
+  doi             = {10.1145/775832.775928},
+  url             = {https://doi.org/10.1145/775832.775928},
+}