Search results for "Atomicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
132	Chang-Seo Park, Koushik Sen	Randomized active atomicity violation detection in concurrent programs.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	atomicity violation detection, concurrency, dynamic analysis, random testing
112	Florian T. Schneider, Vijay Menon 0002, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Dynamic optimization for efficient strong atomicity.	OOPSLA	2008	DBLP DOI BibTeX RDF	virtual machines, code generation, transactional memory, compiler optimizations, dynamic optimizations, strong atomicity
112	Liqiang Wang, Scott D. Stoller	Runtime Analysis of Atomicity for Multithreaded Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Java, Concurrent programming, atomicity, data race, testing and debugging
112	Liqiang Wang, Scott D. Stoller	Accurate and efficient runtime detection of atomicity errors in concurrent programs.	PPoPP	2006	DBLP DOI BibTeX RDF	Java, concurrent programming, atomicity, serializability, data race
106	Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu 0001	Atomicity Analysis of Service Composition across Organizations.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
102	Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Automated type-based analysis of data races and atomicity.	PPoPP	2005	DBLP DOI BibTeX RDF	type system, type inference, atomicity, data races
97	Serdar Tasiran, Tayfun Elmas	Rollback Atomicity.	RV	2007	DBLP DOI BibTeX RDF
93	Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001	AVIO: detecting atomicity violations via access interleaving invariants.	ASPLOS	2006	DBLP DOI BibTeX RDF	concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
87	Soyeon Park, Shan Lu 0001, Yuanyuan Zhou 0001	CTrigger: exposing atomicity violation bugs from their hiding places.	ASPLOS	2009	DBLP DOI BibTeX RDF	software testing, concurrency bug
87	Yu David Liu, Xiaoqi Lu, Scott F. Smith 0001	Coqa: Concurrent Objects with Quantized Atomicity.	CC	2008	DBLP DOI BibTeX RDF
87	Milo M. K. Martin, Colin Blundell, E Christopher Lewis	Subtleties of Transactional Memory Atomicity Semantics.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
83	Martín Abadi, Tim Harris 0001, Mojtaba Mehrara	Transactional memory with strong atomicity using off-the-shelf memory protection hardware.	PPoPP	2009	DBLP DOI BibTeX RDF	transactional memory, stm, memory protection, strong atomicity
83	Cormac Flanagan, Stephen N. Freund, Jaeheon Yi	Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.	PLDI	2008	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
83	Chunyang Ye, S. C. Cheung 0001, W. K. Chan 0001	Publishing and composition of atomicity-equivalent services for B2B collaboration.	ICSE	2006	DBLP DOI BibTeX RDF	process collaboration, public view, process algebra, atomicity
83	Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller	Optimized run-time race detection and atomicity checking using partial discovered types.	ASE	2005	DBLP DOI BibTeX RDF	performance, type system, atomicity, data races
83	Cormac Flanagan, Stephen N. Freund	Atomizer: a dynamic atomicity checker for multithreaded programs.	POPL	2004	DBLP DOI BibTeX RDF	dynamic analysis, reduction, atomicity
83	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
80	Tatiana Shpeisman, Vijay Menon 0002, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha	Enforcing isolation and ordering in STM.	PLDI	2007	DBLP DOI BibTeX RDF	weak atomicity, virtual machines, code generation, transactional memory, compiler optimizations, isolation, ordering, escape analysis, strong atomicity
77	Azadeh Farzan, P. Madhusudan, Francesco Sorrentino 0002	Meta-analysis for Atomicity Violations under Nested Locking.	CAV	2009	DBLP DOI BibTeX RDF
77	L. Jean Camp	An Atomicity-Generating Protocol for Anonymous Currencies.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	transaction security, fault tolerance, Reliability, electronic commerce
77	Aidong Zhang, Marian H. Nodine, Bharat K. Bhargava, Omran A. Bukhres	Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF
77	William E. Weihl	Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
74	Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky	06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science.	Atomicity: A Unifying Concept in Computer Science	2006	DBLP BibTeX RDF
74	Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky	06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science.	Atomicity: A Unifying Concept in Computer Science	2006	DBLP BibTeX RDF
73	Lee Chew, David Lie	Kivati: fast detection and prevention of atomicity violations.	EuroSys	2010	DBLP DOI BibTeX RDF	kivati, watchpoint, atomicity violation
73	Brandon Lucia, Luis Ceze, Karin Strauss	ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations.	ISCA	2010	DBLP DOI BibTeX RDF	bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations
73	Chunyang Ye, S. C. Cheung 0001, W. K. Chan 0001, Chang Xu 0001	Detection and resolution of atomicity violation in service composition.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	web services, atomicity, implicit interaction, behavior constraint
73	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting Purity for Atomicity.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, Atomicity
73	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting purity for atomicity.	ISSTA	2004	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, atomicity
68	Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai	Research of Satisfying Atomic and Anonymous Electronic Commerce Protocol.	GCC (2)	2003	DBLP DOI BibTeX RDF
68	Rachid Guerraoui	Atomic Object Composition.	ECOOP	1994	DBLP DOI BibTeX RDF
67	Qichang Chen, Liqiang Wang, Zijiang Yang 0006, Scott D. Stoller	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.	FASE	2009	DBLP DOI BibTeX RDF
67	Azadeh Farzan, P. Madhusudan	Monitoring Atomicity in Concurrent Programs.	CAV	2008	DBLP DOI BibTeX RDF
67	Zongtao Zhao, Jun Wei 0001, Li Lin, Xiaoning Ding	A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity.	COMPSAC	2008	DBLP DOI BibTeX RDF
67	Azadeh Farzan, P. Madhusudan	Causal Atomicity.	CAV	2006	DBLP DOI BibTeX RDF
63	Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan	SideTrack: generalizing dynamic atomicity analysis.	PADTAD	2009	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
63	Chunyang Ye, S. C. Cheung 0001, W. K. Chan 0001, Chang Xu 0001	Local analysis of atomicity sphere for B2B collaboration.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	process collaboration, privacy, process algebra, atomicity
63	Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie	Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	QuickSilver distributed file system, Starburst relational database manager, atomic properties, mutual consistency, client-server transactions, recoverable data structures, shadow copies, concurrency, relational databases, distributed databases, transaction processing, atomicity, network operating systems, stable storage, transaction systems
58	Ajay D. Kshemkalyani	A Framework for Viewing Atomic Events in Distributed Computations.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
58	Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini	Verifying Atomicity Requirements of Services Coordination Using B.	ENC	2008	DBLP DOI BibTeX RDF
58	Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami	Detecting Atomicity Errors in Message Passing Programs.	PDCAT	2007	DBLP DOI BibTeX RDF
58	Arvind, Jan-Willem Maessen	Memory Model = Instruction Reordering + Store Atomicity.	ISCA	2006	DBLP DOI BibTeX RDF
58	Cormac Flanagan	Verifying Commit-Atomicity Using Model-Checking.	SPIN	2004	DBLP DOI BibTeX RDF
58	Cormac Flanagan, Stephen N. Freund	Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary).	IPDPS	2004	DBLP DOI BibTeX RDF
58	Wei-keng Liao, Alok N. Choudhary, Kenin Coloma, George K. Thiruvathukal, Lee Ward, Eric Russell, Neil Pundit	Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O.	ICPP	2003	DBLP DOI BibTeX RDF
58	Shouhuai Xu, Moti Yung, Gendu Zhang, Hong Zhu 0004	Money Conservation via Atomicity in Fair Off-Line E-Cash.	ISW	1999	DBLP DOI BibTeX RDF
58	Lefteris M. Kirousis, Andreas G. Veneris	Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations.	WDAG	1993	DBLP DOI BibTeX RDF
55	Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum (eds.)	Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006	Atomicity: A Unifying Concept in Computer Science	2006	DBLP BibTeX RDF
55	Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter 0001, David Taylor, Irfan Zakiuddin	06121 Report: Break Out Session on Guaranteed Execution.	Atomicity: A Unifying Concept in Computer Science	2006	DBLP BibTeX RDF
55	Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum (eds.)	Atomicity in System Design and Execution, 25.04. - 30.04.2004	Atomicity in System Design and Execution	2004	DBLP BibTeX RDF
55	Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues	The Atomic Manifesto: a Story in Four Quarks.	Atomicity in System Design and Execution	2004	DBLP BibTeX RDF
55	Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc	Towards transactional memory semantics for C++.	SPAA	2009	DBLP DOI BibTeX RDF	synchronization, c++, transactional memory, atomicity, serializability
55	Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai	Research of Atomic and Anonymous Electronic Commerce Protocol.	RSFDGrC	2003	DBLP DOI BibTeX RDF	fair blind signature, fair anonymity, atomicity, payment system
54	Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001	AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.	IEEE Micro	2007	DBLP DOI BibTeX RDF	reliability, testing, debugging, concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
54	Benjamin Hindman, Dan Grossman	Atomicity via source-to-source translation.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	Java, transactional memory, concurrent programming, atomicity
54	Sami Bhiri, Olivier Perrin 0001, Claude Godart	Ensuring required failure atomicity of composite Web services.	WWW	2005	DBLP DOI BibTeX RDF	failure atomicity, reliable Web services compositions, transactional models
54	Michael F. Ringenburg, Dan Grossman	AtomCaml: first-class atomicity via rollback.	ICFP	2005	DBLP DOI BibTeX RDF	transactions, concurrent programming, atomicity, objective caml
54	Cormac Flanagan, Stephen N. Freund, Marina Lifshin	Type inference for atomicity.	TLDI	2005	DBLP DOI BibTeX RDF	concurrency, reduction, type inference, atomicity
54	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPoPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
54	Yongdong Tan, Isao Kaji, Kinji Mori	Autonomous Coordination for Atomicity of Transaction in Heterogeneous Systems.	COMPSAC	1999	DBLP DOI BibTeX RDF	Autonomous Coordination, Atomicity, Heterogeneous system
54	Lars Frank	Atomicity Implementation in Mobile Computing.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	client/server technology, fault tolerance, mobile computing, atomicity, multidatabases, ACID properties
54	Nancy A. Lynch	Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	transaction, atomicity, breakpoint
49	Robert J. Stroud, Zhixue Wu	Using Metaobject Protocols to Implement Atomic Data Types.	ECOOP	1995	DBLP DOI BibTeX RDF
48	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
48	Azadeh Farzan, P. Madhusudan	The Complexity of Predicting Atomicity Violations.	TACAS	2009	DBLP DOI BibTeX RDF
48	Rachid Guerraoui, Marko Vukolic	A Scalable and Oblivious Atomicity Assertion.	CONCUR	2008	DBLP DOI BibTeX RDF
48	Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram	A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF
48	Xiaoning Ding, Jun Wei 0001, Tao Huang 0001	User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition.	ICFEM	2006	DBLP DOI BibTeX RDF
48	Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber	Proving Atomicity: An Assertional Approach.	DISC	2005	DBLP DOI BibTeX RDF
48	John Hatcliff, Robby, Matthew B. Dwyer	Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
48	Mikhail Nesterenko, Anish Arora	Stabilization-Preserving Atomicity Refinement.	DISC	1999	DBLP DOI BibTeX RDF
48	Paul Ammann, Sushil Jajodia, Indrakshi Ray	Ensuring Atomicity of Multilevel Transactions.	S&P	1996	DBLP DOI BibTeX RDF
48	Alan D. Fekete, Nancy A. Lynch, William E. Weihl	Hybrid Atomicity for Nested Transactions.	ICDT	1992	DBLP DOI BibTeX RDF
45	Tao Huang 0001, Xiaoning Ding, Jun Wei 0001	An application-semantics-based relaxed transaction model for internetware.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	relaxed atomicity, relaxed transaction mode, service composition, internetware
44	Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles	Hardware atomicity for reliable software speculation.	ISCA	2007	DBLP DOI BibTeX RDF	Java, optimization, checkpoint, atomicity, speculation, isolation
39	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Software Transactional Memory on Relaxed Memory Models.	CAV	2009	DBLP DOI BibTeX RDF
38	Debmalya Biswas, Ashwin Jiwane, Blaise Genest	Atomicity for XML Databases.	XSym	2009	DBLP DOI BibTeX RDF
38	Zdenek Letko, Tomás Vojnar, Bohuslav Krena	AtomRace: data race and atomicity violation detector and healer.	PADTAD	2008	DBLP DOI BibTeX RDF
38	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney	Retrenchment and the Atomicity Pattern.	SEFM	2007	DBLP DOI BibTeX RDF
38	Yi Ren, Quanyuan Wu, Yan Jia 0001, Jianbo Guan	An Efficient Hierarchical Failure Recovery Algorithm Ensuring Semantic Atomicity for Workflow Applications.	WAIM	2004	DBLP DOI BibTeX RDF
38	Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit	Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
38	Claudio Masolo, Laure Vieu	Atomicity vs. Infinite Divisibility of Space.	COSIT	1999	DBLP DOI BibTeX RDF	ontology of space, axiomatic theories of space, qualitative spatial reasoning, spatial data representation
37	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney	Atomicity failure and the retrenchment atomicity pattern.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
37	David B. Lomet	Transactions: From Local Atomicity to Atomicity in the Cloud.	Dependable and Historic Computing	2011	DBLP DOI BibTeX RDF
35	Yong-Jik Kim, James H. Anderson	Adaptive mutual exclusion with local spinning.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Adaptive mutual exclusion, Read/write atomicity, Time complexity, Shared-memory systems, Local spinning
35	Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward, Eric Russell, Neil Pundit	Scalable Design and Implementations for MPI Parallel Overlapping I/O.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	atomic I/O, file atomicity, file consistency, overlapping I/O, MPI, cache coherence, MPI I/O
35	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Anonymous Payment in a Fair E-Commerce Protocol with Verifiable TTP.	TrustBus	2005	DBLP DOI BibTeX RDF	Electronic coins, Anonymity, Atomicity, Fair exchange, Verifiability
35	Sandeep S. Kulkarni, Umamaheswaran Arumugam	Transformations for Write-All-with-Collision Model.	OPODIS	2003	DBLP DOI BibTeX RDF	Model conversions, Preserving stabilization, Atomicity refinement, Write-all-with-collision model, Read/Write model
35	Jeannette M. Wing	Verifying Atomic Data Types.	REX Workshop	1989	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
34	Naveen Neelakantam, David R. Ditzel, Craig B. Zilles	A real system evaluation of hardware atomicity for software speculation.	ASPLOS	2010	DBLP DOI BibTeX RDF	optimization, checkpoint, atomicity, speculation, dynamic translation
34	Yong Li, Yu Zhang 0086, Yiyun Chen, Ming Fu	On the Verification of Strong Atomicity in Programs Using STM.	SSIRI	2009	DBLP DOI BibTeX RDF	transactional memory, proof-carrying code, strong atomicity
34	Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles	Hardware Atomicity: An Effective Abstraction for Reliable Software Speculation.	IEEE Micro	2008	DBLP DOI BibTeX RDF	Java, optimization, architecture, compiler, checkpoint, atomicity, speculation, isolation, compiler-architecture interactions
34	Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer	Types for atomicity: Static checking and inference for Java.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	type systems, concurrent programs, type inference, Atomicity
34	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Practical weak-atomicity semantics for java stm.	SPAA	2008	DBLP DOI BibTeX RDF	weak atomicity, java, transactional memory, memory models, programming language semantics
34	Ajay D. Kshemkalyani	Causality and Atomicity in Distributed Computations.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Distributed system, Concurrency, Distributed computation, Synchronization, Time, Atomicity, Causality, Global predicates
31	Katherine F. Moore, Dan Grossman	High-level small-step operational semantics for transactions.	POPL	2008	DBLP DOI BibTeX RDF	weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity
31	William E. Weihl	Commutativity-Based Concurrency Control for Abstract Data Types.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial
29	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
29	Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis	Self-stabilizing minimum-degree spanning tree within one from the optimal degree.	IPDPS	2009	DBLP DOI BibTeX RDF
29	Charles P. Wright, Richard P. Spillane, Gopalan Sivathanu, Erez Zadok	Extending ACID semantics to the file system.	ACM Trans. Storage	2007	DBLP DOI BibTeX RDF	File system transactions, ptrace monitors, recoverable memory, databases, file systems