Search results for "atomicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	Lee Chew, David Lie	Kivati: fast detection and prevention of atomicity violations.	EuroSys	2010	DBLP DOI BibTeX RDF	kivati, watchpoint, atomicity violation
3	Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan	SideTrack: generalizing dynamic atomicity analysis.	PADTAD	2009	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
3	Martín Abadi, Tim Harris, 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
3	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
3	Florian T. Schneider, Vijay Menon, 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
3	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
3	Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou	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
3	Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan, Craig B. Zilles	Hardware atomicity for reliable software speculation.	ISCA	2007	DBLP DOI BibTeX RDF	Java, optimization, checkpoint, atomicity, speculation, isolation
3	Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu	Detection and resolution of atomicity violation in service composition.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	web services, atomicity, implicit interaction, behavior constraint
3	Tatiana Shpeisman, Vijay Menon, 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
3	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
3	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
3	Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou	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
3	Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander Romanovsky	06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science.	Atomicity: A Unifying Concept in Computer Science	2006	DBLP BibTeX RDF
3	Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander Romanovsky	06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science.	Atomicity: A Unifying Concept in Computer Science	2006	DBLP BibTeX RDF
3	Chunyang Ye, S. C. Cheung, W. K. Chan	Publishing and composition of atomicity-equivalent services for B2B collaboration.	ICSE	2006	DBLP DOI BibTeX RDF	process collaboration, public view, process algebra, atomicity
3	Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu	Local analysis of atomicity sphere for B2B collaboration.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	process collaboration, privacy, process algebra, atomicity
3	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
3	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
3	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
3	Sami Bhiri, Olivier Perrin, Claude Godart	Ensuring required failure atomicity of composite Web services.	WWW	2005	DBLP DOI BibTeX RDF	failure atomicity, reliable Web services compositions, transactional models
3	Michael F. Ringenburg, Dan Grossman	AtomCaml: first-class atomicity via rollback.	ICFP	2005	DBLP DOI BibTeX RDF	transactions, concurrent programming, atomicity, objective caml
3	Cormac Flanagan, Stephen N. Freund, Marina Lifshin	Type inference for atomicity.	TLDI	2005	DBLP DOI BibTeX RDF	concurrency, reduction, type inference, atomicity
3	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
3	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
3	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting purity for atomicity.	ISSTA	2004	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, atomicity
3	Cormac Flanagan, Stephen N. Freund	Atomizer: a dynamic atomicity checker for multithreaded programs.	POPL	2004	DBLP DOI BibTeX RDF	dynamic analysis, reduction, atomicity
3	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
3	Yongdong Tan, Isao Kaji, Kinji Mori	Autonomous Coordination for Atomicity of Transaction in Heterogeneous Systems. (PDF / PS)	COMPSAC	1999	DBLP DOI BibTeX RDF	Autonomous Coordination, Atomicity, Heterogeneous system
3	Lars Frank	Atomicity Implementation in Mobile Computing. (PDF / PS)	DEXA Workshops	1999	DBLP DOI BibTeX RDF	client/server technology, fault tolerance, mobile computing, atomicity, multidatabases, ACID properties
3	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
3	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
2	Edson Borin, Youfeng Wu, Cheng Wang, Wei Liu, Mauricio Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner	TAO: two-level atomicity for dynamic binary optimizations.	CGO	2010	DBLP DOI BibTeX RDF	atomic execution, dynamic binary optimization, large region optimization, hardware/software co-design
2	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
2	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
2	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
2	Jaeheon Yi, Cormac Flanagan	Effects for cooperable and serializable threads.	TLDI	2010	DBLP DOI BibTeX RDF	atomicity, yield, race conditions, effect system
2	Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu	Atomicity Analysis of Service Composition across Organizations.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
2	Azadeh Farzan, P. Madhusudan	The Complexity of Predicting Atomicity Violations.	TACAS	2009	DBLP DOI BibTeX RDF
2	Soyeon Park, Shan Lu, Yuanyuan Zhou	CTrigger: exposing atomicity violation bugs from their hiding places.	ASPLOS	2009	DBLP DOI BibTeX RDF	software testing, concurrency bug
2	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
2	Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.	FASE	2009	DBLP DOI BibTeX RDF
2	Azadeh Farzan, P. Madhusudan, Francesco Sorrentino 0002	Meta-analysis for Atomicity Violations under Nested Locking.	CAV	2009	DBLP DOI BibTeX RDF
2	Debmalya Biswas, Ashwin Jiwane, Blaise Genest	Atomicity for XML Databases.	XSym	2009	DBLP DOI BibTeX RDF
2	Yong Li, Yu Zhang, 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
2	Saba Sehrish, Jun Wang, Rajeev Thakur	Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity.	PVM/MPI	2009	DBLP DOI BibTeX RDF
2	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
2	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	A calculus of atomic actions.	POPL	2009	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
2	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
2	Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan, 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
2	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
2	Rachid Guerraoui, Marko Vukolic	A Scalable and Oblivious Atomicity Assertion.	CONCUR	2008	DBLP DOI BibTeX RDF
2	Zdenek Letko, Tomás Vojnar, Bohuslav Krena	AtomRace: data race and atomicity violation detector and healer.	PADTAD	2008	DBLP DOI BibTeX RDF
2	Zongtao Zhao, Jun Wei, Li Lin, Xiaoning Ding	A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity.	COMPSAC	2008	DBLP DOI BibTeX RDF
2	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
2	Vijay Menon, 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
2	Yu David Liu, Xiaoqi Lu, Scott F. Smith	Coqa: Concurrent Objects with Quantized Atomicity.	CC	2008	DBLP DOI BibTeX RDF
2	Dave Cunningham, Khilan Gudka, Susan Eisenbach	Keep Off the Grass: Locking the Right Path for Atomicity.	CC	2008	DBLP DOI BibTeX RDF
2	Martín Abadi	Automatic Mutual Exclusion and Atomicity Checks.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	Azadeh Farzan, P. Madhusudan	Monitoring Atomicity in Concurrent Programs.	CAV	2008	DBLP DOI BibTeX RDF
2	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
2	Yossi Lev, Jan-Willem Maessen	Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory.	PPOPP	2008	DBLP DOI BibTeX RDF	transactional memory, atomicity, nesting
2	Wim H. Hesselink	A criterion for atomicity revisited.	Acta Inf.	2007	DBLP DOI BibTeX RDF
2	Serdar Tasiran, Tayfun Elmas	Rollback Atomicity.	RV	2007	DBLP DOI BibTeX RDF
2	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney	Retrenchment and the Atomicity Pattern.	SEFM	2007	DBLP DOI BibTeX RDF
2	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	2007	DBLP DOI BibTeX RDF
2	Suresh Jagannathan	Weaving Atomicity Through Dynamic Dependence Tracking.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Debmalya Biswas, Il-Gon Kim	Atomicity for P2P based XML Repositories.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
2	Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami	Detecting Atomicity Errors in Message Passing Programs.	PDCAT	2007	DBLP DOI BibTeX RDF
2	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.	SSS	2007	DBLP DOI BibTeX RDF	Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis
2	Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar	Lock allocation.	POPL	2007	DBLP DOI BibTeX RDF	lock inference, atomicity, ILP
2	Vincent Gramoli, Michel Raynal	Timed Quorum Systems for Large-Scale and Dynamic Environments.	OPODIS	2007	DBLP DOI BibTeX RDF	Probabilistic atomicity, Scalability, Time, Quorums, Churn
2	Yong-Jik Kim, James H. Anderson	Adaptive mutual exclusion with local spinning.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Adaptive mutual exclusion, Read/write atomicity, Time complexity, Shared-memory systems, Local spinning
2	Milo M. K. Martin, Colin Blundell, E. Lewis	Subtleties of Transactional Memory Atomicity Semantics.	Computer Architecture Letters	2006	DBLP DOI BibTeX RDF
2	Xiaoning Ding, Jun Wei, Tao Huang	User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition.	ICFEM	2006	DBLP DOI BibTeX RDF
2	Arvind, Jan-Willem Maessen	Memory Model = Instruction Reordering + Store Atomicity.	ISCA	2006	DBLP DOI BibTeX RDF
2	John Regehr, Nathan Cooprider, David Gay	Atomicity and visibility in tiny embedded systems.	PLOS	2006	DBLP DOI BibTeX RDF
2	Cliff B. Jones, David B. Lomet, Alexander 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
2	Azadeh Farzan, P. Madhusudan	Causal Atomicity.	CAV	2006	DBLP DOI BibTeX RDF
2	Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter, David Taylor, Irfan Zakiuddin	06121 Report: Break Out Session on Guaranteed Execution.	Atomicity: A Unifying Concept in Computer Science	2006	DBLP BibTeX RDF
2	M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas	A classification of concurrency bugs in java benchmarks by developer intent.	PADTAD	2006	DBLP DOI BibTeX RDF	concurrency errors, verification, refinement, atomicity, race condition
2	Timothy L. Harris, Mark Plesko, Avraham Shinnar, David Tarditi	Optimizing memory transactions.	PLDI	2006	DBLP DOI BibTeX RDF	critical regions, transactional memory, atomicity
2	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 Distrib. Syst.	2006	DBLP DOI BibTeX RDF	atomic I/O, file atomicity, file consistency, overlapping I/O, MPI, cache coherence, MPI I/O
2	Pawel T. Wojciechowski	A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.	Software Composition	2006	DBLP DOI BibTeX RDF	lambda and object calculi, atomicity, dynamic binding
2	Tao Huang, Xiaoning Ding, Jun Wei	An application-semantics-based relaxed transaction model for internetware.	Science in China Series F: Information Sciences	2006	DBLP DOI BibTeX RDF	relaxed atomicity, relaxed transaction mode, service composition, internetware
2	Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber	Proving Atomicity: An Assertional Approach.	DISC	2005	DBLP DOI BibTeX RDF
2	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
2	Cormac Flanagan, Stephen N. Freund	Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary).	IPDPS	2004	DBLP DOI BibTeX RDF
2	Cormac Flanagan	Verifying Commit-Atomicity Using Model-Checking.	SPIN	2004	DBLP DOI BibTeX RDF
2	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Fair Exchange to Achieve Atomicity in Payments of High Amounts Using Electronic Cash.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Fair Exchange to Achieve Atomicity in Payments of High Amounts Using Electronic Cash.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Yi Ren, Quanyuan Wu, Yan Jia, Jianbo Guan	An Efficient Hierarchical Failure Recovery Algorithm Ensuring Semantic Atomicity for Workflow Applications.	WAIM	2004	DBLP DOI BibTeX RDF
2	John Hatcliff, Robby, Matthew B. Dwyer	Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
2	Jian Tang, Ada Wai-Chee Fu, Jari Veijalainen	Supporting Dispute Handling in E-Commerce Transactions, a Framework and Related Methodologies.	Electronic Commerce Research	2004	DBLP DOI BibTeX RDF	merchant, protocol, E-commerce, transaction, customer, atomicity, arbiter, dispute
2	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
2	Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit	Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
2	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
2	Jie Tang, 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
2	Wim H. Hesselink	An assertional criterion for atomicity.	Acta Inf.	2002	DBLP DOI BibTeX RDF