2012

Gramoli V., Guerraoui, R., Trigonakis, V. (2012) TM2C: a Software Transactional Memory for Many-Cores Proceedings of the seventh European Conference on Computer Systems (EuroSys).

Crain T., Gramoli V., Raynal R. (2012) A Speculation-Friendly Binary Search Tree. Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP).

Gramoli, V., Rachid, G., (2012) Programming with Transactional Memory. Programming Multi-core and Many-Core Computing Systems, John Wiley & Sons.

2011

Gramoli V., Guerraoui R. (2011) Democratizing Transactional Programming. Proceedings of the ACM/IFIP/USENIX 12th International Middleware Conference (Middleware).

Harmanci D., Gramoli V., Felber P. (2011) Atomic Boxes: Coordinated Exception Handling with Transactional Memory. Proceedings of the 25th European Conference on Object Oriented Programming (ECOOP).

Gramoli V., Guerraoui R. (2011) Brief Announcement: Transaction Polymorphism. Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA).

Dragojevic A., Felber P., Gramoli V., Guerraoui R. (2011) Why STM can be more than a Research Toy. Communications of the ACM (CACM).

2010

Ravi S., Gramoli V., Luchangco V. (2010) Transactional Memory, linking Theory and Practice. ACM Sigact News 41(4):107-111.

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.

Barreto J., Dragojevic A., Ferreira P., Guerraoui R., Kapalka M. (2010) Leveraging Parallel Nesting in Transactional Memory. Proceedings of the 15th Symposium on Principles and Practice of Parallel Computing (PPoPP).

2009

Gramoli, V. (2009) What Theory for Transactional Memory? ACM Sigact News - Distributed Computing Column 40(4):79-81.

Felber, P., Gramoli, V., Guerraoui, R. (2009) Elastic Transactions. Proceedings of the 23rd International Symposum on Distributed Computing (DISC).

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.

Dragojevic A., Guerraoui, R., and Kapalka, M.. (2009) Stretching Transactional Memory. Proceedings of the ACM SIGPLAN 2009 Conference on Programming Languages Design and Implementation (PLDI).

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).

Harmanci, D., and Felber, P., Gramoli V. and Fetzer, C. (2009) TMunit: Testing Transactional Memories. 4th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT).

2008

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).

2007 and before

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).

publications.txt · Last modified: 2012/02/24 11:56 by transactions
Trace: publications
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0