aboutsummaryrefslogtreecommitdiffstats
path: root/papers.bib
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2022-05-31 11:07:09 +0100
committerYann Herklotz <git@yannherklotz.com>2022-05-31 11:07:09 +0100
commit24f4a50873f7ae090589c0b3f007748875738ab0 (patch)
treef10359abc505ff2531baa605bb957a3d5baf88a8 /papers.bib
parentea4ad462e33384c8bbbddca523f138c6c181e7b6 (diff)
downloadyannherklotz.com-24f4a50873f7ae090589c0b3f007748875738ab0.tar.gz
yannherklotz.com-24f4a50873f7ae090589c0b3f007748875738ab0.zip
Update favicon and FCCM
Diffstat (limited to 'papers.bib')
-rw-r--r--papers.bib2
1 files changed, 1 insertions, 1 deletions
diff --git a/papers.bib b/papers.bib
index 1b0ca2f..1a98af9 100644
--- a/papers.bib
+++ b/papers.bib
@@ -2,7 +2,7 @@
author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, John},
title = {Resource Sharing for Verified High-Level Synthesis},
year = {2022},
- booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines},
+ booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)},
numpages = 5,
url_artifact = {https://github.com/mpardalos/Vericert-Fun},
}