3 search results - page 1 / 1 » PENELOPE: weaving threads to expose atomicity violations |
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...