diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 770cc59..7810109 100644 --- a/references.bib +++ b/references.bib @@ -303,4 +303,22 @@ timestamp = {Tue, 16 May 2017 14:24:38 +0200}, biburl = {https://dblp.org/rec/series/txtcs/BertotC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@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.}, + volume = {4}, + number = {{OOPSLA}}, + pages = {129:1--129:29}, + year = {2020}, + url = {https://doi.org/10.1145/3428197}, + doi = {10.1145/3428197}, + timestamp = {Thu, 14 Oct 2021 08:48:52 +0200}, + biburl = {https://dblp.org/rec/journals/pacmpl/SixBM20.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} }
\ No newline at end of file |