:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Ma, Ning, Li, Heng
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	https://arxiv.org/abs/2411.15631
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

QMon: Monitoring the Execution of Quantum Circuits with Mid-Circuit Measurement and Reset
por: Ma, Ning, et al.
Publicado: (2025)

Maestro: Intelligent Execution for Quantum Circuit Simulation
por: Bertomeu, Oriol, et al.
Publicado: (2025)

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
por: Pei, Yunrui, et al.
Publicado: (2025)

Isolating Recurring Execution-Dependent Abnormal Patterns on NISQ Quantum Devices
por: Qi, Zhenyu, et al.
Publicado: (2026)

Quantum Circuit Repair by Gate Prioritisation
por: Usandizaga, Eñaut Mendiluze, et al.
Publicado: (2026)

CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging
por: Khan, Mushahid, et al.
Publicado: (2025)

Understanding Web Application Workloads and Their Applications: Systematic Literature Review and Characterization
por: Aghili, Roozbeh, et al.
Publicado: (2024)

Quantum Circuit Mutants: Empirical Analysis and Recommendations
por: Usandizaga, Eñaut Mendiluze, et al.
Publicado: (2023)

SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
por: Döderlein, Jean-Baptiste, et al.
Publicado: (2026)

HyClone: Bridging LLM Understanding and Dynamic Execution for Semantic Code Clone Detection
por: Liang, Yunhao, et al.
Publicado: (2025)

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
por: Guo, Xiaoyu, et al.
Publicado: (2024)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
por: Yang, Fanpeng, et al.
Publicado: (2025)

QCRMut: Quantum Circuit Random Mutant generator tool
por: Gil, Sinhué García, et al.
Publicado: (2024)

Execution-free Program Repair
por: Huang, Li, et al.
Publicado: (2024)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
por: Wang, Wenhan, et al.
Publicado: (2025)

Structural Anchors and Reasoning Fragility:Understanding CoT Robustness in LLM4Code
por: Liu, Yang, et al.
Publicado: (2026)

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

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
por: Zhang, Jingwen, et al.
Publicado: (2026)

LogLSHD: Fast Log Parsing with Locality-Sensitive Hashing and Dynamic Time Warping
por: Huang, Shu-Wei, et al.
Publicado: (2025)

QOPS: A Compiler Framework for Quantum Circuit Simulation Acceleration with Profile Guided Optimizations
por: Wu, Yu-Tsung, et al.
Publicado: (2024)

QMutBench: A Dataset of Quantum Circuit Mutants
por: Usandizaga, Eñaut Mendiluze, et al.
Publicado: (2026)

Characterizing and Benchmarking Dynamic Quantum Circuits
por: Shirgure, Sumeet, et al.
Publicado: (2026)

CodeScore: Evaluating Code Generation by Learning Code Execution
por: Dong, Yihong, et al.
Publicado: (2023)

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

A Cross-Platform Execution Engine for the Quantum Intermediate Representation
por: Wong, Elaine, et al.
Publicado: (2024)

An Empirical Study on Noisy Label Learning for Program Understanding
por: Wang, Wenhan, et al.
Publicado: (2023)

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
por: Gu, Alex, et al.
Publicado: (2024)

How Robustly do LLMs Understand Execution Semantics?
por: Spiess, Claudio, et al.
Publicado: (2026)

Trustworthy Distributed Certification of Program Execution
por: Wolf, Alex, et al.
Publicado: (2024)

Compiling Code LLMs into Lightweight Executables
por: Shi, Jieke, et al.
Publicado: (2026)

Tree-of-Code: A Tree-Structured Exploring Framework for End-to-End Code Generation and Execution in Complex Task Handling
por: Ni, Ziyi, et al.
Publicado: (2024)

Sifting through the Chaff: On Utilizing Execution Feedback for Ranking the Generated Code Candidates
por: Sun, Zhihong, et al.
Publicado: (2024)

SelfPiCo: Self-Guided Partial Code Execution with LLMs
por: Xue, Zhipeng, et al.
Publicado: (2024)

QueenV2: Future of Quantum Circuit Simulation
por: Wang, Chuan-Chi
Publicado: (2024)

SWE-Hub: A Unified Production System for Scalable, Executable Software Engineering Tasks
por: Zeng, Yucheng, et al.
Publicado: (2026)

Mokav: Execution-driven Differential Testing with LLMs
por: Etemadi, Khashayar, et al.
Publicado: (2024)

Scaling Symbolic Execution to Large Software Systems
por: Horvath, Gabor, et al.
Publicado: (2024)

FIKA: Expanding Dependency Reachability with Executability Guarantees
por: Gamage, Yogya, et al.
Publicado: (2026)

Simple Fault Localization using Execution Traces
por: Prenner, Julian Aron, et al.
Publicado: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
por: Wang, Lianjing, et al.
Publicado: (2026)