Add references to polybench

2 files changed, 13 insertions, 6 deletions

diff --git a/main.tex b/main.tex
index 420819e..95a6b7b 100644
--- a/main.tex
+++ b/main.tex
@@ -216,7 +216,7 @@ However, there are also assumptions that have to be made about the tool.  In the
 
 \section{Performance of such a tool}
 
-Finally, it is interesting to check the performance of Vericert compared to existing HLS tools, to see how correctness guarantees affect the size and speed of the final hardware.
+Finally, it is interesting to compare the performance of Vericert compared to existing HLS tools, to see how correctness guarantees affect the size and speed of the final hardware.  This was done on a common compiler benchmark called PolyBench/C~\cite{polybench}.
 
 %% Acknowledgments
 %\begin{acks}%% acks environment is optional
diff --git a/references.bib b/references.bib
index b0e661d..c4d8afe 100644
--- a/references.bib
+++ b/references.bib
@@ -178,9 +178,16 @@
 }
 
 @unpublished{herklotz21_formal_verif_high_level_synth,
-  author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John},
-  title = {Formal Verification of High-Level Synthesis},
-  year = 2021,
-  url = {https://yannherklotz.com/docs/drafts/formal_hls.pdf},
-  note = {(under review)}
+	author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John},
+	title = {Formal Verification of High-Level Synthesis},
+	year = 2021,
+	url = {https://yannherklotz.com/docs/drafts/formal_hls.pdf},
+	note = {(under review)}
+}
+
+@misc{polybench,
+	author = {Pouchet, Louis-No\"el},
+	title = {PolyBench/C: the Polyhedral Benchmark suite},
+	url = {http://web.cse.ohio-state.edu/~pouchet.2/software/polybench/},
+	year = {2020},
 }