diff options
-rw-r--r-- | conference.bib | 17 | ||||
-rw-r--r-- | main.tex | 4 |
2 files changed, 21 insertions, 0 deletions
diff --git a/conference.bib b/conference.bib index 1bbee1d..e1e37ce 100644 --- a/conference.bib +++ b/conference.bib @@ -58,3 +58,20 @@ publisher = {ACM}, series = {PLDI '11}, } + +@inproceedings{lidbury15_many_core_compil_fuzzin, + 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}, + year = 2015, + pages = {65-76}, + doi = {10.1145/2737924.2737986}, + address = {New York, NY, USA}, + isbn = 9781450334686, + location = {Portland, OR, USA}, + numpages = 12, + publisher = {Association for Computing Machinery}, + series = {PLDI '15}, +} @@ -161,6 +161,10 @@ We have tested three widely used HLS tools: LegUp~\cite{canis13_legup}, Xilinx V \item How we run each HLS tool, using timeouts as appropriate. \end{itemize} +\section{Related Work} + +Existing work has already been done in finding bugs in Intel's OpenCL SDK using metamorphic testing~\cite{lidbury15_many_core_compil_fuzzin}. + %\begin{acks} %For final version of paper. %\end{acks} |