Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Operating Systems Theory
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
An optimality theory of concurrency control for databases
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Optimism and consistency in partitioned distributed database systems
ACM Transactions on Database Systems (TODS)
An algorithm for concurrency control and recovery in replicated distributed databases
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Cautious transaction schedulers with admission control
ACM Transactions on Database Systems (TODS)
Consistency in a partitioned network: a survey
ACM Computing Surveys (CSUR)
The performance of a precedence-based queuing discipline
Journal of the ACM (JACM)
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
Low cost management of replicated data in fault-tolerant distributed systems
ACM Transactions on Computer Systems (TOCS)
Limitations on database availability when networks partition
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Optimistic concurrency control for abstract data types
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Comparing how atomicity mechanisms support replication
ACM SIGOPS Operating Systems Review
A theoretical foundation of multi-level concurrency control
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Safety of non-well-locked transaction systems
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Availability in partitioned replicated databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Abstraction in recovery management
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Dynamic quorum adjustment for partitioned data
ACM Transactions on Database Systems (TODS)
Optimistic concurrency control for abstract data types
ACM SIGOPS Operating Systems Review
Concurrency versus availability: atomicity mechanisms for replicated data
ACM Transactions on Computer Systems (TOCS)
Database theory—past and future
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Nested transactions and read-write locking
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The precedence-assignment model for distributed databases concurrency control algorithms
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Concurrency control performance modeling: alternatives and implications
ACM Transactions on Database Systems (TODS)
Extending Multiversion Time-Stamping Protocols to Exploit Type Information
IEEE Transactions on Computers
Transaction processing primitives and CSP
IBM Journal of Research and Development
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concurrent search structure algorithms
ACM Transactions on Database Systems (TODS)
A theory of reliability in database systems
Journal of the ACM (JACM)
Issues and approaches to design of real-time database systems
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Synchronizing Transactions on Objects
IEEE Transactions on Computers
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Cautious Transaction Schedulers for Database Concurrency Control
IEEE Transactions on Software Engineering
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems
IEEE Transactions on Software Engineering
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Impossibility and universality results for wait-free synchronization
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Maintaining availability in partitioned replicated databases
ACM Transactions on Database Systems (TODS)
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular synchronization in multiversion databases: version control and concurrency control
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Linearizable concurrent objects
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Timestamp-Based Orphan Elimination
IEEE Transactions on Software Engineering
Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks
IEEE Transactions on Software Engineering
The impact of recovery on concurrency control
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Concurrency and availability as dual properties of replicated atomic data
Journal of the ACM (JACM)
Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
Multiversion Cautious Schedulers for Database Concurrency Control
IEEE Transactions on Software Engineering
The five color concurrency control protocol: non-two-phase locking in general databases
ACM Transactions on Database Systems (TODS)
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performance Analysis of Static Locking in Distributed Database Systems
IEEE Transactions on Computers
Lower bounds for wait-free computation in message-passing systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Wait-free data structures in the asynchronous PRAM model
SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
Performance evaluation of semantics-based multilevel concurrency control protocols
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
A methodology for implementing highly concurrent data structures
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
`PRABHA'—a distributed concurrency control algorithm
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Optimistic Locking Technique for Concurrency Control in Distributed Databases
IEEE Transactions on Software Engineering
Using multiversion data for non-interfering execution of write-only transactions
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
Performance evaluation of cautious waiting
ACM Transactions on Database Systems (TODS)
An approach to eliminate transaction blocking in locking protocols
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tolerating bounded inconsistency for increasing concurrency in database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Context-based synchronization: an approach beyond semantics for concurrency control
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
A methodology for implementing highly concurrent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relative serializability (extended abstract): an approach for relaxing the atomicity of transactions
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A framework for undoing actions in collaborative systems
ACM Transactions on Computer-Human Interaction (TOCHI)
IEEE Transactions on Software Engineering
Safe locking policies for dynamic databases
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Serializability with constraints
ACM Transactions on Database Systems (TODS)
Perspectives on database theory
ACM SIGACT News
Counting networks are practically linearizable
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Bounded Inconsistency for Type-Specific Concurrency Control
Distributed and Parallel Databases
Competitive Analysis of Caching in Distributed Databases
IEEE Transactions on Parallel and Distributed Systems
Locks with constrained sharing (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Timed consistency for shared distributed objects
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Serialization graph algorithms for multiversion concurrency control
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Concurrent set manipulation without locking
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Concurrency Control by Multiple Versions
ACM Transactions on Database Systems (TODS)
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Multiversion concurrency control—theory and algorithms
ACM Transactions on Database Systems (TODS)
Comments on “Process synchronizaiton in databases systems”
ACM Transactions on Database Systems (TODS)
Useless Actions Make a Difference: Strict Serializability of Database Updates
Journal of the ACM (JACM)
A Theory of Safe Locking Policies in Database Systems
Journal of the ACM (JACM)
A theorem in database concurrency control
Journal of the ACM (JACM)
Locking Expressions for Increased Database Concurrency
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Fault tolerance in deductive knowledge bases
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Concurrency control by transactions carrying states and preordering universioned entities
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Comparing how atomicity mechanisms support replication
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Replication and fault-tolerance in the ISIS system
Proceedings of the tenth ACM symposium on Operating systems principles
A symmetric concurrent B-tree algorithm
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Deadlock-freedom (and saftey) of transactions in a distributed database
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
TRAnD: temporal requirement analysis and design tool
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
X-ability: a theory of replication
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
A Transaction Model to Improve Data Availability in Mobile Computing
Distributed and Parallel Databases
An optimality theory of concurrency control for databases
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
An abstract model of database concurrency control algorithms
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
Maximal concurrency by locking
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency control mechanisms and the serializability of concurrent tree algorithms
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Increasing availability in partitioned database systems
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Reliable scheduling of database transactions for unreliable systems
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Towards a theory of online schedulers
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Granularity hierarchies in concurrency control
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Hierarchical database decomposition: a technique for database concurrency control
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
An operational model for database system reliability
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Sacrificing serializability to attain high availability of data in an unreliable network
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
On concurrency control by multiple versions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Theory of serializablity for a parallel model of transactions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Correctness properties in a shared-memory parallel language
Journal of the ACM (JACM)
Towards a self-adapting centralized concurrency control algorithm
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Ordered shared locks for real-time databases
The VLDB Journal — The International Journal on Very Large Data Bases
A Model for Adaptable Systems for Transaction Processing
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
The Performance of Protocols Based on Locks with Ordered Sharing
IEEE Transactions on Knowledge and Data Engineering
VELOS: A New Approach for Efficiently Achieving High Availability in Partitioned Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Divergence Control Algorithms for Epsilon Serializability
IEEE Transactions on Knowledge and Data Engineering
Concurrency Control in Database Systems
IEEE Transactions on Knowledge and Data Engineering
A Nonblocking Quorum Consensus Protocol for Replicated Data
IEEE Transactions on Parallel and Distributed Systems
Multiclass Replicated Data Management: Exploiting Replication to Improve Efficiency
IEEE Transactions on Parallel and Distributed Systems
Clarification of Two Phase Locking in Concurrent Transaction Processing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Knowledge and Data Engineering
Efficient Execution of Read-Only Transactions in Replicated Multiversion Databases
IEEE Transactions on Knowledge and Data Engineering
Integration of Time Versions into a Relational Database System
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Certification by Intervals of Timestamps in Distributed Database Systems
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Concurrent Operations in Extendible Hashing
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Mixed concurrency control: Dealing with heterogeneity in distributed database systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Sophisticate's Introduction to Distributed Concurrency Control (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Non-Two-Phase Locking Protocol for Concurrency Control in General Databases
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Disjoint-Interval Topological Sort: A Useful Concept in Serializability Theory (Extended Abstract)
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
AOP: Does It Make Sense? The Case of Concurrency and Failures
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Multi-version Transaction Model to Improve Data Availability in Mobile Computing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Serializability Preserving Extensions of Concurrency Control Protocols
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
An Autonomous Data Coherency Protocol for Mobile Devices
MDA '99 Proceedings of the First International Conference on Mobile Data Access
A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
The global storage needs of a subcomputation
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Issues of correctness in database concurrency control by locking
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Concurrency control algorithms for multiversion database systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Synchronization and recovery of actions
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A concurrency control theory for nested transactions (Preliminary Report)
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Data-dependent concurrency control and recovery (Extended Abstract)
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
The failure and recovery problem for replicated databases
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Freedom from deadlock of locked transactions in a distributed database
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
ACM '82 Proceedings of the ACM '82 conference
Geometry and concurrency: a user's guide
Mathematical Structures in Computer Science
Data-dependent concurrency control and recovery
ACM SIGOPS Operating Systems Review
Synchronization and recovery of actions
ACM SIGOPS Operating Systems Review
Asynchronous group mutual exclusion
Distributed Computing
Linearizable counting networks
Distributed Computing
Runtime Analysis of Atomicity for Multithreaded Programs
IEEE Transactions on Software Engineering
AO challenge - implementing the ACID properties for transactional objects
Proceedings of the 5th international conference on Aspect-oriented software development
Accurate and efficient runtime detection of atomicity errors in concurrent programs
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Testing implementations of transactional memory
Proceedings of the 15th international conference on Parallel architectures and compilation techniques
Memory models for open-nested transactions
Proceedings of the 2006 workshop on Memory system performance and correctness
Graceful degradation via versions: specifications and implementations
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Locking with prevention of cyclic and infinite restarting in distributed database systems
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
The private workspace model feasibility and applications to 2PL performance improvements
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Pre-analysis locking: a safe and deadlock free locking policy
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
A theory of correct locking protocols for database systems
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Timestamp-based algorithms for concurrency control in distributed database systems
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Non-two-phase locking protocols with shared and exclusive locks
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
The analysis of the effects of concurrency control on distributed database system performance
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Gossiping over storage systems is practical
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
A transaction model and multiversion concurrency control for mobile database systems
Distributed and Parallel Databases
Niobe: A practical replication protocol
ACM Transactions on Storage (TOS)
On the correctness of transactional memory
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Software transactional memory for large scale clusters
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Safer open-nested transactions through ownership
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Transactions are back---but are they the same?
ACM SIGACT News
Needed: foundations for transactional memory
ACM SIGACT News
Is the optimism in optimistic concurrency warranted?
HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems
Deriving linearizable fine-grained concurrent objects
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Model checking transactional memories
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Safe open-nested transactions through ownership
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
On obstruction-free transactions
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
Completeness and Nondeterminism in Model Checking Transactional Memories
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Permissiveness in Transactional Memories
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
The semantics of progress in lock-based transactional memory
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Ordering-Based Semantics for Software Transactional Memory
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Toward a Theory of Input Acceptance for Transactional Memories
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Safe open-nested transactions through ownership
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Stretching transactional memory
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
AspectOptima: A Case Study on Aspect Dependencies and Interactions
Transactions on Aspect-Oriented Software Development V
Transactional Memory: Glimmer of a Theory
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Software Transactional Memory on Relaxed Memory Models
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Brief announcement: virtual world consistency: a new condition for STM systems
Proceedings of the 28th ACM symposium on Principles of distributed computing
On avoiding spare aborts in transactional memory
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Inherent limitations on disjoint-access parallel implementations of transactional memory
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Software Transactional Memories: An Approach for Multicore Programming
PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Transactional Scheduling for Read-Dominated Workloads
OPODIS '09 Proceedings of the 13th International Conference on Principles of Distributed Systems
Sequential verification of serializability
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multiversion repeatable read isolation level: theory and practice
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
A formal analysis of the deferred update technique
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
RV'07 Proceedings of the 7th international conference on Runtime verification
Parameterized verification of transactional memories
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Line-up: a complete and automatic linearizability checker
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Brief announcement: on speculative replication of transactional systems
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
The inherent complexity of transactional memory and what to do about it
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
On maintaining multiple versions in STM
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Brief announcement: view transactions: transactional model with relaxed consistency checks
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Extensible transactional memory testbed
Journal of Parallel and Distributed Computing
Abstraction for concurrent objects
Theoretical Computer Science
Runtime verification for software transactional memories
RV'10 Proceedings of the First international conference on Runtime verification
Invited paper: the inherent complexity of transactional memory and what to do about it
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
Specifying and checking semantic atomicity for multithreaded programs
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Exploiting the commutativity lattice
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
CassMail: a scalable, highly-available, and rapidly-prototyped e-mail service
Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Software transactional memories: an approach for multicore programming
The Journal of Supercomputing
Automatic fine-grain locking using shape properties
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Strict serializability is harmless: a new architecture for enterprise applications
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Toward a formal semantic framework for deterministic parallel programming
DISC'11 Proceedings of the 25th international conference on Distributed computing
Read invisibility, virtual world consistency and probabilistic permissiveness are compatible
ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I
Verification of STM on relaxed memory models
Formal Methods in System Design
Polymorphic contention management
DISC'05 Proceedings of the 19th international conference on Distributed Computing
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
On the cost of concurrency in transactional memory
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Democratizing transactional programming
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
Theoretical Computer Science
Survey: A glimpse at Christos H. Papadimitriou
Computer Science Review
Minuet: a scalable distributed multiversion B-tree
Proceedings of the VLDB Endowment
On the liveness of transactional memory
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
Transactional scheduling for read-dominated workloads
Journal of Parallel and Distributed Computing
First-Order dynamic logic for compensable processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Toward a principled framework for benchmarking consistency
HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability
Logic and lattices for distributed programming
Proceedings of the Third ACM Symposium on Cloud Computing
STM systems: enforcing strong isolation between transactions and non-transactional code
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
A framework for formally verifying software transactional memory algorithms
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Democratizing transactional programming
Proceedings of the 12th International Middleware Conference
Predicting serializability violations: SMT-Based search vs. DPOR-Based search
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
A composable mixed mode concurrency control semantics for transactional programs
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Verifying concurrent programs against sequential specifications
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Concurrent libraries with foresight
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Conversion: multi-version concurrency control for main memory segments
Proceedings of the 8th ACM European Conference on Computer Systems
Correctness of concurrent executions of closed nested transactions in transactional memory systems
Theoretical Computer Science
Proceedings of the 4th annual Symposium on Cloud Computing
Automatic linearizability proofs of concurrent objects with cooperating updates
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
An epistemic perspective on consistency of concurrent computations
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
On the scalability of snapshot isolation
Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
On speculative replication of transactional systems
Journal of Computer and System Sciences
Democratizing transactional programming
Communications of the ACM
Time-warp: lightweight abort minimization in transactional memory
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Warranties for faster strong consistency
NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
| Hi-index | 0.04 |