diff options
| -rw-r--r-- | layouts/partials/papers.html | 2 | ||||
| -rw-r--r-- | papers.bib | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html index a922e6c..ad2ec7f 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. - <em>Proc. ACM Program. Lang.</em>, (OOPSLA), 2021.<br /> + <em>Proc. of the ACM on Programming Languages</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> | @@ -4,7 +4,7 @@ year = {2021}, number = {OOPSLA}, numpages = {30}, - journal = {Proc. ACM Program. Lang.}, + journal = {Proc. of the ACM on Programming Languages}, publisher = {ACM}, doi = {10.1145/3485494}, url_manuscript = {/papers/oopsla21_fvhls.pdf}, |