:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Romero, José Luis, Isla, Cristóbal, Toro, Matías, Tanter, Éric
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2512.22684
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Gradual Sensitivity Typing
by: Arquez, Damian, et al.
Published: (2023)

A Gradual Probabilistic Lambda Calculus
by: Ye, Wenjia, et al.
Published: (2026)

Gredex
by: Toro, Matías, et al.
Published: (2025)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
by: Giovannini, Eric, et al.
Published: (2024)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
by: Castagna, Giuseppe, et al.
Published: (2024)

Gradual Metaprogramming
by: Chen, Tianyu, et al.
Published: (2025)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
by: Schwerter, Felipe Bañados, et al.
Published: (2025)

Increasing the Expressiveness of a Gradual Verifier
by: Gupta, Priyam
Published: (2025)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
by: Zimmerman, Conrad, et al.
Published: (2024)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
by: Mutlu, Doruk Alp
Published: (2025)

Toward a Corpus Study of the Dynamic Gradual Type
by: Nsofor, Dibri, et al.
Published: (2025)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
by: Chen, Tianyu, et al.
Published: (2026)

An Optimizing Just-In-Time Compiler for Rotor
by: Trindade, João H., et al.
Published: (2024)

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

The CoCompiler: DSL Lifting via Relational Compilation
by: Spargo, Naomi, et al.
Published: (2025)

Compiling with Arrays
by: Richter, David, et al.
Published: (2024)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
by: Rinard, Martin
Published: (2026)

ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
by: Pan, Haolin, et al.
Published: (2026)

Quest Complete: the Holy Grail of Gradual Security
by: Chen, Tianyu, et al.
Published: (2023)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
by: Rinard, Martin
Published: (2026)

Compilation of Commit Changes within Java Source Code Repositories
by: Schott, Stefan, et al.
Published: (2024)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
by: Pirkelbauer, Peter, et al.
Published: (2025)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
by: Jamner, Dustin, et al.
Published: (2025)

Compilation of Modular and General Sparse Workspaces
by: Zhang, Genghan, et al.
Published: (2024)

Partial Evaluation, Whole-Program Compilation
by: Fallin, Chris, et al.
Published: (2024)

Denotation-based Compositional Compiler Verification
by: Cheng, Zhang, et al.
Published: (2024)

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
by: Haynes, Houston
Published: (2026)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
by: Szabo, Violet, et al.
Published: (2024)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
by: Cummins, Chris, et al.
Published: (2024)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
by: Edwards, Marcus
Published: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
by: Izawa, Yusuke, et al.
Published: (2025)

Compiling to recurrent neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

Compiling to linear neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

CompilerDream: Learning a Compiler World Model for General Code Optimization
by: Deng, Chaoyi, et al.
Published: (2024)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
by: Ma, Zhiyao, et al.
Published: (2025)

Prime Path Coverage in the GNU Compiler Collection
by: Kvalsvik, Jørgen
Published: (2025)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
by: Sundram, Shiv, et al.
Published: (2025)