diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 23:52:42 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 23:52:42 +0100 |
commit | 4e26587706e8974a74160eb6cacf24babf1d80a9 (patch) | |
tree | cebf124740cc32bf007348b88c675a5ec1be739c | |
parent | 6c672e1ff42c67eb8118651433dc3d892319a53e (diff) | |
download | yannherklotz.com-4e26587706e8974a74160eb6cacf24babf1d80a9.tar.gz yannherklotz.com-4e26587706e8974a74160eb6cacf24babf1d80a9.zip |
Update bib file again
-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}, |