Buchumschlag

Causal-Consistent Reversible Debugging: Improving CauDEr

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	González-Abril, Juan José, Vidal, Germán
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Reversible Semantics for Janus
von: Lanese, Ivan, et al.
Veröffentlicht: (2026)

PolyDebug: A Framework for Polyglot Debugging
von: Houdaille, Philémon, et al.
Veröffentlicht: (2025)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
von: Vidal, Germán
Veröffentlicht: (2023)

ProDebug: An Automated Debugging System for Prolog
von: Brancas, Ricardo, et al.
Veröffentlicht: (2026)

Debugging Functional Programs by Interpretation
von: Whitington, John
Veröffentlicht: (2024)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

A Distribution Semantics for Probabilistic Term Rewriting
von: Vidal, Germán
Veröffentlicht: (2024)

WDD: Weighted Delta Debugging
von: Zhou, Xintong, et al.
Veröffentlicht: (2024)

LiveRec: Prototyping Probes by Framing Debug Protocols
von: Döderlein, Jean-Baptiste, et al.
Veröffentlicht: (2024)

Hear Your Code Fail, Voice-Assisted Debugging for Python
von: Amiri, Sayed Mahbub Hasan, et al.
Veröffentlicht: (2025)

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
von: Steevens, Maarten, et al.
Veröffentlicht: (2026)

Visualizing the Evaluation of Functional Programs for Debugging
von: Whitington, John, et al.
Veröffentlicht: (2024)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
von: Karmios, Nat, et al.
Veröffentlicht: (2026)

Metamorphic Debugging for Accountable Software
von: Tizpaz-Niari, Saeid, et al.
Veröffentlicht: (2024)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
von: Stinnett, J. Ryan, et al.
Veröffentlicht: (2024)

CauScientist: Teaching LLMs to Respect Data for Causal Discovery
von: Peng, Bo, et al.
Veröffentlicht: (2026)

Accurate Residues for Floating-Point Debugging
von: He, Yumeng, et al.
Veröffentlicht: (2026)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
von: Allred, Taylor, et al.
Veröffentlicht: (2024)

debug-gym: A Text-Based Environment for Interactive Debugging
von: Yuan, Xingdi, et al.
Veröffentlicht: (2025)

CauESC: A Causal Aware Model for Emotional Support Conversation
von: Chen, Wei, et al.
Veröffentlicht: (2024)

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

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
von: Shi, Yuling, et al.
Veröffentlicht: (2024)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
von: Lahav, Ori, et al.
Veröffentlicht: (2023)

Debugging code world models
von: Rahmani, Babak
Veröffentlicht: (2026)

ChatDBG: Augmenting Debugging with Large Language Models
von: Levin, Kyla H., et al.
Veröffentlicht: (2024)

Parallel Dual-Numbers Reverse AD
von: Smeding, Tom, et al.
Veröffentlicht: (2022)

Programming Backpropagation with Reverse Handlers for Arrows
von: Sanada, Takahiro, et al.
Veröffentlicht: (2026)

Consistent Updates for Scalable Microservices
von: Chait-Roth, Devora, et al.
Veröffentlicht: (2025)

Causality and Semantic Separation
von: Zhang, Anna, et al.
Veröffentlicht: (2026)

Checking Consistency of Event-driven Traces
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2025)

Dual-Numbers Reverse AD for Functional Array Languages
von: Smeding, Tom, et al.
Veröffentlicht: (2025)

Verifying Sequential Consistency under Bounded Preemptions
von: Govind, R., et al.
Veröffentlicht: (2026)

Consistent Distributed Reactive Programming with Retroactive Computation
von: Kamina, Tetsuo, et al.
Veröffentlicht: (2025)

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
von: Han, Vernon Toh Yan, et al.
Veröffentlicht: (2023)

Reversible Lifetime Semantics for Quantum Programs
von: Faro, Simone, et al.
Veröffentlicht: (2026)

Spreadsheet Debugging
von: Ayalew, Yirsaw, et al.
Veröffentlicht: (2008)

Reversible Computation with Stacks and "Reversible Management of Failures"
von: Palazzo, Matteo, et al.
Veröffentlicht: (2025)

Memory Consistency and Program Transformations
von: Gopalakrishnan, Akshay, et al.
Veröffentlicht: (2024)

Cyclic Proofs in Hoare Logic and its Reverse
von: Brotherston, James, et al.
Veröffentlicht: (2025)

revTPL: The Reversible Temporal Process Language
von: Bocchi, Laura, et al.
Veröffentlicht: (2022)