3 papers
cs.AR2026
täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
Pranav Srinivasan, Manos Kapritsos, Yatin A. Manerkar
Accelerators provide large performance and energy-efficiency benefits, but can significantly change the hardware-software interface. The täkō programmable memory hierarchy accelera…
cs.CR2025
Recipe: Hardware-Accelerated Replication Protocols
Dimitra Giantsidi, Emmanouil Giortamis, Julian Pritzi +3
Replication protocols are essential for distributed systems, ensuring consistency, reliability, and fault tolerance. Traditional Crash Fault Tolerant (CFT) protocols, which assume…
cs.DC2020
On the Significance of Consecutive Ballots in Paxos
Eli Goldweber, Nuda Zhang, Manos Kapritsos
In this paper we examine the Paxos protocol and demonstrate how the discrete numbering of ballots can be leveraged to weaken the conditions for learning. Specifically, we define th…