From 15aab23c1e89e9369b631eb3cefc7fc708d6da36 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 21 Nov 2020 00:03:19 +0000 Subject: Update on Overleaf. --- references.bib | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) (limited to 'references.bib') 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}, +} -- cgit