\phantomsection\addcontentsline{toc}{section}{Acknowledgements}
\section*{\hfill\Large Acknowledgements\hfill\hfill}
This work was partly supported by the National Research Foundation
of Korea (NRF) grant funded by the Korea government (MSIT)
(No.2021R1A2C1009819) and the Institute for Information
\& Communications Technology Planning \& Evaluation (IITP)
grant funded by the Korea government (MSIT) (No.2021-0-01001).

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.
