Boomslang introduces a front-end/back-end pipeline with superpositions in its IR to enable general-purpose checking of arbitrary transaction isolation levels via SMT solving.
Elle: Inferring isolation anomalies from experimental observations.ArXiv abs/2003.10554(2020)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Lemonshark enables early finality for transactions in asynchronous DAG-BFT by identifying conditions where commitment is sufficient but not necessary for safe results, cutting latency by up to 65%.
citing papers explorer
-
Making TransactionIsolation Checking Practical
Boomslang introduces a front-end/back-end pipeline with superpositions in its IR to enable general-purpose checking of arbitrary transaction isolation levels via SMT solving.
-
Lemonshark: Asynchronous DAG-BFT With Early Finality
Lemonshark enables early finality for transactions in asynchronous DAG-BFT by identifying conditions where commitment is sufficient but not necessary for safe results, cutting latency by up to 65%.