Imagen de Portada

Visualizing the Evaluation of Functional Programs for Debugging

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Whitington, John, Ridge, Tom
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages D.2.5
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Debugging Functional Programs by Interpretation
por: Whitington, John
Publicado: (2024)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
por: Li, Shiyang, et al.
Publicado: (2026)

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
por: Nougrahiya, Aman, et al.
Publicado: (2021)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
por: Geeson, Luke, et al.
Publicado: (2024)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
por: Tjoa, Ryan, et al.
Publicado: (2025)

Spreadsheet Debugging
por: Ayalew, Yirsaw, et al.
Publicado: (2008)

Dynamic Race Detection With O(1) Samples
por: Thokair, Mosaad Al, et al.
Publicado: (2025)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
por: Wienczkowski, Michael
Publicado: (2026)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
por: Bagnara, Roberto, et al.
Publicado: (2016)

AWDIT: An Optimal Weak Database Isolation Tester
por: Møldrup, Lasse, et al.
Publicado: (2025)

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
por: Bhusal, Bishnu, et al.
Publicado: (2025)

LLM Translation of Compiler Intermediate Representation
por: Ramirez, Andrea Valenzuela, et al.
Publicado: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
por: Bruzzone, Federico, et al.
Publicado: (2025)

The Future of AI-Driven Software Engineering
por: Terragni, Valerio, et al.
Publicado: (2024)

Dual-Process Scaffold Reasoning for Enhancing LLM Code Debugging
por: Hsieh, Po-Chung, et al.
Publicado: (2025)

The LLMbda Calculus: AI Agents, Conversations, and Information Flow
por: Garby, Zac, et al.
Publicado: (2026)

CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
por: Jana, Prithwish, et al.
Publicado: (2023)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
por: Guo, Dongxin, et al.
Publicado: (2026)

CoverUp: Effective High Coverage Test Generation for Python
por: Pizzorno, Juan Altmayer, et al.
Publicado: (2024)

From Program Slices to Causal Clarity: Evaluating Faithful, Actionable LLM-Generated Failure Explanations via Context Partitioning and LLM-as-a-Judge
por: Porbeck, Julius, et al.
Publicado: (2026)

Mining Bug Repositories for Multi-Fault Programs
por: Callaghan, Dylan, et al.
Publicado: (2024)

Combined Program Analysis Techniques: A Systematic Mapping Study
por: Braione, Pietro, et al.
Publicado: (2026)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
por: Dinu, Ion George, et al.
Publicado: (2026)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
por: Vieira, João Victor Amorim, et al.
Publicado: (2025)

Automated Test Generation from Program Documentation Encoded in Code Comments
por: Denaro, Giovanni, et al.
Publicado: (2025)

CIFE: Code Instruction-Following Evaluation
por: Gunnu, Sravani, et al.
Publicado: (2025)

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
por: Paltenghi, Matteo, et al.
Publicado: (2023)

Weak Memory Demands Model-based Compiler Testing
por: Geeson, Luke
Publicado: (2024)

Compiler Testing With Relaxed Memory Models
por: Geeson, Luke, et al.
Publicado: (2023)

Completing the Functional Approach in Object-Oriented Languages
por: Pluemicke, Martin
Publicado: (2024)

Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
por: Yang, Jun, et al.
Publicado: (2025)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
por: Ashouri, Amir H., et al.
Publicado: (2026)

Replayable Financial Agents: A Determinism-Faithfulness Assurance Harness for Tool-Using LLM Agents
por: Khatchadourian, Raffi
Publicado: (2026)

ACPO: AI-Enabled Compiler Framework
por: Ashouri, Amir H., et al.
Publicado: (2023)

Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate
por: Wu, Jiaqing, et al.
Publicado: (2026)

Enhancing Differential Testing With LLMs For Testing Deep Learning Libraries
por: Li, Meiziniu, et al.
Publicado: (2024)

Demystifying the Silence of Correctness Bugs in PyTorch Compiler
por: Li, Meiziniu, et al.
Publicado: (2026)

COMET: Coverage-guided Model Generation For Deep Learning Library Testing
por: Li, Meiziniu, et al.
Publicado: (2022)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
por: Guo, Jinyao, et al.
Publicado: (2025)

RealVuln: Benchmarking Rule-Based, General-Purpose LLM, and Security-Specialized Scanners on Real-World Code
por: Pellew, John, et al.
Publicado: (2026)