Hampa: Solver-Aided Recency-Aware Replication.

Xiao Li, Farzin Houshmand, Mohsen Lesani

Browse the full CAV paper archive.