Author

Guido Salvaneschi

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Oct 2026

Composing CRDTs Convergent by Construction

Conflict-Free Replicated Data Types (CRDTs) are abstract data types that ensure eventual convergence among data replicas in distributed systems. As they provide convergence out-of-the-box, CRDTs have become key building blocks for highly available, collaborative, and offline-capable systems, powering applications from...

Alexander Städing Dominguez, George Zakhour, P. Weisenburger et al. · Proceedings of the ACM on Pr... · 0 citations

#artificial intelligence Preprint Oct 2026

AgentSpy: Making AI Agent Behavior Observable

AI agents built on large language models (LLMs) run shell commands, read and write files, and reach the network, typically with their user's privileges. However, what an agent does during an execution is difficult to understand: tests assert on the result, and the agent's trajectory records only what the agent reports...

C. Bühler, Matteo Biagiola, Luca Di Grazia et al. · 0 citations