:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Döderlein, Jean-Baptiste, van Rozen, Riemer, van der Storm, Tijs
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2403.02161
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PolyDebug: A Framework for Polyglot Debugging
by: Houdaille, Philémon, et al.
Published: (2025)

Schema Evolution in Interactive Programming Systems
by: Edwards, Jonathan, et al.
Published: (2024)

Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
by: Döderlein, Jean-Baptiste, et al.
Published: (2022)

ProDebug: An Automated Debugging System for Prolog
by: Brancas, Ricardo, et al.
Published: (2026)

ChatDBG: Augmenting Debugging with Large Language Models
by: Levin, Kyla H., et al.
Published: (2024)

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

WDD: Weighted Delta Debugging
by: Zhou, Xintong, et al.
Published: (2024)

Hear Your Code Fail, Voice-Assisted Debugging for Python
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

Causal-Consistent Reversible Debugging: Improving CauDEr
by: González-Abril, Juan José, et al.
Published: (2024)

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
by: Steevens, Maarten, et al.
Published: (2026)

Metamorphic Debugging for Accountable Software
by: Tizpaz-Niari, Saeid, et al.
Published: (2024)

Visualizing the Evaluation of Functional Programs for Debugging
by: Whitington, John, et al.
Published: (2024)

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
by: Jongmans, Sung-Shik
Published: (2024)

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

Accurate Residues for Floating-Point Debugging
by: He, Yumeng, et al.
Published: (2026)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
by: Stinnett, J. Ryan, et al.
Published: (2024)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
by: van der Wall, Sören, et al.
Published: (2024)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
by: Karmios, Nat, et al.
Published: (2026)

debug-gym: A Text-Based Environment for Interactive Debugging
by: Yuan, Xingdi, et al.
Published: (2025)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
by: Allred, Taylor, et al.
Published: (2024)

Debugging code world models
by: Rahmani, Babak
Published: (2026)

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
by: Shi, Yuling, et al.
Published: (2024)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
by: Lauwaerts, Tom, et al.
Published: (2025)

What's Mine becomes Yours: Defining, Annotating and Detecting Context-Dependent Paraphrases in News Interview Dialogs
by: Wegmann, Anna, et al.
Published: (2024)

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

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

Decompiling for Constant-Time Analysis
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

Spreadsheet Debugging
by: Ayalew, Yirsaw, et al.
Published: (2008)

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
by: Gross, Jason, et al.
Published: (2023)

Formally verified asymptotic consensus in robust networks
by: Tekriwal, Mohit, et al.
Published: (2022)

Asynchronous Global Protocols, Precisely: Full Proofs
by: Pischke, Kai, et al.
Published: (2025)

Functional Reasoning for Distributed Systems with Failures
by: Ni, Haobin, et al.
Published: (2025)

Incremental Live Programming via Shortcut Memoization
by: Kirisame, Marisa, et al.
Published: (2026)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
by: Rein, Patrick, et al.
Published: (2024)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
by: Hou, Ping, et al.
Published: (2024)

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog
by: Norris, David C., et al.
Published: (2024)

From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
by: Tao, Yichen, et al.
Published: (2026)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)

Verified Parameterized Choreographies Technical Report
by: Rubbens, Robert, et al.
Published: (2025)