diff options
-rw-r--r-- | layouts/partials/papers.html | 2 | ||||
-rw-r--r-- | papers.bib | 4 |
2 files changed, 2 insertions, 4 deletions
diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html index 57e3ff5..a922e6c 100644 --- a/layouts/partials/papers.html +++ b/layouts/partials/papers.html @@ -13,7 +13,7 @@ <dd> <b>Yann Herklotz</b>, James D. Pollard, Nadesh Ramanathan, and John Wickerson. Formal verification of high-level synthesis. - volume 5. ACM, 11 2021.<br /> + <em>Proc. ACM Program. Lang.</em>, (OOPSLA), 2021.<br /> [ <a href="http://dx.doi.org/10.1145/3485494">DOI</a> | <a href="https://github.com/ymherklotz/vericert">artifact</a> | <a href="/papers/oopsla21_fvhls.pdf">pdf</a> | @@ -1,12 +1,10 @@ -@inproceedings{OOPSLA '21, +@article{OOPSLA '21, author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John}, title = {Formal Verification of High-Level Synthesis}, year = {2021}, number = {OOPSLA}, numpages = {30}, - month = {11}, journal = {Proc. ACM Program. Lang.}, - volume = {5}, publisher = {ACM}, doi = {10.1145/3485494}, url_manuscript = {/papers/oopsla21_fvhls.pdf}, |