Nimrod Partush

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