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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
<!-- 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 '22">FCCM '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> <a href="https://github.com/mpardalos/Vericert-Fun">artifact</a> </b>
</dd>
<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.
<em>Proc. of the ACM on Programming Languages</em>, (OOPSLA), 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> |
<a href="https://youtu.be/clPiKbKVlUA">video</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>
|
