summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--abstract.tex6
-rw-r--r--ack.tex12
-rw-r--r--all.tex15
-rw-r--r--shell.nix2
4 files changed, 26 insertions, 9 deletions
diff --git a/abstract.tex b/abstract.tex
index 23c50a2..28fce6a 100644
--- a/abstract.tex
+++ b/abstract.tex
@@ -3,9 +3,13 @@
 In recent decades, \gls{apr} has been advancing consistently
 according to benchmarks.  However, its use in practice is still limited
 due to the difficulty in choosing a desired patch among the generated pool.
+
 This work introduces a method to logically differentiate between patches
 through symbolic execution.  The technique generates a tree of decisions
 for developers to reason between patches based on the program's inputs
-and semi-automatically captured outputs.
+and semi-automatically captured outputs.  Its implementation \psychic{}
+based on \klee{} is evaluated on patches automatically generated
+for toy programs in the \textsc{IntroClass} benchmark,
+showing promising preliminaries.
 \end{abstract}
 \thispagestyle{empty}
diff --git a/ack.tex b/ack.tex
index 3cb4b9a..9420f5d 100644
--- a/ack.tex
+++ b/ack.tex
@@ -1,3 +1,13 @@
 \addcontentsline{toc}{section}{Acknowledgements}
 \section*{\hfill\Large Acknowledgements\hfill\hfill}
-% TODO: grants
+The experiments would not be possible without YoungJae Kim's work
+on meta program format and the automatic patch generator MSV,
+and integration efforts by \foreignlanguage{vietnamese}{Trương Huy Trung}.
+
+I would also like to thank my academic advisor, Dr Jooyong Yi,
+and other lab mates for being nothing but supportive both in life
+and at work, even though I could be antisocial at times.
+Last but not least, I am grateful of my family and friends back in
+\foreignlanguage{vietnamese}{Việt Nam}, and the new friends
+I met here in UNIST, especially in the shared kitchen,
+for their consistent support and encouragements.
diff --git a/all.tex b/all.tex
index a87213e..12219e2 100644
--- a/all.tex
+++ b/all.tex
@@ -19,6 +19,7 @@
 \usepackage{graphicx}
 \usepackage{glossaries}
 \usepackage{pdfpages}
+\usepackage{setspace}
 \usepackage{siunitx}
 \usepackage[skip=-1ex]{subcaption}
 \usepackage{tikz}
@@ -92,12 +93,14 @@
 
 \include{abstract.tex}
 \blankpage
-\renewcommand{\contentsname}{\hfill\Large Contents\hfill}
-\tableofcontents{}
-\thispagestyle{empty}
-\clearpage
-\renewcommand{\listfigurename}{\hfill\Large List of Figures\hfill}
-{\captionsetup{subrefformat=none}\listoffigures{}}
+\begin{spacing}{1}
+  \renewcommand{\contentsname}{\hfill\Large Contents\hfill}
+  \tableofcontents{}
+  \thispagestyle{empty}
+  \clearpage
+  \renewcommand{\listfigurename}{\hfill\Large List of Figures\hfill}
+  {\captionsetup{subrefformat=none}\listoffigures{}}
+\end{spacing}
 \thispagestyle{empty}
 \clearpage
 \renewcommand{\glossaryname}{\hfill\Large Technical Terms
diff --git a/shell.nix b/shell.nix
index d773b8f..c096b9c 100644
--- a/shell.nix
+++ b/shell.nix
@@ -4,7 +4,7 @@ mkShell {
     inherit (texlive) latexmk scheme-basic
       algorithms algorithmicx amsmath babel-vietnamese booktabs biblatex
       caption cases cite enumitem fancyhdr float glossaries hyperref ieeetran
-      pdflscape pdfpages pgf psnfss rsfs siunitx times tocloft
+      pdflscape pdfpages pgf psnfss rsfs setspace siunitx times tocloft
       varwidth vntex xcolor;
   }) ];
 }