Radu Iosif

112 papers A* 6A 9B 22C 3Journal 55Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Log. Methods Comput. Sci.
Radu Iosif, Florian Zuleger
2025 conf
CAV (3)
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani
2025 J jnl
CoRR
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani
2025 conf
FSTTCS
Marius Bozga, Radu Iosif, Florian Zuleger
2025 J jnl
CoRR
Marius Bozga, Radu Iosif, Florian Zuleger
2025 ed.
FROM
Andrei Arusoaie, Horatiu Cheval, Radu Iosif
2025 A* conf
LICS
Marius Bozga, Radu Iosif, Florian Zuleger
2025 conf
NETYS
Radu Iosif, Arnaud Sangnier, Neven Villani
2025 J jnl
CoRR
Radu Iosif, Arnaud Sangnier, Neven Villani
2024 J jnl
CoRR
Lucas Bueri, Radu Iosif, Florian Zuleger
2024 J jnl
CoRR
Marius Bozga, Radu Iosif, Florian Zuleger
2024 B conf
LPAR
Mark Chimes, Radu Iosif, Florian Zuleger
2024 J jnl
CoRR
Mark Chimes, Radu Iosif, Florian Zuleger
2023 J jnl
CoRR
Radu Iosif, Florian Zuleger
2023 B conf
CONCUR
Radu Iosif, Florian Zuleger
2023 J jnl
CoRR
Radu Iosif, Florian Zuleger
2023 J jnl
CoRR
Marius Bozga, Lucas Bueri, Radu Iosif, Florian Zuleger
2023 J jnl
Theor. Comput. Sci.
Marius Bozga, Radu Iosif, Joseph Sifakis
2022 A conf
IJCAR
Marius Bozga, Lucas Bueri, Radu Iosif
2022 J jnl
CoRR
Marius Bozga, Lucas Bueri, Radu Iosif
2022 J jnl
Inf. Process. Lett.
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2022 B conf
CONCUR
Marius Bozga, Lucas Bueri, Radu Iosif
2022 J jnl
CoRR
Marius Bozga, Lucas Bueri, Radu Iosif
2022 J jnl
CoRR
Radu Iosif, Florian Zuleger
2022 J jnl
Proc. ACM Program. Lang.
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
2021 J jnl
J. Log. Algebraic Methods Program.
Marius Bozga, Radu Iosif, Joseph Sifakis
2021 B conf
CSL
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2021 J jnl
CoRR
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
2021 conf
FACS
Marius Bozga, Radu Iosif
2021 A conf
CADE
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2021 J jnl
CoRR
Marius Bozga, Radu Iosif, Joseph Sifakis
2020 J jnl
Formal Methods Syst. Des.
Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2020 J jnl
CoRR
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2020 J jnl
CoRR
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2020 B conf
LPAR
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2020 J jnl
CoRR
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2020 conf
TACAS (1)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020 J jnl
CoRR
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020 J jnl
ACM Trans. Comput. Log.
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2020 J jnl
CoRR
Marius Bozga, Radu Iosif
2019 conf
CAV (2)
Radu Iosif, Xiao Xu
2019 conf
TACAS (2)
Marius Bozga, Radu Iosif, Joseph Sifakis
2019 J jnl
CoRR
Marius Bozga, Radu Iosif, Joseph Sifakis
2019 B conf
TABLEAUX
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2019 conf
TACAS (3)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
2019 J jnl
CoRR
Marius Bozga, Radu Iosif, Joseph Sifakis
2019 B conf
FoSSaCS
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2018 B conf
LPAR
Radu Iosif, Cristina Serban
2018 conf
TACAS (2)
Radu Iosif, Xiao Xu
2018 J jnl
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Cristina Serban, Radu Iosif
2018 J jnl
CoRR
Marius Bozga, Radu Iosif, Joseph Sifakis
2018 J jnl
CoRR
Radu Iosif, Xiao Xu
2018 J jnl
CoRR
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2018 conf
SPIN
Radu Iosif
2018 J jnl
CoRR
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2017 J jnl
CoRR
Radu Iosif, Cristina Serban
2017 B conf
VMCAI
Andrew Reynolds, Radu Iosif, Cristina Serban
2017 J jnl
CoRR
Radu Iosif, Xiao Xu
2017 J jnl
Int. J. Softw. Tools Technol. Transf.
Pierre Ganty, Radu Iosif, Filip Konecný
2016 B conf
ATVA
Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King
2016 J jnl
CoRR
Andrew Reynolds, Radu Iosif, Tim King
2016 A conf
TACAS
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2016 B conf
ATVA
Radu Iosif, Arnaud Sangnier
2016 J jnl
CoRR
Radu Iosif, Arnaud Sangnier
2016 J jnl
CoRR
Andrew Reynolds, Radu Iosif, Cristina Serban
2015 B conf
FCT
Pierre Ganty, Radu Iosif
2014 J jnl
CoRR
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2014 J jnl
Log. Methods Comput. Sci.
Marius Bozga, Radu Iosif, Filip Konecný
2014 B conf
ATVA
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2014 J jnl
CoRR
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2014 J jnl
CoRR
Pierre Ganty, Radu Iosif
2014 B conf
VMCAI
Marius Bozga, Radu Iosif, Filip Konecný
2013 J jnl
Comput. Informatics
Radu Iosif, Adam Rogalewicz
2013 J jnl
CoRR
Marius Bozga, Radu Iosif, Filip Konecný
2013 J jnl
CoRR
Radu Iosif, Adam Rogalewicz, Jirí Simácek
2013 A conf
CADE
Radu Iosif, Adam Rogalewicz, Jirí Simácek
2013 A conf
TACAS
Pierre Ganty, Radu Iosif, Filip Konecný
2012 B conf
FM
Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer
2012 B conf
ATVA
Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer
2012 A conf
TACAS
Marius Bozga, Radu Iosif, Filip Konecný
2012 J jnl
CoRR
Pierre Ganty, Radu Iosif, Filip Konecný
2011 J jnl
Formal Methods Syst. Des.
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
2010 J jnl
Acta Informatica
Peter Habermehl, Radu Iosif, Tomás Vojnar
2010 A* conf
CAV
Marius Bozga, Radu Iosif, Filip Konecný
2010 J jnl
J. Autom. Reason.
Marius Bozga, Radu Iosif, Swann Perarnau
2010 conf
WING@ETAPS/IJCAR
Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar
2009 C conf
CIAA
Radu Iosif, Adam Rogalewicz
2009 A* conf
CAV
Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar
2009 J jnl
Fundam. Informaticae
Marius Bozga, Radu Iosif, Yassine Lakhnech
2009 A conf
TACAS
Marius Bozga, Codruta Gîrlea, Radu Iosif
2008 B conf
LPAR
Peter Habermehl, Radu Iosif, Tomás Vojnar
2008 A conf
IJCAR
Marius Bozga, Radu Iosif, Swann Perarnau
2008 B conf
FoSSaCS
Peter Habermehl, Radu Iosif, Tomás Vojnar
2007 B conf
VMCAI
Marius Bozga, Radu Iosif
2007 B conf
ATVA
Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2006 A conf
TACAS
Peter Habermehl, Radu Iosif, Tomás Vojnar
2006 conf
ICALP (2)
Marius Bozga, Radu Iosif, Yassine Lakhnech
2006 A* conf
CAV
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
2005 B conf
FoSSaCS
Marius Bozga, Radu Iosif
2005 J jnl
Formal Methods Syst. Des.
Radu Iosif, Matthew B. Dwyer, John Hatcliff
2004 B conf
SAS
Marius Bozga, Radu Iosif, Yassine Lakhnech
2004 J jnl
Int. J. Softw. Tools Technol. Transf.
Radu Iosif
2003 conf
SoftMC@CAV
Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif
2003 C conf
PEPM
Marius Bozga, Radu Iosif, Yassine Lakhnech
2003 J jnl
J. Syst. Softw.
Radu Iosif, Riccardo Sisto
2002 conf
SPIN
Radu Iosif
2001 A* conf
ASE
Radu Iosif
2001 C conf
SEKE
Radu Iosif, Riccardo Sisto
2000 A* conf
ICSE
Radu Iosif
2000 conf
SPIN
Radu Iosif, Riccardo Sisto
1999 J jnl
Softw. Pract. Exp.
Claudio Demartini, Radu Iosif, Riccardo Sisto
1999 conf
SPIN
Claudio Demartini, Radu Iosif, Riccardo Sisto
redb/extractors/decompiler/bninja/similarity/minhasher.py
← Index redb/extractors/decompiler/bninja/similarity/minhasher.py python
import logging
import random
from enum import Enum

from ..analysis.medium_level_normalization import MediumLevelNormalization

try:
    from .minhashcustom import MinHashCustom
    from ..analysis.low_level_normalization import LowLevelNormalization
except ImportError:
    # Fallback to absolute imports (for multiprocessing spawned processes)
    from redb.extractors.decompiler.bninja.similarity.minhashcustom import MinHashCustom
    from redb.extractors.decompiler.bninja.analysis.low_level_normalization import LowLevelNormalization

## Values for this configuration were extracted from https://github.com/danielplohmann/mcrit/blob/main/mcrit/config/MinHashConfig.py#L10
# Length in number of Shingles of which a minhash consists
# this value represents the length of sha256sum hash truncated
MINHASH_SIGNATURE_LENGTH: int = 64
# Number of bits per signature element (1-32 bits)
MINHASH_SIGNATURE_BITS: int = 8


class TokenKind(Enum):
    LLIL = "llil"
    TYPED_LLIL = "typed_llil"
    MLIL = "mlil"
    TYPED_MLIL = "typed_mlil"


class MinHasher:
    # stick to the default method
    MINHASH_STRATEGY_HASH_ALL = 1

    def __init__(self, seed, il_function, kind: TokenKind = TokenKind.LLIL):
        self._minhash_seeds = []
        self.il_func = il_function
        self.kind = kind
        self._minhash_permutation = []
        self._signature_segments = []
        self._initMinhashing(seed)

    def _initMinhashing(self, MINHASH_SEED=None):
        random.seed(MINHASH_SEED)
        # init sequence of seeds
        self._minhash_seeds = [
            random.randint(0, MinHashCustom.getHashMax()) for _ in range(MINHASH_SIGNATURE_LENGTH)
        ]

    def make_ngrams(self, tokens, n=3):
        """Take the ngrams of the IL we try to pass into the functions"""
        return [tuple(tokens[i:i+n]) for i in range(len(tokens) - n + 1)]

    def _extract_tokens(self):
        """Extract the IL tokens from the IL function, picking the right
        normalizer (LLIL/MLIL) and the right normalization mode
        (skeleton/typed) based on self.kind."""
        if self.kind in (TokenKind.LLIL, TokenKind.TYPED_LLIL):
            normalizer = LowLevelNormalization()
        elif self.kind in (TokenKind.MLIL, TokenKind.TYPED_MLIL):
            normalizer = MediumLevelNormalization()
        else:
            raise ValueError(f"Unsupported token kind: {self.kind}")

        # typed variants include operand type info, skeleton variants don't
        if self.kind in (TokenKind.TYPED_LLIL, TokenKind.TYPED_MLIL):
            normalize = normalizer.normalize_instr_with_operands
        else:
            normalize = normalizer.normalize_instruction_all_levels

        instructions = []
        for basic_block in self.il_func.basic_blocks:
            for il in basic_block:
                instructions.append(normalize(il))

        return instructions

    def calculateMinHash(self):
        """Calculate hash function every time, then take minimum shingle per shingler"""
        minhash_result = MinHashCustom(minhash_bits=MINHASH_SIGNATURE_BITS)
        minhash_signature = []

        tokens = self._extract_tokens()
        shingles = self.make_ngrams(tokens, n=3)

        # Functions with fewer than 3 IL instructions can't produce n-grams
        # Return empty minhash for such small functions (thunks, stubs, etc.)
        # Triggered by 39d8ad95b0323c37bd3134ab93ac4af44c66a1a8443a41c1ac02cec19bb2816a
        if not shingles:
            return []

        # Generate the MinHash
        for seed in self._minhash_seeds:
            hashed_shingles = [
                self.shingle_hash(shingle, seed) for shingle in shingles
            ]
            min_value = min(hashed_shingles)

            if MINHASH_SIGNATURE_BITS < 32:
                min_value %= (2 ** MINHASH_SIGNATURE_BITS)

            minhash_signature.append(min_value)

        minhash_result.setMinHash(minhash_signature)
        return minhash_result.getMinHashInt()

    def shingle_hash(self, shingle, hash_seed=0):
        """Produce a single 32bit UINT hash for a given shingle"""
        return MinHashCustom.hashData(shingle, hash_seed)