Abstract Semantic Differencing for Numerical Programs. - Nimrod Partush; Eran Yahav (SAS, 2013)

Abstract semantic differencing via speculative correlation. - Nimrod Partush; Eran Yahav (OOPSLA, 2014)

Exploiting Social Navigation. - Meital Ben Sinai; Nimrod Partush; Shir Yadid; Eran Yahav (CoRR, 2014)

Statistical similarity of binaries. - Yaniv David; Nimrod Partush; Eran Yahav (PLDI, 2016)

Interprocedural Semantic Change-Impact Analysis using Equivalence Relations. - Alex Gyori; Shuvendu K. Lahiri; Nimrod Partush (CoRR, 2016)

Lightweight User-Space Record And Replay. - Robert O'Callahan; Chris Jones; Nathan Froyd; Kyle Huey; Albert Noll; Nimrod Partush (CoRR, 2016)

Refining interprocedural change-impact analysis using equivalence relations. - Alex Gyori; Shuvendu K. Lahiri; Nimrod Partush (ISSTA, 2017)

Similarity of binaries through re-optimization. - Yaniv David; Nimrod Partush; Eran Yahav (PLDI, 2017)

Engineering Record and Replay for Deployability. - Robert O'Callahan; Chris Jones; Nathan Froyd; Kyle Huey; Albert Noll; Nimrod Partush (USENIX ATC, 2017)

Engineering Record And Replay For Deployability: Extended Technical Report. - Robert O'Callahan; Chris Jones; Nathan Froyd; Kyle Huey; Albert Noll; Nimrod Partush (CoRR, 2017)

Differential Program Analysis. - Nimrod Partush (2017)

FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. - Yaniv David; Nimrod Partush; Eran Yahav (ASPLOS, 2018)

Binary Similarity Detection Using Machine Learning. - Noam Shalev; Nimrod Partush (PLAS@CCS, 2018)