Nimrod Partush

According to our database, Nimrod Partush authored at least 13 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Binary Similarity Detection Using Machine Learning.

Noam Shalev, Nimrod Partush

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware.

Yaniv David, Nimrod Partush, Eran Yahav

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Differential Program Analysis.

Nimrod Partush

PhD thesis, 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

Engineering Record and Replay for Deployability.

Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, Nimrod Partush

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Similarity of binaries through re-optimization.

Yaniv David, Nimrod Partush, Eran Yahav

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Refining interprocedural change-impact analysis using equivalence relations.

Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

Lightweight User-Space Record And Replay.

Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, Nimrod Partush

CoRR, 2016

Interprocedural Semantic Change-Impact Analysis using Equivalence Relations.

Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush

CoRR, 2016

Statistical similarity of binaries.

Yaniv David, Nimrod Partush, Eran Yahav

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2014

Exploiting Social Navigation.

Meital Ben Sinai, Nimrod Partush, Shir Yadid, Eran Yahav

CoRR, 2014

Abstract semantic differencing via speculative correlation.

Nimrod Partush, Eran Yahav

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Abstract Semantic Differencing for Numerical Programs.

Nimrod Partush, Eran Yahav

Proceedings of the Static Analysis - 20th International Symposium, 2013