diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-25 10:08:18 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-25 10:08:18 +0000 |
| commit | 3bc6d07b913b06d971374a2b67c652c98efd7dba (patch) | |
| tree | 9cc7f6dda005e05254211000dd57a8082009d6e9 /papers.bib | |
| parent | 6e8b6a400c51907e68bd93ab0d32893547e369a6 (diff) | |
| download | yannherklotz.com-3bc6d07b913b06d971374a2b67c652c98efd7dba.tar.gz yannherklotz.com-3bc6d07b913b06d971374a2b67c652c98efd7dba.zip | |
Add new publication in FCCM'22
Diffstat (limited to 'papers.bib')
| -rw-r--r-- | papers.bib | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -1,3 +1,12 @@ +@inproceedings{FCCM '22, + author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, Yann}, + title = {Resource Sharing for Verified High-Level Synthesis}, + year = {2022}, + booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines}, + numpages = 5, + url_artifact = {https://github.com/mpardalos/Vericert-Fun}, +} + @article{OOPSLA '21, author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John}, title = {Formal Verification of High-Level Synthesis}, |