
-
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 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...
read it
-
Algorithm Diversity for Resilient Systems
Diversity can significantly increase the resilience of systems, by reduc...
read it
-
High-level 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