Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rose, Abhishek, Bansal, Sorav
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Dependent-Type-Preserving Memory Allocation
von: Koronkevich, Paulette, et al.
Veröffentlicht: (2025)

Reconsidering "Reconsidering Custom Memory Allocation"
von: van Kempen, Nicolas, et al.
Veröffentlicht: (2026)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
von: Makor, Lukas, et al.
Veröffentlicht: (2025)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
von: Wang, Yanzhao, et al.
Veröffentlicht: (2024)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
von: Lin, Zhengyao, et al.
Veröffentlicht: (2023)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
von: Hideshima, Takato, et al.
Veröffentlicht: (2024)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
von: Korostinskiy, Roman, et al.
Veröffentlicht: (2024)

Validated Code Translation for Projects with External Libraries
von: Zhang, Hanliang, et al.
Veröffentlicht: (2026)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
von: Zhang, Hanliang, et al.
Veröffentlicht: (2024)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
von: Ke, Kaiyao, et al.
Veröffentlicht: (2025)

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

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
von: Reitz, Antonin, et al.
Veröffentlicht: (2024)

Programming Language Case Studies Can Be Deep
von: Bohrer, Rose
Veröffentlicht: (2024)

Dynamic Robustness Verification Against Weak Memory (Extended Version)
von: Margalit, Roy, et al.
Veröffentlicht: (2025)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
von: Bohrer, Rose
Veröffentlicht: (2025)

Type Universes as Allocation Effects
von: Koronkevich, Paulette, et al.
Veröffentlicht: (2024)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
von: Hughes, Jack, et al.
Veröffentlicht: (2025)

Partial Cross-Compilation and Mixed Execution for Accelerating Dynamic Binary Translation
von: Gu, Yuhao, et al.
Veröffentlicht: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
von: Wang, Yi, et al.
Veröffentlicht: (2025)

jMT: Testing Correctness of Java Memory Models (Extended Version)
von: Panneke, Lukas, et al.
Veröffentlicht: (2026)

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

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
von: Jung, Christoph, et al.
Veröffentlicht: (2025)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
von: Lohse, Janine, et al.
Veröffentlicht: (2026)

Correctness Witness Validation by Abstract Interpretation
von: Saan, Simmo, et al.
Veröffentlicht: (2023)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
von: Näumann, Julius, et al.
Veröffentlicht: (2026)

On Code-Induced Reasoning in LLMs
von: Waheed, Abdul, et al.
Veröffentlicht: (2025)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

&inator: Correct, Precise C-to-Rust Interface Translation
von: Chen, Victor, et al.
Veröffentlicht: (2026)

PSM: Policy Synchronised Deterministic Memory
von: Mendler, Michael, et al.
Veröffentlicht: (2025)

ALFRED: Virtual Memory for Intermittent Computing
von: Maioli, Andrea, et al.
Veröffentlicht: (2021)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2024)

CF-GKAT: Efficient Validation of Control-Flow Transformations
von: Zhang, Cheng, et al.
Veröffentlicht: (2024)

LoRe: A Programming Model for Verifiably Safe Local-First Software
von: Haas, Julian, et al.
Veröffentlicht: (2023)

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

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
von: Ling, Hongyi, et al.
Veröffentlicht: (2026)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
von: Jarmusch, Aaron, et al.
Veröffentlicht: (2024)

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2024)

Challenges of Multilingual Program Specification and Analysis
von: Furia, Carlo A., et al.
Veröffentlicht: (2024)

Validation of Modern JSON Schema: Formalization and Complexity
von: Attouche, Lyes, et al.
Veröffentlicht: (2023)

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