BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
concurr (6)
transact (5)
control (5)
commit (4)
correct (3)

Stem serializ$ (all stems)

30 papers:

SIGMODSIGMOD-2015-0001MK #concurrent #database #in memory #multi #performance
Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems (TN, TM, AK), pp. 677–689.
VLDBVLDB-2015-FaleiroA #concurrent #multi
Rethinking serializable multiversion concurrency control (JMF, DJA), pp. 1190–1201.
ASPLOSASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
SOSPSOSP-2013-ZhangPZSAL #latency #transaction
Transaction chains: achieving serializability with low latency in geo-distributed storage systems (YZ, RP, SZ, YS, MKA, JL), pp. 276–291.
VLDBVLDB-2012-PattersonENAA #concurrent #multi
Serializability, not Serial: Concurrency Control and Availability in Multi-Datacenter Datastores (SP, AJE, FN, DA, AEA), pp. 1459–1470.
VLDBVLDB-2012-PortsG
Serializable Snapshot Isolation in PostgreSQL (DRKP, KG), pp. 1850–1861.
VLDBVLDB-2011-JungHFR #database
Serializable Snapshot Isolation for Replicated Databases in High-Update Scenarios (HJ, HH, AF, UR), pp. 783–794.
ICALPICALP-v2-2010-BlasiakK #network
The Serializability of Network Codes (AB, RDK), pp. 100–114.
OOPSLAOOPSLA-2010-McCarthy #continuation
The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.
POPLPOPL-2010-AttiyaRR #verification
Sequential verification of serializability (HA, GR, NR), pp. 31–42.
ICSEICSE-2010-LaiCC #detection #parallel #random #source code #testing #thread
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.
ICFPICFP-2009-McCarthy #automation #composition #continuation #rest #web
Automatically RESTful web applications: marking modular serializable continuations (JAM), pp. 299–310.
SIGMODSIGMOD-2008-CahillRF #database
Serializable isolation for snapshot databases (MJC, UR, ADF), pp. 729–738.
ICSEICSE-2008-HammerDVT #detection
Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.
SIGMODSIGMOD-2006-BernsteinFGRT #replication
Relaxed-currency serializability for middle-tier caching and replication (PAB, AF, HG, RR, PT), pp. 599–610.
PLDIPLDI-2005-XuBH #detection #source code
A serializability violation detector for shared-memory server programs (MX, RB, MDH), pp. 1–14.
SACSAC-2002-BusiZ #on the #transaction
On the serializability of transactions in shared dataspaces with temporary data (NB, GZ), pp. 359–366.
PODSPODS-2000-LechtenborgerV #on the #semantics #transaction
On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (JL, GV), pp. 187–194.
VLDBVLDB-1994-OuzzaniAB #approach #top-down
A Top-Down Approach for Two Level Serializability (MO, MAA, NLB), pp. 226–237.
PODSPODS-1993-RastogiMBKS #correctness #on the
On Correctness of Non-serializable Executions (RR, SM, YB, HFK, AS), pp. 97–108.
PODSPODS-1993-Raz #order #transaction
Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions (YR), pp. 83–96.
VLDBVLDB-1992-Raz #multi #principle #using
The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment (YR), pp. 292–312.
LICSLICS-1991-PeledKP #logic #proving #specification
Specifying and Proving Serializability in Temporal Logic (DP, SK, AP), pp. 232–244.
VLDBVLDB-1989-DuE #concurrent #correctness
Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase (WD, AKE), pp. 347–355.
SIGMODSIGMOD-1988-KorthS #correctness #formal method
Formal Model of Correctness Without Serializability (HFK, GDS), pp. 379–386.
ICALPICALP-1988-BackK #distributed
Serializability in Distributed Systems with Handshaking (RJB, RKS), pp. 52–66.
PODSPODS-1984-FordC #algorithm #concurrent
Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms (RF, JC), pp. 51–60.
VLDBVLDB-1983-IbarakiKM #concept
Disjoint-Interval Topological Sort: A Useful Concept in Serializability Theory (Extended Abstract) (TI, TK, TM), pp. 89–91.
PODSPODS-1982-FischerM
Sacrificing Serializability to Attain High Availability of Data (MJF, AM), pp. 70–75.
PODSPODS-1982-KrishnamurthyD #parallel #transaction
Theory of Serializability for a Parallel Model of Transactions (RK, UD), pp. 293–305.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.