diff options
Diffstat (limited to 'layouts/partials/papers_other.html')
-rw-r--r-- | layouts/partials/papers_other.html | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/layouts/partials/papers_other.html b/layouts/partials/papers_other.html new file mode 100644 index 0000000..82b8448 --- /dev/null +++ b/layouts/partials/papers_other.html @@ -0,0 +1,35 @@ + +<!-- This document was automatically generated with bibtex2html 1.99 + (see http://www.lri.fr/~filliatr/bibtex2html/), + with the following command: + bibtex2html -o blog/templates/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 blog/yann_other.bib --> + + +<dl> + +<dt> +<b><a name="LATTE '21">LATTE '21</a></b> +</dt> +<dd> +<b>Yann Herklotz</b> and John Wickerson. + High-level synthesis tools should be proven correct. + In <em>Workshop on Languages, Tools, and Techniques for Accelerator + Design</em>, 2021.<br /> +<b> <a href="/papers/hlsspc_latte2021.pdf">pdf</a> </b> + +</dd> + + +<dt> +<b><a name="FPGA '21">FPGA '21</a></b> +</dt> +<dd> +Zewei Du, <b>Yann Herklotz</b>, Nadesh Ramanathan, and John Wickerson. + Fuzzing high-level synthesis tools. + In <em>ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays</em>, + 2021.<br /> +[ <a href="http://dx.doi.org/10.1145/3431920.3439466">DOI</a> | +<a href="/docs/fpga2021/fpga2021_slides.pdf">slides</a> ] + +</dd> +</dl> |