STSM Visits


Home Institution

 Host Institution

Start Date   

End Date



Diego Didona   INESC-IDEcole Polytechnique Federale de Lausanne  2014-11-03 2014-11-10 Black-box self-tuning of TM applications link 
Maria Carpen Amarie Universite de Neuchatel Telecom SudParis 2014-11-03 2014-11-26 TransGC: Concurrent Garbage Collection using Hardware Transactional Memory link 
Rasha Faqeh Technische Universitat Dresden Barcelona Supercomputing Center 2014-10-20 2014-11-21 Commercial-Off-the-shelf Hardware Transactional Memory for Tolerating Transient Hardware Errors link 
Petr Kuznetsov Telecom ParisTech Ecole Polytechnique Federale de Lausanne 2014-10-06 2014-10-11 On Partial Wait-Freedom link 
Alexander Matveev Tel-Aviv University University of Neuchatel 2014-09-13 2014-11-01 Hybrid Transactional Memory for Haswell link 
Konrad Siek Poznan University of Technology Ecole Polytechnique Federale de Lausanne 2014-09-07 2014-09-14 A Formalism for Distributed Transactional Memory Models link
Diego RughettiSapienza Università di Roma INESC-ID 2013-11-25 2013-20-12 Autonomic Concurrency Regulation in Transactional Memory link 
Lois Orosa University of Santiago de CompostelaFCT, Universidade Nova de Lisboa 2013-09-30     2013-12-30 A Hardware Approach for Detecting, Tolerating and Exposing High Level Atomicity Violationslink 
Jan Fiedor FIT, Brno University of Technology  FCT, Universidade Nova de Lisboa  2013-09-15  2013-12-14  Analysis and Monitoring of Transactional Memory Programs link 
Erdal MutluResearch Center for Multi-Core Software Engineering Koc UniversityDepartment for Computer Architecture for Parallel Paradigms Barcelona Supercomputing Center2013-09-092013-12-08  Developing a Dynamic Verification Tool for Atomic Dataflow (ADF) Program link
Jan KonczakPoznań University of Technology
Institute of Computing Science
École Polytechnique Fédérale de Lausanne, Distributed Programming Laboratory2013-05-192013-06-30Towards a model of Transactional Memory with Irrevocable Operationslink 
Pierangelo Di Sanzo Sapienza Università di Roma INESC-ID  2013-05-02       2013-06-04 Performance Forecasting of Distributed Transactional Memory Systems link 
Nhan Nguyen
Chalmers University of Technology
Studying Garbage Collection for Software Transactional Memory
Fabio PerfettiUniversity of Rome, "La Sapienza"INESC-ID / Instituto Superior Técnico - Technical University of Lisbon2013-01-062013-03-15ElasticBenchDTM: a benchmarking framework for elastic distributed transactional memory systems
Dimiter Avresky
Sapienza Universita’ di Roma
Transactional Memories: Foundations, Algorithms, Tools, and Applications
Valter BalegasCITI / Universidade Nova de LisboaLIP6/UPMC & INRIA
Trade-offs in causality and concurrency tracking for extreme scale
Vesna SmiljkovićBarcelona Supercomputing Center - Microsoft Research CenterTechnische Universität Dresden
Compiler-guided techniques for reducing overhead in TM-based fault-tolerant systems
Eleftherios KosmasFoundation for Research and Technology - Hellas (FORTH) Institute of Computer Science (ICS) Laboratoire Bordelais de Recherche en Informatique, University of Bourdeaux
On disjoint-access parallel transactional memories
Alessia Milani
Laboratoire Bordelais de Recherche en Informatique, University of BourdeauxFoundation for Research and Technology - Hellas (FORTH) Institute of Computer Science (ICS)
2012-06-102012-06-24Theory of transactional memory link
Diego DidonaINESC-ID / Instituto Superior Técnico - Technical University of LisbonUniversité de Neuchâtel - Institut D’Informatique2012-01-162012-02-16Maximum degree of concurrency in distributed transactional memory platforms
Gokcen KestorBarcelona Supercomputing Center - Microsoft Research CenterKoc University2012-01-092012-02-03T-Rex: A Dynamic Race Detection Tool for C/C++ Transactional Memory Applications link
João LourençoCITI / Universidade Nova de LisboaIBM Research Labs - Haifa2011-09-282011-12-19Detection of Anomalies in TM Programs link
Philipp KirchhoferInstitute of Computer Science & Engineering / Karlsruhe Institute of TechnologyBarcelona Supercomputing Center - Microsoft Research Center2011-06-202011-09-19Enhancing an HTM system (TMbox) with HW monitoring capabilities link