43 citations · 157 across the 25 of their papers we have counts for
3 papers · 1 filter
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…