Cover Image

Which Part of the Heap is Useful? Improving Heap Liveness Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kanvar, Vini, Khedker, Uday P.
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

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
by: Walch, Armin, et al.
Published: (2026)

vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems
by: Gerber, Markus Elias, et al.
Published: (2025)

Enabling Communication via APIs for Mainframe Applications
by: Kanvar, Vini, et al.
Published: (2024)

FO-Complete Program Verification for Heap Logics
by: Murali, Adithya, et al.
Published: (2026)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
by: Yang, Ziyi, et al.
Published: (2025)

An Abstract Domain for Heap Commutativity (Extended Version)
by: Pincus, Jared, et al.
Published: (2024)

Points-to Analysis Using MDE: A Multi-level Deduplication Engine for Repetitive Data and Operations
by: Ghorui, Anamitra, et al.
Published: (2026)

LatticeHashForest: An Efficient Data Structure for Repetitive Data and Operations
by: Ghorui, Anamitra, et al.
Published: (2025)

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

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

Quadratic Term Correction on Heaps' Law
by: Fontanelli, Oscar, et al.
Published: (2025)

SimdQuickHeap: The QuickHeap Reconsidered
by: Breitling, Johannes, et al.
Published: (2026)

Amortized Analysis of Leftist Heaps
by: Schoenmakers, Berry
Published: (2024)

Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects
by: Huang, Kaiming, et al.
Published: (2023)

Corrections of Zipf's and Heaps' Laws Derived from Hapax Rate Models
by: Dębowski, Łukasz
Published: (2023)

The Heap: A Contamination-Free Multilingual Code Dataset for Evaluating Large Language Models
by: Katzy, Jonathan, et al.
Published: (2025)

HeaPA: Difficulty-Aware Heap Sampling and On-Policy Query Augmentation for LLM Reinforcement Learning
by: Wang, Weiqi, et al.
Published: (2026)

Heaps of pieces for lattice paths
by: Shigechi, Keiichi
Published: (2024)

Heaps of modules: Categorical aspects
by: Breaz, Simion, et al.
Published: (2023)

On Hom-Analogues of Heaps and Trusses
by: Anowar, Tarik, et al.
Published: (2025)

Efficiency of Self-Adjusting Heaps
by: Sinnamon, Corwin, et al.
Published: (2023)

Partition-based Simple Heaps
by: Brodal, Gerth Stølting, et al.
Published: (2026)

The dynamics of discovery and the Heaps-Zipf relationship
by: Zimmerlin, Célestin, et al.
Published: (2025)

Proper Interpretation of Heaps' and Zipf's Laws
by: Chol-jun, Kim
Published: (2023)

Heaps, crystals, and preprojective algebra modules
by: Dranowski, Anne, et al.
Published: (2022)

Heapness, Homogeneity, and an Asymptotic Reconstruction of the Sorites Paradox
by: Ignatov, Boril
Published: (2026)

Near-Optimal Heaps and Dijkstra on Pointer Machines
by: van der Hoog, Ivor, et al.
Published: (2026)

Positive Focusing is Directly Useful
by: Accattoli, Beniamino, et al.
Published: (2024)

CAMP: Compiler and Allocator-based Heap Memory Protection
by: Lin, Zhenpeng, et al.
Published: (2024)

Power Spectra of Velocity Fluctuations in Granular Heap Flow
by: Yu, ShuChang, et al.
Published: (2025)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

BI-based Reasoning about Quantum Programs with Heap Manipulations
by: Su, Bonan, et al.
Published: (2024)

Characteristic Polynomials and Hypergraph Generating Functions via Heaps of Pieces
by: Cooper, Joshua, et al.
Published: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
by: Esen, Zafer, et al.
Published: (2025)

Universal Optimality of Dijkstra via Beyond-Worst-Case Heaps
by: Haeupler, Bernhard, et al.
Published: (2023)

DH ‐Chain: Double Heap Based Blockchain Sharding Framework
by: Chen Wang, et al.
Published: (2026)

Incremental Live Programming via Shortcut Memoization
by: Kirisame, Marisa, et al.
Published: (2026)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
by: Rein, Patrick, et al.
Published: (2024)

LiveRec: Prototyping Probes by Framing Debug Protocols
by: Döderlein, Jean-Baptiste, et al.
Published: (2024)

Green AI: Which Programming Language Consumes the Most?
by: Marini, Niccolò, et al.
Published: (2024)