diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 23:24:46 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 23:24:46 +0100 |
| commit | 3500758242fe25f14df99135bd7a18f0b6a13c05 (patch) | |
| tree | 208e9c69d75a914412031a5db2f05cc2a2c62e6c | |
| parent | b2239c4372416416e07fc4eb50be09858c2bbd7b (diff) | |
| download | yannherklotz.com-3500758242fe25f14df99135bd7a18f0b6a13c05.tar.gz yannherklotz.com-3500758242fe25f14df99135bd7a18f0b6a13c05.zip | |
Update all papers
15 files changed, 227 insertions, 17 deletions
diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html new file mode 100644 index 0000000..7ab4864 --- /dev/null +++ b/layouts/partials/papers.html @@ -0,0 +1,56 @@ + +<!-- This document was automatically generated with bibtex2html 1.99 + (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="OOPSLA '21">OOPSLA '21</a></b> +</dt> +<dd> +<b>Yann Herklotz</b>, James D. Pollard, Nadesh Ramanathan, and John Wickerson. + Formal verification of high-level synthesis. + volume 5. ACM, 11 2021.<br /> +[ <a href="http://dx.doi.org/10.1145/3485494">DOI</a> | +<a href="https://github.com/ymherklotz/vericert">artifact</a> | +<a href="/papers/oopsla21_fvhls.pdf">pdf</a> | +<a href="/docs/oopsla21/slides_fvhls.pdf">slides</a> ] + +</dd> + + +<dt> +<b><a name="FCCM '21">FCCM '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 /> +[ <a href="http://dx.doi.org/10.1109/FCCM51124.2021.00034">DOI</a> | +<a href="https://github.com/ymherklotz/fuzzing-hls">artifact</a> | +<a href="/papers/fccm21_esrhls.pdf">pdf</a> ] + +</dd> + + +<dt> +<b><a name="FPGA '20">FPGA '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 /> +[ <a href="http://dx.doi.org/10.1145/3373087.3375310">DOI</a> | +<a href="https://github.com/ymherklotz/verismith">artifact</a> | +<a href="/blog/2019-06-19-verismith.html">blog</a> | +<a href="/papers/fpga20_fubfst.pdf">pdf</a> | +<a href="/docs/msrphd2019/verismith_poster.pdf">poster</a> | +<a href="/docs/fpga2020/verismith_slides.pdf">slides</a> ] + +</dd> +</dl>
\ No newline at end of file diff --git a/layouts/partials/papers.html-r b/layouts/partials/papers.html-r new file mode 100644 index 0000000..eb717a4 --- /dev/null +++ b/layouts/partials/papers.html-r @@ -0,0 +1,56 @@ + +<!-- This document was automatically generated with bibtex2html 1.99 + (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="OOPSLA '21">OOPSLA '21</a></b> +</dt> +<dd> +Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. + Formal verification of high-level synthesis. + volume 5. ACM, 11 2021.<br /> +[ <a href="http://dx.doi.org/10.1145/3485494">DOI</a> | +<a href="https://github.com/ymherklotz/vericert">artifact</a> | +<a href="/papers/oopsla21_fvhls.pdf">pdf</a> | +<a href="/docs/oopsla21/slides_fvhls.pdf">slides</a> ] + +</dd> + + +<dt> +<b><a name="FCCM '21">FCCM '21</a></b> +</dt> +<dd> +Yann Herklotz, 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 /> +[ <a href="http://dx.doi.org/10.1109/FCCM51124.2021.00034">DOI</a> | +<a href="https://github.com/ymherklotz/fuzzing-hls">artifact</a> | +<a href="/papers/fccm21_esrhls.pdf">pdf</a> ] + +</dd> + + +<dt> +<b><a name="FPGA '20">FPGA '20</a></b> +</dt> +<dd> +Yann Herklotz 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 /> +[ <a href="http://dx.doi.org/10.1145/3373087.3375310">DOI</a> | +<a href="https://github.com/ymherklotz/verismith">artifact</a> | +<a href="/blog/2019-06-19-verismith.html">blog</a> | +<a href="/papers/fpga20_fubfst.pdf">pdf</a> | +<a href="/docs/msrphd2019/verismith_poster.pdf">poster</a> | +<a href="/docs/fpga2020/verismith_slides.pdf">slides</a> ] + +</dd> +</dl>
\ No newline at end of file diff --git a/layouts/partials/papers_other.html b/layouts/partials/papers_other.html new file mode 100644 index 0000000..2e8cc5c --- /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 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 '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/latte21_hlsspc.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>
\ No newline at end of file diff --git a/layouts/partials/papers_other.html-r b/layouts/partials/papers_other.html-r new file mode 100644 index 0000000..5e54712 --- /dev/null +++ b/layouts/partials/papers_other.html-r @@ -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 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 '21">LATTE '21</a></b> +</dt> +<dd> +Yann Herklotz 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/latte21_hlsspc.pdf">pdf</a> </b> + +</dd> + + +<dt> +<b><a name="FPGA '21">FPGA '21</a></b> +</dt> +<dd> +Zewei Du, Yann Herklotz, 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>
\ No newline at end of file diff --git a/static/docs/oopsla21/slides_fvhls.pdf b/static/docs/oopsla21/slides_fvhls.pdf Binary files differnew file mode 100644 index 0000000..9697ff3 --- /dev/null +++ b/static/docs/oopsla21/slides_fvhls.pdf diff --git a/static/papers/esrhls_fccm2021.pdf/index.html b/static/papers/esrhls_fccm2021.pdf/index.html new file mode 100644 index 0000000..5a7f91d --- /dev/null +++ b/static/papers/esrhls_fccm2021.pdf/index.html @@ -0,0 +1,10 @@ +<!DOCTYPE html> +<html> + <head> + <title>https://yannherklotz.com/papers/fccm21_esrhls.pdf</title> + <link rel="canonical" href="https://yannherklotz.com/papers/fccm21_esrhls.pdf"/> + <meta name="robots" content="noindex"> + <meta http-equiv="content-type" content="text/html; charset=utf-8"/> + <meta http-equiv="refresh" content="0; url=https://yannherklotz.com/papers/fccm21_esrhls.pdf"/> + </head> +</html> diff --git a/static/papers/esrhls_fccm2021.pdf b/static/papers/fccm21_esrhls.pdf Binary files differindex 0d14674..0d14674 100644 --- a/static/papers/esrhls_fccm2021.pdf +++ b/static/papers/fccm21_esrhls.pdf diff --git a/static/papers/fubfst_fpga2020.pdf b/static/papers/fpga20_fubfst.pdf Binary files differindex c5988fa..c5988fa 100644 --- a/static/papers/fubfst_fpga2020.pdf +++ b/static/papers/fpga20_fubfst.pdf diff --git a/static/papers/fubfst_fpga2020.pdf/index.html b/static/papers/fubfst_fpga2020.pdf/index.html new file mode 100644 index 0000000..7ed565f --- /dev/null +++ b/static/papers/fubfst_fpga2020.pdf/index.html @@ -0,0 +1,10 @@ +<!DOCTYPE html> +<html> + <head> + <title>https://yannherklotz.com/papers/fpga20_fubfst.pdf</title> + <link rel="canonical" href="https://yannherklotz.com/papers/fpga20_fubfst.pdf"/> + <meta name="robots" content="noindex"> + <meta http-equiv="content-type" content="text/html; charset=utf-8"/> + <meta http-equiv="refresh" content="0; url=https://yannherklotz.com/papers/fpga20_fubfst.pdf"/> + </head> +</html> diff --git a/static/papers/fubfst_fpga2020_bib.txt b/static/papers/fubfst_fpga2020_bib.txt deleted file mode 100644 index 104c1cd..0000000 --- a/static/papers/fubfst_fpga2020_bib.txt +++ /dev/null @@ -1,12 +0,0 @@ -@inproceedings{herklotz20_findin_under_bugs_fpga_synth_tools, - author = {Herklotz, Yann and Wickerson, John}, - title = {Finding and Understanding Bugs in FPGA Synthesis Tools}, - booktitle = {ACM/SIGDA International Symposium on Field-Programmable Gate - Arrays}, - doi = {10.1145/3373087.3375310}, - year = 2020, - location = {Seaside, CA, USA}, - numpages = 11, - publisher = {ACM}, - series = {FPGA '20}, -} diff --git a/static/papers/fvhls_oopsla21.pdf/index.html b/static/papers/fvhls_oopsla21.pdf/index.html new file mode 100644 index 0000000..a375ea5 --- /dev/null +++ b/static/papers/fvhls_oopsla21.pdf/index.html @@ -0,0 +1,10 @@ +<!DOCTYPE html> +<html> + <head> + <title>https://yannherklotz.com/papers/oopsla21_fvhls.pdf</title> + <link rel="canonical" href="https://yannherklotz.com/papers/oopsla21_fvhls.pdf"/> + <meta name="robots" content="noindex"> + <meta http-equiv="content-type" content="text/html; charset=utf-8"/> + <meta http-equiv="refresh" content="0; url=https://yannherklotz.com/papers/oopsla21_fvhls.pdf"/> + </head> +</html> diff --git a/static/papers/hlsspc_latte2021.pdf/index.html b/static/papers/hlsspc_latte2021.pdf/index.html new file mode 100644 index 0000000..55b1505 --- /dev/null +++ b/static/papers/hlsspc_latte2021.pdf/index.html @@ -0,0 +1,10 @@ +<!DOCTYPE html> +<html> + <head> + <title>https://yannherklotz.com/papers/hlsspc_latte2021.pdf</title> + <link rel="canonical" href="https://yannherklotz.com/papers/hlsspc_latte2021.pdf"/> + <meta name="robots" content="noindex"> + <meta http-equiv="content-type" content="text/html; charset=utf-8"/> + <meta http-equiv="refresh" content="0; url=https://yannherklotz.com/papers/hlsspc_latte2021.pdf"/> + </head> +</html> diff --git a/static/papers/hlsspc_latte2021.pdf b/static/papers/latte21_hlsspc.pdf Binary files differindex db6fd67..db6fd67 100644 --- a/static/papers/hlsspc_latte2021.pdf +++ b/static/papers/latte21_hlsspc.pdf diff --git a/static/papers/fvhls_oopsla21.pdf b/static/papers/oopsla21_fvhls.pdf Binary files differindex 249b2bd..249b2bd 100644 --- a/static/papers/fvhls_oopsla21.pdf +++ b/static/papers/oopsla21_fvhls.pdf diff --git a/themes/ymherklotz b/themes/ymherklotz -Subproject 02808c962305b8d26bb58ad0f184d5c7a72a41a +Subproject ddf4687bb67c9eeb5e0944c76e18d5b75e8451c |