AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics
Summary: AutoGR automates geo-replication for non-replicated serializable apps, delivering low latency and high throughput with preserved semantics. Rigi infers invariants and path conditions; Z3 detects conflicting side effects to drive auto-deployment across sites. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Jiawei Wang
- 2. Cheng Li
- 3. Kai Ma
- 4. Jingze Huo
- 5. Feng Yan
- 6. Xinyu Feng
- 7. Yinlong Xu
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,979 | Event Horizon: Asymmetric Dependencies for Fast Geo-Distributed Operations | 2026 | CIDR | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,028 | Coordination Avoidance in Database Systems | 2015 | VLDB | 0.00014584518 |
| 2,723 | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis | 2015 | SIGMOD | 8.2306728e-05 |
| 6,238 | IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases | 2019 | VLDB | 5.14228e-05 |
Previous
Page 1 / 1
Next