From ddf4687bb67c9eeb5e0944c76e18d5b75e8451c3 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 7 Oct 2021 23:24:27 +0100 Subject: Update papers and papers_other --- layouts/partials/papers.html | 54 -------------------------------------- layouts/partials/papers_other.html | 35 ------------------------ 2 files changed, 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 @@ - - - - -
- -
-OOPSLA '21 -
-
-Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. - Formal verification of high-level synthesis. - volume 5, New York, NY, USA, 11 2021. Association for Computing - Machinery.
-[ pdf ] - -
- - -
-FCCM '21 -
-
-Yann Herklotz, Zewei Du, Nadesh Ramanathan, and John Wickerson. - An empirical study of the reliability of high-level synthesis tools. - In 29th IEEE Annual Int. Symp. on Field-Programmable Custom - Computing Machines, 2021.
-[ DOI | -artifact | -pdf ] - -
- - -
-FPGA '20 -
-
-Yann Herklotz and John Wickerson. - Finding and understanding bugs in FPGA synthesis tools. - In ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays, - 2020.
-[ DOI | -artifact | -blog | -pdf | -poster | -slides ] - -
-
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 @@ - - - - -
- -
-LATTE '21 -
-
-Yann Herklotz and John Wickerson. - High-level synthesis tools should be proven correct. - In Workshop on Languages, Tools, and Techniques for Accelerator - Design, 2021.
-[ pdf ] - -
- - -
-FPGA '21 -
-
-Zewei Du, Yann Herklotz, Nadesh Ramanathan, and John Wickerson. - Fuzzing high-level synthesis tools. - In ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays, - 2021.
-[ DOI | -slides ] - -
-
-- cgit