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 -------------------------------------------- 1 file changed, 54 deletions(-) (limited to 'layouts/partials/papers.html') 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 ] - -
-
-- cgit