Beneficiary | Home Institution | Host Institution | Start Date | End Date | Title | Report |
Diego Didona | INESC-ID | Ecole 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 Rughetti | Sapienza Università di Roma | INESC-ID | 2013-11-25 | 2013-20-12 | Autonomic Concurrency Regulation in Transactional Memory | link |
Lois Orosa | University of Santiago de Compostela | FCT, Universidade Nova de Lisboa | 2013-09-30 | 2013-12-30 | A Hardware Approach for Detecting, Tolerating and Exposing High Level Atomicity Violations | link |
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 Mutlu | Research Center for Multi-Core Software Engineering Koc University | Department for Computer Architecture for Parallel Paradigms Barcelona Supercomputing Center | 2013-09-09 | 2013-12-08 |
Developing a Dynamic Verification Tool for Atomic Dataflow (ADF) Program | link |
Jan Konczak | Poznań University of Technology Institute of Computing Science | École Polytechnique Fédérale de Lausanne, Distributed Programming Laboratory | 2013-05-19 | 2013-06-30 | Towards a model of Transactional Memory with Irrevocable Operations | link |
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
| INRIA/LIP6
| 2013-01-13
| 2013-03-30
| Studying Garbage Collection for Software Transactional Memory
| link
|
Fabio Perfetti | University of Rome, "La Sapienza" | INESC-ID / Instituto Superior Técnico - Technical University of Lisbon | 2013-01-06 | 2013-03-15 | ElasticBenchDTM: a benchmarking framework for elastic distributed transactional memory systems
| link |
Dimiter Avresky
| IRIANC
| Sapienza Universita di Roma
| 2012-11-06 | 2012-12-06
| Transactional Memories: Foundations, Algorithms, Tools, and Applications
| link |
Valter Balegas | CITI / Universidade Nova de Lisboa | LIP6/UPMC & INRIA
| 2012-09-11
| 2012-10-11
| Trade-offs in causality and concurrency tracking for extreme scale
| link
|
Vesna Smiljković | Barcelona Supercomputing Center - Microsoft Research Center | Technische Universität Dresden
| 2012-09-10
| 2012-12-07
| Compiler-guided techniques for reducing overhead in TM-based fault-tolerant systems
| link
|
Eleftherios Kosmas | Foundation for Research and Technology - Hellas (FORTH) Institute of Computer Science (ICS) | Laboratoire Bordelais de Recherche en Informatique, University of Bourdeaux
| 2012-09-01
| 2012-09-30
| On disjoint-access parallel transactional memories
| link
|
Alessia Milani
| Laboratoire Bordelais de Recherche en Informatique, University of Bourdeaux | Foundation for Research and Technology - Hellas (FORTH) Institute of Computer Science (ICS)
| 2012-06-10 | 2012-06-24 | Theory of transactional memory | link |
Diego Didona | INESC-ID / Instituto Superior Técnico - Technical University of Lisbon | Université de Neuchâtel - Institut D’Informatique | 2012-01-16 | 2012-02-16 | Maximum degree of concurrency in distributed transactional memory platforms
| link |
Gokcen Kestor | Barcelona Supercomputing Center - Microsoft Research Center | Koc University | 2012-01-09 | 2012-02-03 | T-Rex: A Dynamic Race Detection Tool for C/C++ Transactional Memory Applications | link |
João Lourenço | CITI / Universidade Nova de Lisboa | IBM Research Labs - Haifa | 2011-09-28 | 2011-12-19 | Detection of Anomalies in TM Programs | link |
Philipp Kirchhofer | Institute of Computer Science & Engineering / Karlsruhe Institute of Technology | Barcelona Supercomputing Center - Microsoft Research Center | 2011-06-20 | 2011-09-19 | Enhancing an HTM system (TMbox) with HW monitoring capabilities | link |