43 citations · 157 across the 25 of their papers we have counts for
5 papers · 1 filter
Discrete Math with Programming: A Principled Approach
Yanhong A. Liu, Matthew Castelllana
Discrete mathematics is the foundation of computer science. It focuses on concepts and reasoning methods that are studied using math notations. It has long been argued that discret…
LPOP: Challenges and Advances in Logic and Practice of Programming
David S. Warren, Yanhong A. Liu
This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Fe…
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
Yanhong A. Liu, Scott D. Stoller
This paper presents a general framework and methods for complete programming and checking of distributed algorithms at a high-level, as in pseudocode languages, but precisely speci…
Recursive Rules with Aggregation: A Simple Unified Semantics
Yanhong A. Liu, Scott D. Stoller
Complex reasoning problems are most clearly and easily specified using logical rules, but require recursive rules with aggregation such as count and sum for practical applications.…
What's Live? Understanding Distributed Consensus
Saksham Chand, Yanhong A Liu
Distributed consensus algorithms such as Paxos have been studied extensively. They all use the same definition of safety. Liveness is especially important in practice despite well-…