Update papers and papers_other

2 files changed, 0 insertions, 89 deletions

diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html
index e9523af..e69de29 100644
--- a/layouts/partials/papers.html
+++ b/layouts/partials/papers.html
@@ -1,54 +0,0 @@
-
-<!-- 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 -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.bib  -->
-
-
-<dl>
-
-<dt>
-<b><a name="OOPSLA&nbsp;&#39;21">OOPSLA&nbsp;&#39;21</a></b>
-</dt>
-<dd>
-<b>Yann Herklotz</b>, James&nbsp;D. Pollard, Nadesh Ramanathan, and John Wickerson.
- Formal verification of high-level synthesis.
- volume&nbsp;5, New York, NY, USA, 11 2021. Association for Computing
-  Machinery.<br />
-[&nbsp;<a href="/papers/fvhls_oopsla21.pdf">pdf</a>&nbsp;]
-
-</dd>
-
-
-<dt>
-<b><a name="FCCM&nbsp;&#39;21">FCCM&nbsp;&#39;21</a></b>
-</dt>
-<dd>
-<b>Yann Herklotz</b>, Zewei Du, Nadesh Ramanathan, and John Wickerson.
- An empirical study of the reliability of high-level synthesis tools.
- In <em>29th IEEE Annual Int. Symp. on Field-Programmable Custom
-  Computing Machines</em>, 2021.<br />
-[&nbsp;<a href="http://dx.doi.org/10.1109/FCCM51124.2021.00034">DOI</a>&nbsp;|
-<a href="https://github.com/ymherklotz/fuzzing-hls">artifact</a>&nbsp;|
-<a href="/papers/esrhls_fccm2021.pdf">pdf</a>&nbsp;]
-
-</dd>
-
-
-<dt>
-<b><a name="FPGA&nbsp;&#39;20">FPGA&nbsp;&#39;20</a></b>
-</dt>
-<dd>
-<b>Yann Herklotz</b> and John Wickerson.
- Finding and understanding bugs in FPGA synthesis tools.
- In <em>ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays</em>,
-  2020.<br />
-[&nbsp;<a href="http://dx.doi.org/10.1145/3373087.3375310">DOI</a>&nbsp;|
-<a href="https://github.com/ymherklotz/verismith">artifact</a>&nbsp;|
-<a href="/blog/2019-06-19-verismith.html">blog</a>&nbsp;|
-<a href="/papers/fubfst_fpga2020.pdf">pdf</a>&nbsp;|
-<a href="/docs/msrphd2019/verismith_poster.pdf">poster</a>&nbsp;|
-<a href="/docs/fpga2020/verismith_slides.pdf">slides</a>&nbsp;]
-
-</dd>
-</dl>
diff --git a/layouts/partials/papers_other.html b/layouts/partials/papers_other.html
index 6d995c2..e69de29 100644
--- a/layouts/partials/papers_other.html
+++ b/layouts/partials/papers_other.html
@@ -1,35 +0,0 @@
-
-<!-- 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&nbsp;&#39;21">LATTE&nbsp;&#39;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 />
-[&nbsp;<a href="/papers/hlsspc_latte2021.pdf">pdf</a>&nbsp;]
-
-</dd>
-
-
-<dt>
-<b><a name="FPGA&nbsp;&#39;21">FPGA&nbsp;&#39;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 />
-[&nbsp;<a href="http://dx.doi.org/10.1145/3431920.3439466">DOI</a>&nbsp;|
-<a href="/docs/fpga2021/fpga2021_slides.pdf">slides</a>&nbsp;]
-
-</dd>
-</dl>