===== Related Papers ===== ==== 2012 ==== Gramoli V., Guerraoui, R., Trigonakis, V. (2012) [[http://lpd.epfl.ch/gramoli/php/pub_irisa_type.php?ref=GGT12#GGT12|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) [[http://lpd.epfl.ch/gramoli/php/pub_irisa_type.php?ref=CGR12#CGR12|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) [[http://lpd.epfl.ch/gramoli/doc/pubs/ECOOP2011-preprint.pdf|Atomic Boxes: Coordinated Exception Handling with Transactional Memory.]] //Proceedings of the 25th European Conference on Object Oriented Programming (ECOOP).// Gramoli V., Guerraoui R. (2011) [[http://infoscience.epfl.ch/record/163379|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) [[http://infoscience.epfl.ch/record/144052|Why STM can be more than a Research Toy.]] //Communications of the ACM (CACM).// ==== 2010 ==== Ravi S., Gramoli V., Luchangco V. (2010) [[http://dx.doi.org/10.1145/1907450.1907546|Transactional Memory, linking Theory and Practice.]] //ACM Sigact News 41(4):107-111.// Afek et al. (2010) [[http://dx.doi.org/10.1109/MM.2010.80|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) [[http://infoscience.epfl.ch/record/150438|Composition vs Concurrency.]] //2nd Workshop on the Theory of Transactional Memory (WTTM).// Harmanci, D., Gramoli, V., Felber, P., Fetzer, C. (2010) [[http://infoscience.epfl.ch/record/150437|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) [[http://infoscience.epfl.ch/record/139006|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) [[http://infoscience.epfl.ch/record/149148|Transactions in the Jungle.]] //Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures.// Dragojevic, A. and Guerraoui, R. (2010) [[http://infoscience.epfl.ch/record/148104|Predicting the Scalability of an STM: A Pragmatic Approach.]] TRANSACT 2010. Barreto J., Dragojevic A., Ferreira P., Guerraoui R., Kapalka M. (2010) [[http://infoscience.epfl.ch/record/144050|Leveraging Parallel Nesting in Transactional Memory.]] //Proceedings of the 15th Symposium on Principles and Practice of Parallel Computing (PPoPP).// ==== 2009 ==== Gramoli, V. (2009) [[http://infoscience.epfl.ch/record/150432|What Theory for Transactional Memory?]] //ACM Sigact News - Distributed Computing Column 40(4):79-81.// Felber, P., Gramoli, V., Guerraoui, R. (2009) [[http://infoscience.epfl.ch/record/140819|Elastic Transactions.]] //Proceedings of the 23rd International Symposum on Distributed Computing (DISC).// Guerraoui, R., Henzinger, T. A., Singh, V. (2009) [[http://infoscience.epfl.ch/record/136783|Software Transactional Memory on Relaxed Memory Models.]] //Proceedings of the 21st International Conference on Computer Aided Verification (CAV).// Guerraoui, R., Kapalka, M. (2009) [[http://infoscience.epfl.ch/record/138596|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) [[http://infoscience.epfl.ch/record/144051|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) [[http://infoscience.epfl.ch/record/136703|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) [[http://infoscience.epfl.ch/record/138597|The Theory of Transactional Memory.]] //Bulletin of the EATCS,// 97. Dragojevic A., Guerraoui, R., and Kapalka, M.. (2009) [[http://infoscience.epfl.ch/record/136702|Stretching Transactional Memory.]] //Proceedings of the ACM SIGPLAN 2009 Conference on Programming Languages Design and Implementation (PLDI).// Guerraoui, R., and Kapalka, M.. (2009) [[http://infoscience.epfl.ch/record/130152|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) [[http://infoscience.epfl.ch/record/131219|TMunit: Testing Transactional Memories.]] //4th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT).// ==== 2008 ==== Gramoli, V., Harmanci, D. and Felber P. (2008) [[http://infoscience.epfl.ch/record/128580| 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) [[http://infoscience.epfl.ch/record/125899| Permissiveness in Transactional Memories.]] //Proceedings of the 22nd International Symposium on Distributed Computing.// Guerraoui, R., Henzinger, T.A. and Singh, V. (2008) [[http://infoscience.epfl.ch/record/125895| Completeness and Nondeterminism in Model Checking Transactional Memories.]] //Proceedings of the 19th International Conference on Concurrency Theory.// Guerraoui, R. and Kapalka, M. (2008) [[http://infoscience.epfl.ch/record/120526| On Obstruction-Free Transactions.]] //20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA).// Dragojevic, A., Guerraoui, R., Kapalka, M. (2008) [[http://infoscience.epfl.ch/search?recid=125140| Stretching Transactional Memory.]] //Technical Report.// Guerraoui, R., Henzinger, T. and Singh, V. (2008) [[http://infoscience.epfl.ch/search?recid=117513|Model Checking Transactional Memories.]] //Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI).// Guerraoui, R. and Kapalka, M. (2008) [[http://infoscience.epfl.ch/search?recid=114303|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) [[http://infoscience.epfl.ch/search?recid=117529|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) [[http://infoscience.epfl.ch/record/101108|STMBench7: A Benchmark for Software Transactional Memory.]] //EuroSys.// Guerraoui, R., Kapalka, M. and Kouznetsov, P. (2007) [[http://infoscience.epfl.ch/search?recid=113892|The Weakest Failure Detectors to Boost Obstruction-Freedom.]] //Distributed Computing,// 20(6). Guerraoui, R. (2007) [[http://infoscience.epfl.ch/search?recid=109296|A Smooth Concurrency Revolution with Free Objects.]] //Internet Computing,// 11(4). Black, A.P., Cremet, V., Guerraoui, R. and Odersky, M. (2003) [[http://infoscience.epfl.ch/search?recid=64412|An Equational Theory for Transactions.]] //Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2003).// Frølund, S. and Guerraoui, R. (2002) [[http://dx.doi.org/10.1109/TSE.2002.995430|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) [[http://dx.doi.org/10.1109/ICDSN.2000.857575|Implementing E-Transactions with Asynchronous Replication.]] //IEEE Trans. Parallel Distrib. Syst.// 12(2):133−146. Guerraoui, R. (1995) [[http://dx.doi.org/10.1016/0020-0255(94)00118-U|Nested transactions: Reviewing the coherence contract.]] //Information Sciences.// Guerraoui, R. (1994) [[http://portal.acm.org/citation.cfm?id=679382|Atomic Object Composition.]] //Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP).// Guerraoui, R., Capobianchi, R., Lanusse, A. and Roux, P. (1992) [[http://portal.acm.org/citation.cfm?id=679218|Nesting Actions through Asynchronous Message Passing.]] //Proceedings of the European Conference on Object-Oriented Programming (ECOOP).//