Yanhong A. Liu

is this you? claim profile

0 followers
Stony Brook University

Discrete Math with Programming: A Principled Approach

Discrete mathematics is the foundation of computer science. It focuses o...
11/28/2020 ∙ by Yanhong A. Liu, et al. ∙ 0 ∙ share

read it
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness

This paper presents a general framework and methods for complete program...
08/22/2020 ∙ by Yanhong A. Liu, et al. ∙ 0 ∙ share

read it
LPOP: Challenges and Advances in Logic and Practice of Programming

This article describes the work presented at the first Logic and Practic...
08/15/2020 ∙ by David S. Warren, et al. ∙ 0 ∙ share

read it
Recursive Rules with Aggregation: A Simple Unified Semantics

Complex reasoning problems are most clearly and easily specified using l...
07/26/2020 ∙ by Yanhong A. Liu, et al. ∙ 0 ∙ share

read it
What's Live? Understanding Distributed Consensus

Distributed consensus algorithms such as Paxos have been studied extensi...
01/14/2020 ∙ by Saksham Chand, et al. ∙ 0 ∙ share

read it
Knowledge of Uncertain Worlds: Programming with Logical Constraints

Programming with logic for sophisticated applications must deal with rec...
10/23/2019 ∙ by Yanhong A. Liu, et al. ∙ 0 ∙ share

read it
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees

Given a set of Datalog rules, facts, and a query, answers to the query c...
09/18/2019 ∙ by K. Tuncay Tekle, et al. ∙ 0 ∙ share

read it
Algorithm Diversity for Resilient Systems

Diversity can significantly increase the resilience of systems, by reduc...
04/29/2019 ∙ by Scott D. Stoller, et al. ∙ 0 ∙ share

read it
High-level Cryptographic Abstractions

The interfaces exposed by commonly used cryptographic libraries are clum...
10/22/2018 ∙ by Christopher Kane, et al. ∙ 0 ∙ share

read it
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables

This paper studies specifications and proofs of distributed algorithms w...
02/27/2018 ∙ by Saksham Chand, et al. ∙ 0 ∙ share

read it
Logic Programming Applications: What Are the Abstractions and Implementations?

This article presents an overview of applications of logic programming, ...
02/20/2018 ∙ by Yanhong A. Liu, et al. ∙ 0 ∙ share

read it
AppLP: A Dialogue on Applications of Logic Programming

This document describes the contributions of the 2016 Applications of Lo...
04/07/2017 ∙ by David S. Warren, et al. ∙ 0 ∙ share

read it
Founded Semantics and Constraint Semantics of Logic Rules

This paper describes a simple new semantics for logic rules, founded sem...
06/20/2016 ∙ by Yanhong A. Liu, et al. ∙ 0 ∙ share

read it

Yanhong A. Liu

Featured Co-authors

Scott D. Stoller

Bo Lin

Saksham Chand

David S. Warren

Christopher Kane

K. Tuncay Tekle

Matthew Castelllana

Discrete Math with Programming: A Principled Approach

Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness

LPOP: Challenges and Advances in Logic and Practice of Programming

Recursive Rules with Aggregation: A Simple Unified Semantics

What's Live? Understanding Distributed Consensus

Knowledge of Uncertain Worlds: Programming with Logical Constraints

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees

Algorithm Diversity for Resilient Systems

High-level Cryptographic Abstractions

Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables

Logic Programming Applications: What Are the Abstractions and Implementations?

AppLP: A Dialogue on Applications of Logic Programming

Founded Semantics and Constraint Semantics of Logic Rules