Victor Veitch

63 papers A* 19A 3Journal 38Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Kenan Hasanaliyev, Silas Alberti, Jenny Hamer, Dheeraj Rajagopal, Kevin Robinson, Jasper Snoek, Victor Veitch, Alexander Nicholas D'Amour
2026 J jnl
CoRR
Kiho Park, Todd Nief, Yo Joong Choe, Victor Veitch
2025 J jnl
CoRR
Junkai Zhang, Zihao Wang, Lin Gui, Swarnashree Mysore Sathyendra, Jaehwan Jeong, Victor Veitch, Wei Wang, Yunzhong He, Bing Liu, Lifeng Jin
2025 J jnl
CoRR
Zihao Wang, Victor Veitch
2025 J jnl
CoRR
Mark Muchane, Sean M. Richardson, Kiho Park, Victor Veitch
2025 J jnl
CoRR
Chenghao Yang, Lin Gui, Chenxiao Yang, Victor Veitch, Lizhu Zhang, Zhuokai Zhao
2025 A* conf
ICML
David Reber, Sean M. Richardson, Todd Nief, Cristina Garbacea, Victor Veitch
2025 A* conf
ICLR
Kiho Park, Yo Joong Choe, Yibo Jiang, Victor Veitch
2024 A* conf
NeurIPS
Lin Gui, Cristina Garbacea, Victor Veitch
2024 J jnl
CoRR
Lin Gui, Cristina Gârbacea, Victor Veitch
2024 A* conf
ICML
Yibo Jiang, Goutham Rajendran, Pradeep Kumar Ravikumar, Bryon Aragam, Victor Veitch
2024 J jnl
CoRR
Yibo Jiang, Goutham Rajendran, Pradeep Ravikumar, Bryon Aragam, Victor Veitch
2024 J jnl
CoRR
David Reber, Sean M. Richardson, Todd Nief, Cristina Garbacea, Victor Veitch
2024 J jnl
CoRR
Kiho Park, Yo Joong Choe, Yibo Jiang, Victor Veitch
2024 A* conf
ICML
Kiho Park, Yo Joong Choe, Victor Veitch
2024 A* conf
ICML
Zihao Wang, Chirag Nagpal, Jonathan Berant, Jacob Eisenstein, Alexander Nicholas D'Amour, Sanmi Koyejo, Victor Veitch
2024 J jnl
CoRR
Zihao Wang, Chirag Nagpal, Jonathan Berant, Jacob Eisenstein, Alex D'Amour, Sanmi Koyejo, Victor Veitch
2023 A* conf
NeurIPS
Jacy Reese Anthis, Victor Veitch
2023 J jnl
CoRR
Jacy Reese Anthis, Victor Veitch
2023 A* conf
ICLR
Lin Gui, Victor Veitch
2023 A* conf
NeurIPS
Zihao Wang, Lin Gui, Jeffrey Negrea, Victor Veitch
2023 J jnl
CoRR
Zihao Wang, Lin Gui, Jeffrey Negrea, Victor Veitch
2023 A* conf
ICLR
Roman Pogodin, Namrata Deka, Yazhe Li, Danica J. Sutherland, Victor Veitch, Arthur Gretton
2023 J jnl
CoRR
Kiho Park, Yo Joong Choe, Victor Veitch
2023 A* conf
NeurIPS
Yibo Jiang, Bryon Aragam, Victor Veitch
2023 J jnl
CoRR
Yibo Jiang, Bryon Aragam, Victor Veitch
2022 J jnl
CoRR
Zihao Wang, Victor Veitch
2022 J jnl
CoRR
Lin Gui, Victor Veitch
2022 J jnl
Trans. Assoc. Comput. Linguistics
Amir Feder, Katherine A. Keith, Emaad Manzoor, Reid Pryzant, Dhanya Sridhar, Zach Wood-Doughty, Jacob Eisenstein, Justin Grimmer, Roi Reichart, Margaret E. Roberts, Brandon M. Stewart, Victor Veitch, Diyi Yang
2022 J jnl
CoRR
Roman Pogodin, Namrata Deka, Yazhe Li, Danica J. Sutherland, Victor Veitch, Arthur Gretton
2022 A* conf
NeurIPS
Yibo Jiang, Victor Veitch
2022 J jnl
CoRR
Yibo Jiang, Victor Veitch
2022 J jnl
J. Comput. Graph. Stat.
Wesley Tansey, Victor Veitch, Haoran Zhang, Raul Rabadan, David M. Blei
2022 J jnl
J. Mach. Learn. Res.
Alexander D'Amour, Katherine A. Heller, Dan Moldovan, Ben Adlam, Babak Alipanahi, Alex Beutel, Christina Chen, Jonathan Deaton, Jacob Eisenstein, Matthew D. Hoffman, Farhad Hormozdiari, Neil Houlsby, Shaobo Hou, Ghassen Jerfel, Alan Karthikesalingam, Mario Lucic, Yi-An Ma, Cory Y. McLean, Diana Mincu, Akinori Mitani, Andrea Montanari, Zachary Nado, Vivek Natarajan, Christopher Nielson, Thomas F. Osborne, Rajiv Raman, Kim Ramasamy, Rory Sayres, Jessica Schrouff, Martin Seneviratne, Shannon Sequeira, Harini Suresh, Victor Veitch, Max Vladymyrov, Xuezhi Wang, Kellie Webster, Steve Yadlowsky, Taedong Yun, Xiaohua Zhai, D. Sculley
2022 A* conf
NeurIPS
Irina Cristali, Victor Veitch
2022 J jnl
CoRR
Irina Cristali, Victor Veitch
2021 A* conf
WWW
Aaron Schein, Keyon Vafa, Dhanya Sridhar, Victor Veitch, Jeffrey Quinn, James Moffet, David M. Blei, Donald P. Green
2021 conf
NAACL-HLT
Reid Pryzant, Dallas Card, Dan Jurafsky, Victor Veitch, Dhanya Sridhar
2021 J jnl
CoRR
Amir Feder, Katherine A. Keith, Emaad Manzoor, Reid Pryzant, Dhanya Sridhar, Zach Wood-Doughty, Jacob Eisenstein, Justin Grimmer, Roi Reichart, Margaret E. Roberts, Brandon M. Stewart, Victor Veitch, Diyi Yang
2021 A* conf
NeurIPS
Victor Veitch, Alexander D'Amour, Steve Yadlowsky, Jacob Eisenstein
2021 J jnl
CoRR
Victor Veitch, Alexander D'Amour, Steve Yadlowsky, Jacob Eisenstein
2021 A conf
UAI
Claudia Shi, Victor Veitch, David M. Blei
2021 A* conf
ICML
Jason S. Hartford, Victor Veitch, Dhanya Sridhar, Kevin Leyton-Brown
2020 A conf
UAI
Victor Veitch, Dhanya Sridhar, David M. Blei
2020 J jnl
CoRR
Reid Pryzant, Dallas Card, Dan Jurafsky, Victor Veitch, Dhanya Sridhar
2020 J jnl
CoRR
Claudia Shi, Victor Veitch, David M. Blei
2020 A* conf
NeurIPS
Victor Veitch, Anisha Zaveri
2020 J jnl
CoRR
Victor Veitch, Anisha Zaveri
2020 J jnl
CoRR
Alexander D'Amour, Katherine A. Heller, Dan Moldovan, Ben Adlam, Babak Alipanahi, Alex Beutel, Christina Chen, Jonathan Deaton, Jacob Eisenstein, Matthew D. Hoffman, Farhad Hormozdiari, Neil Houlsby, Shaobo Hou, Ghassen Jerfel, Alan Karthikesalingam, Mario Lucic, Yi-An Ma, Cory Y. McLean, Diana Mincu, Akinori Mitani, Andrea Montanari, Zachary Nado, Vivek Natarajan, Christopher Nielson, Thomas F. Osborne, Rajiv Raman, Kim Ramasamy, Rory Sayres, Jessica Schrouff, Martin Seneviratne, Shannon Sequeira, Harini Suresh, Victor Veitch, Max Vladymyrov, Xuezhi Wang, Kellie Webster, Steve Yadlowsky, Taedong Yun, Xiaohua Zhai, D. Sculley
2020 J jnl
CoRR
Jason S. Hartford, Victor Veitch, Dhanya Sridhar, Kevin Leyton-Brown
2019 A* conf
NeurIPS
Claudia Shi, David M. Blei, Victor Veitch
2019 J jnl
CoRR
Claudia Shi, David M. Blei, Victor Veitch
2019 A conf
AISTATS
Victor Veitch, Morgane Austern, Wenda Zhou, David M. Blei, Peter Orbanz
2019 conf
ICLR (Poster)
Wenda Zhou, Victor Veitch, Morgane Austern, Ryan P. Adams, Peter Orbanz
2019 A* conf
NeurIPS
Victor Veitch, Yixin Wang, David M. Blei
2019 J jnl
CoRR
Victor Veitch, Yixin Wang, David M. Blei
2019 J jnl
CoRR
Victor Veitch, Dhanya Sridhar, David M. Blei
2018 J jnl
CoRR
Wenda Zhou, Victor Veitch, Morgane Austern, Ryan P. Adams, Peter Orbanz
2018 J jnl
CoRR
Victor Veitch, Morgane Austern, Wenda Zhou, David M. Blei, Peter Orbanz
2016 J jnl
CoRR
Victor Veitch, Daniel M. Roy
2015 conf
ISMVL
Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson
2015 J jnl
CoRR
Victor Veitch, Daniel M. Roy
2014 J jnl
Nat.
Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson
redb/extractors/macho_extractors/macho_segments.py
← Index redb/extractors/macho_extractors/macho_segments.py python
import hashlib
import inspect
import base64
from datetime import datetime, timezone
from typing import Any

from redb.extractors.enum import Tag
from redb.extractors.macho_extractor import MachOExtractor
from redb.models.dataclasses import MachOSegment


class MachOSegmentExtractor(MachOExtractor):

    def __init__(
        self,
        filepath,
        log,
        exporters=None,
        index_prefix=None,
        elastic_index=None,
        known_benign=False,
        known_malicious=False,
        macho=None,
    ):
        super().__init__(
            filepath,
            log,
            exporters,
            index_prefix,
            elastic_index,
            known_benign,
            known_malicious,
            macho,
        )
        self.elastic_index = self.index_prefix + "-macho_segments"
        self.log.debug(inspect.currentframe().f_code.co_name)

    def _is_empty_result(self, extracted_data) -> bool:
        """
        Override: Empty segments is an ERROR, not a valid empty case.
        A valid MachO file must have segments (at minimum __PAGEZERO, __TEXT).
        """
        # Always return False - empty segments should be treated as an error
        return False

    def tag(self):
        return Tag.MACHO_SEGMENT.value

    def _extract_segments_for_arch(self, arch_name):
        """Extract segment information for a specific architecture."""
        self.log.debug(f"Extracting segments for architecture: {arch_name}")
        segments = []

        try:
            # Get segments using new API with architecture parameter
            segments_data = self.macho.get_segments(arch=arch_name)
            if not segments_data:
                return segments

            # Extract segments for this architecture
            for segment in segments_data:
                try:
                    segment_name = segment.get('segname', 'Unknown')

                    # Calculate segment hash
                    segment_data = self._get_segment_data(segment)
                    if segment_data:
                        seg_sha256 = hashlib.sha256(segment_data).hexdigest()
                    else:
                        seg_sha256 = ""

                    # Use entropy already calculated by machofile module, rounded to 3 decimal places
                    seg_entropy = round(segment.get('entropy', 0.0), 3)

                    # Create segment dataclass with architecture info
                    macho_segment = MachOSegment(
                        segment_name=segment_name,
                        segment_vaddr=segment.get('vaddr', 0),
                        segment_vsize=segment.get('vsize', 0),
                        segment_offset=segment.get('offset', 0),
                        segment_size=segment.get('size', 0),
                        segment_max_vm_protection=segment.get('max_vm_protection', 0),
                        segment_initial_vm_protection=segment.get('initial_vm_protection', 0),
                        segment_nsects=segment.get('nsects', 0),
                        segment_flags=segment.get('flags', 0),
                        segment_entropy=seg_entropy,
                        segment_sha256=seg_sha256,
                    )
                    # Add architecture info to the segment
                    macho_segment.architecture = arch_name
                    segments.append(macho_segment)

                except Exception as e:
                    self.log.warning(
                        f'Unable to process segment "{segment.get("segname", "Unknown")}" for architecture {arch_name} in {self.hash.sha256}: {e}'
                    )
                    continue

            return segments

        except Exception as e:
            self.log.error(f"Error extracting MachO segments for architecture {arch_name}: {e}")
            return segments

    def _extract_segments(self):
        """Extract segment information from all architectures in the MachO binary."""
        self.log.debug(inspect.currentframe().f_code.co_name)
        segments = []

        if not self.macho:
            return segments

        try:
            # Get architectures using new API (already parsed in base class)
            architectures = self.macho.get_architectures()
            if not architectures:
                return segments

            # Process each architecture
            for arch_name in architectures:
                arch_segments = self._extract_segments_for_arch(arch_name)
                segments.extend(arch_segments)

            return segments

        except Exception as e:
            self.log.error(f"Error extracting MachO segments: {e}")
            return segments

    def _get_segment_data(self, segment):
        """Get the raw data for a segment."""
        try:
            offset = segment.get('offset', 0)
            size = segment.get('size', 0)
            
            if size == 0:
                return None
            
            # Read segment data from file
            with open(self.filepath, 'rb') as f:
                f.seek(offset)
                return f.read(size)
                
        except Exception as e:
            self.log.warning(f"Error reading segment data: {e}")
            return None

    def extract(self):
        self.log.debug(inspect.currentframe().f_code.co_name)
        try:
            segments = self._extract_segments()
            return segments
        except Exception as e:
            self.log.error(f"Error extracting MachO segments: {e}")
            return None

    def prepare_export_data(self, exporter_type: str) -> Any:
        if exporter_type == "ElasticsearchExporter":
            return self.extract()
        elif exporter_type == "ClickHouseExporter":
            if not self.macho:
                return None

            # Get architectures (macho is already parsed in base class)
            try:
                architectures = self.macho.get_architectures()
                is_fat = len(architectures) > 1
            except Exception as e:
                self.log.error(f"Could not get architectures: {e}")
                return None

            data = []
            current_time = datetime.now(timezone.utc)

            # Loop through each architecture (1 for single, multiple for FAT)
            for arch_name in architectures:
                # Extract segments for this specific architecture
                segments = self._extract_segments_for_arch(arch_name)
                if not segments:
                    continue

                # Get architecture-specific sha256 and header info
                try:
                    arch_general_info = self.macho.get_general_info(arch=arch_name)
                    arch_sha256 = arch_general_info.get('SHA256', self.sha256)

                    # Get raw architecture value
                    arch_header_raw = self.macho.get_macho_header(arch=arch_name)
                    arch_cputype_raw = arch_header_raw.get('cputype', 0) if arch_header_raw else 0
                except Exception as e:
                    self.log.warning(f"Could not get arch-specific data for {arch_name}: {e}")
                    arch_sha256 = self.sha256
                    arch_cputype_raw = 0

                for segment in segments:
                    data.append([
                        arch_sha256,                          # sha256 (architecture-specific)
                        segment.segment_name,                 # segment_name
                        segment.segment_vaddr,                # segment_vaddr
                        segment.segment_vsize,                # segment_vsize
                        segment.segment_offset,               # segment_offset
                        segment.segment_size,                 # segment_size
                        segment.segment_max_vm_protection,    # segment_max_vm_protection
                        segment.segment_initial_vm_protection, # segment_initial_vm_protection
                        segment.segment_nsects,               # segment_nsects
                        segment.segment_flags,                # segment_flags
                        segment.segment_entropy,              # segment_entropy
                        segment.segment_sha256,               # segment_sha256
                        current_time,                         # analysis_date
                    ])

            column_names = [
                'sha256',
                'segment_name', 'segment_vaddr', 'segment_vsize', 'segment_offset',
                'segment_size', 'segment_max_vm_protection', 'segment_initial_vm_protection',
                'segment_nsects', 'segment_flags', 'segment_entropy', 'segment_sha256',
                'analysis_date'
            ]

            if not data:
                return None

            column_type_names = [
                'FixedString(64)',
                'String', 'UInt64', 'UInt64', 'UInt64',
                'UInt64', 'UInt32', 'UInt32',
                'UInt32', 'UInt32', 'Float64', 'FixedString(64)',
                'DateTime64(3, \'UTC\')'
            ]

            return (data, column_names, column_type_names)

        return None

    def get_clickhouse_table(self) -> str:
        return "redb_macho_segments"