Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Makor, Lukas, Kloibhofer, Sebastian, Hofer, Peter, Leopoldseder, David, Mössenböck, Hanspeter
Format:	Preprint
Published:	2025
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)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
by: Rose, Abhishek, et al.
Published: (2024)

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

PG-MDP: Profile-Guided Memory Dependence Prediction for Area-Constrained Cores
by: Panayi, Luke, et al.
Published: (2026)

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

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

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

Automated Verification of Monotonic Data Structure Traversals in C
by: Sotoudeh, Matthew
Published: (2025)

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

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

Verification Algorithms for Automated Separation Logic Verifiers
by: Eilers, Marco, et al.
Published: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

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

PermRust: A Token-based Permission System for Rust
by: Gehring, Lukas, et al.
Published: (2025)

RaceFixer -- An Automated Data Race Fixer
by: Malakar, Sanjay, et al.
Published: (2024)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
by: Sharma, Reshabh K, et al.
Published: (2026)

Beyond Cons: Purely Relational Data Structures
by: Sanna, Rafaello, et al.
Published: (2025)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
by: Leutgeb, Lorenz, et al.
Published: (2022)

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

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

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

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
by: Singh, Ajay, et al.
Published: (2025)

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

Automated Formalization of Probabilistic Requirements from Structured Natural Language
by: Mavridou, Anastasia, et al.
Published: (2025)

Getting a Handle on Unmanaged Memory
by: Wanninger, Nick, et al.
Published: (2024)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
by: Liu, Shicheng, et al.
Published: (2023)

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

Synthesizing Abstract Transformers for Reduced-Product Domains
by: Kalita, Pankaj Kumar, et al.
Published: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
by: Meyer, Roland, et al.
Published: (2024)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
by: Tunç, Hünkar Can, et al.
Published: (2024)

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)

Automated Verification of Soundness of DNN Certifiers
by: Singh, Avaljot, et al.
Published: (2025)

Automating Equational Proofs in Dirac Notation
by: Xu, Yingte, et al.
Published: (2024)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
by: Beyer, Dirk, et al.
Published: (2025)

Agentic Proof Automation: A Case Study
by: Xu, Yichen, et al.
Published: (2026)

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)

Stale Profile Matching
by: Ayupov, Amir, et al.
Published: (2024)

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
by: Xin, Yutong, et al.
Published: (2025)