blob: 2e8cc5c5bbf36a84e38c54e8047a750e3c6482c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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>
|