Nimrod Partush

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 9

Top Topics

Impact Analysis

Engineering Problems

Equivalence Relation

Top Venues

USENIX Annual Technical Conference

Publications

Yaniv David, Nimrod Partush, Eran Yahav
FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. ASPLOS (2018)
Noam Shalev, Nimrod Partush
Binary Similarity Detection Using Machine Learning. PLAS@CCS (2018)
Yaniv David, Nimrod Partush, Eran Yahav
Similarity of binaries through re-optimization. PLDI (2017)
Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, Nimrod Partush
Engineering Record and Replay for Deployability. USENIX Annual Technical Conference (2017)
Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, Nimrod Partush
Engineering Record And Replay For Deployability: Extended Technical Report. CoRR (2017)
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
Refining interprocedural change-impact analysis using equivalence relations. ISSTA (2017)
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
Interprocedural Semantic Change-Impact Analysis using Equivalence Relations. CoRR (2016)
Yaniv David, Nimrod Partush, Eran Yahav
Statistical similarity of binaries. PLDI (2016)
Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, Nimrod Partush
Lightweight User-Space Record And Replay. CoRR (2016)
Nimrod Partush, Eran Yahav
Abstract semantic differencing via speculative correlation. OOPSLA (2014)
Meital Ben Sinai, Nimrod Partush, Shir Yadid, Eran Yahav
Exploiting Social Navigation. CoRR (2014)
Nimrod Partush, Eran Yahav
Abstract Semantic Differencing for Numerical Programs. SAS (2013)