Nimrod Partush

nimrod@partush.email

Ph.D. In Computer Science from the Technion, Israel.

Researcher with interests in Program & Binary Analysis, Security, Big Data and Big Code.

Projects & Interests

Academic Experience

\begin{document}
\section{[2011 -- 2016] Ph.D. Computer Science -- Technion, Israel}
Research Thesis: \emph{Differential Program Analysis}
Advisor: Prof. Eran Yahav
Started on the M.Sc. program, moved to the prestigious direct PhD course.
\section{[2002 -- 2006] B.Sc. Computer Science -- Technion, Israel} 
Graduated \emph{Summa Cum Laude}
\end{document}

Professional Experience

def professional_experience(year):
  if 2017 <= year <= 2018:
    return ["Head of Reasearch, CYE/Prosecs"]
  if year == 2014:
    return ["Research Intern, Microsoft Research, Redmond, WA, USA"]
  if year == 2012:
    return ["Research Intern, Intel, Israel", 
            "Research Intern, Mozilla, Auckland, New Zealand"]
  if 2006 <= year <= 2011:
    return ["Communication Officer, IDF"]
  if 2007 <= year <= 2009:
    return ["Software Engineer, Intel, Israel"]
  return result

Awards and Scholarships

Peer-Reviewed Publications

Conference Publication  
PLAS ‘18 Binary Similarity Detection Using Machine Learning Paper
ASPLOS ‘18 FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware Paper
PLDI ‘17 Similarity of Binaries through re-Optimization Paper
Presentation
ATC ‘17 Engineering Record and Replay for Deployability Paper
ISSTA ‘17 Refining Interprocedural Change-Impact Analysis using Equivalence Relations Paper
PLDI ‘16 Statistical Similarity of Binaries Paper
Presentation
BlackHat Asia ‘15 Exploiting Social Navigation Paper
Presentation
OOPSLA ‘14 Abstract Semantic Differencing via Speculative Correlation Paper
Presentation
SAS ‘13 Abstract Semantic Differencing for Numerical Programs Paper
Presentation