TY  - RPRT
TI  - System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version)
AU  - Yichen Xu
AU  - Oliver Bračevac
AU  - Cao Nguyen Pham
AU  - Yaoyu Zhao
AU  - Martin Odersky
PY  - 2026
UR  - https://arxiv.org/abs/2607.09383
ID  - 2607.09383
ER  -