
Discrete Math with Programming: A Principled Approach
Discrete mathematics is the foundation of computer science. It focuses o...
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...
read it

LPOP: Challenges and Advances in Logic and Practice of Programming
This article describes the work presented at the first Logic and Practic...
read it

Recursive Rules with Aggregation: A Simple Unified Semantics
Complex reasoning problems are most clearly and easily specified using l...
read it

What's Live? Understanding Distributed Consensus
Distributed consensus algorithms such as Paxos have been studied extensi...
read it

Knowledge of Uncertain Worlds: Programming with Logical Constraints
Programming with logic for sophisticated applications must deal with rec...
read it

Extended Magic for Negation: Efficient DemandDriven Evaluation of Stratified Datalog with Precise Complexity Guarantees
Given a set of Datalog rules, facts, and a query, answers to the query c...
read it

Algorithm Diversity for Resilient Systems
Diversity can significantly increase the resilience of systems, by reduc...
read it

Highlevel Cryptographic Abstractions
The interfaces exposed by commonly used cryptographic libraries are clum...
read it

Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables
This paper studies specifications and proofs of distributed algorithms w...
read it

Logic Programming Applications: What Are the Abstractions and Implementations?
This article presents an overview of applications of logic programming, ...
read it

AppLP: A Dialogue on Applications of Logic Programming
This document describes the contributions of the 2016 Applications of Lo...
read it

Founded Semantics and Constraint Semantics of Logic Rules
This paper describes a simple new semantics for logic rules, founded sem...
read it
Yanhong A. Liu
is this you? claim profile