research
∙
08/30/2023
Benchmarking for Integrating Logic Rules with Everything Else
Integrating logic rules with other language features is increasingly sou...
share
research
∙
05/30/2023
Integrating Logic Rules with Everything Else, Seamlessly
This paper presents a language, Alda, that supports all of logic rules, ...
research
∙
05/19/2023
Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services
Reliable distributed systems require replication and consensus among dis...
research
∙
11/17/2022
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
This proceedings contains abstracts and position papers for the work pre...
research
∙
05/30/2022
Programming with rules and everything else, seamlessly
Logic rules are powerful for expressing complex reasoning and analysis p...
research
∙
11/28/2020
Discrete Math with Programming: A Principled Approach
Discrete mathematics is the foundation of computer science. It focuses o...
research
∙
08/22/2020
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
This paper presents a general framework and methods for complete program...
research
∙
08/15/2020
LPOP: Challenges and Advances in Logic and Practice of Programming
This article describes the work presented at the first Logic and Practic...
research
∙
07/26/2020
Recursive Rules with Aggregation: A Simple Unified Semantics
Complex reasoning problems are most clearly and easily specified using l...
research
∙
01/14/2020
What's Live? Understanding Distributed Consensus
Distributed consensus algorithms such as Paxos have been studied extensi...
research
∙
10/23/2019
Knowledge of Uncertain Worlds: Programming with Logical Constraints
Programming with logic for sophisticated applications must deal with rec...
research
∙
09/18/2019
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...
research
∙
04/29/2019
Algorithm Diversity for Resilient Systems
Diversity can significantly increase the resilience of systems, by reduc...
research
∙
10/22/2018
High-level Cryptographic Abstractions
The interfaces exposed by commonly used cryptographic libraries are clum...
research
∙
02/27/2018
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables
This paper studies specifications and proofs of distributed algorithms w...
research
∙
02/20/2018
Logic Programming Applications: What Are the Abstractions and Implementations?
This article presents an overview of applications of logic programming, ...
research
∙
04/07/2017
AppLP: A Dialogue on Applications of Logic Programming
This document describes the contributions of the 2016 Applications of Lo...
research
∙
06/20/2016