Cover Image

Pathological Cases for a Class of Reachability-Based Garbage Collectors

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Sotoudeh, Matthew
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

Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
by: M, Abdulla
Published: (2025)

Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)

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

Automated Formal Verification of a Software Fault Isolation System
by: Sotoudeh, Matthew, et al.
Published: (2025)

Garbage Collection for Rust: The Finalizer Frontier
by: Hughes, Jacob, et al.
Published: (2025)

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

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors
by: Shimchenko, Marina, et al.
Published: (2024)

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
by: Muravev, Ilia
Published: (2024)

Modeling Reachability Types with Logical Relations
by: Bao, Yuyan, et al.
Published: (2023)

On Higher-Order Reachability Games vs May Reachability
by: Asada, Kazuyuki, et al.
Published: (2022)

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

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
by: Ye, He, et al.
Published: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
by: Jia, Songlin, et al.
Published: (2024)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
by: He, Siyuan, et al.
Published: (2025)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
by: Deng, Haotian, et al.
Published: (2025)

A Note on Dynamic Bidirected Dyck-Reachability with Cycles
by: Zhang, Qirun
Published: (2024)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
by: Endo, Ryunosuke, et al.
Published: (2025)

On the State of Coherence in the Land of Type Classes
by: Racordon, Dimi, et al.
Published: (2025)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

Datalog with First-Class Facts
by: Gilray, Thomas, et al.
Published: (2024)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
by: Samuelson, Ashley, et al.
Published: (2025)

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
by: Sukhova, Anna, et al.
Published: (2024)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
by: Deng, Haotian, et al.
Published: (2025)

Program Analysis via Multiple Context Free Language Reachability
by: Conrado, Giovanna Kobus, et al.
Published: (2024)

A Coq implementation of a Theory of Tagged Objects
by: Gates, Matthew, et al.
Published: (2025)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
by: Britton, Matthew, et al.
Published: (2026)

Multiparty Session Types with a Bang!
by: Brun, Matthew Alan Le, et al.
Published: (2025)

Type-Error Ablation and AI Coding Agents
by: Krishnamurthi, Shriram, et al.
Published: (2026)

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

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

ClassInvGen: Class Invariant Synthesis using Large Language Models
by: Sun, Chuyue, et al.
Published: (2025)

Incremental units-of-measure verification
by: Danish, Matthew, et al.
Published: (2024)

MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
by: Brun, Matthew Alan Le, et al.
Published: (2024)

Scaling Worst-Case Optimal Datalog to GPUs
by: Sun, Yihao, et al.
Published: (2026)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
by: Vasconcelos, Pedro, et al.
Published: (2024)

Type-Based Incorrectness Reasoning
by: Zhou, Zhe, et al.
Published: (2025)

Garbage In, Reasoning Out? Why Benchmark Scores are Unreliable and What to Do About It
by: Mousavi, Seyed Mahed, et al.
Published: (2025)

Task-Based Tensor Computations on Modern GPUs
by: Yadav, Rohan, et al.
Published: (2025)

Sound Interval-Based Synthesis for Probabilistic Programs
by: Espada, Guilherme, et al.
Published: (2025)

Generic Reduction-Based Interpreters (Extended Version)
by: Bach, Casper
Published: (2025)