J. William Helton

43 papers Journal 30Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Contributions Discret. Math.
E. Rodney Canfield, Jared Hughes, J. William Helton
2025 J jnl
CoRR
Adam Bene Watts, Charles R. Chen, J. William Helton, Joseph Slote
2024 J jnl
Optim. Methods Softw.
Aidan Epperly, Eric Evert, J. William Helton, Igor Klep
2024 J jnl
Quantum
Adam Bene Watts, Anirban Chowdhury, Aidan Epperly, J. William Helton, Igor Klep
2023 J jnl
Exp. Math.
Eric Evert, Yi Fu, J. William Helton, John Yin
2021 J jnl
Found. Comput. Math.
J. William Helton, Igor Klep, Scott A. McCullough, Jurij Volcic
2020 J jnl
CoRR
Adam Bene Watts, J. William Helton
2013 J jnl
Int. J. Algebra Comput.
Harry Dym, J. William Helton, Caleb Meier
2013 J jnl
Math. Program.
J. William Helton, Igor Klep, Scott A. McCullough
2012 J jnl
Found. Comput. Math.
J. William Helton, Jiawang Nie
2010 J jnl
Autom.
J. William Helton, Kevin J. McGown, Michael L. Walker
2010 conf
CDC
J. William Helton, Igor Klep, Scott A. McCullough
2010 J jnl
Math. Program.
J. William Helton, Jiawang Nie
2010 conf
CDC
Maurício C. de Oliveira, J. William Helton
2009 J jnl
IEEE Trans. Autom. Control.
J. William Helton, Scott A. McCullough, Mihai Putinar, Victor Vinnikov
2009 J jnl
SIAM J. Matrix Anal. Appl.
J. William Helton, Igor Klep, Raul Gomez
2009 J jnl
SIAM J. Optim.
J. William Helton, Jiawang Nie
2008 conf
CDC
J. William Helton, Kevin J. McGown, Michael L. Walker
2008 conf
CDC
J. William Helton, Jiawang Nie
2006 conf
CDC
Maurício C. de Oliveira, J. William Helton
2006 J jnl
SIAM J. Optim.
Juan F. Camino, J. William Helton, Robert E. Skelton
2005 J jnl
IEEE Trans. Autom. Control.
J. William Helton, Matthew R. James, William M. McEneaney
2004 J jnl
SIAM J. Matrix Anal. Appl.
J. William Helton, Scott A. McCullough
2004 conf
CDC
Juan F. Camino, J. William Helton, Robert E. Skelton
2003 J jnl
Electron. J. Comb.
Edward A. Bender, J. William Helton, L. Bruce Richmond
2003 conf
CDC
J. William Helton, Maurício C. de Oliveira
2003 J jnl
SIAM J. Control. Optim.
J. William Helton, Marshall A. Whittlesey
2003 ch.
Mathematical Systems Theory in Biology, Communications, Computation, and Finance
J. William Helton
2001 conf
CDC
Robert E. Skelton, Rajesh Adhikari, Jean Paul Pinaud, Waileung Chan, J. William Helton
2001 conf
CDC
J. William Helton, Matthew R. James, William M. McEneaney
2001 J jnl
IEEE Trans. Autom. Control.
J. William Helton
2000 conf
CDC
Juan F. Camino, J. William Helton, Robert E. Skelton
2000 conf
CDC
J. William Helton, Marshall A. Whittlesey
2000 J jnl
IEEE Trans. Control. Syst. Technol.
Michael Hardt, J. William Helton, Kenneth Kreutz-Delgado
1998 J jnl
IEEE Trans. Autom. Control.
J. William Helton, Mark Stankus, John J. Wavrik
1998 J jnl
Math. Control. Signals Syst.
S. Yuliar, Matthew R. James, J. William Helton
1994 J jnl
IEEE Trans. Signal Process.
Michael L. Walker, J. William Helton
1994 J jnl
SIAM J. Matrix Anal. Appl.
J. William Helton, Daniel Lam, Hugo J. Woerdeman
1993 J jnl
IEEE Trans. Autom. Control.
Joseph A. Ball, J. William Helton, Michael L. Walker
1992 J jnl
Math. Control. Signals Syst.
Joseph A. Ball, J. William Helton
1988 J jnl
Math. Syst. Theory
J. William Helton, Leiba Rodman
1987 J jnl
Math. Syst. Theory
J. William Helton, Leiba Rodman
1974 conf
Category Theory Applied to Computation and Control
F. Joanne Helton, J. William Helton
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)