Cover Image

Dead Gate Elimination

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Yanbin, Mendl, Christian B., Seidl, Helmut
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimization Framework for Reducing Mid-circuit Measurements and Resets
by: Chen, Yanbin, et al.
Published: (2025)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
by: Stemmler, Fabian, et al.
Published: (2025)

GUPPY: Pythonic Quantum-Classical Programming
by: Koch, Mark, et al.
Published: (2025)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
by: Koch, Mark, et al.
Published: (2025)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
by: Corrales-Garro, Francini, et al.
Published: (2025)

Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation
by: Polat, Furkan, et al.
Published: (2024)

Qadence: a differentiable interface for digital-analog programs
by: Seitz, Dominik, et al.
Published: (2024)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
by: Guerin, Cormac, et al.
Published: (2026)

Traq: Estimating the Quantum Cost of Classical Programs
by: Peduri, Anurudh, et al.
Published: (2025)

QbC: Quantum Correctness by Construction
by: Peduri, Anurudh, et al.
Published: (2023)

QuanBench+: A Unified Multi-Framework Benchmark for LLM-Based Quantum Code Generation
by: Slim, Ali, et al.
Published: (2026)

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
by: Khusainov, Emil, et al.
Published: (2026)

Exploring LLM-Driven Explanations for Quantum Algorithms
by: d'Aloisio, Giordano, et al.
Published: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
by: Chen, Rui, et al.
Published: (2025)

Incremental Context-free Grammar Inference in Black Box Settings
by: Li, Feifei, et al.
Published: (2024)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
by: Chen, Zhiyang, et al.
Published: (2022)

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
by: Wright, Tanner, et al.
Published: (2026)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
by: Ye, He, et al.
Published: (2023)

DCE-LLM: Dead Code Elimination with Large Language Models
by: Chen, Minyu, et al.
Published: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
by: Zhang, Bowen, et al.
Published: (2024)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
by: Serebryany, Kostya, et al.
Published: (2023)

Large-Scale Quantum Circuit Simulation on HPC Cluster via Cache Blocking, Boosting, and Gate Fusion Optimization
by: Wang, Chuan-Chi, et al.
Published: (2026)

Python Symbolic Execution with LLM-powered Code Generation
by: Wang, Wenhan, et al.
Published: (2024)

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

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

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

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
by: Xie, Xiaoheng, et al.
Published: (2024)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
by: Li, Zhuohao, et al.
Published: (2025)

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

An Encoding of Interaction Nets in OCaml
by: Huber, Nikolaus, et al.
Published: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
by: Lochmelis, Denis, et al.
Published: (2025)

Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
by: Zhu, Qian, et al.
Published: (2025)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
by: Dacík, Tomáš, et al.
Published: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

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

Reflections on the design, applications and implementations of the normative specification language eFLINT
by: van Binsbergen, L. Thomas, et al.
Published: (2025)

A Trace-based Approach for Code Safety Analysis
by: Xu, Hui
Published: (2025)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
by: Sulzmann, Martin
Published: (2025)