diff options
| -rw-r--r-- | papers.bib | 9 | ||||
| -rwxr-xr-x | static/papers/fccm22_rsvhls.pdf | bin | 0 -> 195109 bytes |
2 files changed, 6 insertions, 3 deletions
@@ -4,7 +4,9 @@ year = {2022}, booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)}, numpages = 5, - url_artifact = {https://github.com/mpardalos/Vericert-Fun}, + note = {Short paper}, + url_manuscript = {/papers/fccm22_rsvhls.pdf}, + url_artifact = {https://github.com/mpardalos/Vericert-Fun} } @article{OOPSLA '21, @@ -26,9 +28,10 @@ author = {Herklotz, Yann and Du, Zewei and Ramanathan, Nadesh and Wickerson, John}, title = {An Empirical Study of the Reliability of High-Level Synthesis Tools}, year = {2021}, - booktitle = {29th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines}, + booktitle = {29th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)}, keywords = {automated testing, compiler defect, compiler testing, random program generation, random testing}, numpages = 5, + note = {Short paper}, doi = {10.1109/FCCM51124.2021.00034}, url_manuscript = {/papers/fccm21_esrhls.pdf}, url_artifact = {https://github.com/ymherklotz/fuzzing-hls}, @@ -38,7 +41,7 @@ author = {Yann Herklotz and John Wickerson}, title = {Finding and Understanding Bugs in {FPGA} Synthesis Tools}, year = 2020, - booktitle = {ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays}, + booktitle = {ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays (FPGA)}, doi = {10.1145/3373087.3375310}, isbn = {978-1-4503-7099-8/20/02}, keywords = {automated testing, compiler defect, compiler testing, random program generation, random testing}, diff --git a/static/papers/fccm22_rsvhls.pdf b/static/papers/fccm22_rsvhls.pdf Binary files differnew file mode 100755 index 0000000..4598b2d --- /dev/null +++ b/static/papers/fccm22_rsvhls.pdf |