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 /layouts | |
| parent | 6c672e1ff42c67eb8118651433dc3d892319a53e (diff) | |
| download | yannherklotz.com-4e26587706e8974a74160eb6cacf24babf1d80a9.tar.gz yannherklotz.com-4e26587706e8974a74160eb6cacf24babf1d80a9.zip | |
Update bib file again
Diffstat (limited to 'layouts')
| -rw-r--r-- | layouts/partials/papers.html | 2 |
1 files changed, 1 insertions, 1 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> | |