2 papers
cs.DC2026
A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version)
Ziwei Zhou, Si Liu, Zhou Zhou +2
Today's distributed systems operate in complex environments that inevitably involve faults and even adversarial behaviors. Predicting their performance under such environments dire…
cs.PL2025
Quantitative Verification of Omega-regular Properties in Probabilistic Programming
Peixin Wang, Jianhao Bai, Min Zhang +1
Probabilistic programming provides a high-level framework for specifying statistical models as executable programs with built-in randomness and conditioning. Existing inference tec…