Ramya Ramalingam

17 papers A* 5B 1Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Ramya Ramalingam, Osbert Bastani, Aaron Roth
2025 J jnl
CoRR
Stephen Mell, Botong Zhang, David Mell, Shuo Li, Ramya Ramalingam, Nathan Yu, Steve Zdancewic, Osbert Bastani
2025 J jnl
CoRR
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025 J jnl
Proc. ACM Program. Lang.
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025 A* conf
ICML
Georgy Noarov, Ramya Ramalingam, Aaron Roth, Stephan Xie
2025 A* conf
ICML
Ramya Ramalingam, Shayan Kiyani, Aaron Roth
2025 J jnl
CoRR
Ramya Ramalingam, Shayan Kiyani, Aaron Roth
2024 J jnl
CoRR
Ramya Ramalingam, Sangdon Park, Osbert Bastani
2023 A* conf
ICLR
Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
2023 J jnl
CoRR
Georgy Noarov, Ramya Ramalingam, Aaron Roth, Stephan Xie
2022 J jnl
CoRR
Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
2022 B conf
IJCNN
Ramya Ramalingam, Nicolas A. Espinosa Dice, Megan L. Kaye, George D. Montañez
2022 A* conf
NeurIPS
Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
2022 J jnl
CoRR
Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
2021 A* conf
ICRA
João Marcos Correia Marques, Ramya Ramalingam, Zherong Pan, Kris Hauser
2021 J jnl
CoRR
João Marcos Correia Marques, Ramya Ramalingam, Zherong Pan, Kris Hauser
2021 J jnl
IEEE ACM Trans. Comput. Biol. Bioinform.
Melissa Grueter, Kalani Duran, Ramya Ramalingam, Ran Libeskind-Hadas
redb/extractors/decompiler/bninja/arch/creator.py
← Index redb/extractors/decompiler/bninja/arch/creator.py python
# Support both package and standalone imports
try:
    from .architecture import Architecture
except ImportError:
    # Fallback to absolute imports (for multiprocessing spawned processes)
    from redb.extractors.decompiler.bninja.arch.architecture import Architecture


class ArchitectureCreator:
    """Get the correct architecture from the string of architecture retrieved from Binary Ninja."""

    def __init__(self, arch):
        self.arch = arch.lower()

    def get(self) -> Architecture:
        if self.arch == "x86":
            try:
                from .x86 import Arch_x86
            except ImportError:
                # Fallback to absolute imports (for multiprocessing spawned processes)
                from redb.extractors.decompiler.bninja.arch.x86 import Arch_x86

            return Arch_x86()
        else:
            raise ValueError(f"Unsupported architecture: {self.arch}")