DDB extends interactive source-level debugging to distributed applications via cross-RPC backtrace reconstruction, intent-preserving breakpoint propagation, and pause-erased time virtualization, achieving 100% fault localization in a user study vs. 38.5% for baseline tools.
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software , pages =
11 Pith papers cite this work. Polarity classification is still indexing.
11
Pith papers citing it
citation-role summary
background 3
citation-polarity summary
roles
background 2polarities
background 2representative citing papers
Grite is a decentralized git-embedded event log for multi-agent coding coordination that eliminates duplicate work, ensures log convergence, and enables mining of pre-PR failure modes.
BioDefect is a new dataset for defect detection in bioinformatics software that improves average F1-scores by 29.61% to 38.04% over existing datasets when evaluated on nine language models.
Novel compositional theory and software support enable modular design, verification, and reuse of swarm protocols for distributed agent systems.
The paper delivers a taxonomy of seven LLM study types in software engineering along with eight guidelines that separate mandatory requirements from recommended practices to address reproducibility challenges.
A semantic conflict model enables explicit local-first resolution in collaborative data structures by using operation dependencies and three-way merges on a replicated journal, demonstrated on registers including Last-Writer-Wins.
ERA adds asynchronous epoch-based arbitration to CRDTs to resolve duelling admins by imposing bounded total order within epochs while keeping availability.
ProjectMem implements a local event-sourced memory and judgment layer for AI coding agents that logs typed events, projects them to MCP summaries, and applies deterministic pre-action gates to avoid known failures.
Neuro-symbolic pipeline using formal logic and semantic embeddings detects hallucinations in LLM medical reports at 83%+ for entities and 72% for fabrications while cutting creation time 30%.
StarCoderBase matches or beats OpenAI's code-cushman-001 on multi-language code benchmarks; the Python-fine-tuned StarCoder reaches 40% pass@1 on HumanEval while retaining other-language performance.
StateFuse is a conflict-preserving agent memory contract built on standard CRDT merge that surfaces contradictions explicitly and enables semantic correction handles, without improving accuracy over flat multi-value baselines.
citing papers explorer
-
DDB: Source-Level Interactive Debugging for Distributed Applications
DDB extends interactive source-level debugging to distributed applications via cross-RPC backtrace reconstruction, intent-preserving breakpoint propagation, and pause-erased time virtualization, achieving 100% fault localization in a user study vs. 38.5% for baseline tools.
-
Before the Pull Request: Mining Multi-Agent Coordination
Grite is a decentralized git-embedded event log for multi-agent coding coordination that eliminates duplicate work, ensures log convergence, and enables mining of pre-PR failure modes.
-
BioDefect: The First Dataset for Defect Detection in Bioinformatics Software
BioDefect is a new dataset for defect detection in bioinformatics software that improves average F1-scores by 29.61% to 38.04% over existing datasets when evaluated on nine language models.
-
Compositional Design, Implementation, and Verification of Swarms (Technical Report)
Novel compositional theory and software support enable modular design, verification, and reuse of swarm protocols for distributed agent systems.
-
Guidelines for Empirical Studies in Software Engineering involving Large Language Models
The paper delivers a taxonomy of seven LLM study types in software engineering along with eight guidelines that separate mandatory requirements from recommended practices to address reproducibility challenges.
-
Semantic Conflict Model for Collaborative Data Structures
A semantic conflict model enables explicit local-first resolution in collaborative data structures by using operation dependencies and three-way merges on a replicated journal, demonstrated on registers including Last-Writer-Wins.
-
ERA: Epoch-Resolved Arbitration for Duelling Admins in Group Management CRDTs
ERA adds asynchronous epoch-based arbitration to CRDTs to resolve duelling admins by imposing bounded total order within epochs while keeping availability.
-
PROJECTMEM: A Local-First, Event-Sourced Memory and Judgment Layer for AI Coding Agents
ProjectMem implements a local event-sourced memory and judgment layer for AI coding agents that logs typed events, projects them to MCP summaries, and applies deterministic pre-action gates to avoid known failures.
-
Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
Neuro-symbolic pipeline using formal logic and semantic embeddings detects hallucinations in LLM medical reports at 83%+ for entities and 72% for fabrications while cutting creation time 30%.
-
StarCoder: may the source be with you!
StarCoderBase matches or beats OpenAI's code-cushman-001 on multi-language code benchmarks; the Python-fine-tuned StarCoder reaches 40% pass@1 on HumanEval while retaining other-language performance.
-
StateFuse: Deterministic Conflict-Preserving Memory for Multi-Agent Systems
StateFuse is a conflict-preserving agent memory contract built on standard CRDT merge that surfaces contradictions explicitly and enables semantic correction handles, without improving accuracy over flat multi-value baselines.