Making Sequential Consistency Practical in Titanium Amir Kamil Jimmy Su Katherine Yelick∗ Computer Science Division, University of California, Berkeley {kamil,jimmysu,yelick}@cs.berkeley.edu

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Compiler construction
• Computer programming
• Parallel computing
• Computer memory
• Concurrency
• Concurrent computing
• Optimizing compiler
• Alias analysis
• Memory barrier
• Synchronization

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China

Source URL: flint.cs.yale.edu

• Concurrency control
• Linearizability
• Non-blocking algorithm
• Monitor
• Lock
• Deadlock
• Synchronization
• Thread
• Liveness

by EMC You Had Us at “Hello” From day one to year one and well beyond, our customer success team is always by

Source URL: www.syncplicity.com

• Computing
• Cloud storage
• Data synchronization
• File hosting
• File sharing
• Syncplicity
• Customer engagement
• Social software

ENTERPRISE FILE SHARING AND SYNCHRONIZATION Deliver a premium, personalized Internet experience - instant to deploy and on-demand Break out of a 20-year old mold - build loyalty and increase revenue Teridion delivers thr

Source URL: www.teridion.com

Time Stamp Synchronization of Distributed Sensor Logs: Impossibility Results and Approximation Algorithms By THOMAS CHESTER RISTENPART B.S. (University of California DavisTHESIS

Source URL: rist.tech.cornell.edu

ShadowDB: A Replicated Database on a Synthesized Consensus Core∗ Nicolas Schiper, Vincent Rahli, Robbert Van Renesse, Mark Bickford, and Robert L. Constable Cornell University Abstract

Source URL: www.usenix.org

• Transaction processing
• Fault-tolerant computer systems
• Data management
• Data synchronization
• Database management systems
• Consensus
• Replication
• Extensible Storage Engine
• Database transaction
• Quorum

Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair

Source URL: www.hboehm.info

• Transaction processing
• Concurrency control
• Transactional memory
• Lock
• Linearizability
• Atomicity
• Synchronization
• Parallel computing
• Memory model
• Commitment ordering
• Software transactional memory

Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages Maciej Besta Torsten Hoefler

Source URL: htor.inf.ethz.ch

• Graph theory
• Mathematics
• Computing
• Concurrency control
• Transaction processing
• NP-complete problems
• Computer memory
• Transactional memory
• Vertex
• Breadth-first search
• Graph coloring
• Transactional Synchronization Extensions

Distributed Computing Prof. R. Wattenhofer BA/SA/Group/Lab: Distributed Speaker Synchronization

Source URL: www.tik.ee.ethz.ch

Flat Datacenter Storage Edmund B. Nightingale, Jeremy Elson, Jinliang Fan, Owen Hofmann∗, Jon Howell, and Yutaka Suzue Microsoft Research University of Texas at Austin∗

Source URL: css.csail.mit.edu

• Computing
• Data management
• Fault-tolerant computer systems
• RAID
• Data synchronization
• Replication
• Computer data storage
• Storage area network
• Backup
• File system
• Google File System
• Data striping