From b4b05be981d7ea3043ddcce6766dfa0f260bc532 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 15 Sep 2020 10:07:02 +0000 Subject: Update on Overleaf. --- conclusion.tex | 2 +- main.tex | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/conclusion.tex b/conclusion.tex index 7181bf0..47cb039 100644 --- a/conclusion.tex +++ b/conclusion.tex @@ -5,7 +5,7 @@ One can always question how much bugs found by fuzzers really \emph{matter}, giv Further work could be done on supporting more HLS tools, especially ones that claim to prove that their output is correct before terminating. This could give an indication on how effective these proofs are, and how often they are actually able to complete their equivalence proofs during compilation in a feasible timescale. -Conventional compilers have become quite resilient to fuzzing over the last decade, so recent work on fuzzing compilers has had to employ increasingly imaginative techniques to keep finding new bugs~\cite{karine+20}. In comparison, we have found that the HLS tools we tested can be made to exhibit bugs even with the relatively basic fuzzing techniques that we employed in +Conventional compilers have become quite resilient to fuzzing over the last decade, so recent work on fuzzing compilers has had to employ increasingly imaginative techniques to keep finding new bugs~\cite{karine+20}. In comparison, we have found that HLS tools -- at least, as they currently stand -- can be made to exhibit bugs even using the relatively basic fuzzing techniques that we employed in this project. As HLS is becoming increasingly relied upon, it is important to make sure that HLS tools are also reliable. We hope that this work further motivates the need for rigorous engineering of HLS tools, either by validating that each output the tool produces is correct or by proving the HLS tool itself correct once and for all. diff --git a/main.tex b/main.tex index 2366220..7774df2 100644 --- a/main.tex +++ b/main.tex @@ -54,7 +54,7 @@ %% %% The "title" command has an optional parameter, %% allowing the author to define a "short title" to be used in page headers. -\title{Fuzzing High-Level Synthesis} +\title{Fuzzing High-Level Synthesis Tools} %% %% The "author" command and its associated commands are used to define -- cgit