Efficient Dynamic Look-Up Strategy for Multi-Methods
Abstract elided by the publisher.
Related papers
- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages ECOOP 1994
- Memento mori: dynamic allocation-site-based optimizations ISMM 2015
- A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking CAV 2026
- Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations PLDI 2023
- HierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical Cutoff PPoPP 2026
- Keep calm and react with foresight: strategies for low-latency and energy-efficient elastic data stream processing PPoPP 2016
- Synthesis of Compact Strategies for Coordination Programs TACAS 2022
- Distributed SMT Solving Based on Dynamic Variable-Level Partitioning CAV 2024