43 citations · 157 across the 25 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 7 cited
Knowledge of Uncertain Worlds: Programming with Logical Constraints
Yanhong A. Liu, Scott D. Stoller
Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different,…
cs.LO2019★ 3 cited
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
K. Tuncay Tekle, Yanhong A. Liu
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting from the facts or top-down starting from the query. For efficiency, top-do…
cs.CR2019★ 1 cited
Algorithm Diversity for Resilient Systems
Scott D. Stoller, Yanhong A. Liu
Diversity can significantly increase the resilience of systems, by reducing the prevalence of shared vulnerabilities and making vulnerabilities harder to exploit. Work on software…