Cover Image

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rose, Abhishek, Bansal, Sorav
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dependent-Type-Preserving Memory Allocation
by: Koronkevich, Paulette, et al.
Published: (2025)

Reconsidering "Reconsidering Custom Memory Allocation"
by: van Kempen, Nicolas, et al.
Published: (2026)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
by: Makor, Lukas, et al.
Published: (2025)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
by: Wang, Yanzhao, et al.
Published: (2024)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
by: Lin, Zhengyao, et al.
Published: (2023)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
by: Hideshima, Takato, et al.
Published: (2024)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
by: Korostinskiy, Roman, et al.
Published: (2024)

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
by: Ke, Kaiyao, et al.
Published: (2025)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
by: Parthasarathy, Gaurav, et al.
Published: (2024)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

Programming Language Case Studies Can Be Deep
by: Bohrer, Rose
Published: (2024)

Dynamic Robustness Verification Against Weak Memory (Extended Version)
by: Margalit, Roy, et al.
Published: (2025)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
by: Bohrer, Rose
Published: (2025)

Type Universes as Allocation Effects
by: Koronkevich, Paulette, et al.
Published: (2024)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
by: Hughes, Jack, et al.
Published: (2025)

Partial Cross-Compilation and Mixed Execution for Accelerating Dynamic Binary Translation
by: Gu, Yuhao, et al.
Published: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

jMT: Testing Correctness of Java Memory Models (Extended Version)
by: Panneke, Lukas, et al.
Published: (2026)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
by: Lööw, Andreas, et al.
Published: (2025)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
by: Jung, Christoph, et al.
Published: (2025)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
by: Lohse, Janine, et al.
Published: (2026)

Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

On Code-Induced Reasoning in LLMs
by: Waheed, Abdul, et al.
Published: (2025)

Scylla: Translating an Applicative Subset of C to Safe Rust
by: Fromherz, Aymeric, et al.
Published: (2024)

&inator: Correct, Precise C-to-Rust Interface Translation
by: Chen, Victor, et al.
Published: (2026)

PSM: Policy Synchronised Deterministic Memory
by: Mendler, Michael, et al.
Published: (2025)

ALFRED: Virtual Memory for Intermittent Computing
by: Maioli, Andrea, et al.
Published: (2021)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
by: Dardinier, Thibault, et al.
Published: (2024)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)

LoRe: A Programming Model for Verifiably Safe Local-First Software
by: Haas, Julian, et al.
Published: (2023)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
by: Klimis, Vasileios, et al.
Published: (2024)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
by: Ling, Hongyi, et al.
Published: (2026)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
by: Jarmusch, Aaron, et al.
Published: (2024)

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
by: Rosa, Evandro C. R., et al.
Published: (2024)

Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)

Validation of Modern JSON Schema: Formalization and Complexity
by: Attouche, Lyes, et al.
Published: (2023)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
by: Dau, Anh T. V., et al.
Published: (2026)