Nimrod Partush -

Registered user since Thu 19 Nov 2015

Name:Nimrod Partush

Affiliation:Technion

Research interests:Program Analysis, Security, Programming Languages, Verification, Machine Learning

Contributions

2017

ISSTA

Author of Refining Interprocedural Change-Impact Analysis using Equivalence Relations within the Technical Papers-track

PLDI

Author of Similarity of Binaries through re-Optimization within the PLDI Research Papers-track

2016

PLDI

Author of Statistical Similarity of Binaries within the Research Papers-track

2014

SPLASH

Author of Abstract Semantic Differencing via Speculative Correlation within the OOPSLA-track