Semantic Conflict Model for Collaborative Data Structures
• Introduces a new conflict model for collaborative data structures enabling explicit local-first resolution. • Uses semantic dependencies between operations to detect conflicts in
Distributedsystems
The Category Mistake of Cislunar Time: Why NASA Cannot Synchronize What Doesn't Exist
• NASA’s 2026 cislunar time goal relies on deploying lunar atomic clocks and LunaNet for universal synchronization. • The paper argues this effort commits a category mistake, treat
Distributed Order Recording Techniques for Efficient Record-and-Replay of Multi-threaded Programs
• OpenMP remains dominant but its non‑determinism hampers debugging and testing. • Record‑and‑replay is essential for deterministic debugging in today’s parallel programs. • Introd