Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels Article Swipe
Si Liu
,
Long Gu
,
Hengfeng Wei
,
David Basin
·
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.1145/3689742
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.1145/3689742
Modern databases embrace weak isolation levels to cater for highly available transactions. However, weak isolation bugs have recently manifested in many production databases. This raises the concern of whether database implementations actually deliver their promised isolation guarantees in practice. In this paper we present Plume, the first efficient, complete, black-box checker for weak isolation levels. Plume builds on modular, fine-grained, transactional anomalous patterns, with which we establish sound and complete characterizations of representative weak isolation levels, including read committed, read atomicity, and transactional causal consistency. Plume leverages a novel combination of two techniques, vectors and tree clocks, to accelerate isolation checking. Our extensive assessment shows that Plume can reproduce all known violations in a large collection of anomalous database execution histories, detect new isolation bugs in three production databases along with informative counterexamples, find more weak isolation anomalies than the state-of-the-art checkers, and efficiently validate isolation guarantees under a wide variety of workloads.
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1145/3689742
- OA Status
- diamond
- Cited By
- 7
- References
- 26
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4403223306
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4403223306Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1145/3689742Digital Object Identifier
- Title
-
Plume: Efficient and Complete Black-Box Checking of Weak Isolation LevelsWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2024Year of publication
- Publication date
-
2024-10-08Full publication date if available
- Authors
-
Si Liu, Long Gu, Hengfeng Wei, David BasinList of authors in order
- Landing page
-
https://doi.org/10.1145/3689742Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
diamondOpen access status per OpenAlex
- OA URL
-
https://doi.org/10.1145/3689742Direct OA link when available
- Concepts
-
Plume, Isolation (microbiology), Black box, Environmental science, Mathematics, Meteorology, Computer science, Physics, Biology, Artificial intelligence, MicrobiologyTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
7Total citation count in OpenAlex
- Citations by year (recent)
-
2025: 7Per-year citation counts (last 5 years)
- References (count)
-
26Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4403223306 |
|---|---|
| doi | https://doi.org/10.1145/3689742 |
| ids.doi | https://doi.org/10.1145/3689742 |
| ids.openalex | https://openalex.org/W4403223306 |
| fwci | 5.85806271 |
| type | article |
| title | Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels |
| biblio.issue | OOPSLA2 |
| biblio.volume | 8 |
| biblio.last_page | 904 |
| biblio.first_page | 876 |
| topics[0].id | https://openalex.org/T10772 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9995999932289124 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1705 |
| topics[0].subfield.display_name | Computer Networks and Communications |
| topics[0].display_name | Distributed systems and fault tolerance |
| topics[1].id | https://openalex.org/T10054 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9988999962806702 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1708 |
| topics[1].subfield.display_name | Hardware and Architecture |
| topics[1].display_name | Parallel Computing and Optimization Techniques |
| topics[2].id | https://openalex.org/T11005 |
| topics[2].field.id | https://openalex.org/fields/22 |
| topics[2].field.display_name | Engineering |
| topics[2].score | 0.9980000257492065 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/2208 |
| topics[2].subfield.display_name | Electrical and Electronic Engineering |
| topics[2].display_name | Radiation Effects in Electronics |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C2775840915 |
| concepts[0].level | 2 |
| concepts[0].score | 0.7247804403305054 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q3817528 |
| concepts[0].display_name | Plume |
| concepts[1].id | https://openalex.org/C2775941552 |
| concepts[1].level | 2 |
| concepts[1].score | 0.6503840088844299 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q25212305 |
| concepts[1].display_name | Isolation (microbiology) |
| concepts[2].id | https://openalex.org/C94966114 |
| concepts[2].level | 2 |
| concepts[2].score | 0.5411258935928345 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q29256 |
| concepts[2].display_name | Black box |
| concepts[3].id | https://openalex.org/C39432304 |
| concepts[3].level | 0 |
| concepts[3].score | 0.41500696539878845 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q188847 |
| concepts[3].display_name | Environmental science |
| concepts[4].id | https://openalex.org/C33923547 |
| concepts[4].level | 0 |
| concepts[4].score | 0.343364953994751 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[4].display_name | Mathematics |
| concepts[5].id | https://openalex.org/C153294291 |
| concepts[5].level | 1 |
| concepts[5].score | 0.31789880990982056 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q25261 |
| concepts[5].display_name | Meteorology |
| concepts[6].id | https://openalex.org/C41008148 |
| concepts[6].level | 0 |
| concepts[6].score | 0.2934831976890564 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[6].display_name | Computer science |
| concepts[7].id | https://openalex.org/C121332964 |
| concepts[7].level | 0 |
| concepts[7].score | 0.27747222781181335 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q413 |
| concepts[7].display_name | Physics |
| concepts[8].id | https://openalex.org/C86803240 |
| concepts[8].level | 0 |
| concepts[8].score | 0.11947867274284363 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q420 |
| concepts[8].display_name | Biology |
| concepts[9].id | https://openalex.org/C154945302 |
| concepts[9].level | 1 |
| concepts[9].score | 0.0908403992652893 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[9].display_name | Artificial intelligence |
| concepts[10].id | https://openalex.org/C89423630 |
| concepts[10].level | 1 |
| concepts[10].score | 0.0 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q7193 |
| concepts[10].display_name | Microbiology |
| keywords[0].id | https://openalex.org/keywords/plume |
| keywords[0].score | 0.7247804403305054 |
| keywords[0].display_name | Plume |
| keywords[1].id | https://openalex.org/keywords/isolation |
| keywords[1].score | 0.6503840088844299 |
| keywords[1].display_name | Isolation (microbiology) |
| keywords[2].id | https://openalex.org/keywords/black-box |
| keywords[2].score | 0.5411258935928345 |
| keywords[2].display_name | Black box |
| keywords[3].id | https://openalex.org/keywords/environmental-science |
| keywords[3].score | 0.41500696539878845 |
| keywords[3].display_name | Environmental science |
| keywords[4].id | https://openalex.org/keywords/mathematics |
| keywords[4].score | 0.343364953994751 |
| keywords[4].display_name | Mathematics |
| keywords[5].id | https://openalex.org/keywords/meteorology |
| keywords[5].score | 0.31789880990982056 |
| keywords[5].display_name | Meteorology |
| keywords[6].id | https://openalex.org/keywords/computer-science |
| keywords[6].score | 0.2934831976890564 |
| keywords[6].display_name | Computer science |
| keywords[7].id | https://openalex.org/keywords/physics |
| keywords[7].score | 0.27747222781181335 |
| keywords[7].display_name | Physics |
| keywords[8].id | https://openalex.org/keywords/biology |
| keywords[8].score | 0.11947867274284363 |
| keywords[8].display_name | Biology |
| keywords[9].id | https://openalex.org/keywords/artificial-intelligence |
| keywords[9].score | 0.0908403992652893 |
| keywords[9].display_name | Artificial intelligence |
| language | en |
| locations[0].id | doi:10.1145/3689742 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4210216081 |
| locations[0].source.issn | 2475-1421 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | 2475-1421 |
| locations[0].source.is_core | True |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | Proceedings of the ACM on Programming Languages |
| locations[0].source.host_organization | https://openalex.org/P4310319798 |
| locations[0].source.host_organization_name | Association for Computing Machinery |
| locations[0].source.host_organization_lineage | https://openalex.org/P4310319798 |
| locations[0].source.host_organization_lineage_names | Association for Computing Machinery |
| locations[0].license | cc-by |
| locations[0].pdf_url | |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Proceedings of the ACM on Programming Languages |
| locations[0].landing_page_url | https://doi.org/10.1145/3689742 |
| locations[1].id | pmh:oai:www.research-collection.ethz.ch:20.500.11850/702240 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306402302 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | Repository for Publications and Research Data (ETH Zurich) |
| locations[1].source.host_organization | https://openalex.org/I35440088 |
| locations[1].source.host_organization_name | ETH Zurich |
| locations[1].source.host_organization_lineage | https://openalex.org/I35440088 |
| locations[1].license | cc-by |
| locations[1].pdf_url | |
| locations[1].version | publishedVersion |
| locations[1].raw_type | info:eu-repo/semantics/publishedVersion |
| locations[1].license_id | https://openalex.org/licenses/cc-by |
| locations[1].is_accepted | True |
| locations[1].is_published | True |
| locations[1].raw_source_name | Proceedings of the ACM on Programming Languages, 8 (OOPSLA2) |
| locations[1].landing_page_url | http://hdl.handle.net/20.500.11850/702240 |
| locations[2].id | pmh:oai:www.research-collection.ethz.ch:20.500.11850/691692 |
| locations[2].is_oa | True |
| locations[2].source.id | https://openalex.org/S4306402302 |
| locations[2].source.issn | |
| locations[2].source.type | repository |
| locations[2].source.is_oa | False |
| locations[2].source.issn_l | |
| locations[2].source.is_core | False |
| locations[2].source.is_in_doaj | False |
| locations[2].source.display_name | Repository for Publications and Research Data (ETH Zurich) |
| locations[2].source.host_organization | https://openalex.org/I35440088 |
| locations[2].source.host_organization_name | ETH Zurich |
| locations[2].source.host_organization_lineage | https://openalex.org/I35440088 |
| locations[2].license | other-oa |
| locations[2].pdf_url | |
| locations[2].version | submittedVersion |
| locations[2].raw_type | info:eu-repo/semantics/conferenceObject |
| locations[2].license_id | https://openalex.org/licenses/other-oa |
| locations[2].is_accepted | False |
| locations[2].is_published | False |
| locations[2].raw_source_name | |
| locations[2].landing_page_url | http://hdl.handle.net/20.500.11850/691692 |
| locations[3].id | doi:10.3929/ethz-b-000691692 |
| locations[3].is_oa | True |
| locations[3].source.id | https://openalex.org/S7407051236 |
| locations[3].source.type | repository |
| locations[3].source.is_oa | False |
| locations[3].source.issn_l | |
| locations[3].source.is_core | False |
| locations[3].source.is_in_doaj | False |
| locations[3].source.display_name | ETH Zürich Research Collection |
| locations[3].source.host_organization | |
| locations[3].source.host_organization_name | |
| locations[3].license | |
| locations[3].pdf_url | |
| locations[3].version | |
| locations[3].raw_type | article-journal |
| locations[3].license_id | |
| locations[3].is_accepted | False |
| locations[3].is_published | |
| locations[3].raw_source_name | |
| locations[3].landing_page_url | https://doi.org/10.3929/ethz-b-000691692 |
| indexed_in | crossref, datacite |
| authorships[0].author.id | https://openalex.org/A5100330142 |
| authorships[0].author.orcid | https://orcid.org/0000-0003-3578-7432 |
| authorships[0].author.display_name | Si Liu |
| authorships[0].countries | CH |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I35440088 |
| authorships[0].affiliations[0].raw_affiliation_string | ETH Zurich, Zurich, Switzerland |
| authorships[0].institutions[0].id | https://openalex.org/I35440088 |
| authorships[0].institutions[0].ror | https://ror.org/05a28rw58 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I2799323385, https://openalex.org/I35440088 |
| authorships[0].institutions[0].country_code | CH |
| authorships[0].institutions[0].display_name | ETH Zurich |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Si Liu |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | ETH Zurich, Zurich, Switzerland |
| authorships[1].author.id | https://openalex.org/A5109797322 |
| authorships[1].author.orcid | |
| authorships[1].author.display_name | Long Gu |
| authorships[1].countries | CN |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I881766915 |
| authorships[1].affiliations[0].raw_affiliation_string | Nanjing University, Nanjing, China |
| authorships[1].institutions[0].id | https://openalex.org/I881766915 |
| authorships[1].institutions[0].ror | https://ror.org/01rxvg760 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I881766915 |
| authorships[1].institutions[0].country_code | CN |
| authorships[1].institutions[0].display_name | Nanjing University |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Long Gu |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Nanjing University, Nanjing, China |
| authorships[2].author.id | https://openalex.org/A5071661810 |
| authorships[2].author.orcid | https://orcid.org/0000-0002-0427-9710 |
| authorships[2].author.display_name | Hengfeng Wei |
| authorships[2].countries | CN |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I881766915 |
| authorships[2].affiliations[0].raw_affiliation_string | Nanjing University, Nanjing, China |
| authorships[2].institutions[0].id | https://openalex.org/I881766915 |
| authorships[2].institutions[0].ror | https://ror.org/01rxvg760 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I881766915 |
| authorships[2].institutions[0].country_code | CN |
| authorships[2].institutions[0].display_name | Nanjing University |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Hengfeng Wei |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Nanjing University, Nanjing, China |
| authorships[3].author.id | https://openalex.org/A5025344654 |
| authorships[3].author.orcid | https://orcid.org/0000-0003-2952-939X |
| authorships[3].author.display_name | David Basin |
| authorships[3].countries | CH |
| authorships[3].affiliations[0].institution_ids | https://openalex.org/I35440088 |
| authorships[3].affiliations[0].raw_affiliation_string | ETH Zurich, Zurich, Switzerland |
| authorships[3].institutions[0].id | https://openalex.org/I35440088 |
| authorships[3].institutions[0].ror | https://ror.org/05a28rw58 |
| authorships[3].institutions[0].type | education |
| authorships[3].institutions[0].lineage | https://openalex.org/I2799323385, https://openalex.org/I35440088 |
| authorships[3].institutions[0].country_code | CH |
| authorships[3].institutions[0].display_name | ETH Zurich |
| authorships[3].author_position | last |
| authorships[3].raw_author_name | David Basin |
| authorships[3].is_corresponding | False |
| authorships[3].raw_affiliation_strings | ETH Zurich, Zurich, Switzerland |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://doi.org/10.1145/3689742 |
| open_access.oa_status | diamond |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10772 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9995999932289124 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1705 |
| primary_topic.subfield.display_name | Computer Networks and Communications |
| primary_topic.display_name | Distributed systems and fault tolerance |
| related_works | https://openalex.org/W2748952813, https://openalex.org/W2015942778, https://openalex.org/W2026298489, https://openalex.org/W1563829372, https://openalex.org/W4226032835, https://openalex.org/W233199609, https://openalex.org/W2067389099, https://openalex.org/W2897695555, https://openalex.org/W2045980676, https://openalex.org/W2307588283 |
| cited_by_count | 7 |
| counts_by_year[0].year | 2025 |
| counts_by_year[0].cited_by_count | 7 |
| locations_count | 4 |
| best_oa_location.id | doi:10.1145/3689742 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4210216081 |
| best_oa_location.source.issn | 2475-1421 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | 2475-1421 |
| best_oa_location.source.is_core | True |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | Proceedings of the ACM on Programming Languages |
| best_oa_location.source.host_organization | https://openalex.org/P4310319798 |
| best_oa_location.source.host_organization_name | Association for Computing Machinery |
| best_oa_location.source.host_organization_lineage | https://openalex.org/P4310319798 |
| best_oa_location.source.host_organization_lineage_names | Association for Computing Machinery |
| best_oa_location.license | cc-by |
| best_oa_location.pdf_url | |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Proceedings of the ACM on Programming Languages |
| best_oa_location.landing_page_url | https://doi.org/10.1145/3689742 |
| primary_location.id | doi:10.1145/3689742 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4210216081 |
| primary_location.source.issn | 2475-1421 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | 2475-1421 |
| primary_location.source.is_core | True |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | Proceedings of the ACM on Programming Languages |
| primary_location.source.host_organization | https://openalex.org/P4310319798 |
| primary_location.source.host_organization_name | Association for Computing Machinery |
| primary_location.source.host_organization_lineage | https://openalex.org/P4310319798 |
| primary_location.source.host_organization_lineage_names | Association for Computing Machinery |
| primary_location.license | cc-by |
| primary_location.pdf_url | |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Proceedings of the ACM on Programming Languages |
| primary_location.landing_page_url | https://doi.org/10.1145/3689742 |
| publication_date | 2024-10-08 |
| publication_year | 2024 |
| referenced_works | https://openalex.org/W2026697016, https://openalex.org/W1601925768, https://openalex.org/W2497521232, https://openalex.org/W2117917070, https://openalex.org/W2152812436, https://openalex.org/W2979942385, https://openalex.org/W2546854465, https://openalex.org/W2143725230, https://openalex.org/W2787331432, https://openalex.org/W3198655391, https://openalex.org/W4394923485, https://openalex.org/W2737641788, https://openalex.org/W2962998221, https://openalex.org/W3085309079, https://openalex.org/W4366660507, https://openalex.org/W4206512216, https://openalex.org/W3137220996, https://openalex.org/W3210892990, https://openalex.org/W2901599465, https://openalex.org/W3217601410, https://openalex.org/W2023304911, https://openalex.org/W4297824651, https://openalex.org/W2613747361, https://openalex.org/W3106247424, https://openalex.org/W4372258288, https://openalex.org/W4361876935 |
| referenced_works_count | 26 |
| abstract_inverted_index.a | 87, 113, 148 |
| abstract_inverted_index.In | 39 |
| abstract_inverted_index.in | 19, 37, 112, 125 |
| abstract_inverted_index.of | 27, 71, 90, 116, 151 |
| abstract_inverted_index.on | 57 |
| abstract_inverted_index.to | 6, 97 |
| abstract_inverted_index.we | 42, 65 |
| abstract_inverted_index.Our | 101 |
| abstract_inverted_index.all | 109 |
| abstract_inverted_index.and | 68, 81, 94, 142 |
| abstract_inverted_index.can | 107 |
| abstract_inverted_index.for | 8, 51 |
| abstract_inverted_index.new | 122 |
| abstract_inverted_index.the | 25, 45, 139 |
| abstract_inverted_index.two | 91 |
| abstract_inverted_index.This | 23 |
| abstract_inverted_index.bugs | 15, 124 |
| abstract_inverted_index.find | 133 |
| abstract_inverted_index.have | 16 |
| abstract_inverted_index.many | 20 |
| abstract_inverted_index.more | 134 |
| abstract_inverted_index.read | 77, 79 |
| abstract_inverted_index.than | 138 |
| abstract_inverted_index.that | 105 |
| abstract_inverted_index.this | 40 |
| abstract_inverted_index.tree | 95 |
| abstract_inverted_index.weak | 3, 13, 52, 73, 135 |
| abstract_inverted_index.wide | 149 |
| abstract_inverted_index.with | 63, 130 |
| abstract_inverted_index.Plume | 55, 85, 106 |
| abstract_inverted_index.along | 129 |
| abstract_inverted_index.cater | 7 |
| abstract_inverted_index.first | 46 |
| abstract_inverted_index.known | 110 |
| abstract_inverted_index.large | 114 |
| abstract_inverted_index.novel | 88 |
| abstract_inverted_index.paper | 41 |
| abstract_inverted_index.shows | 104 |
| abstract_inverted_index.sound | 67 |
| abstract_inverted_index.their | 33 |
| abstract_inverted_index.three | 126 |
| abstract_inverted_index.under | 147 |
| abstract_inverted_index.which | 64 |
| abstract_inverted_index.Modern | 0 |
| abstract_inverted_index.Plume, | 44 |
| abstract_inverted_index.builds | 56 |
| abstract_inverted_index.causal | 83 |
| abstract_inverted_index.detect | 121 |
| abstract_inverted_index.highly | 9 |
| abstract_inverted_index.levels | 5 |
| abstract_inverted_index.raises | 24 |
| abstract_inverted_index.checker | 50 |
| abstract_inverted_index.clocks, | 96 |
| abstract_inverted_index.concern | 26 |
| abstract_inverted_index.deliver | 32 |
| abstract_inverted_index.embrace | 2 |
| abstract_inverted_index.levels, | 75 |
| abstract_inverted_index.levels. | 54 |
| abstract_inverted_index.present | 43 |
| abstract_inverted_index.variety | 150 |
| abstract_inverted_index.vectors | 93 |
| abstract_inverted_index.whether | 28 |
| abstract_inverted_index.However, | 12 |
| abstract_inverted_index.actually | 31 |
| abstract_inverted_index.complete | 69 |
| abstract_inverted_index.database | 29, 118 |
| abstract_inverted_index.modular, | 58 |
| abstract_inverted_index.promised | 34 |
| abstract_inverted_index.recently | 17 |
| abstract_inverted_index.validate | 144 |
| abstract_inverted_index.anomalies | 137 |
| abstract_inverted_index.anomalous | 61, 117 |
| abstract_inverted_index.available | 10 |
| abstract_inverted_index.black-box | 49 |
| abstract_inverted_index.checkers, | 141 |
| abstract_inverted_index.checking. | 100 |
| abstract_inverted_index.complete, | 48 |
| abstract_inverted_index.databases | 1, 128 |
| abstract_inverted_index.establish | 66 |
| abstract_inverted_index.execution | 119 |
| abstract_inverted_index.extensive | 102 |
| abstract_inverted_index.including | 76 |
| abstract_inverted_index.isolation | 4, 14, 35, 53, 74, 99, 123, 136, 145 |
| abstract_inverted_index.leverages | 86 |
| abstract_inverted_index.patterns, | 62 |
| abstract_inverted_index.practice. | 38 |
| abstract_inverted_index.reproduce | 108 |
| abstract_inverted_index.accelerate | 98 |
| abstract_inverted_index.assessment | 103 |
| abstract_inverted_index.atomicity, | 80 |
| abstract_inverted_index.collection | 115 |
| abstract_inverted_index.committed, | 78 |
| abstract_inverted_index.databases. | 22 |
| abstract_inverted_index.efficient, | 47 |
| abstract_inverted_index.guarantees | 36, 146 |
| abstract_inverted_index.histories, | 120 |
| abstract_inverted_index.manifested | 18 |
| abstract_inverted_index.production | 21, 127 |
| abstract_inverted_index.violations | 111 |
| abstract_inverted_index.workloads. | 152 |
| abstract_inverted_index.combination | 89 |
| abstract_inverted_index.efficiently | 143 |
| abstract_inverted_index.informative | 131 |
| abstract_inverted_index.techniques, | 92 |
| abstract_inverted_index.consistency. | 84 |
| abstract_inverted_index.fine-grained, | 59 |
| abstract_inverted_index.transactional | 60, 82 |
| abstract_inverted_index.transactions. | 11 |
| abstract_inverted_index.representative | 72 |
| abstract_inverted_index.implementations | 30 |
| abstract_inverted_index.counterexamples, | 132 |
| abstract_inverted_index.state-of-the-art | 140 |
| abstract_inverted_index.characterizations | 70 |
| cited_by_percentile_year.max | 99 |
| cited_by_percentile_year.min | 98 |
| countries_distinct_count | 2 |
| institutions_distinct_count | 4 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/17 |
| sustainable_development_goals[0].score | 0.4000000059604645 |
| sustainable_development_goals[0].display_name | Partnerships for the goals |
| citation_normalized_percentile.value | 0.93134078 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | True |