Search results for "lock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	James H. Anderson, Srikanth Ramamurthy	A framework for implementing objects and scheduling tasks in lock-free real-time systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	scheduling tasks, lock-free real time systems, lock-free algorithms, object sharing, lock based systems, multiobject lock-free operations, lock-free objects, operation interferences, linear programming, concurrency control, systems analysis, shared objects, integrated framework, scheduling conditions
4	Takuya Nakaike, Maged M. Michael	Lock elision for read-only critical sections in Java.	PLDI	2010	DBLP DOI BibTeX RDF	lock elision, java, optimization, synchronization, monitor, lock, just-in-time compiler
4	Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard	Progress guarantee for parallel programs via bounded lock-freedom.	PLDI	2009	DBLP DOI BibTeX RDF	bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation
4	Rachid Guerraoui, Michal Kapalka	The semantics of progress in lock-based transactional memory.	POPL	2009	DBLP DOI BibTeX RDF	try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number
4	Injong Rhee	Optimizing a FIFO, scalable spin lock using consistent memory. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations
4	Alexander Thomasian, In Kyung Ryu	Performance Analysis of Two-Phase Locking.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	transaction size, lock requests, lock conflict, transaction response time, transaction blocking, simulation, distributed databases, concurrency control, probability, transaction processing, deadlock, system recovery, system performance, two-phase locking, lock contention
4	Chi-Sung Laih, Lein Harn, Jau-Yien Lee	On the Design of a Single-Key-Lock Mechanism Based on Newton's Interpolating Polynomial.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	recursive generation, single-key-lock mechanism, access matrix, computer protection system, key selection, lock values, Newton interpolating polynomial, user/file, key positions, user-hierarchy structure, interpolation, polynomials, security of data, information resources, computational load
3	Felipe Klein, Alexandro Baldassin, João Moreira, Paulo Centoducatte, Sandro Rigo, Rodolfo Azevedo	STM versus lock-based systems: an energy consumption perspective.	ISLPED	2010	DBLP DOI BibTeX RDF	lock-based systems, parallel programming, low power design, transactional memory, multi-core
3	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
3	Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai	Using data structure knowledge for efficient lock generation and strong atomicity.	PPOPP	2010	DBLP DOI BibTeX RDF	automatic lock generation, parallel programming, transactional memory
3	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	PPOPP	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
3	Nathan R. Tallent, John M. Mellor-Crummey, Allan Porterfield	Analyzing lock contention in multithreaded applications.	PPOPP	2010	DBLP DOI BibTeX RDF	performance analysis, multithreading, hpctoolkit, lock contention
3	Gabriel Kliot, Erez Petrank, Bjarne Steensgaard	A lock-free, concurrent, and incremental stack scanning for garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	incremental and concurrent garbage collection, lock-free data structures, stack scanning
3	Zhenhan Liu, Xiaoxuan Meng, Lu Xu	Lock management in blue whale file system.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	BWFS, distributed lock management, cluster file system
3	Takeshi Ogasawara, Ken Sakamura	How lock contention affects energy use in a CMP server.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	Java, energy efficiency, CMP, DVFS, lock contention
3	Amitabha Roy 0002, Steven Hand, Timothy L. Harris	A runtime system for software lock elision.	EuroSys	2009	DBLP DOI BibTeX RDF	revocable locks, speculative lock elision, unmanaged environments, software transactional memory
3	Edya Ladan-Mozes, Nir Shavit	An optimistic approach to lock-free FIFO queues.	Distributed Computing	2008	DBLP DOI BibTeX RDF	Synchronization, Lock-free, CAS, Compare and swap, Non-blocking, Concurrent data structures, FIFO queue
3	Futoshi Iwama, Naoki Kobayashi	A New Type System for JVM Lock Primitives.	New Generation Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
3	Wenwen Liang, Mingxin Qin, Mingke Jiao, Hao Yang, Ke Li, Teng Jiao, Liyuan Bai, Wenyong Wang	Phase Detection Based on the Lock-in Amplifier SR844 and Experiments of Brain Neuron Cells in MIT System.	BMEI	2008	DBLP DOI BibTeX RDF	non-contract, magnetic induction tomography, phase-change detection, oedema neuron cell model, Lock-in amplifier
3	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Progressiveness, Shared object, Opacity, Atomic operation, Consistent global state
3	Yongquan Cai, Xiuying Li	Identity-Based Conference Key Distribution Scheme Using Sealed Lock.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Sealed Lock, Anonymity, Identity-based, Conference Key
3	John Giacomoni, Tipp Moseley, Manish Vachharajani	FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue.	PPOPP	2008	DBLP DOI BibTeX RDF	fastforward, multiprocessors, multicore, queue, lock-free, linearizability, nonblocking synchronization, pipeline parallel
3	Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar	Lock allocation.	POPL	2007	DBLP DOI BibTeX RDF	lock inference, atomicity, ILP
3	Anders Gidenstam, Marina Papatriantafilou	LFthreads: A Lock-Free Thread Library.	OPODIS	2007	DBLP DOI BibTeX RDF	synchronization, multiprocessors, shared memory, multithreading, multicores, lock-free
3	Qing Liu, Huasheng Zhu, Lan Liu	The Granulations Based on Meaning of Rough Logical Formulas and its Lock Resolution.	GrC	2007	DBLP DOI BibTeX RDF	Rough Logical Formula, Lock Resolution of Granulation, Granular Computing, Inclusion, Closeness
3	Aamer Jaleel, Bruce L. Jacob	In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs).	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts
3	Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup	Lock-Free Dynamically Resizable Arrays.	OPODIS	2006	DBLP DOI BibTeX RDF	real-time systems, concurrency, C++, vector, lock-free, STL
3	Hui Gao, Jan Friso Groote, Wim H. Hesselink	Lock-free dynamic hash tables with open addressing.	Distributed Computing	2005	DBLP DOI BibTeX RDF	Distributed algorithms, Wait-free, Lock-free, Hash tables
3	Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit	Using elimination to implement scalable and lock-free FIFO queues.	SPAA	2005	DBLP DOI BibTeX RDF	scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination
3	Guojing Cong, David A. Bader	Lock-Free Parallel Algorithms: An Experimental Study.	HiPC	2004	DBLP DOI BibTeX RDF	Lock-free Data Structures, High-Performance Algorithm Engineering, Parallel Algorithms, Shared Memory
3	Maged M. Michael	Scalable lock-free dynamic memory allocation.	PLDI	2004	DBLP DOI BibTeX RDF	async-signal-safe, malloc, availability, lock-free
3	Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir	Bringing practical lock-free synchronization to 64-bit applications.	PODC	2004	DBLP DOI BibTeX RDF	64-bit-clean software, freelists, load-linked/store-conditional (LL/SC), population-oblivious, space-adaptive, multiprocessors, memory management, queues, lock-free, compare-and-swap (CAS), nonblocking synchronization, 64-bit architectures
3	Mikhail Fomitchev, Eric Ruppert	Lock-free linked lists and skip lists.	PODC	2004	DBLP DOI BibTeX RDF	fault-tolerant, distributed, efficient, analysis, lock-free, linked list, skip list, amortized analysis
3	Bin Zhang 0003, Hongjun Wu, Dengguo Feng, Feng Bao	Cryptanalysis of a Knapsack Based Two-Lock Cryptosystem.	ACNS	2004	DBLP DOI BibTeX RDF	Two-lock cryptosystem, Cryptanalysis, Knapsack problem
3	Håkan Sundell, Philippas Tsigas	Fast and Lock-Free Concurrent Priority Queues for Multi-Thread Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	Parallel, Shared Memory, Multi-Thread, Priority Queue, Lock-Free, Non-Blocking
3	Adrian A. Dorrington, Rainer Künnemeyer	A Simple Microcontroller Based Digital Lock-in Amplifier for the Detection of Low Level Optical Signals.	DELTA	2002	DBLP DOI BibTeX RDF	digital lock-in amplifier, integrating input, optimised digital filter
3	Futoshi Iwama, Naoki Kobayashi	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
3	David Dice, Alex Garthwaite	Mostly lock-free malloc.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	lock-free operations, malloc, restartable critical sections, locality, affinity
3	Kiyokuni Kawachiya, Akira Koseki, Tamiya Onodera	Lock reservation: Java locks can mostly do without atomic operations.	OOPSLA	2002	DBLP DOI BibTeX RDF	thread locality, Java, synchronization, monitor, lock, reservation, atomic operation
3	Bilge Saglam Akgul, Jaehwan Lee, Vincent John Mooney III	A system-on-a-chip lock cache with task preemption support.	CASES	2001	DBLP DOI BibTeX RDF	lock synchronization, multi-processor synchronization, SoC, shared memory, RTOS, preemption
3	Theodore Johnson, Krishna Harathi	A Prioritized Multiprocessor Spin Lock.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	spin lock, real-time system, parallel processing, Mutual exclusion, priority queue
3	James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay	Real-Time Computing with Lock-Free Shared Objects.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	scheduling, synchronization, earliest deadline first, hard real time, wait free, lock free, critical sections, rate monotonic, deadline monotonic
3	Mark Aldred, Ilya Gertner, Stephen McKellar	A distributed lock manager on fault tolerant MPP .	HICSS	1995	DBLP DOI BibTeX RDF	distributed lock manager, fault tolerant MPP, Oracle Parallel Server, MPP UNIX system, resource locks, distributed message passing, global memory, reflective memory, Encore Infinity 90 architecture, shared memory style DLM, DLM recovery, Oracle session, node repair, MPP Unix, reliability, parallel programming, fault tolerant computing, message passing, Unix, shared memory systems, software fault tolerance, operating systems (computers)
3	Hans-Juergen Boehm, Alan J. Demers, Christ Uhler	Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm.	LOPLAS	1993	DBLP DOI BibTeX RDF	monitor lock, spin lock, multiprocessing, critical section
3	Maurice Herlihy, J. Eliot B. Moss	Lock-Free Garbage Collection for Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	storagemanagement, garbage collection, multiprocessing systems, shared-memory multiprocessors, storage management, lock-free, global synchronization
3	Guang-Huei Chiou, Wen-Tsuen Chen	Secure Broadcasting Using the Secure Lock.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	secure broadcasting protocols, secret key minimization, secure broadcasting, secure lock, deciphering operation, private-key cryptosystem, cryptography, protocols, broadcasting, public-key cryptosystem, Chinese Remainder theorem, satellite, telecommunication channels, session key, radio, broadcast channels, secret keys, ciphertext
2	Feng Cheng 0002, Thanh-Dien Tran, Sebastian Roschke, Christoph Meinel	A Specialized Tool for Simulating Lock-Keeper Data Transfer.	AINA	2010	DBLP DOI BibTeX RDF	Lock-Keeper, Simulation, Performance Measurement, Data Exchange, Network and Communication
2	Xiaohuang Huang, Christopher I. Rodrigues, Stephen Jones, Ian Buck, Wen-mei W. Hwu	XMalloc: A Scalable Lock-free Dynamic Memory Allocator for Many-core Machines.	CIT	2010	DBLP DOI BibTeX RDF	malloc, async-signalsafe, scalability, availability, GPGPU, CUDA, lock-free
2	David Dice, Nir Shavit	TLRW: return of the read-write lock.	SPAA	2010	DBLP DOI BibTeX RDF	multicore processors, concurrent data structures
2	Balaji Srinivasan, Vinay Bhaskar Chandratre	An Improved High Resolution CMOS Timing Generator Using Array of Digital Delay Lock Loops.	VLSI Design	2010	DBLP DOI BibTeX RDF	Delay Lock Loop
2	Pierangelo di Sanzo, Roberto Palmieri, Bruno Ciciani, Francesco Quaglia, Paolo Romano	Analytical modeling of lock-based concurrency control with arbitrary transaction data access patterns.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	concurrency control, two phase locking, data access patterns
2	Sandya Mannarswamy, Dhruva R. Chakrabarti, Kaushik Rajan, Sujoy Saraswati	Compiler aided selective lock assignment for improving the performance of software transactional memory.	PPOPP	2010	DBLP DOI BibTeX RDF	performance, parallelization, compilers, multithreading
2	Yinglong Xia, Viktor K. Prasanna	Collaborative scheduling of DAG structured computations on multicore processors.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	dag structured computations, lock free structures, task sharing, collaborative scheduling
2	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Helper locks for fork-join parallel programming.	PPOPP	2010	DBLP DOI BibTeX RDF	dynamic multithreading, helper lock, parallel region, scheduling, work stealing, nested parallelism, cilk
2	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF
2		Lock Tuning.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Lock Manager.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Lock Coupling.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Sebastian Roschke, Feng Cheng 0002, Thanh-Dien Tran, Christoph Meinel	A Theoretical Model of Lock-Keeper Data Exchange and its Practical Verification.	NPC	2009	DBLP DOI BibTeX RDF	Lock-Keeper, Perfomance, Model
2	Yang Zhao, John Boyland	Assuring Lock Usage in Multithreaded Programs with Fractional Permissions.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
2	Sebastian Bächle, Theo Härder, Michael Peter Haustein	Implementing and Optimizing Fine-Granular Lock Management for XML Document Trees.	DASFAA	2009	DBLP DOI BibTeX RDF
2	Yongcai Wang, Junhui Zhao, Toshikazu Fukushima	LOCK: A Highly Accurate, Easy-to-Use Location-Based Access Control System.	LoCA	2009	DBLP DOI BibTeX RDF	Location-Based Access Control, Ultrasound Positioning Device, Measurement-free, Highly accurate, Easy-to-use
2	Xiaoning Ding, Song Jiang, Xiaodong Zhang	BP-Wrapper: A System Framework Making Any Replacement Algorithms (Almost) Lock Contention Free.	ICDE	2009	DBLP DOI BibTeX RDF
2	Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho	On scheduling soft real-time tasks with lock-free synchronization for embedded devices.	SAC	2009	DBLP DOI BibTeX RDF
2	Evangelos Bampas, Leszek Gasieniec, Nicolas Hanusse, David Ilcinkas, Ralf Klasing, Adrian Kosowski	Euler Tour Lock-In Problem in the Rotor-Router Model.	DISC	2009	DBLP DOI BibTeX RDF
2	Miriam Roy, Fabian Hemmert, Reto Wettach	Living interfaces: the intimate door lock.	Tangible and Embedded Interaction	2009	DBLP DOI BibTeX RDF	intimate interaction, kiss, interface design, human-machine-interaction, mirror, emotional design
2	Vineet Kahlon	Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.	LICS	2009	DBLP DOI BibTeX RDF
2	Sebastian Bächle, Theo Härder	The Real Performance Drivers behind XML Lock Protocols.	DEXA	2009	DBLP DOI BibTeX RDF
2	Junchang Wang, Haipeng Cheng, Bei Hua, Xinan Tang	Practice of parallelizing network applications on multi-core architectures.	ICS	2009	DBLP DOI BibTeX RDF	application-level protocol processing, deep content inspection, lock-free data structures, multi-core parallelization, pipelining implementation, tcp/ip protocol processing
2	Rabia Haq, Michael L. Nelson	Using timed-release cryptography to mitigate the preservation risk of embargo periods.	JCDL	2009	DBLP DOI BibTeX RDF	time lock, timed release, cryptography, repositories
2	Yossi Lev, Victor Luchangco, Marek Olszewski	Scalable reader-writer locks.	SPAA	2009	DBLP DOI BibTeX RDF	reader-writer lock, snzi, scalable, synchronization
2	Jeang-Kuo Chen, Kuan-Chang Lu	Concurrent Operations for Accessing an XML Document in a Multi-user Environment.	ICA3PP	2009	DBLP DOI BibTeX RDF	Lock-coupling, Bread-first Search, XML, Concurrency Control, Locking
2	Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri	Abortable Fork-Linearizable Storage.	OPODIS	2009	DBLP DOI BibTeX RDF	Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration
2	Byung-Chul Kim, Sang-Woo Jun, Dae Joon Hwang, Yong-Kee Jun	Visualizing Potential Deadlocks in Multithreaded Programs.	PaCT	2009	DBLP DOI BibTeX RDF	potential deadlocks, lock-causality graph, visualization, debugging, multithreaded programs
2	Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Single global lock semantics in a weakly atomic STM.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	Java
2	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
2	Wei Li 0021, Lingyu Wang, Bo Zhu, Lei Zhang 0004	An Integrity Lock Architecture for Supporting Distributed Authorizations in Database Federations.	SEC	2008	DBLP DOI BibTeX RDF
2	Bo Hong	A lock-free multi-threaded algorithm for the maximum flow problem.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Jiangming Yang, Haixun Wang, Ning Gu, Yiming Liu, Chunsong Wang, Qiwei Zhang	Lock-free consistency control for web 2.0 applications.	WWW	2008	DBLP DOI BibTeX RDF	concurrency control, xml, consistency maintenance
2	Amitabha Roy 0002, Keir Fraser, Steven Hand	A transactional approach to lock scalability.	SPAA	2008	DBLP DOI BibTeX RDF	concurrency, fairness, transactional memory, locks
2	Victor Luchangco	Against lock-based semantics for transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	semantics, transactional memory, locks
2	Balaji Srinivasan, Vinay Bhaskar Chandratre, Menka Tewani	0.35µ, 1 GHz, CMOS Timing Generator Using Array of Digital Delay Lock Loops.	VLSI Design	2008	DBLP DOI BibTeX RDF
2	Kohei Suenaga	Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.	APLAS	2008	DBLP DOI BibTeX RDF
2	Jan Christian Meyer, Anne C. Elster	Latency Impact on Spin-Lock Algorithms for Modern Shared Memory Multiprocessors.	CISIS	2008	DBLP DOI BibTeX RDF
2	Li-Pu Chuang, Ming-Hung Chang, Po-Tsang Huang, Chih-Hao Kan, Wei Hwang	A 5.2mW all-digital fast-lock self-calibrated multiphase delay-locked loop.	ISCAS	2008	DBLP DOI BibTeX RDF
2	Peter Klein, Dimo Maleshkov, Dimitar Asenov	A Framework for Concurrency in Numerical Simulations Using Lock Free Data Structures: The Graph Parallel Architecture GraPA.	PDCAT	2008	DBLP DOI BibTeX RDF
2	Naoki Kobayashi, Davide Sangiorgi	A Hybrid Type System for Lock-Freedom of Mobile Processes.	CAV	2008	DBLP DOI BibTeX RDF
2	Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao	Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections.	LCPC	2008	DBLP DOI BibTeX RDF
2	Feng Cheng 0002, Christoph Meinel	Strong Authentication over Lock-Keeper.	SOFSEM	2008	DBLP DOI BibTeX RDF
2	Antti Siirtola, Michal Valenta	Verifying Parameterized taDOM+ Lock Managers.	SOFSEM	2008	DBLP DOI BibTeX RDF	model-checking, Verification, case study, XML databases, parameterized systems
2	Julie Christopher	Study of optimal load lock dedication for cluster tools.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	Cliff Click	IWannaBit!	MSPC	2008	DBLP DOI BibTeX RDF	lock-free algorithms, locking, software transactional memory, non-blocking algorithms, hardware transactional memory
2	Milind Kulkarni, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew	Optimistic parallelism benefits from data partitioning.	ASPLOS	2008	DBLP DOI BibTeX RDF	lock coarsening, over-decomposition, locality, data partitioning, optimistic parallelism, irregular programs
2	Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani	Inferring locks for atomic sections.	PLDI	2008	DBLP DOI BibTeX RDF	atomic sections, static lock inference, concurrency
2	Michel Raynal	Locks Considered Harmful: A Look at Non-traditional Synchronization.	SEUS	2008	DBLP DOI BibTeX RDF	Adaptive renaming, Lock-free synchronization, Fault-tolerance, Concurrency, Shared memory system, Asynchronous system, Failure detector, Process crash, Atomic register, Synchronization primitive, Wait-free computation
2	Robert Colvin, Lindsay Groves	A Scalable Lock-Free Stack Algorithm and its Verification.	SEFM	2007	DBLP DOI BibTeX RDF
2	Richard L. Halpert, Christopher J. F. Pickett, Clark Verbrugge	Component-Based Lock Allocation.	PACT	2007	DBLP DOI BibTeX RDF
2	Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone	Secure Multiparty Computations Using a Dial Lock.	TAMC	2007	DBLP DOI BibTeX RDF
2	Robert Colvin, Brijesh Dongol	Verifying Lock-Freedom Using Well-Founded Orders.	ICTAC	2007	DBLP DOI BibTeX RDF
2	Sundeep Narravula, A. Marnidala, Abhinav Vishnu, Karthikeyan Vaidyanathan, Dhabaleswar K. Panda	High Performance Distributed Lock Management Services using Network-based Remote Atomic Operations.	CCGRID	2007	DBLP DOI BibTeX RDF