Source: http://lpd.epfl.ch/transactions/wiki/doku.php?id=publications&amp;do=revisions
Timestamp: 2019-04-25 07:55:12+00:00

Document:
Afek et al. (2010) The VELOX Transactional Memory Stack. IEEE Micro Special Issue - European Multicore Computing. IEEE MICRO 30(5):76-87.
Gramoli, V., Guerraoui, R., Letia, M. (2010) Composition vs Concurrency. 2nd Workshop on the Theory of Transactional Memory (WTTM).
Harmanci, D., Gramoli, V., Felber, P., Fetzer, C. (2010) Extensible Transactional Memory Testbed. Journal of Parallel and Distributed Computing - Special Issue on Transactional Memory 70(2010)1053:1067 (JPDC).
Gramoli, V., Harmanci, D., Felber, P. (2010) On the Input Acceptance of Transactional Memory. Parallel Processing Letters 20(1)31:50 (PPL).
Guerraoui, R., Henzinger, T., Kapalka, M. and Singh, V. (2010) Transactions in the Jungle. Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures.
Dragojevic, A. and Guerraoui, R. (2010) Predicting the Scalability of an STM: A Pragmatic Approach. TRANSACT 2010.
Guerraoui, R., Henzinger, T. A., Singh, V. (2009) Software Transactional Memory on Relaxed Memory Models. Proceedings of the 21st International Conference on Computer Aided Verification (CAV).
Guerraoui, R., Kapalka, M. (2009) Transactional Memory: Glimmer of a Theory (Invited Paper). Proceedings of the 21st International Conference on Computer Aided Verification (CAV).
Dragojevic A., Yang N., Adl-Tabatabai A.-R. (2009) Optimizing Transactions for Captured Memory.. Proceedings of the 21st Annual Symposium on Parallelism in Algorithms and Architectures (SPAA).
Dragojevic A., Singh A., Guerraoui, R. Singh V. (2009) Preventing versus Curing: Avoiding Conflicts in Transactional Memories. Proceedings of the 28th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC).
Guerraoui, R., Kapalka, M. (2009) The Theory of Transactional Memory. Bulletin of the EATCS, 97.
Guerraoui, R., and Kapalka, M.. (2009) The Semantics of Progress in Lock-Based Transactional Memory. Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL).
Gramoli, V., Harmanci, D. and Felber P. (2008) Toward a Theory of Input Acceptance for Transactional Memories. Proceedings of the 12th International Conference on Principles of Distributed Systems.
Guerraoui, R., Henzinger, T.A. and Singh, V. (2008) Permissiveness in Transactional Memories. Proceedings of the 22nd International Symposium on Distributed Computing.
Guerraoui, R., Henzinger, T.A. and Singh, V. (2008) Completeness and Nondeterminism in Model Checking Transactional Memories. Proceedings of the 19th International Conference on Concurrency Theory.
Guerraoui, R. and Kapalka, M. (2008) On Obstruction-Free Transactions. 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA).
Dragojevic, A., Guerraoui, R., Kapalka, M. (2008) Stretching Transactional Memory. Technical Report.
Guerraoui, R., Henzinger, T. and Singh, V. (2008) Model Checking Transactional Memories. Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI).
Guerraoui, R. and Kapalka, M. (2008) On the Correctness of Transactional Memory. Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'08).
Dragojevic, A., Guerraoui, R. and Kapalka, M. (2008) Dividing Transactional Memories by Zero. 3rd ACM SIGPLAN Workshop on Transactional Computing (Transact 2008).
Guerraoui, R., Kapalka, M. and Vitek, J. (2007) STMBench7: A Benchmark for Software Transactional Memory. EuroSys.
Guerraoui, R., Kapalka, M. and Kouznetsov, P. (2007) The Weakest Failure Detectors to Boost Obstruction-Freedom. Distributed Computing, 20(6).
Guerraoui, R. (2007) A Smooth Concurrency Revolution with Free Objects. Internet Computing, 11(4).
Black, A.P., Cremet, V., Guerraoui, R. and Odersky, M. (2003) An Equational Theory for Transactions. Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2003).
Frølund, S. and Guerraoui, R. (2002) e-Transactions: End-to-End Reliability for Three-Tier Architectures. IEEE Trans. Software Eng. 28(4):378−395.
Frølund, S. and Guerraoui, R. (2001) Implementing E-Transactions with Asynchronous Replication. IEEE Trans. Parallel Distrib. Syst. 12(2):133−146.
Guerraoui, R. (1995) Nested transactions: Reviewing the coherence contract. Information Sciences.
Guerraoui, R. (1994) Atomic Object Composition. Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP).
Guerraoui, R., Capobianchi, R., Lanusse, A. and Roux, P. (1992) Nesting Actions through Asynchronous Message Passing. Proceedings of the European Conference on Object-Oriented Programming (ECOOP).

References: V. 
 V. 
 V. 
 V. 
 V. 
 V.