| Publication | Date of Publication | Type |
|---|
Brief Announcement: What's Live? Understanding Distributed Consensus
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
Recursive rules with aggregation: a simple unified semantics
Journal Of Logic And Computation | 2023-01-04 | Paper |
Recursive rules with aggregation: a simple unified semantics
(available as arXiv preprint) | 2022-07-01 | Paper |
Knowledge of uncertain worlds: programming with logical constraints
Journal Of Logic And Computation | 2022-02-08 | Paper |
| scientific article; zbMATH DE number 7455720 (Why is no real title available?) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7453118 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453118 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
Founded semantics and constraint semantics of logic rules
Journal Of Logic And Computation | 2020-12-15 | Paper |
Knowledge of uncertain worlds: programming with logical constraints
(available as arXiv preprint) | 2020-05-06 | Paper |
Formal verification of Multi-Paxos for distributed consensus
(available as arXiv preprint) | 2020-01-03 | Paper |
Automatic accurate cost-bound analysis for high-level languages
IEEE Transactions on Computers | 2018-07-09 | Paper |
Founded semantics and constraint semantics of logic rules
(available as arXiv preprint) | 2018-04-06 | Paper |
Precise complexity guarantees for pointer analysis via Datalog with extensions
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Iterate, incrementalize, and implement: a systematic approach to efficiency improvement and guarantees
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Generating Specialized Rules and Programs for Demand-Driven Analysis
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
| scientific article; zbMATH DE number 2090027 (Why is no real title available?) | 2004-08-12 | Paper |
Dynamic programming via static incrementalization
Higher-Order and Symbolic Computation | 2003-08-21 | Paper |
Eliminating dead code on recursive data.
Science of Computer Programming | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1953023 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1832226 (Why is no real title available?) | 2002-11-19 | Paper |
Strengthening invariants for efficient computation
Science of Computer Programming | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1744966 (Why is no real title available?) | 2002-05-23 | Paper |
| scientific article; zbMATH DE number 1670782 (Why is no real title available?) | 2001-11-11 | Paper |
Efficiency by incrmentalization: An introduction
Higher-Order and Symbolic Computation | 2001-11-06 | Paper |
Systematic derivation of incremental programs
Science of Computer Programming | 1995-06-08 | Paper |
