diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-25 10:08:18 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-25 10:08:18 +0000 |
| commit | 3bc6d07b913b06d971374a2b67c652c98efd7dba (patch) | |
| tree | 9cc7f6dda005e05254211000dd57a8082009d6e9 /layouts | |
| parent | 6e8b6a400c51907e68bd93ab0d32893547e369a6 (diff) | |
| download | yannherklotz.com-3bc6d07b913b06d971374a2b67c652c98efd7dba.tar.gz yannherklotz.com-3bc6d07b913b06d971374a2b67c652c98efd7dba.zip | |
Add new publication in FCCM'22
Diffstat (limited to 'layouts')
| -rw-r--r-- | layouts/partials/papers.html | 15 | ||||
| -rw-r--r-- | layouts/partials/papers_other.html | 2 |
2 files changed, 15 insertions, 2 deletions
diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html index ad2ec7f..db8db75 100644 --- a/layouts/partials/papers.html +++ b/layouts/partials/papers.html @@ -1,5 +1,5 @@ -<!-- This document was automatically generated with bibtex2html 1.99 +<!-- This document was automatically generated with bibtex2html 1.98 (see http://www.lri.fr/~filliatr/bibtex2html/), with the following command: bibtex2html -o layouts/partials/papers -use-keys -dl -linebreak -noabstract -nokeywords -nobibsource -nofooter -nodoc --named-field url_video video --named-field url_tex tex --named-field url_slides slides --named-field url_press press --named-field url_poster poster --named-field url_manuscript pdf --named-field url_blog_post blog --named-field url_artifact artifact papers.bib --> @@ -8,6 +8,19 @@ <dl> <dt> +<b><a name="FCCM '22">FCCM '22</a></b> +</dt> +<dd> +Michalis Pardalos, <b>Yann Herklotz</b>, and Yann Wickerson. + Resource sharing for verified high-level synthesis. + In <em>30th IEEE Annual Int. Symp. on Field-Programmable Custom + Computing Machines</em>, 2022.<br /> +<b> <a href="https://github.com/mpardalos/Vericert-Fun">artifact</a> </b> + +</dd> + + +<dt> <b><a name="OOPSLA '21">OOPSLA '21</a></b> </dt> <dd> diff --git a/layouts/partials/papers_other.html b/layouts/partials/papers_other.html index e295822..313e56b 100644 --- a/layouts/partials/papers_other.html +++ b/layouts/partials/papers_other.html @@ -1,5 +1,5 @@ -<!-- This document was automatically generated with bibtex2html 1.99 +<!-- This document was automatically generated with bibtex2html 1.98 (see http://www.lri.fr/~filliatr/bibtex2html/), with the following command: bibtex2html -o layouts/partials/papers_other -use-keys -dl -linebreak -noabstract -nokeywords -nobibsource -nofooter -nodoc --named-field url_video video --named-field url_tex tex --named-field url_slides slides --named-field url_press press --named-field url_poster poster --named-field url_manuscript pdf --named-field url_blog_post blog --named-field url_artifact artifact papers_other.bib --> |