Ilan Reuven Cohen

33 papers A* 13A 1B 3Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Johannes Brüstle, Ilan Reuven Cohen, Stefano Leonardi
2025 J jnl
CoRR
Zohar Barak, Asnat Berlin, Ilan Reuven Cohen, Alon Eden, Omri Porat, Inbal Talgam-Cohen
2024 J jnl
Ann. Oper. Res.
Ilan Reuven Cohen, Izack Cohen, Iyar Zaks
2024 A* conf
NeurIPS
Ilan Reuven Cohen, Alon Eden, Talya Eden, Arsen Vasilyan
2024 J jnl
CoRR
Ilan Reuven Cohen, Alon Eden, Talya Eden, Arsen Vasilyan
2023 A* conf
ICALP
Ilan Reuven Cohen, Debmalya Panigrahi
2023 J jnl
CoRR
Ilan Reuven Cohen, Debmalya Panigrahi
2023 A conf
ESA
Ilan Reuven Cohen, Binghui Peng
2023 J jnl
Inf. Process. Lett.
Yossi Azar, Ilan Reuven Cohen, Iftah Gamzu
2022 B conf
WAOA
Ilan Reuven Cohen
2021 B conf
WAOA
Nikhil Bansal, Ilan Reuven Cohen
2021 conf
APPROX-RANDOM
János Balogh, Ilan Reuven Cohen, Leah Epstein, Asaf Levin
2021 B conf
WAOA
Ilan Reuven Cohen, Izack Cohen, Iyar Zaks
2021 J jnl
CoRR
Ilan Reuven Cohen, Izack Cohen, Iyar Zaks
2020 J jnl
CoRR
Nikhil Bansal, Ilan Reuven Cohen
2020 A* conf
ICALP
Ilan Reuven Cohen, Sungjin Im, Debmalya Panigrahi
2019 conf
APPROX-RANDOM
Ilan Reuven Cohen, Alon Eden, Amos Fiat, Lukasz Jez
2019 A* conf
ICALP
Aris Anagnostopoulos, Ilan Reuven Cohen, Stefano Leonardi, Jakub Lacki
2019 A* conf
FOCS
Ilan Reuven Cohen, Binghui Peng, David Wajc
2019 J jnl
CoRR
Ilan Reuven Cohen, Binghui Peng, David Wajc
2018 A* conf
SODA
Yossi Azar, Ilan Reuven Cohen, Debmalya Panigrahi
2018 A* conf
SODA
Ilan Reuven Cohen, David Wajc
2017 A* conf
SODA
Yossi Azar, Ilan Reuven Cohen, Alan Roytman
2016 A* conf
FOCS
Yossi Azar, Niv Buchbinder, T.-H. Hubert Chan, Shahar Chen, Ilan Reuven Cohen, Anupam Gupta, Zhiyi Huang, Ning Kang, Viswanath Nagarajan, Joseph Naor, Debmalya Panigrahi
2016 J jnl
CoRR
Yossi Azar, Ilan Reuven Cohen, Alan Roytman
2016
Ilan Reuven Cohen
2016 A* conf
SODA
Yossi Azar, Ilan Reuven Cohen, Amos Fiat, Alan Roytman
2015 A* conf
SODA
Ilan Reuven Cohen, Alon Eden, Amos Fiat, Lukasz Jez
2015 J jnl
CoRR
Ilan Reuven Cohen, Alon Eden, Amos Fiat, Lukasz Jez
2015 conf
ICALP (1)
Yossi Azar, Ilan Reuven Cohen
2014 J jnl
CoRR
Yossi Azar, Ilan Reuven Cohen, Debmalya Panigrahi
2013 A* conf
STOC
Yossi Azar, Ilan Reuven Cohen, Iftah Gamzu
2013 A* conf
STOC
Yossi Azar, Ilan Reuven Cohen, Seny Kamara, F. Bruce Shepherd
redb/s3_utils.py
← Index redb/s3_utils.py python
"""
S3 and file utility functions for REDB.

Contains MinIO/S3 client creation, S3 key generation,
file download, and archive extraction helpers.
"""
import os
import tempfile
from typing import Optional, List

from minio import Minio
from minio.error import S3Error


def get_minio_client():
    """Create and return a Minio client using credentials from .env file"""
    return Minio(
        endpoint=os.getenv("S3_ENDPOINT"),
        access_key=os.getenv("S3_ACCESS_KEY"),
        secret_key=os.getenv("S3_SECRET_KEY"),
        secure=os.getenv("S3_SECURE", "false").lower() == "true"
    )


def generate_s3_key_from_hash(sample_hash: str) -> str:
    """
    Generate S3 key from hash using sharding structure.
    Example: 09f7d02a3c2382199458c98a62b045145ee54ab6aba86166aecf3d10c3c1444c
    becomes: 09/f7/09f7d02a3c2382199458c98a62b045145ee54ab6aba86166aecf3d10c3c1444c.zip
    """
    if len(sample_hash) < 4:
        raise ValueError(f"Hash too short for sharding: {sample_hash}")

    # Create sharded path: first 2 chars / next 2 chars / full_hash.zip
    return f"{sample_hash[:2]}/{sample_hash[2:4]}/{sample_hash}.zip"


def download_s3_object(s3_bucket: str, s3_key: str, temp_dir: str, logger=None) -> Optional[str]:
    """
    Download an object from S3 to a local temporary directory and return the local path.
    If the .zip file is not found, automatically tries .7z as a fallback for legacy uploads.
    """
    try:
        minio_client = get_minio_client()
        local_path = os.path.join(temp_dir, os.path.basename(s3_key))

        # Download the file
        minio_client.fget_object(s3_bucket, s3_key, local_path)

        return local_path
    except S3Error as e:
        # If .zip not found and error is NoSuchKey, try .7z fallback
        if e.code == 'NoSuchKey' and s3_key.endswith('.zip'):
            s3_key_7z = s3_key[:-4] + '.7z'  # Replace .zip with .7z
            if logger:
                logger.info(f".zip not found, trying .7z fallback: {s3_key_7z}")
            try:
                local_path_7z = os.path.join(temp_dir, os.path.basename(s3_key_7z))
                minio_client.fget_object(s3_bucket, s3_key_7z, local_path_7z)
                if logger:
                    logger.info(f"Successfully downloaded .7z fallback: {s3_key_7z}")
                return local_path_7z
            except S3Error as e2:
                if logger:
                    logger.error(f"Failed to download S3 object {s3_key} (tried both .zip and .7z): {e2}")
                else:
                    print(f"[ERROR] Failed to download S3 object {s3_key} (tried both .zip and .7z): {e2}")
                return None
        else:
            if logger:
                logger.error(f"Failed to download S3 object {s3_key}: {e}")
            else:
                print(f"[ERROR] Failed to download S3 object {s3_key}: {e}")
            return None


def extract_fat_slices(macho, output_dir: str, logger) -> List[tuple]:
    """
    Extract slices from FAT Mach-O binary using machofile's dump_slices() API.

    Args:
        macho: Parsed machofile.UniversalMachO object
        output_dir: Directory to write slice files
        logger: Logger instance

    Returns:
        List of (arch_name, slice_path, slice_sha256, slice_md5, slice_sha1) tuples
    """
    result = []
    try:
        # Use machofile's dump_slices API (v2026.2.5+)
        slices = macho.dump_slices(output_dir=output_dir)
        logger.debug(f"Extracted {len(slices)} slices from FAT binary")

        for arch_name, slice_path in slices:
            # Get hash info for this slice from machofile
            general_info = macho.get_general_info(arch=arch_name)
            slice_sha256 = general_info.get('SHA256')
            slice_md5 = general_info.get('MD5')
            slice_sha1 = general_info.get('SHA1')
            result.append((arch_name, slice_path, slice_sha256, slice_md5, slice_sha1))
            logger.debug(f"Slice {arch_name}: {slice_sha256}")

    except Exception as e:
        logger.error(f"Error extracting FAT slices: {e}")

    return result