28 citations · 49 across the 5 of their papers we have counts for
5 papers
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…
Programming with rules and everything else, seamlessly
Yanhong A. Liu, Scott D. Stoller, Yi Tong +2
Logic rules are powerful for expressing complex reasoning and analysis problems. At the same time, they are inconvenient or impossible to use for many other aspects of applications…
High-level Cryptographic Abstractions
Christopher Kane, Bo Lin, Saksham Chand +2
The interfaces exposed by commonly used cryptographic libraries are clumsy, complicated, and assume an understanding of cryptographic algorithms. The challenge is to design high-le…
Demand-Driven Incremental Object Queries
Yanhong A. Liu, Jon Brandvein, Scott D. Stoller +1
Object queries are essential in information seeking and decision making in vast areas of applications. However, a query may involve complex conditions on objects and sets, which ca…
From Clarity to Efficiency for Distributed Algorithms
Yanhong A. Liu, Scott D. Stoller, Bo Lin
This article describes a very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient implementations. The language…