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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Makor, Lukas, Kloibhofer, Sebastian, Hofer, Peter, Leopoldseder, David, Mössenböck, Hanspeter
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

Type Universes as Allocation Effects
por: Koronkevich, Paulette, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

PSM: Policy Synchronised Deterministic Memory
por: Mendler, Michael, et al.
Publicado: (2025)

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

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

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

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

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

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

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

Stale Profile Matching
por: Ayupov, Amir, et al.
Publicado: (2024)

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