Cover Image

Catalpa: GC for a Low-Variance Software Stack

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arnold, Anthony, Marron, Mark
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Toward an Agentic Infused Software Ecosystem
by: Marron, Mark
Published: (2026)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
by: Marron, Mark
Published: (2024)

A New Generation of Intelligent Development Environments
by: Marron, Mark
Published: (2024)

An Effectively $Ω(c)$ Language and Runtime
by: Marron, Mark
Published: (2024)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
by: Yu, ZeHao
Published: (2025)

An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges
by: Foalem, Patrick Loic, et al.
Published: (2026)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
by: Yu, Hao, et al.
Published: (2025)

Generalized Software Product Line Extraction
by: Bruzzone, Federico, et al.
Published: (2026)

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
by: Steffen, Bernhard, et al.
Published: (2024)

Caruca: Effective and Efficient Specification Mining for Opaque Software Components
by: Lamprou, Evangelos, et al.
Published: (2025)

Local Software Buildability across Java Versions (Registered Report)
by: Sulír, Matúš, et al.
Published: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)

How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks
by: Rojpaisarnkit, Ruksit, et al.
Published: (2025)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
by: Carreira, Carolina, et al.
Published: (2025)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
by: Zhang, Shuoming, et al.
Published: (2026)

Introduction to Analytical Software Engineering Design Paradigm
by: Houichime, Tarik, et al.
Published: (2025)

Metamorphic Debugging for Accountable Software
by: Tizpaz-Niari, Saeid, et al.
Published: (2024)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
by: Zhang, Yifan, et al.
Published: (2025)

JaxDecompiler: Redefining Gradient-Informed Software Design
by: Pochelu, Pierrick
Published: (2024)

A Broad Comparative Evaluation of Software Debloating Tools
by: Brown, Michael D., et al.
Published: (2023)

Solving Package Management via Hypergraph Dependency Resolution
by: Gibb, Ryan, et al.
Published: (2025)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
by: Beheshti, Amin
Published: (2024)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
by: Wang, Yuchen, et al.
Published: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
by: Zhang, Zehua, et al.
Published: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
by: Richter, Cedric, et al.
Published: (2025)

From a Natural to a Formal Language with DSL Assistant
by: Mosthaf, My M., et al.
Published: (2024)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
by: Saieva, Anthony, et al.
Published: (2023)

Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework
by: Mughal, A. H.
Published: (2024)

Verifying a Realistic Mutable Hash Table
by: Chassot, Samuel, et al.
Published: (2021)

Towards a Transpiler for C/C++ to Safer Rust
by: Tripuramallu, Dhiren, et al.
Published: (2024)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
by: Ravikumar, Shruthi, et al.
Published: (2024)

Package Managers à la Carte: A Formal Model of Dependency Resolution
by: Gibb, Ryan, et al.
Published: (2026)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
by: Wu, Guanxuan, et al.
Published: (2024)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
by: Saravanos, Antonios, et al.
Published: (2026)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
by: Bhattar, Poornachandratejasvi Laxman, et al.
Published: (2026)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
by: Vaidya, Sairam, et al.
Published: (2025)

Getting Python Types Right with RightTyper
by: Pizzorno, Juan Altmayer, et al.
Published: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
by: Liu, Peipei, et al.
Published: (2025)