Cover Image

Galois Slicing as Automatic Differentiation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Atkey, Robert, Perera, Roly
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

Modular Probabilistic Models via Algebraic Effects
by: Nguyen, Minh, et al.
Published: (2022)

Effect Handlers for Programmable Inference
by: Nguyen, Minh, et al.
Published: (2023)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
by: Bond, Joseph, et al.
Published: (2024)

Literate Execution
by: Bond, Joe, et al.
Published: (2026)

Automatic Functional Differentiation in JAX
by: Lin, Min
Published: (2023)

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

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
by: Estep, Sam
Published: (2024)

Automatic Differentiation for ML-family languages: correctness via logical relations
by: Nunes, Fernando Lucatelli, et al.
Published: (2022)

Galois connecting call-by-value and call-by-name
by: McDermott, Dylan, et al.
Published: (2022)

CHAD: Combinatory Homomorphic Automatic Differentiation
by: Vákár, Matthijs, et al.
Published: (2021)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
by: Amtoft, Torben, et al.
Published: (2024)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
by: Schröer, Philipp, 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)

Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
by: Giusti, Giulia
Published: (2025)

Automatic layout of railroad diagrams
by: Chiplunkar, Shardul, et al.
Published: (2025)

DaCe AD: Unifying High-Performance Automatic Differentiation for Machine Learning and Scientific Computing
by: Boudaoud, Afif, et al.
Published: (2025)

Automatically Verifying Replication-aware Linearizability
by: Soundarapandian, Vimala, et al.
Published: (2025)

Automatic Goal Clone Detection in Rocq
by: Ghanbari, Ali
Published: (2025)

Automatic Inference of Relational Object Invariants
by: Su, Yusen, et al.
Published: (2024)

AI-Assisted Authoring for Transparent, Data-Driven Documents
by: Piscitelli, Alfonso, et al.
Published: (2025)

Handling Exceptions and Effects with Automatic Resource Analysis
by: Chu, Ethan, et al.
Published: (2026)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
by: Lin, Teyu, et al.
Published: (2026)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
by: Lamouri, Djamel Rassem, et al.
Published: (2025)

Paradigm-Based Automatic HDL Code Generation Using LLMs
by: Sun, Wenhao, et al.
Published: (2025)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
by: Lian, Qihao, et al.
Published: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
by: Lim, Sangho, et al.
Published: (2025)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
by: Selabi, Elvis Konjoh, et al.
Published: (2026)

WebPie: A Tiny Slice of Dependent Typing
by: Scholliers, Christophe
Published: (2024)

Idempotent Slices with Applications to Code-Size Reduction
by: de Azevedo, Rafael Alvarenga, et al.
Published: (2026)

Automatic Generation of Python Programs Using Context-Free Grammars
by: Yamani, Kamel, et al.
Published: (2024)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
by: He, Pengfei, et al.
Published: (2026)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
by: Eriksson, Oscar, et al.
Published: (2025)

Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools
by: He, Yumeng, et al.
Published: (2025)

Combining Neural Architecture Search and Automatic Code Optimization: A Survey
by: Bachiri, Inas, et al.
Published: (2024)

ACT: Automatically Generating Compiler Backends from Tensor Accelerator ISA Descriptions
by: Jain, Devansh, et al.
Published: (2025)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
by: Qiu, Ruidi, et al.
Published: (2024)

From Batch to Stream: Automatic Generation of Online Algorithms
by: Wang, Ziteng, et al.
Published: (2024)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
by: Zhang, Kaiwen, et al.
Published: (2022)