summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-09-29 19:54:52 +0100
committerYann Herklotz <git@yannherklotz.com>2021-09-29 19:54:52 +0100
commit65bf34e1c7e24c19d6b579eb93d308be6bb05e04 (patch)
tree582d14a1b27176ddd86a2dff50e0db2c2b4c9d42
parent659c8340a4f07b2afabca7f3d0168804c60d4bba (diff)
downloadoopsla21_fvhls-65bf34e1c7e24c19d6b579eb93d308be6bb05e04.tar.gz
oopsla21_fvhls-65bf34e1c7e24c19d6b579eb93d308be6bb05e04.zip
Update bib
-rw-r--r--presentation/presentation.org2
-rw-r--r--presentation/presentation.pdfbin2299308 -> 2300589 bytes
-rw-r--r--presentation/references.bib18
3 files changed, 12 insertions, 8 deletions
diff --git a/presentation/presentation.org b/presentation/presentation.org
index 9465196..a12368a 100644
--- a/presentation/presentation.org
+++ b/presentation/presentation.org
@@ -226,7 +226,7 @@ Difficult to debug HLS tools:
High-level synthesis is often quite unreliable:
- Intel's OpenCL could not be fuzzed because of too many issues (cite:lidbury15_many_core_compil_fuzzin).
-- We fuzzed HLS tools and found they failed on *2.5%* of simple random test cases.
+- We fuzzed HLS tools (cite:9444067) and found they failed on *2.5%* of simple random test cases.
** Solution :B_frame:
:PROPERTIES:
diff --git a/presentation/presentation.pdf b/presentation/presentation.pdf
index b491429..b13e1cb 100644
--- a/presentation/presentation.pdf
+++ b/presentation/presentation.pdf
Binary files differ
diff --git a/presentation/references.bib b/presentation/references.bib
index 98efe04..ea2fa3a 100644
--- a/presentation/references.bib
+++ b/presentation/references.bib
@@ -3,17 +3,21 @@
author = {Lidbury, Christopher and Lascu, Andrei and Chong, Nathan and Donaldson,
Alastair F.},
title = {Many-Core Compiler Fuzzing},
- booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation},
+ booktitle = {Proc. of the 36th ACM SIGPLAN Conf. on Programming Language Design and Implementation},
year = 2015,
- pages = {65-76},
doi = {10.1145/2737924.2737986},
- url = {https://doi.org/10.1145/2737924.2737986},
- address = {New York, NY, USA},
- isbn = 9781450334686,
keywords = {random testing, Compilers, OpenCL, metamorphic testing, GPUs, concurrency},
- location = {Portland, OR, USA},
numpages = 12,
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
series = {PLDI '15}
}
+@inproceedings{9444067,
+ author={Herklotz, Yann and Du, Zewei and Ramanathan, Nadesh and Wickerson, John},
+ booktitle={2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)},
+ title={An Empirical Study of the Reliability of High-Level Synthesis Tools},
+ year={2021},
+ volume={},
+ number={},
+ pages={219-223},
+ doi={10.1109/FCCM51124.2021.00034}}