Remove bib files

5 files changed, 7 insertions, 108 deletions

diff --git a/.build.yml b/.build.yml
index 92267f0..a73bb1f 100644
--- a/.build.yml
+++ b/.build.yml
@@ -3,6 +3,7 @@ packages:
   - emacs-nox
   - hugo
   - zip
+  - bibtex2html
 sources:
   - https://git.sr.ht/~ymherklotz/yannherklotz.com
 secrets:
@@ -11,6 +12,7 @@ tasks:
   - build: |
       cd yannherklotz.com
       emacs --batch --load deps.el --find-file content.org --load publish.el
+      make all
       hugo --minify
   - deploy: |
       cd yannherklotz.com
diff --git a/Makefile b/Makefile
index e49acdf..eacef92 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,9 @@
 all: layouts/partials/papers.html layouts/partials/papers_other.html
 
-layouts/partials/%.html: %.bib
+layouts/partials:
+	mkdir -p $@
+
+layouts/partials/%.html: %.bib | layouts/partials
 	bibtex2html -o $(subst .html,,$@) -use-keys -dl -linebreak \
         -noabstract -nokeywords -nobibsource -nofooter -nodoc \
         --named-field url_video video --named-field url_tex tex \
diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html
deleted file mode 100644
index db8db75..0000000
--- a/layouts/partials/papers.html
+++ /dev/null
@@ -1,70 +0,0 @@
-
-<!-- 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  -->
-
-
-<dl>
-
-<dt>
-<b><a name="FCCM&nbsp;&#39;22">FCCM&nbsp;&#39;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>&nbsp;<a href="https://github.com/mpardalos/Vericert-Fun">artifact</a>&nbsp;</b>
-
-</dd>
-
-
-<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.
- <em>Proc. of the ACM on Programming Languages</em>, (OOPSLA), 2021.<br />
-[&nbsp;<a href="http://dx.doi.org/10.1145/3485494">DOI</a>&nbsp;| 
-<a href="https://github.com/ymherklotz/vericert">artifact</a>&nbsp;| 
-<a href="/papers/oopsla21_fvhls.pdf">pdf</a>&nbsp;| 
-<a href="/docs/oopsla21/slides_fvhls.pdf">slides</a>&nbsp;| 
-<a href="https://youtu.be/clPiKbKVlUA">video</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/fccm21_esrhls.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/fpga20_fubfst.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>
\ No newline at end of file
diff --git a/layouts/partials/papers_other.html b/layouts/partials/papers_other.html
deleted file mode 100644
index 313e56b..0000000
--- a/layouts/partials/papers_other.html
+++ /dev/null
@@ -1,36 +0,0 @@
-
-<!-- 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  -->
-
-
-<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/latte21_hlsspc.pdf">pdf</a>&nbsp;| 
-<a href="https://youtu.be/Olhbhq46Amc">video</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>
\ No newline at end of file
diff --git a/papers.bib b/papers.bib
index ab28234..1b0ca2f 100644
--- a/papers.bib
+++ b/papers.bib
@@ -1,5 +1,5 @@
 @inproceedings{FCCM&nbsp;&#39;22,
-  author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, Yann},
+  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},