:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chareton, Christophe, Issa, Jad, Nguyen, Mathieu, Blanco, Nicolas, Bardin, Sébastien
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2604.24578
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
by: Ricciardi, Jérome, et al.
Published: (2025)

Formal Simulation and Visualisation of Hybrid Programs
by: Mendes, Pedro, et al.
Published: (2024)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
by: Dane, Serra Z., et al.
Published: (2026)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

The Elements of Differentiable Programming
by: Blondel, Mathieu, et al.
Published: (2024)

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
by: van Kempen, Nicolas, et al.
Published: (2024)

Fast and Extensible Hybrid Embeddings with Micros
by: Bocirnea, Sean, et al.
Published: (2025)

Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)

Hybrid Multiparty Session Types -- Full Version
by: Gheri, Lorenzo, et al.
Published: (2023)

Hybrid Structured Editing: Structures for Tools, Text for Users
by: Beckmann, Tom, et al.
Published: (2026)

A Hybrid Approach to Semi-automated Rust Verification
by: Ayoun, Sacha-Élie, et al.
Published: (2024)

Inference Plans for Hybrid Particle Filtering
by: Cheng, Ellie Y., et al.
Published: (2024)

MerLin: A Discovery Engine for Photonic and Hybrid Quantum Machine Learning
by: Notton, Cassandre, et al.
Published: (2026)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
by: Li, Zhening, et al.
Published: (2025)

Quantum Programming Without the Quantum Physics
by: Inoue, Jun
Published: (2024)

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

Genesis: A Compiler Framework for Hamiltonian Simulation on Hybrid CV-DV Quantum Computers
by: Chen, Zihan, et al.
Published: (2025)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
by: Reichelt, Tim, et al.
Published: (2023)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
by: Faro, Simone, et al.
Published: (2025)

Making Hybrid Languages: A Recipe
by: Andersen, Leif, et al.
Published: (2024)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
by: Luo, Junjie, et al.
Published: (2024)

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
by: Wang, Shuling, et al.
Published: (2024)

Herb.jl: A Unifying Program Synthesis Library
by: Hinnerichs, Tilman, et al.
Published: (2025)

On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
by: Rak-amnouykit, Ingkarat, et al.
Published: (2024)

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
by: Kim, Sean, et al.
Published: (2024)

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

Invertible Syntax without the Tuples (Functional Pearl)
by: Boespflug, Mathieu, et al.
Published: (2025)

Hybrid Intersection Types for PCF (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2024)

Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026)

Qudit Quantum Programming with Projective Cliffords
by: Paykin, Jennifer, et al.
Published: (2024)

Borrowing Dirty Qubits in Quantum Programs
by: Su, Bonan, et al.
Published: (2025)

Hadamard-Pi: Equational Quantum Programming
by: Fang, Wang, et al.
Published: (2025)

Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)

Qafny: A Quantum-Program Verifier
by: Li, Liyi, et al.
Published: (2022)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
by: Huot, Mathieu, et al.
Published: (2024)

Quantum Programming in Polylogarithmic Time
by: Ferrari, Florent, et al.
Published: (2025)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
by: Khakpour, Narges, et al.
Published: (2025)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)