diff options
| author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-12-10 15:56:42 +0000 |
|---|---|---|
| committer | node <node@git-bridge-prod-0> | 2021-12-11 14:39:10 +0000 |
| commit | 3327dddb814911d038af26e9e294b2e039f4546d (patch) | |
| tree | b3e64846a828e420ecdb2a997ff3774a5b75b4b9 /references.bib | |
| parent | 63396e1bc246d6e96ef1ac6e8e70bfb6fb55a11f (diff) | |
| download | fccm22_rsvhls-3327dddb814911d038af26e9e294b2e039f4546d.tar.gz fccm22_rsvhls-3327dddb814911d038af26e9e294b2e039f4546d.zip | |
Update on Overleaf.
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 |