Tag atomicity [28 articles] Export

Recent papers classified by the tag atomicity.

	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics [My Copy] In ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems (2008), pp. 329-339. by Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou posted to debug concurrency bug atomicity by nemonemo on 2009-11-30 03:02:17 as along with 3 people rhishi muli Blinkity
	Enforcing isolation and ordering in STM [My Copy] SIGPLAN Not. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Vol. 42, No. 6. (2007), pp. 78-88. by Tatiana Shpeisman, Vijay Menon, Ali Reza Adl Tabatabai, et al.Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha posted to strong-atomicity stm atomicity by adamx on 2009-10-25 20:41:13 as along with 1 person tautologico
	Dynamic optimization for efficient strong atomicity [My Copy] SIGPLAN Not., Vol. 43, No. 10. (2008), pp. 181-194. by Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali Reza Adl Tabatabai posted to strong-atomicity stm atomicity by adamx on 2009-10-25 20:39:20 as along with 1 person pedagand
	Transactional memory with strong atomicity using off-the-shelf memory protection hardware [My Copy] In PPoPP '09: Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming (2009), pp. 185-196. by Mart'in Abadi, Tim Harris, Mojtaba Mehrara posted to strong-atomicity stm atomicity by adamx on 2009-10-21 21:10:21 as
	Practical weak-atomicity semantics for java stm [My Copy] In SPAA '08: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures (2008), pp. 314-325. by Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, et al. Ali Reza Adl Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc posted to stm serializability semantics atomicity by adamx on 2009-10-11 14:48:52 as
	Ordering-Based Semantics for Software Transactional Memory [My Copy] In OPODIS '08: Proceedings of the 12th International Conference on Principles of Distributed Systems (2008), pp. 275-294. by Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott posted to stm serializability semantics atomicity by adamx on 2009-10-11 14:16:47 as
	Meta-analysis for Atomicity Violations under Nested Locking [My Copy] Computer Aided Verification (2009), pp. 248-262. by Azadeh Farzan, P. Madhusudan, Francesco Sorrentino posted to concurrency atomicity by rhishi on 2009-09-25 20:25:02 as
	The serializability of concurrent database updates [My Copy] J. ACM, Vol. 26, No. 4. (1979), pp. 631-653. by Christos H. Papadimitriou posted to transactional_semantics serializability conflict-serializability atomicity by adamx on 2009-09-17 16:59:56 as
	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions [My Copy] Model Checking Software (2009), pp. 68-87. by Malay Ganai, Sudipta Kundu posted to atomicity concurrency software-verification by rhishi on 2009-08-05 16:21:17 as
	A calculus of atomic actions [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 2-15. by Tayfun Elmas, Shaz Qadeer, Serdar Tasiran posted to atomicity concurrency static by rhishi on 2009-07-09 14:23:13 as
	CTrigger: exposing atomicity violation bugs from their hiding places [My Copy] In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems (2009), pp. 25-36. by Soyeon Park, Shan Lu, Yuanyuan Zhou posted to atomicity concurrency by rhishi on 2009-07-08 17:06:31 as along with 2 people jahwa cfallin
	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs [My Copy] Programming Languages and Systems (2009), pp. 394-409. by Caitlin Sadowski, Stephen Freund, Cormac Flanagan posted to atomicity concurrency dynamic monitoring program-analysis by rhishi on 2009-06-19 15:28:28 as
	Monitoring Atomicity in Concurrent Programs [My Copy] Lecture Notes in Computer Science In Computer Aided Verification (2008), pp. 52-65. by Azadeh Farzan, P. Madhusudan posted to atomicity concurrency dynamic monitoring program-analysis by rhishi on 2009-06-17 20:38:15 as
	The Complexity of Predicting Atomicity Violations [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 155-169. by Azadeh Farzan, P. Madhusudan posted to atomicity concurrency dynamic program-analysis by rhishi on 2009-06-17 20:35:49 as
	Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs [My Copy] In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 293-303. by Cormac Flanagan, Stephen N. Freund, Jaeheon Yi posted to atomicity concurrency software-verification by rhishi on 2009-05-29 19:07:05 as
	Types for atomicity: Static checking and inference for Java [My Copy] ACM Trans. Program. Lang. Syst., Vol. 30, No. 4. (2008), pp. 1-53. by Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer posted to atomicity software-verification by rhishi on 2009-05-29 17:35:19 as
	Atomizer: a dynamic atomicity checker for multithreaded programs [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 256-267. by Cormac Flanagan, Stephen N. Freund posted to atomicity concurrency software-verification by rhishi on 2009-05-29 14:57:25 as along with 2 people amorkan NSumner
	An atomicity-generating protocol for anonymous currencies [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 27, No. 3. (2001), pp. 272-278. by L. J. Camp posted to anonymity atomicity cryptography electronic-commerce security by josephholsten on 2009-02-21 03:52:20 as
	Atomicity in electronic commerce [My Copy] In PODC '96: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (1996), pp. 8-26. by J. D. Tygar posted to atomicity cryptography electronic-comerce security by josephholsten on 2009-02-21 03:48:50 as
	NetBill security and transaction protocol [My Copy] In WOEC'95: Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce (1995), pp. 6-6. by Benjamin Cox, J. D. Tygar, Marvin Sirbu posted to acid atomicity authentication cryptography encryption security transaction by josephholsten on 2009-02-21 03:42:43 as
	The transactional manifesto: software engineering and non-blocking synchronization [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (2005), pp. 280-280. by Maurice Herlihy posted to atomicity concurrency by NSumner on 2008-01-17 14:53:11 as along with 3 people jrw tautologico qiongc
	Stabilizers: a modular checkpointing abstraction for concurrent functional programs [My Copy] SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 136-147. by Lukasz Ziarek, Philip Schatz, Suresh Jagannathan posted to atomicity concurrency by NSumner on 2008-01-16 16:25:32 as
	Heuristics for finding concurrent bugs [My Copy] Parallel and Distributed Processing Symposium, 2003. Proceedings. International In Parallel and Distributed Processing Symposium, 2003. Proceedings. International (2003), 8 pp.. by Y. Eytani, E. Farchi, Y. Ben-Asher posted to atomicity concurrency race testing by NSumner on 2008-01-15 22:43:17 as
	A serializability violation detector for shared-memory server programs [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 1-14. by Min Xu, Rastislav Bod&\#237;k, Mark D. Hill posted to atomicity concurrency testing by NSumner on 2008-01-15 21:11:13 as
	AVIO: detecting atomicity violations via access interleaving invariants [My Copy] In ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems (2006), pp. 37-48. by Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou posted to atomicity concurrency testing by NSumner on 2008-01-15 21:09:19 as along with 1 person naoya
	Reduction: a method of proving properties of parallel programs [My Copy] Commun. ACM, Vol. 18, No. 12. (December 1975), pp. 717-721. by Richard J. Lipton posted to atomicity concurrency by NSumner on 2008-01-15 20:07:42 as along with 1 person amorkan
	Process structuring, synchronization, and recovery using atomic actions [My Copy] In Proceedings of an ACM conference on Language design for reliable software (1977), pp. 128-137. by D. B. Lomet posted to atomicity concurrency transactional transactional-memory by tautologico on 2007-11-14 03:05:49 as
	Highly Concurrent Shared Storage [My Copy] In International Conference on Distributed Computing Systems (2000), pp. 298-307. by Khalil Amiri, Garth A. Gibson, Richard A. Golding posted to atomicity grid hp storage by schollm on 2007-08-03 10:20:38 as

Note: You may cite this page as: http://www.citeulike.org/tag/atomicity

concurrency	18
stm	5
software-verification	4
cryptography	3
dynamic	3
program-analysis	3
security	3
serializability	3
strong-atomicity	3
testing	3
monitoring	2
semantics	2
acid	1
anonymity	1
authentication	1
bug	1
conflict-serializability	1
debug	1
electronic-comerce	1
electronic-commerce	1
encryption	1
grid	1
hp	1
race	1
static	1
storage	1
transaction	1
transactional	1
transactional-memory	1
transactional_semantics	1

Tag atomicity [28 articles] Export

Related Tags