updates

dynaroars · Jan 10, 2025 · 6d0bc5d · 6d0bc5d
1 parent 85dd72f
commit 6d0bc5d
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 5 deletions.
diff --git a/people/nguyenthanhvuh/latex-cv/cv-nguyen.pdf b/people/nguyenthanhvuh/latex-cv/cv-nguyen.pdf
diff --git a/people/nguyenthanhvuh/latex-cv/cv.tex b/people/nguyenthanhvuh/latex-cv/cv.tex
@@ -537,13 +537,22 @@ \subsubsection{Patents}
 
 
 
-% \subsubsection{Publicly Available Software}
-% \begin{itemize}
-%   \item \textbf{DIG}: A Dynamic and Symbolic Invariant Generation Tool for C and Java programs. \url{https://github.com/dynaroars/dig/}
+\subsubsection{Publicly Available Software}
+\begin{itemize}
+  \item \textbf{NeuralSAT}: A high-performance verification tool for Deep Neural Networks. \url{github.com/dynaroars/neuralsat/}
+    \begin{itemize}[before=\small]
+        \item ranked \textbf{2nd overall} at VNN-COMP'24
+        \item ranked \textbf{4th overall} at VNN-COMP'23 and received the ``New Commer Award''
+    \end{itemize}
+
+   \item \textbf{DIG}: A Dynamic and Symbolic Invariant Generation Tool for C programs. \url{github.com/dynaroars/dig/}
+\end{itemize}
+
+
 %   \item \textbf{iGen}: A Dynamic Analyzer for Highly-Configurable Software. \url{https://github.com/unsat/igen/}
 %   \item \textbf{GenTree}: Analyzing Highly-Configurable Software using Decision Trees. \url{https://github.com/unsat/gentree/}
 %   \item \textbf{GenProg}: A program repair tool using Genetic Algorithm. \url{https://squareslab.github.io/genprog-code/}
-% \end{itemize}
+
 
 \subsection{Invited Talks}
 \begin{enumerate}[label=T\arabic*]
@@ -583,7 +592,8 @@ \subsection{Media Coverage}
 \end{enumerate}
 
 
-% \section{Software and Miscs. Projects}
+%\section{Software and Miscs. Projects}
+
 
 % DIG
 % used for   NSF MEd