:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chu, Ethan, Guo, Yiyang, Hoffmann, Jan
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2603.02260
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
par: Lian, Qihao, et autres
Publié: (2025)

Composable Effect Handling for Programming LLM-integrated Scripts
par: Wang, Di
Publié: (2025)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
par: Pham, Long, et autres
Publié: (2023)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
par: Yang, Zhixuan, et autres
Publié: (2025)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Derakhshan, Farzaneh, et autres
Publié: (2025)

Soundly Handling Linearity
par: Tang, Wenhao, et autres
Publié: (2023)

Handling Scope Checks (Extended Version)
par: Lee, Michael, et autres
Publié: (2026)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
par: Kahn, David M, et autres
Publié: (2025)

Preventing Out-of-Gas Exceptions by Typing
par: Aceto, Luca, et autres
Publié: (2024)

Efficient Cost Bounds with Linear Maps
par: Kahn, David M, et autres
Publié: (2025)

Getting a Handle on Unmanaged Memory
par: Wanninger, Nick, et autres
Publié: (2024)

LFPL: Revisited and Mechanized
par: Glover, Nathaniel, et autres
Publié: (2026)

Handling the Selection Monad (Full Version)
par: Plotkin, Gordon, et autres
Publié: (2025)

Nonmalleable Progress Leakage
par: Cecchetti, Ethan
Publié: (2025)

On Circuit Description Languages, Indexed Monads, and Resource Analysis
par: Sakayori, Ken, et autres
Publié: (2025)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
par: Allred, Taylor, et autres
Publié: (2024)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
par: Paganoni, Marco, et autres
Publié: (2024)

Galois Slicing as Automatic Differentiation
par: Atkey, Robert, et autres
Publié: (2025)

Automatic layout of railroad diagrams
par: Chiplunkar, Shardul, et autres
Publié: (2025)

Automatic Functional Differentiation in JAX
par: Lin, Min
Publié: (2023)

Automatic Inference of Relational Object Invariants
par: Su, Yusen, et autres
Publié: (2024)

Automatically Verifying Replication-aware Linearizability
par: Soundarapandian, Vimala, et autres
Publié: (2025)

Automatic Goal Clone Detection in Rocq
par: Ghanbari, Ali
Publié: (2025)

Resource Specifications for Resource-Manipulating Programs
par: Grannan, Zachary, et autres
Publié: (2023)

Step in Tine: Forking Processes in Functional Choreographies
par: Samuelson, Ashley, et autres
Publié: (2026)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
par: Samuelson, Ashley, et autres
Publié: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
par: Zhao, Jianhong, et autres
Publié: (2025)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
par: Chen, Ethan, et autres
Publié: (2024)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
par: Xu, Han, et autres
Publié: (2026)

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
par: Zhu, Yifan, et autres
Publié: (2026)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
par: Lamouri, Djamel Rassem, et autres
Publié: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
par: Vákár, Matthijs
Publié: (2020)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
par: Estep, Sam
Publié: (2024)

Paradigm-Based Automatic HDL Code Generation Using LLMs
par: Sun, Wenhao, et autres
Publié: (2025)

Computationally Bounded Robust Compilation and Universally Composable Security
par: Künnemann, Robert, et autres
Publié: (2024)

Automatic Generation of Python Programs Using Context-Free Grammars
par: Yamani, Kamel, et autres
Publié: (2024)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
par: Selabi, Elvis Konjoh, et autres
Publié: (2026)

Automatic Differentiation for ML-family languages: correctness via logical relations
par: Nunes, Fernando Lucatelli, et autres
Publié: (2022)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
par: Lim, Sangho, et autres
Publié: (2025)

CSSG: Measuring Code Similarity with Semantic Graphs
par: Lu, Yiyang, et autres
Publié: (2026)