From 65bf34e1c7e24c19d6b579eb93d308be6bb05e04 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 29 Sep 2021 19:54:52 +0100 Subject: Update bib --- presentation/presentation.org | 2 +- presentation/presentation.pdf | Bin 2299308 -> 2300589 bytes presentation/references.bib | 18 +++++++++++------- 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 Binary files a/presentation/presentation.pdf and b/presentation/presentation.pdf 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}} -- cgit