%!TEX TS-program = xelatex
%!TEX encoding = UTF-8 Unicode

% letter paper
\documentclass[10pt, letterpaper]{article}
% a4 paper
%\documentclass[10pt, a4paper]{article}
\usepackage[no-math]{fontspec} 
\usepackage{kotex}
\usepackage{MnSymbol}
\usepackage{marvosym}
\usepackage{color} 
\usepackage{enumerate} 
\usepackage{ifsym}
\usepackage{marvosym}
% \usepackage{bbding}
\input{dvipsnam.def}

%\renewcommand{\labelitemi}{$\diamond$}
%\renewcommand{\labelitemi}{$\ast$}
\renewcommand{\thefootnote}{\fnsymbol{footnote}}
%\renewcommand{\labelitemi}{$\vardiamondsuit$}
\renewcommand{\labelitemi}{$\blacktriangleright$}
\newcommand{\kwang}{Prof. Kwangkeun Yi}
\def\sparrow{{\sc Sparrow}}
\def\alps{{\sc Alps}}
\def\euphony{{\sc Euphony}}
\newcommand{\interval}[2]
{#1 -- \makebox[1.5cm]{\hfill#2}}

\newcommand{\tr}[1]{\textcolor{red}{#1}}

% DOCUMENT LAYOUT
\usepackage{geometry} 
\geometry{textwidth=5.5in, textheight=8.5in, marginparsep=7pt, marginparwidth=.6in}
\setlength\parindent{0in}

% FONTS
\defaultfontfeatures{Mapping=tex-text} % converts LaTeX specials (``quotes'' --- dashes etc.) to unicode
\setromanfont[Ligatures={Common}
,Numbers={OldStyle}
]{Times}
\setmonofont[Scale=0.8]{Monaco} 
\setsansfont[Scale=0.9]{Optima Regular} 
% ---- CUSTOM AMPERSAND
\newcommand{\amper}{{\fontspec[Scale=.95]{Adobe Caslon Pro}\selectfont\itshape\&}}
% ---- MARGIN YEARS
\newcommand{\years}[1]{\marginpar{\scriptsize #1}}



% Take out "References"
\renewcommand\refname{}

% HEADINGS
\usepackage{sectsty} 
\usepackage[normalem]{ulem} 
\sectionfont{\rmfamily\mdseries\Large} 
\subsectionfont{\rmfamily\mdseries\scshape\normalsize} 
\subsubsectionfont{\rmfamily\bfseries\upshape\normalsize} 

\newcommand{\mysection}[1]{
  \vspace{25pt}\noindent{\rmfamily\mdseries \Large #1}\\
  % \rule[5pt]{\textwidth}{0.1pt}\\
  \vspace{-6pt}\hrule\vspace{3pt}
}


% PDF SETUP
% ---- FILL IN HERE THE DOC TITLE AND AUTHOR
\usepackage[bookmarks, colorlinks, breaklinks,
pdftitle={Woosuk Lee - vita},pdfauthor={Woosuk Lee}]{hyperref}  
\hypersetup{
  linkcolor=[named]{WildStrawberry},
  citecolor=magenta,
  filecolor=magenta,
  urlcolor=[named]{WildStrawberry}
  ,colorlinks=false
  ,pdfborder={0 0 0}
}

{\setlength{\leftmargini}{15pt} 

% DOCUMENT
\begin{document}
\renewcommand{\refname}{}
% \renewcommand{\refname}{Publications}
\reversemarginpar
{\huge Woosuk Lee} \\[0.4cm]
Assistant Professor\\
Department of Computer Science and Engineering\\
College of Computing\\
Hanyang University ERICA \\
Rm 403, 3rd Engineering Building \\
Hanyangdaehak-ro 55, Ansan-si, Gyeonggi-do 15588, Korea 

%\hspace{0.5pt}
\begin{tabular*}{0.75\textwidth}{p{0.05cm}lp{0.05cm}p{0.1cm}l}
\Letter & : {\small \href{mailto:woosuk@hanyang.ac.kr}{woosuk@hanyang.ac.kr}} & &\Mundus & : {\small \url{http://psl.hanyang.ac.kr}}
%\Telefon  & : \texttt{+82.2.880.1865} & & \Letter & : {\small \url{kheo@cis.upenn.edu}} \\
%\Mobilefone    & : \texttt{+1.267.250.3257} &  & \Mundus & : {\small \url{http://www.cis.upenn.edu/~kheo}}
\end{tabular*}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\mysection{Education}
\textbf{Computer Science and Engineering, Seoul National University}\hfill \interval{Mar 2009}{Feb 2016} \\
Doctor of Philosophy in Computer Science and Engineering \\
Thesis: Improving the Usability of Static Analyzers \\ %  \cite{myphdthesis}
Advisor: \kwang \\

\textbf{Computer Science and Engineering, Seoul National University} \hfill \interval{Mar 2005}{Feb 2009}\\
Bachelor of Science in Computer Science
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\mysection{Research Interests} 
My research interest spans all aspects of programming systems with the goal of
improving software quality and programmer productivity by combining
ideas in the fields of programming languages, software engineering, compilers, 
and security.

My current focus concerns developing scalable techniques to
automatically synthesize programs to make it easier for programmers to
construct more efficient and safe software. I am also interested in
developing program analysis and repair tools for detecting and fixing software
bugs.  

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\mysection{Current Position}
%\textbf{Computer Science and Engineering, Seoul National University}\\
%Ph.d. Candidate\\
%Director: \kwang

\mysection{Employment}
\textbf{Hanyang University ERICA}\hfill \interval{Sep 2018}{present} \\
Department of Computer Science and Engineering\\
College of Computing\\
Assistant Professor\\

\textbf{University of Pennsylvania}\hfill \interval{Jan 2017}{Aug 2018} \\
Post-doctoral Researcher\\
Advisor: Prof. Mayur Naik\\

\textbf{Georgia Institute of Technology}\hfill \interval{Mar 2016}{Jan 2017} \\
Post-doctoral Researcher\\
Advisor: Prof. Mayur Naik\\

\mysection{Visiting Positions}

\textbf{University of California, Berkeley}\hfill \interval{Jul 2012}{Nov 2012} \\
Visiting Student\\
Advisor: Prof. Dawn Song   \\

% \textbf{Fasoo.com}\hfill \interval{Jul 2010}{Aug 2010} \\
% Intern\\
% Advisor: Dr. Kyujin Cho   \\


\mysection{Publications}
Published papers on programming languages, software engineering, and security in top conferences and journals
such as {\bf PLDI} (2023, 2020, 2018, 2012), {\bf POPL} (2023, 2021), {\bf FSE} (2021, 2018), {\bf CCS} (2023, 2018), and {\bf TOPLAS} (2017, 2014).\\

\fbox{%
  \parbox{\textwidth}{In recent five years (2018 -- 2023),
I have published {\bf 8} top-conference papers (BK Computer Science IF = {\bf 4}) 
(CCS'23, PLDI'23, POPL'23, POPL'21, PLDI'20, PLDI'18, FSE'18, CCS'18) as the main author (1st/corresponding authorship).
}%
} \\

% taken the leadership (1st/corresponding authorship) of five papers (POPL'21, PLDI'20, PLDI'18, FSE'18, CCS'18)
% and contributed to one paper (FSE'21) as a co-author. \\

Note: Author names annotated * and $\dagger$ indicate co-first and
corresponding authorship, respectively.

% Author names annotated $\dagger$ indicate corresponding authorship.

% Author names annotated * indicate co-first authorship for papers where multiple authors made equally significant contributions.


% \bibliographystyle{plain}	
% \bibliography{../../_bibliography/papers}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \mysection{Publications}
%\bibliographystyle{unsrt}	% (uses file "plain.bst")
%\bibliography{refs}		% expects file "myrefs.bib"
%\nocite{Heo:2017ux}
%\nocite{Heo:2016kc}
%\nocite{Ko:2014ef}
%\nocite{Oh:2012tu}
%%
%%

\begin{enumerate}

\item \textit{Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting.} \\
  Jaehyung Lee, and Woosuk Lee. \\ 
  {\bf CCS 2023}: 2023 ACM SIGSAC Conference on Computer and Communications Security. \\
  (\textit{BK Computer Science IF = {\bf 4}})

\item \textit{Inductive program synthesis via iterative forward-backward abstract interpretation.} \\
  Yongho Yoon, {\bf Woosuk Lee}$^\dagger$, and Kwangkeun Yi. \\
  {\bf PLDI 2023}: 44th ACM SIGPLAN Conference on Programming Language Design and Implementation. \\
  (\textit{BK Computer Science IF = {\bf 4}})

\item \textit{Madusa: mobile application demo generation based on usage scenarios} \\
  Jaehyung Lee, Hangyeol Cho, and {\bf Woosuk Lee}$^\dagger$. \\
  Journal of Automated Software Engineering 2023. 

\item \textit{Inductive synthesis of structurally recursive functional programs from non-recursive expressions.} \\
  {\bf Woosuk Lee}$^\dagger$, and Hangyeol Cho. \\
  {\bf POPL 2023}: 50th ACM SIGPLAN Symposium on Principles of Programming Languages. \\
  (\textit{BK Computer Science IF = {\bf 4}})

\item \textit{Optimizing homomorphic evaluation circuits by program synthesis and time-bounded exhaustive search.} \\
  DongKwon Lee, {\bf Woosuk Lee$^\dagger$}, Hakjoo Oh, and Kwangkeun Yi. \\
  {\bf TOPLAS}: ACM Transactions on Programming Languages and Systems, 2023. (to appear)

\item \textit{Datalog static analysis in secrecy} \\
  Mojgan Kouhounestani, and {\bf Woosuk Lee}$^\dagger$. \\
  IEEE Access, 2022. 

\item \textit{Context-aware and data-driven feedback generation for programming assignments.} \\
  Dowon Song, {\bf Woosuk Lee}, and Hakjoo Oh. \\
  {\bf ESEC/FSE 2021}: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. \\
  (\textit{BK Computer Science IF = {\bf 4}})

\item \textit{Combining the top-down propagation and bottom-up enumeration for inductive program synthesis.} \\
  {\bf Woosuk Lee}$^\dagger$. \\
  {\bf POPL 2021}: 48th ACM SIGPLAN Symposium on Principles of Programming Languages. \\
  (\underline{\it First single-authored POPL paper from Korea})\\
  (\textit{BK Computer Science IF = {\bf 4}})

\item \textit{Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.} \\
  DongKwon Lee, {\bf Woosuk Lee$^\dagger$}, Hakjoo Oh, and Kwangkeun Yi. \\
  {\bf PLDI 2020}: 41st ACM SIGPLAN Conference on Programming Language Design and Implementation.\\
  (\textit{BK Computer Science IF = {\bf 4}})

\item \textit{Accelerating search-based program synthesis using learned probabilistic models.} \\
  {\bf Woosuk Lee}, Kihong Heo, Rajeev Alur, and Mayur Naik. \\
  {\bf PLDI 2018}: 39th ACM SIGPLAN Conference on Programming Language Design and Implementation.\\
  (\textit{BK Computer Science IF = {\bf 4}})
  
\item \textit{Effective program debloating via reinforcement learning.} \\
  Kihong Heo, {\bf Woosuk Lee*}, Pardis Pashakhanloo, and Mayur Naik. \\
  {\bf CCS 2018}: 2018 ACM SIGSAC Conference on Computer and Communications Security.\\
  (\textit{BK Computer Science IF = {\bf 4}})

\item \textit{Syntax-guided synthesis of datalog programs.} \\
  Xujie Si, {\bf Woosuk Lee*}, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, and Mayur Naik. \\
  {\bf ESEC/FSE 2018}: 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering.\\
  (\textit{BK Computer Science IF = {\bf 4}})
  
\item \textit{Beyond deductive methods in program analysis.} \\
  Sulekha Kulkarni, Richard Zhang, Ximing Si, Kihong Heo, {\bf Woosuk Lee}, and Mayur Naik.  \\
  ML4P: 1st Workshop on Machine Learning for Programming, 2018.
  
\item \textit{Sound non-statistical clustering of static analysis alarms.} \\
  {\bf Woosuk Lee}, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, and Kwangkeun Yi.  \\
  {\bf TOPLAS}: ACM Transactions on Programming Languages and Systems, 39(4):16:1–16:35, August 2017.

\item \textit{Static analysis with set-closure in secrecy.} \\
  {\bf Woosuk Lee}, Hyunsook Hong, Kwangkeun Yi, and Jung Hee Cheon. \\
  {\bf SAS 2015}: 22nd International Static Analysis Symposium. \\
  (\textit{BK Computer Science IF = {\bf 1}})

\item \textit{A progress bar for static analyzers.} \\
  {\bf Woosuk Lee}, Hakjoo Oh, and Kwangkeun Yi. \\
  {\bf SAS 2014}: 21st International Static Analysis Symposium. \\
  (\textit{BK Computer Science IF = {\bf 1}})

\item \textit{Global sparse analysis framework.} \\
  Hakjoo Oh, Kihong Heo, Wonchan Lee, {\bf Woosuk Lee}, Daejun Park, Jeehoon Kang, and Kwangkeun Yi. \\
  {\bf TOPLAS}: ACM Transactions on Programming Languages and Systems, 36(3):8:1–8:44, September 2014.

\item \textit{Design and implementation of sparse global analyses for c-like languages.} \\
  Hakjoo Oh, Kihong Heo, Wonchan Lee, {\bf Woosuk Lee}, and Kwangkeun Yi. \\
  {\bf PLDI 2012}: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation.\\
  (\textit{BK Computer Science IF = {\bf 4}})

\item \textit{Sound non-statistical clustering of static analysis alarms.} \\
  {\bf Woosuk Lee}, Wonchan Lee, and Kwangkeun Yi.  \\
  VMCAI 2012: 13th International Conference on Verification, Model Checking, and Abstract Interpretation.

% \item \textit{Program Synthesis for JavaScript via Divide-and-Conquer and Abstraction Interpretation} \\
%   Jungmin Jo, Hangyeol Cho, and {\bf Woosuk Lee$^{\dagger}$}.  \\
%   Journal of KIISE, Vol. 48, No. 6, pp. 629-638, June 2021. 
  
\end{enumerate}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\mysection{Grants and Contracts}
\begin{itemize}  
\item (Co-PI) Software Disaster Research Center,
  National Research Foundation of Korea (NRF) (No. 2021R1A5A1021944), KRW 15,855,000,000, June 2021 (7 years)
\item (Co-PI) Automated Reliable Source Code Generation from Natural Language Descriptions,
  Institute for Information \& communications Technology Promotion (IITP) (No. 2022-0-00995), KRW 14,000,000,000, April 2021 (8 years). 
\item (Co-PI) Development of Automated Program Repair Technology by Combining Code Analysis and Mining,
  Institute for Information \& communications Technology Promotion (IITP) (No. 2021-0-00758), KRW 2,100,000,000, April 2021 (2 years). 
\item (PI) Self-evolving Compilers for Emerging Programming Languages by Automatically Learning to Optimize Programs,
  National Research Foundation of Korea (NRF) (No. 2020R1C1C1014518), KRW 360,000,000, March 2020 (3 years).
\item (PI) Automated Geneation of Unit Test Cases for Database Applications, Sparrow, Co., Ltd., KRW 50,000,000, July 2020 (1 year). 
\item (PI) Effective Program Generation via User Interactions, S-Core, Co., Ltd., KRW 50,000,000, Jan 2019 (1 year). 
\item (PI) Effective Program Generation using Learned Probabilistic Models,
  National Research Foundation of Korea (NRF) (No. 2019R1G1A1100293), KRW 30,000,000, Sep 2019 (1 year).
\end{itemize}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


% \mysection{Software Artifacts}
% Resulting from my research, I have contributed as a main developer to the following open-source softwares, which are actively maintained.
% \begin{itemize}
% \item Duet: an efficient inductive program synthesizer\\
%         \url{https://github.com/wslee/duet}
% \item Euphony: a probabilistic model-guided program synthesizer \\
%         \url{https://github.com/wslee/euphony}
% \item Chisel: A System for Debloating C/C++ Programs \\
%         \url{https://chisel.cis.upenn.edu}
% \item Sparrow: a static analyzer for C program\\
%         \url{http://www.github.com/ropas/sparrow}
% \end{itemize}


\mysection{Teaching}

At Hanyang University, I have opened the following 3 courses for undergraduate and 2 courses for graduate students.\\

\begin{tabular}{lr}
  CSE2016 Programming Methodology (Korean) & 2022, 2021, 2020, 2019, 2018 Fall \\ [1mm]
  CLU1091 Programming Methodology Basics (Korean) & 2022, 2021, 2020 Fall, 2020 Spring \\ [1mm]
  ENE4014 Programming Languages (English) & 2023, 2021, 2020, 2019 Spring \\ [1mm]
  CSE6049 Program Analysis (English) & 2023, 2021, 2019 Spring \\ [1mm]
  CSE9116 Program Synthesis (English) & 2022 Spring\\ [2mm]
\end{tabular}

At the University of Pennsylvania, I have served as a guest lecturer for the following course.
\begin{itemize}
\item CIS 700: Software Analysis and Testing (University of Pennsylvania), 2017 Fall 
\end{itemize}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\mysection{Awards}
\begin{itemize}
\item Outstanding Lecturer Award (강의 우수 교수), Hanyang University \hfill 2019
\end{itemize}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\mysection{Patents}
\begin{itemize}  
\item Apparatus and method for synthesizing programs (Patent No. (date): 10-2483261 (12/27/2022))
\item Techniques for automatically generating recursive call functions from input-output examples (Application No. (date): 10-2022-0174383 (12/14/2022))
\item Datalog static analysis in secrecy (Application No. (date): 10-2022-0066415 (05/31/2022))
\item Apparatus and method of creating program for demonstration (Application No. (date): 10-2021-0177194 (12/13/2021))
\item Electronic apparatus for determining whether program comprises malicious code and method for controlloing thereof (Application No. (date): 10-2015-0055481 (04/20/2015))
\item Copyright information inserting system and method (Registration No. (date): 1010971040000 (12/15/2011))
\end{itemize}

\mysection{Academic Activities}
I have served as a Program Committee (PC) member in top conferences in the fields of programming languages and software engineering. \\

{\bf Conference Program Committee}
\begin{itemize}
\item PC, PLDI 2024: 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
\item PC, APLAS 2023: 21st Asian Symposium on Programming Languages and Systems
\item PC and SRC (Student Research Competition Selection Committee) member, POPL 2022: 49th ACM SIGPLAN Symposium on Principles of Programming Languages
\item PC member, PLDI 2021: 42th ACM SIGPLAN Conference on Programming Language Design and Implementation
\item PC member, ICSE 2020 (Software Engineering in Practice track): 42nd International Conference on Software Engineering
\item PC member, ESOP 2020: European Symposium on Programming
\item PC member, TAPAS 2020: 11th Workshop on Tools for Automatic Program Analysis
\item PC member, PLDI 2019: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
\end{itemize}


{\bf Journal Reveiwing}
\begin{itemize}
\item IEEE Transactions on Software Engineering
\item ACM Transactions on Programming Languages and Systems
\item Journal of Artificial Intelligence Research
\end{itemize}


% \mysection{Vulnerabilities Reported}
% \begin{itemize}
% \item CVE-2015-8106 (latex2rtf format string vulnerability)
% \item CVE-2015-8107 (a2ps format string vulnerability)
% \end{itemize}


\mysection{Students}

{\bf Current} 
\begin{itemize}
\item Jehyung Lee, 2020 -- present (Ph.D candidate)
\item Hangeyol Cho, 2020 -- present (Ph.D candidate)
\item Jinsang Kim, 2023 -- present (MS candidate)
\item Wang Ao, 2023 -- present (MS candidate)
\end{itemize}

% {\bf Graduated}
% \begin{itemize}
% \item Gabin Jeon (Undergraduate Intern), now at KaKao.
% \item Jeongmin Jo (Undergraduate Intern), now at Morai.ai.
% \end{itemize}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\mysection{Presentations}

{\bf Invited Talk}
\begin{itemize}
\item Program Synthesis-based Program Deobfuscation 
  \begin{itemize}
  \item March 14 2023 @ National Security Research Institute.
  \item March 15 2023 @ Chungnam National University. 
  \end{itemize}
\item Combining the Top-Down Propagation and Bottom-Up Enumeration for Inductive Program Synthesis.
  \begin{itemize}
  \item Oct 1 2021 @ KAIST. 
  \item Oct 30 2020 @ Seoul National University.
  \end{itemize}
\item Gentle Introduction to Program Synthesis.
  \begin{itemize}
  \item March 19 2021 @ Chungnam National University. 
  \end{itemize}
\item Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.
  \begin{itemize}
  \item Dec 1 2020 @ Graduate School of Information Security at KAIST. 
  \end{itemize}
\item Effective Program Generation using Learned Probabilistic Models.
  \begin{itemize}
  \item  Jun 27 2019 @ Korea Computer Congress 2019.
  \item  Dec 11 2019 @ UNIST.
  \item  May 7 2019 @ Korea University.
  \item  Sep 18 2018 @ Codemind Co., Ltd. 
  \end{itemize}
\end{itemize}

{\bf Tutorial}
\begin{itemize}
\item Introduction to Program Synthesis.
  \begin{itemize}
  \item July 13 and 20 2021 @ Korean Software Engineering Society.  
  \item {http://sigsoft.or.kr/category/소사이어티-행사/단기-전문-강좌/}
  \end{itemize}
\end{itemize}

% \begin{itemize}
% 	\item Structure-guided Synthesis.\\
% 		Weekly Group Seminar. University of Pennsylvania. 19 April 2017. 
% 	\item Interactive Synthesis of Logic Programs.\\
% 		Invited talk. Korea University. 9 February 2017. 
% 	\item Static analysis with set-closure in secrecy.\\
% 		Paper presentation. In 22nd International Static Analysis Symposium (SAS 2015). Saint-Malo. 9-11 September 2015. \\ \url{http://ropas.snu.ac.kr/~wslee/sas15_talk.pdf}
% 	\item A Progress Bar for Static Analyzers.\\
% 		Paper presentation. In 21st International Static Analysis Symposium (SAS 2014). Munich. 11-13 September 2014. \\ \url{http://ropas.snu.ac.kr/~wslee/sas14_talk.pdf}
% 	\item Sound Non-Statistical Clustering of Static Analysis Alarms. \\
% 		Paper presentation. In 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Philadelphia. 25-27 January 2012. \\ \url{http://ropas.snu.ac.kr/~wslee/vmcai12_talk.pdf}
% \end{itemize}

\newpage
\mysection{References}
\hspace{-0.25cm}
\begin{tabular}{ll}
	\begin{minipage}[t]{0.5\textwidth}
	\textbf{Kwangkeun Yi}\\
	Professor\\
	Dept. of Computer Science and Engineering\\
	Seoul National University\\
	Email: {\small \url{kwang@ropas.snu.ac.kr}}\\
	\end{minipage}
	&
	\begin{minipage}[t]{0.5\textwidth}
 	\textbf{Mayur Naik}\\
	 Professor\\
	 Dept. of Computer and Information Science \\
	University of Pennsylvania\\
	 Email: {\small \url{mhnaik@cis.upenn.edu}}\\
	 \end{minipage}
 	\\
  \begin{minipage}[t]{0.5\textwidth}
    \textbf{Rajeev Alur}\\
    Professor\\
    Dept. of Computer and Information Science \\
    University of Pennsylvania\\
    Email: {\small \url{alur@cis.upenn.edu}}\\
  \end{minipage}

&
	\begin{minipage}[t]{0.5\textwidth}
 	\textbf{Jung Hee Cheon}\\
	 Professor\\
	 Department of Mathematics\\
	 Seoul National University\\
	 Email: {\small \url{jhcheon@snu.ac.kr}}\\
	 \end{minipage} 
	 \\
\begin{minipage}[t]{0.5\textwidth}
  \textbf{Hakjoo Oh}\\
  Associate Professor\\
  Dept. of Computer Science and Engineering\\
  Korea University\\
  Email: {\small \url{hakjoo_oh@korea.ac.kr}}\\
\end{minipage} 
& \\
\end{tabular}
%
%\vfill
%\hrulefill
%
%% FILL IN THE FULL URL TO YOUR CV
\begin{center}
{\footnotesize 
  Last updated: \today \\
  \url{http://psl.hanyang.ac.kr}
}
\end{center}
\end{document}

