Rachel Tzoref-Brill

36 papers A* 5A 6B 2C 1Misc 2Journal 3Unranked 15
YearRankTypeTitle / Venue / Authors
2025 conf
EMNLP (Industry Track)
Shramona Chakraborty, Shashank Mujumdar, Nitin Gupta, Sameep Mehta, Ronen Kat, Itay Etelis, Mohamed Mahameed, Itai Guez, Rachel Tzoref-Brill
2025 J jnl
CoRR
Kaustabha Ray, Nelson Mimura Gonzalez, Bruno Wassermann, Rachel Tzoref-Brill, Dean H. Lorenz
2024 Misc conf
SYSTOR
Rachel Tzoref-Brill, Bruno Wassermann, Eran Raichstein, Dean H. Lorenz
2023 A* conf
ICSE
Rahulkrishna Yandrapally, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah
2023 J jnl
CoRR
Rahulkrishna Yandrapally, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah
2023 A conf
ISSTA
Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato
2022 C conf
AST
Yu Liu, Rahulkrishna Yandrapally, Anup K. Kalia, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah
2022 A conf
ICST
Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany
2019 conf
ESEC/SIGSOFT FSE
Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, Marcel Zalmanovici
2019 J jnl
Adv. Comput.
Rachel Tzoref-Brill
2019
Rachel Tzoref-Brill
2019 conf
ICST Workshops
Dale Blue, Andrew Hicks, Ryan Rawlins, Rachel Tzoref-Brill
2018 conf
ESEC/SIGSOFT FSE
Rachel Tzoref-Brill, Shahar Maoz
2018 conf
ICSE (SEIP)
Dale Blue, Orna Raz, Rachel Tzoref-Brill, Paul A. Wojciak, Marcel Zalmanovici
2017 conf
ICST Workshops
Dimitris E. Simos, Rachel Tzoref-Brill
2017 ed.
Haifa Verification Conference
Ofer Strichman, Rachel Tzoref-Brill
2017 conf
ICST Workshops
Dimitris E. Simos, Rachel Tzoref-Brill
2017 A* conf
ICSE
Rachel Tzoref-Brill, Shahar Maoz
2016 conf
SIGSOFT FSE
Marcel Zalmanovici, Orna Raz, Rachel Tzoref-Brill
2016 conf
ICST Workshops
Angelo Gargantini, Rachel Tzoref-Brill
2016 conf
QUDOS@ISSTA
Yonit Magid, Rachel Tzoref-Brill, Marcel Zalmanovici
2016 A* conf
ASE
Rachel Tzoref-Brill, Paul A. Wojciak, Shahar Maoz
2015 conf
ICST Workshops
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
2015 Misc conf
SYSTOR
Itai Segall, Rachel Tzoref-Brill
2015 B conf
ATVA
Rachel Tzoref-Brill, Shahar Maoz
2014 conf
ICST Workshops
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
2014 A conf
ICST
Paul A. Wojciak, Rachel Tzoref-Brill
2013 A* conf
ICSE
Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
2013 conf
ICST Workshops
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill
2012 A conf
ICST
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
2012 A* conf
ICSE
Itai Segall, Rachel Tzoref-Brill
2012 A conf
ICST
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
2011 A conf
ISSTA
Itai Segall, Rachel Tzoref-Brill, Eitan Farchi
2010 conf
ICSE (2)
Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur
2009 B conf
RV
Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar
2009 conf
PADTAD
Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi
redb/extractors/decompiler/bninja/similarity/minhashcustom.py
← Index redb/extractors/decompiler/bninja/similarity/minhashcustom.py python
import numpy as np
import mmh3

class MinHashCustom:
    """
    DTO for an actual MinHash
    <minhash>: a binary sequence of packed int8/32 values
    <minhash_int>: the equivalent representation of <minhash> but as list of int8/32
    """

    _HASH_MAX = 0xFFFFFFFF
    _MINHASH_BITS = 32

    def getSignatureEntrySize(self):
        return 1 if self.MINHASH_BITS <= 8 else 4

    def __init__(self, function_addr=None, minhash_bytes=None, minhash_signature=None, minhash_bits=32):
        self.minhash = b""
        self.minhash_int = []
        if minhash_bits:
            self._MINHASH_BITS = minhash_bits
        if minhash_bytes and minhash_signature:
            raise ValueError("Can use only one keyword argument")
        if minhash_bytes:
            if self._MINHASH_BITS <= 8:
                minhash_signature = np.frombuffer(minhash_bytes, dtype=np.uint8)
            else:
                minhash_signature = np.frombuffer(minhash_bytes, dtype=np.uint32)
            self.setMinHash(minhash_signature)
        elif minhash_signature:
            self.setMinHash(minhash_signature)

        self.shingler_composition = {}
        self.function_addr = function_addr

    def hasMinHash(self):
        return len(self.minhash) > 0

    def getMinHash(self):
        return self.minhash

    def getMinHashInt(self):
        return self.minhash_int

    def setMinHash(self, minhash_signature):
        self.minhash_int = [i % 2 ** self._MINHASH_BITS for i in minhash_signature]
        if self._MINHASH_BITS <= 8:
            self.minhash = np.array(self.minhash_int, dtype=np.uint8).tobytes()
        else:
            self.minhash = np.array(self.minhash_int, dtype=np.uint32).tobytes()

    def getComposition(self):
        return self.shingler_composition

    def scoreAgainst(self, other):
        return self.calculateMinHashScore(self.minhash, other.minhash, minhash_bits=self._MINHASH_BITS)

    @staticmethod
    def getHashMax():
        return MinHashCustom._HASH_MAX

    @staticmethod
    def hashData(data, seed) -> int:
        if isinstance(data, (str, bytes, bytearray)):
            return mmh3.hash(data, seed) & MinHashCustom._HASH_MAX
        elif isinstance(data, (list, tuple)):
            to_hash = "|".join(str(elem) for elem in data)
            return mmh3.hash(to_hash, seed) & MinHashCustom._HASH_MAX
        else:
            raise NotImplementedError(
                f"Type not supported for hashData: {type(data).__name__}"
            )

    @staticmethod
    def calculateMinHashScore(first, second, minhash_bits=32):
        if minhash_bits <= 8:
            first_np = np.frombuffer(first, dtype=np.uint8)
            second_np = np.frombuffer(second, dtype=np.uint8)
        else:
            first_np = np.frombuffer(first, dtype=np.uint32)
            second_np = np.frombuffer(second, dtype=np.uint32)
        return 100.0 * sum(first_np == second_np) / len(first_np)

    @staticmethod
    def calculateMinHashIntScore(first, second):
        score = 0
        num_hashes = len(first)
        if num_hashes:
            for index, part in enumerate(first):
                score += 1 if part == second[index] else 0
            return 100.0 * score / num_hashes
        return 0.0

    @property
    def MINHASH_BITS(self):
        return self._MINHASH_BITS