30 papers:
SIGMOD-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.
VLDB-2015-FaleiroA #concurrent #multi- Rethinking serializable multiversion concurrency control (JMF, DJA), pp. 1190–1201.
ASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid- Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
SOSP-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.
- VLDB-2012-PattersonENAA #concurrent #multi
- Serializability, not Serial: Concurrency Control and Availability in Multi-Datacenter Datastores (SP, AJE, FN, DA, AEA), pp. 1459–1470.
- VLDB-2012-PortsG
- Serializable Snapshot Isolation in PostgreSQL (DRKP, KG), pp. 1850–1861.
- VLDB-2011-JungHFR #database
- Serializable Snapshot Isolation for Replicated Databases in High-Update Scenarios (HJ, HH, AF, UR), pp. 783–794.
ICALP-v2-2010-BlasiakK #network- The Serializability of Network Codes (AB, RDK), pp. 100–114.
OOPSLA-2010-McCarthy #continuation- The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.
POPL-2010-AttiyaRR #verification- Sequential verification of serializability (HA, GR, NR), pp. 31–42.
ICSE-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.
ICFP-2009-McCarthy #automation #composition #continuation #rest #web- Automatically RESTful web applications: marking modular serializable continuations (JAM), pp. 299–310.
- SIGMOD-2008-CahillRF #database
- Serializable isolation for snapshot databases (MJC, UR, ADF), pp. 729–738.
- ICSE-2008-HammerDVT #detection
- Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.
- SIGMOD-2006-BernsteinFGRT #replication
- Relaxed-currency serializability for middle-tier caching and replication (PAB, AF, HG, RR, PT), pp. 599–610.
PLDI-2005-XuBH #detection #source code- A serializability violation detector for shared-memory server programs (MX, RB, MDH), pp. 1–14.
SAC-2002-BusiZ #on the #transaction- On the serializability of transactions in shared dataspaces with temporary data (NB, GZ), pp. 359–366.
PODS-2000-LechtenborgerV #on the #semantics #transaction- On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (JL, GV), pp. 187–194.
- VLDB-1994-OuzzaniAB #approach #top-down
- A Top-Down Approach for Two Level Serializability (MO, MAA, NLB), pp. 226–237.
- PODS-1993-RastogiMBKS #correctness #on the
- On Correctness of Non-serializable Executions (RR, SM, YB, HFK, AS), pp. 97–108.
- PODS-1993-Raz #order #transaction
- Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions (YR), pp. 83–96.
- VLDB-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.
LICS-1991-PeledKP #logic #proving #specification- Specifying and Proving Serializability in Temporal Logic (DP, SK, AP), pp. 232–244.
- VLDB-1989-DuE #concurrent #correctness
- Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase (WD, AKE), pp. 347–355.
- SIGMOD-1988-KorthS #correctness #formal method
- Formal Model of Correctness Without Serializability (HFK, GDS), pp. 379–386.
- ICALP-1988-BackK #distributed
- Serializability in Distributed Systems with Handshaking (RJB, RKS), pp. 52–66.
- PODS-1984-FordC #algorithm #concurrent
- Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms (RF, JC), pp. 51–60.
- VLDB-1983-IbarakiKM #concept
- Disjoint-Interval Topological Sort: A Useful Concept in Serializability Theory (Extended Abstract) (TI, TK, TM), pp. 89–91.
- PODS-1982-FischerM
- Sacrificing Serializability to Attain High Availability of Data (MJF, AM), pp. 70–75.
- PODS-1982-KrishnamurthyD #parallel #transaction
- Theory of Serializability for a Parallel Model of Transactions (RK, UD), pp. 293–305.
