tautologico's stm [11 articles] Export

Recent papers added to tautologico's library classified by the tag stm. You can also see everyone's stm.

	Software transactional memory for dynamic-sized data structures [My Copy] In PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computing (2003), pp. 92-101. by Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer posted to concurrency stm transactional-memory by tautologico on 2007-11-14 03:54:09 as along with 4 people frej nikomatsakis pedagand sby
	Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language [My Copy] In CGO '07: Proceedings of the International Symposium on Code Generation and Optimization (2007), pp. 34-48. by Cheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai posted to language-implementation stm transactional transactional-memory by tautologico on 2007-10-23 21:23:56 as along with 1 person adamx
	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 concurrency stm transactional transactional-memory by tautologico on 2007-10-23 21:06:51 as along with 1 person adamx
	Compiler and runtime support for efficient software transactional memory [My Copy] In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 26-37. by Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman posted to stm transactional-memory concurrency language-implementation transactional by tautologico on 2007-10-23 21:02:31 as along with 3 people eraman mwmarkland sby
	Atomicity via source-to-source translation [My Copy] In MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness (2006), pp. 82-91. by Benjamin Hindman, Dan Grossman posted to concurrency java language-implementation stm transactional transactional-memory by tautologico on 2007-10-23 20:59:03 as along with 1 person dmcgahon
	AtomCaml: first-class atomicity via rollback [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, Vol. 40, No. 9. (September 2005), pp. 92-104. by Michael F. Ringenburg, Dan Grossman posted to concurrency ml ocaml stm transactional transactional-memory by tautologico on 2007-10-23 20:57:34 as along with 3 people robennals nikomatsakis pedagand
	Optimizing memory transactions [My Copy] SIGPLAN Not. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, Vol. 41, No. 6. (2006), pp. 14-25. by Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi posted to stm transactional transactional-memory by tautologico on 2007-10-23 20:53:40 as along with 3 people myui adamx brecknell
	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon Peyton-Jones, Maurice Herlihy posted to concurrency haskell stm transactional transactional-memory by tautologico on 2007-10-23 20:44:24 as along with 25 people and 3 groups ama08r pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer kazuya pedagand brecknell frej ConcertRG SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	Language support for lightweight transactions [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402. by Tim Harris, Keir Fraser posted to java stm transactional by tautologico on 2007-10-23 20:12:49 as along with 10 people and 1 group veal ama08r thsutton robennals epaulson spl janschaefer RalfMitschke brecknell getpost TU-KL-SoftwareTechnologyGroup
	Software Transactional Memory [My Copy] In Symposium on Principles of Distributed Computing (1995), pp. 204-213. by Nir Shavit, Dan Touitou posted to stm transactional transactional-memory by tautologico on 2007-10-23 19:17:33 as along with 3 people joelh boddupalli frej
	Haskell on a shared-memory multiprocessor [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61. by Tim Harris, Simon Marlow, Simon Peyton-Jones posted to concurrency functional haskell language-implementation multicore stm transactional transactional-memory by tautologico on 2007-10-18 01:04:54 as along with 9 people masteraka hamish jrw voigt msakai neilc benchambers kazuya brecknell

Note: You may cite this page as: http://www.citeulike.org/user/tautologico/tag/stm

types	63
concurrency	51
functional	26
garbage-collection	25
reference-counting	25
memory-management	24
language-implementation	21
monads	21
regions	18
transactional	18
effects	16
type-theory	16
linearity	15
transactional-memory	13
haskell	11
linear-logic	11
ml	11
stm	11
lambda-calculus	10
dependent-types	7
linear-types	7
languages	6
lazy	6
logic	6
typed-assembly-language	6
cyclone	5
dynamic-types	5
logic-programming	5
pi-calculus	5
category-theory	4
intensional-types	4
lock-free	4
pcc	4
petri-nets	4
arrows	3
coinduction	3
continuations	3
java	3
jvm	3
partial-evaluation	3
prolog	3
aliasing	2
compilers	2
erlang	2
graphs	2
intersection-types	2
join-calculus	2
mobility	2
modules	2
multicore	2
object-calculus	2
oop	2
p2p	2
programming	2
region-inference	2
semantics	2
sml	2
type-inference	2
value-restriction	2
abstraction	1
adt	1
algebra	1
atomicity	1
c	1
ccs	1
cml	1
coalgebra	1
combinators	1
concurrent	1
constraint-programming	1
coordination-languages	1
data-structures	1
dotnet	1
dsl	1
existential-types	1
featherweight-java	1
floating-point	1
fold	1
formal-methods	1
fsharp	1
generational	1
grids	1
hindley-milner	1
laziness	1
linda	1
model-checking	1
multi-stage-programming	1
ocaml	1
parsing	1
pattern-matching	1
process-algebras	1
proof-theory	1
reactive	1
records	1
separation-logic	1
smt	1
substructural-logics	1
system-f	1
temporal-logic	1
topology	1
type-classes	1
views	1

tautologico's stm [11 articles] Export

tautologico's tags