Update on Overleaf.

1 files changed, 4 insertions, 3 deletions

diff --git a/main.tex b/main.tex
index 83e5166..4ec8a73 100644
--- a/main.tex
+++ b/main.tex
@@ -33,6 +33,7 @@
 \newcommand\ZD[1]{\Comment{blue!50!black}{NR}{#1}}
 
 \newcommand{\code}[1]{\texttt{#1}}
+\newcommand\creduce{C-Reduce}
 
 %%
 %% The majority of ACM publications use numbered citations and
@@ -107,7 +108,7 @@
 %% other information printed in the page headers. This command allows
 %% the author to define a more concise list
 %% of authors' names for this purpose.
-\renewcommand{\shortauthors}{Du, Z. and Herklotz, Y. and Ramanathan, N. and Wickerson, J.}
+\renewcommand{\shortauthors}{Du, Herklotz, Ramanathan, and Wickerson}
 
 %%
 %% The abstract is a short summary of the work to be presented in the
@@ -162,11 +163,11 @@ We have subjected three widely used HLS tools -- LegUp, Xilinx Vivado HLS, and t
 
 \input{related}
 
-\input{method-new}
+\input{method}
 
 % \input{testing-system-new}
 
-\input{eval_rewrite}
+\input{eval}
 
 \input{conclusion}