2 citations · 3 across the 4 of their papers we have counts for
4 papers
Resilience through Automated Adaptive Configuration for Distribution and Replication
Scott D. Stoller, Balaji Jayasankar, Yanhong A. Liu
This paper presents a powerful automated framework for making complex systems resilient under failures, by optimized adaptive distribution and replication of interdependent softwar…
Benchmarking for Integrating Logic Rules with Everything Else
Yanhong A. Liu, Scott D. Stoller, Yi Tong +1
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increa…
Integrating Logic Rules with Everything Else, Seamlessly
Yanhong A. Liu, Scott D. Stoller, Yi Tong +1
This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predica…
Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services
Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu
Reliable distributed systems require replication and consensus among distributed processes to tolerate process and communication failures. Understanding and assuring the correctnes…