1 citations · 2 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Provenance Guided Rollback Suggestions
David Zhao, Pavle Subotic, Mukund Raghothaman +1
Advances in incremental Datalog evaluation strategies have made Datalog popular among use cases with constantly evolving inputs such as static analysis in continuous integration an…
cs.LO2024
Reusable Formal Verification of DAG-based Consensus Protocols
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin +2
Blockchains use consensus protocols to reach agreement, e.g., on the ordering of transactions. DAG-based consensus protocols are increasingly adopted by blockchain companies to red…