Publications

If you have publications resulting from a collaboration carried out in the scope of the EuroTM COST Action, please send an email to mcouceiro[at]gsd.inesc-id.pt


Lokesh Gidra, Gael Thomas, Julien Sopena, Marc Shapiro and Nhan Nguyen

“NumaGiC: a garbage collector for big data on big NUMA machines”

International ACM Conference on Architectural Support for Programming Languages and Systems (ASPLOS), March 2015 


Maria Carpen Amarie, Patrick Marlier, Pascal Felber and Gael Thomas

“A Performance Study of Java Garbage Collectors on Multicore Architectures”

Sixth International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM 2015)


J. Fiedor, Z. Letko, J. Lourenco, and T. Vojnar

“Dynamic Validation of Contracts in Concurrent Code”

Proc. of EUROCAST 2015.


J. Fiedor, Z. Letko, J. Lourenco, and T. Vojnar

“On Monitoring C/C++ Transactional Memory Programs”

In: Proc. of MEMICS'14, LNCS 8934, Springer-Verlag, s. 73-87, 2015


D. Didona, P. Romano, F. Quaglia, E. Torre

“Combining Analytical Modeling and Machine-Learning to Enhance Robustness of Performance Prediction Models”

6th ACM/SPEC International Conference on Performance Engineering (ICPE), Feb 2015


Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski

"Make the Leader Work: Executive Deferred Update Replication"

The 33rd IEEE Symposium on Reliable Distributed Systems (SRDS), October 2014


Costas Busch, Maurice Herlihy, Miroslav Popovic and Gokarna Sharma

“Brief Announcement: Scheduling Multiple Objects in Distributed Transactional Memory”

28th International Symposium on Distributed Computing (DISC 2014), Austin, Texas, USA, October 12-15, 2014


Maria Couceiro, Vincent Gramoli, Paolo Romano

“6th Workshop on Theory of Transactional Memory”

The Distributed Computing Column by Panagiota Fatourou, Bulletin of the European Association for Theoretical Computer Science, no. 114, October 2014


S. Rethinagiri, O. Palomar, A. Sobe, T. Knauth, W. Barczynski, G. Yalcin, Y. Hayduk, A. Cristal, O. Unsal , P. Felber, C. Fetzer, J. Ryckaert, G. Alioto

“ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy”

17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2014), IEEE/Euromicro, Verona, Italy, August, 2014


Diego Didona, Paolo Romano, Sebastiano Peluso, Francesco Quaglia

“Transactional Auto Scaler: Elastic Scaling of In-Memory Transactional Data Grids”

ACM Transactions on Autonomous and Adaptive Systems , July 2014 


Diego Didona, Pascal Felber, Derin Harmanci, Paolo Romano and Joerg Schenker

“Identifying the Optimal Level of Parallelism in Transactional Memory Applications”

Computing Journal, DOI 10.1007/s00607-013-0376-3


Victor Bushkov, Dmytro Dziuma, Panagiota Fatourou, and Rachid Guerraoui

“The PCL Theorem. Transactions cannot be Parallel, Consistent and Live”

6th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2014), June 23-25, 2014 Prague, Czech Republic


Vladimir Gajinov, Igor Eric, Srdjan Stipic, Osman Unsal, Eduard Ayguade and Adrian Cristal

“A Benchmark for Hybrid Dataflow and Shared Memory Programming Model with Comparative Evaluation of Three Hybrid Dataflow Models”

In Proceedings of 11th conference on ACM Computing Frontiers, May 2014


Avni, H., Dolev, S., Fatourou, P., Kosmas, E.

“Abort Free Semantic TM by Depedency Aware Scheduling of Transactional Instructions”

International Conference on NETworked sYStems, (NETYS) 2014, May 2014.


Gokcen Kestor, Osman S. Unsal, Adrian Cristal, Serdar Tasiran

“T-Rex: A Dynamic Race Detection Tool for C/C++ Transactional Memory Applications”

Proceedings of the 9th European conference on Computer systems (EuroSys 2014), April 2014


Miroslav Popovic, Ilija Basicevic

“Conflict Types and Probabilities in Stochastic TM-Programs”

Third IEEE International Conference on Information Science and Technology (ICIST 2013), Shenzhen, Guangdong, China, April 26-28, 2014.


Y.Hayduk, A.Sobe, P.Marlier and P.Felber

“Dynamic Concurrent Message Processing with Transactional Memory in the Actor Model”

TRANSACT 2014, 9th ACM SIGPLAN Workshop on Transactional Computing (no proceedings), Salt Lake City, Utah, US, March 2014


Ismail Kuru, Burcu Kulahcioglu Ozkan, Suha Orhun Mutluergil, Serdar Tasiran, Tayfun Elmas and Ernie Cohen

“Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models”

TRANSACT 2014, 9th ACM SIGPLAN Workshop on Transactional Computing , March 2, 2014, Salt Lake City, Utah, USA (co-located with ASPLOS 2014)


Hassan Salehe Matar, Ismail Kuru, Serdar Taşıran,Roman Dementiev

“Accelerating Precise Race Detection Using Commercially-Available Hardware Transactional Memory Support”

5th Workshop on Determinism and Correctness in Parallel Programming, March 2, 2014, Salt Lake City, Utah, USA (co-located with ASPLOS 2014)


G. Yalcin, A. Cristal, O. Unsal, A. Sobe, D. Harmanci, P. Felber, A. Voronin, J-T. Wamhoff, And C. Fetzer

“Combining Error Detection and Transactional Memory for Energy-efficient Computing below Safe Operation Margins”

In Parallel, Distributed, and Network-Based Processing (PDP), Turin, Italy, IEEE, February, 2014


Adria Armejach, Ruben Titos-Gil, Anurag Negi, Osman S. Unsal, Adrián Cristal 

“Techniques to Improve Performance in Requester-wins Hardware Transactional Memory”

Proceedings of the 9th International Conference on High-Performance and Embedded Architectures and Compilation (HiPEAC'2014), Also appears on the ACM Transactions on Architecture and Code Optimization (TACO), January 2014


Adria Armejach, Anurag Negi, Adrian Cristal, Osman Unsal, Per Stenstrom, Tim Harris

“HARP: Adaptive Abort Recurrence Prediction for Hardware Transactional Memory”

In 20th Annual International Conference on High Performance Computing, December 2013


Y. Hayduk, A. Sobe, D. Harmanci, P. Marlier, P.Felber

“Speculative Concurrent Processing with Transactional Memory in the Actor Model”

In International Conference on Principles of Distributed Systems (OPODIS), Springer LNCS, Nice, France, December, 2013


Danny Hendler, Alex Naiman, Sebastiano Peluso, Francesco Quaglia, Paolo Romano, Adi Suissa

“Exploiting Locality in Lease-Based Replicated Transactional Memory via Task Migration”

DISC 2013: 121-133, october 2013


Nehir Sonmez, Oriol Arcas, Osman S. Unsal, Adrián Cristal, Satnam Singh 

“TMbox: A Flexible and Reconfigurable Hybrid Transactional Memory System“

Multicore Technology: Architecture, Reconfiguration, and Modeling, July 2013


Konrad Siek and Paweł T. Wojciechowski

"Towards a Fully-Articulated Pessimistic Distributed Transactional Memory"

SPAA '13: the 25th ACM Symposium on Parallelism in Algorithms and Architectures (Montreal, Canada),  July 2013.


Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski

"Hybrid Replication: State-Machine-based and Deferred-Update Replication Schemes Combined"

ICDCS '13: the 33rd IEEE International Conference on Distributed Computing Systems (Philadelphia, USA), July 2013.


Saša Tomić, Ege Akpinar, Adrián Cristal, Osman S. Unsal and Mateo Valero

"EcoTM: Conflict-Aware Economical Unbounded Hardware Transactional Memory"

International Conference on Computational Science, ICCS 2013 - Jun 2013


Vesna Smiljkovic, Martin Nowack, Nebojsa Miletic, Tim Harris, Osman S. Unsal, Adrián Cristal, Mateo Valero

“TM-dietlibc: A TM-aware Real-world System Library"

27th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2013


Adrián Cristal, Osman Unsal, Gulay Yalcin, Christof Fetzer, Jons-Tobias Wamhoff, Pascal Felber, Derin Harmanci, Anita Sobe

"Leveraging Transactional Memory for Energy-efficient Computing below Safe Operation"

In 8th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2013)


Miroslav Popovic, Ilija Basicevic, Miodrag Djukic and Nenad Cetic, 

"Estimating Parallelism of Transactional Memory Programs"

Third IEEE International Conference on Information Science and Technology (ICIST 2013), Yangzhou, Jiangsu, China, March 23-25, 2013, pp. 437-443.


Gulay Yalcin, Osman S Unsal and Adrián Cristal

"Fault Tolerance for Multi-Threaded Applications by Leveraging Hardware Transactional Memory"

In Proceedings of 10th conference on ACM Computing Frontiers - May 2013


Diego Didona, Pascal Felber, Derin Harmanci, Paolo Romano and Joerg Schenker

"Identifying the Optimal Level of Parallelism in Transactional Memory Systems"

The International Conference on Networked Systems 2013  (Best Paper Award)


Gulay Yalcin, Osman Unsal and Adrián Cristal

"FaulTM: Error Detection and Recovery Using Hardware Transactional Memory"

The Design, Automation, and Test in Europe Conference (DATE) - Mar 2013


Vesna Smiljkovic, Srdjan Stipic, Osman Unsal, Adrián Cristal and Mateo Valero

Transaction Coalescing - Lowering Transactional Overheads by Merging Transactions

Sixth Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2013) - Jan 2013


Vincent Gramoli, Alessia Milani

"WTTM 2012, the fourth workshop on the theory of transactional memory"

Sigact News, ACM 43 (4) p.116-122, December 2012 


Sebastiano Peluso, Paolo Romano, Francesco Quaglia

SCORe: a Scalable One-Copy Serializable Partial Replication Protocol

ACM/IFIP/USENIX 13th International Middleware Conference (Middleware 2012)


João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Ricardo Filipe and Rachid Guerraoui (Best Paper Award)

"Unifying Thread-Level Speculation and Transactional Memory"

ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 2012

(Best Paper Award)


V. Pessanha, R. J. Dias and J. M. Lourenço

"Detecting Snapshot Isolation Anomalies in Transactional Memory". (Best Paper Award) 

Proceedings of the Haifa Verification Conference (HVC’12). LNCS, Springer-Verlag, November 2012


Azam Seyedi, Adria Armejach, Adrián Cristal, Osman S. Unsal and Mateo Valero

"Novel SRAM Bias Control Circuits for a Low Power L1 Data Cache"

The 30th NORCHIP conference - Nov 2012


Oriol Arcas, Nehir Sonmez, Gokhan Sayilar, Satnam Singh, Osman S. Unsal, Adrián Cristal, Ibrahim Hur and Mateo Valero

"Resource-bounded multicore emulation using Beefarm"

Microprocessors and Microsystems - Nov 2012


Epifanio Gaona, Rubén Titos-Gil, Juan Fernández and Manuel E. Acacio. 

"On the Design of Energy-Efficient Hardware Transactional Memory Systems" 

Concurrency and Computation: Practice & Experience, 2012


Rubén Titos-Gil, Manuel E. Acacio y José M. García. 

"Efficient Eager Management of Conflicts for Scalable Hardware Transactional Memory"

IEEE Transactions on Parallel and Distributed Systems, 2012.


Hagit Attiya and Alessia Milani,

"Transactional Scheduling for Read-Dominated Workloads",

Journal of Parallel and Distributed Computing, Volume 72, Issue 10, October 2012, Pages 1386–1396


Vladimir Gajinov, Srđan Stipić, Osman Unsal, Tim Harris, Eduard Ayguade and Adrian Cristal

"Integrating Dataflow Abstractions into the Shared Memory Model"

SBAC-PAD'2012 - 24th International Symposium on Computer Architecture and High Performance Computing - Oct 2012 


Sebastiano Peluso, Joao Fernandes, Paolo Romano, Francesco Quaglia, Luis Rodrigues,

"SPECULA: Speculative Replication of Software Transactional Memory"

The 31th IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, USA, Oct. 2012


Paweł T. Wojciechowski, Tadeusz Kobus, Maciej Kokociński

"Model-Driven Comparison of State-Machine-based and Deferred-Update Replication Schemes"

SRDS '12: the 31st IEEE International Symposium on Reliable Distributed Systems (Irvine, USA), October 2012.


Vladimir Gajinov. Srđan Stipić. Osman Unsal. Tim Harris, Eduard Ayguade and Adrian Cristal

"Supporting Stateful Tasks in a Dataflow Graph" 

PACT-2012: The 21st International Conference on Parallel Architectures and Compilation Techniques, Poster session - Sep 2012 


Diego Didona, Paolo Romano, Sebastiano Peluso and Francesco Quaglia, 

"Transactional Auto Scaler: Elastic Scaling of In-Memory Transactional Data Grids"

Proceedings of the 9th International Conference on Autonomic Computing (ICAC), September 2012


Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor and Osman S. Unsal

"PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors"

The Third International Conference on Runtime Verification - Sep 2012


Anurag Negi. Adria Armejach, Adrián Cristal, Osman S. Unsal and Per Stenstrom

"Transactional Prefetching: Narrowing the Window of Contention in Hardware Transactional Memory"

In 21st International Conference on Parallel Architectures and Compilation Techniques (PACT'2012) - Sep 2012 


Roberto Palmieri, Francesco Quaglia and Paolo Romano,

"ASAP: an Aggressive SpeculAtive Protocol for Actively Replicated Transactional Systems"

The 11th IEEE International Symposium on Network Computing and Applications (IEEE NCA12)


Konrad Siek and Paweł T. Wojciechowski

"A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java"

FMICS '12: the 17th International Workshop on Formal Methods for Industrial Critical Systems (co-located with FM '12: the 18th International Symposium on Formal Methods, Paris, France). Springer LNCS 7437, August 2012


Oriol Arcas. Philipp Kirchhofer. Nehir Sonmez, Martin Schindewolf, Osman S. Unsal, Wolfgang Karl and Adrián Cristal

"A low-overhead profiling and visualization framework for Hybrid Transactional Memory"

FCCM 2012: The 20th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines - May 2012


Ricardo Dias and Dino Distefano and J. C. Seco and J. M. S. Lourenço, 

"Verification of Snapshot Isolation in Transactional Memory Java Programs!, 

Proceedings of the 26th European conference on Object-oriented programming, Springer-Verlag, 2012


Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, and Gilles Muller, 

"Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications", 

USENIX Annual Technical Conference 2012


Eitan Farchi, Itai Segall, Joao Lourenço and Diogo Sousa, 

"Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe", 

Submitted to the ACM Workshop on Parallel and  Distributed Systems: Testing, Analysis, and Debugging, PADTAD'12


R. Dias, J. Lourenço and T. Vale, 

"Efficient Support for In-Place Metadata in Transactional Memory", (Distinguished Paper)

Proceedings of the 18th International Euro-Par Conference on Parallel Processing 2012 (EuroPar)


M. Castro, L. F. W. Góes, L.G. Fernandes and J.-F. Méhaut.

"Dynamic Thread Mapping Based on Machine Learning for Transactional Memory Applications"

In International European Conference on Parallel and Distributed Computing (Euro-Par), August 2012


Maria Couceiro and Paolo Romano

"Where does transactional memory research stand and what challenges lie ahead? WTM 2012, EuroTM workshop on transactional memory"

SIGOPS Oper. Syst. Rev. 46, 2 (July 2012), 87-92


Sebastiano Peluso, Paolo Romano, and Francesco Quaglia

"Genuine replication, opacity and wait-free read transactions: can a STM get them all?"

4th Workshop on the Theory of Transactional Memory (WTTM 2012), Madeira, Portugal, July 2012


Faith Ellen, Panagiota Fatourou, Eleftherios Kosmas, Alessia Milani, and Corentin Travers

"Universal Constructions that Ensure Disjoint-Access Parallelism and Wait-Freedom",

31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2012)



Gokcen Kestor, Roberto Gioiosa, Osman Unsal, Adrián Cristal and Mateo Valero

"Enhancing the Performance of Assisted Execution Runtime Systems through Hardware/Software Techniques"

26th ACM/SIGARCH International Conference on Supercomputing (ICS 2012) - Jun 2012


Azam Seyedi, Adria Armejach, Adrián Cristal, Osman S. Unsal and Ibrahim Hur Mateo Valero

"Circuit Design of a Dual-Versioning L1 Data Cache"

Integration, the VLSI Journal - Jun 2012


Paweł T. Wojciechowski 

"Conditional Concurrency Combinators"

In the Proc. of LaME '12: the International Workshop on Languages for the Multi-core Era (co-located with ECOOP '12: the 26th European Conference on Object-Oriented Programming).


Philipp Kirchhofer, Martin Schindewolf, Nehir Sonmez, Oriol Arcas, Osman S. Unsal, Adrián Cristal, Wolfgang Karl, 

"A low-overhead profiling and visualization framework for Hybrid Transactional Memory", 

The 20th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines


Petr Kuznetsov and Srivatsan Ravi, 

"What Theory for Transactional Memory?", 

Column 45, SIGACT News Volume 43, Number 1, March 2012


Diego Didona, Pascal Felber, Derin Harmanci, Paolo Romano, Jörg Schenker, 

"On the Natural Degree of Parallelism in Transactional Memory: from Centralized to Distributed Architectures", 

HotPar 2012, Berkeley, 2012


Sebastiano Peluso, Pedro Ruivo, Paolo Romano, Francesco Quaglia, and Luis Rodrigues, 

"When Scalability Meets Consistency: Genuine Multiversion Update Serializable Partial Data Replication", 

32nd International Conference on Distributed Computing Systems (ICDCS'12)


M. Saeida Ardekani, M. Zawirski, P. Sutra, M. Shapiro.

"The Space Complexity of Transactional Interactive Reads".

Int. Workshop on Hot Topics in Cloud Data Processing (HotCDP), Bern, Switzerland, April 2012.


Omer Subasi, Tayfun Elmas, Adrian Cristal, Tim Harris, Serdar Tasiran, Ruben Tutos-Gil, Osman Unsal, 

"On Justifying and Verifying Relaxed Detection of Conflicts in Concurrent Programs", 

WoDet 3: Third Workshop on Determinism and Correctness in Parallel Programming, co-located with ASPLOS 12, March 4, 2012


Umit Can Bekar, Tayfun Elmas, Semih Okur, Serdar Tasiran, 

"KUDA: A GPU Accelerated Split Race Checker", 

WoDet 3: Third Workshop on Determinism and Correctness in Parallel Programming,  co-located with ASPLOS 12, March 4, 2012


Srđan Stipić, Saša Tomić, Ferad Zyulkyarov, Adrián Cristal, Osman Unsal and Mateo Valero

"TagTM - Accelerating STMs with hardware tags for fast meta-data access"

Proceedings of the Design, Automation & Test in Europe Conference - DATE 2012 - Mar 2012


Gokcen Kestor, Roberto Gioiosa, Osman S. Unsal, Adrián Cristal and Mateo Valero

"Enhancing the Performance of Assisted Execution Runtime Systems" (poster)

17th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2012) - Mar 2012


Gokcen Kestor, Roberto Gioiosa, Osman S. Unsal, Adrián Cristal and Mateo Valero

"Hardware/Software Techniques for Assisted Execution Runtime Systems"

2nd Workshop on Runtime Environments, Systems, Layering and Virtualized Environments (RESoLVE'12) - Mar 2012


Diego Didona, Pierangelo Di Sanzo, Roberto Palmieri, Sebastiano Peluso, Francesco Quaglia and Paolo Romano, 

"Automated Workload Characterization in Cloud-based Transactional Data Grids", 

17th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS'12)


Anurag Negi, Ruben Titos-Gil, Manuel E. Acacio, José M. García and Per Stenstrom

"π-TM: Pessimistic Invalidation for Scalable Lazy Hardware Transactional Memory",

18th Interanational Conference on High-Performance Computer Architecture (HPCA-18), New Orleans, Louisiana (USA), February 2012. 


Epifanio Gaona, Rubén Titos-Gil, Juan Fernández and Manuel E. Acacio. 

“Dynamic Serialization: Improving Energy Consumption in Eager-Eager Hardware Transactional Memory Systems”. 

Proc. of the 20th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP-2012), February 2012


Ruben Titos-Gil, Manuel E. Acacio, José M. García, Tim Harris, Adrian Cristal, Osman Unsal, Ibrahim Hur, and Mateo Valero

"Hardware transactional memory with software-defined conflicts", 

ACM Trans. Archit. Code Optim. 8, 4, Article 31 (January 2012), 20 pages.


Jons-Tobias Wamhoff, Pascal Felber, Christof Fetzer, Gilles Muller and Etienne Rivière. 

"FastLane: Streamlining Transactions for Low Thread Counts", 

In 7th ACM SIGPLAN Workshop on Transactional Computing


Adria Armejach, Anurag Negi, Adrián Cristal, Osman S. Unsal and Per Stenstrom

"Transactional Prefetching: Narrowing the Window of Contention in Hardware Transactional Memory"

7th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT12 - Feb 2012


P. Kuznetsov and S. Ravi,

"On the Cost of Concurrency in Transactional Memory"

In 15th  International Conference On Principles Of Distributed Systems (OPODIS 2011), December 2011


M. Castro, L. F. W. Góes, C. P. Ribeiro, M. Cole, M. Cintra and J.-F. Méhaut, 

"A Machine Learning-Based Approach for Thread Mapping on Transactional Memory Applications", 

International Conference on High Performance Computing (HiPC), December 2011


M. Fazio, A. Puliafito, 

"Virtual Resource Management Based On Software Transactional Memory".

Published on IEEE First Symposium on Network Cloud Computing and Applications (NCCA'11) Toulouse, France, 21-23 November 2011.


Anurag Negi, Rubén Titos-Gil, Manuel E. Acacio, José M. García and Per Stenstrom. 

"Improving Commit Scalability in Lazy Hardware Transactional Memory" 

Proc. of the 4th Swedish Workshop on Multicore Computing (MCC-2011), November 2011.


Panagiota Fatourou, Nikolaos D. Kallimanis, 

"A Highly-Efficient Wait-Free Universal Construction", 

SPAA '11 Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures


R. Palmieri, F. Quaglia and Paolo Romano, 

"OSARE: Opportunistic Speculation in Actively REplicated Transactional Systems" (Short Paper), 

The 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), Madrid, Spain, Oct. 2011


Anurag Negi, Rubén Titos-Gil, Manuel E. Acacio, Jose M. Garcia and Per Stenstrom,

"Eager meets Lazy: the Impact of Write-Buffering on Hardware Transactional Memory", 

40th International Conference on Parallel Processing (ICPP), Taipei (Taiwan), September 2011.


Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro 

"Impossibility of Genuine Replicated STM under SI.". 

TransForm/Euro-TM WTTM 2011


Serdar Tasiran, Shaz Qadeer

"Runtime Verification of Concurrency-Specific Correctness Criteria"

International Journal on Software Tools for Technology Transfer (STTT), August 2011


Sebastian Kochman, Paweł T. Wojciechowski and Miłosz Kmieciak.

"Batched Transactions for RESTful Web Services".

In the Proc. of ComposableWeb '11: the 3rd International Workshop on Lightweight Integration on the Web (co-located with ICWE '11: the 11th International Conference on Web Engineering), Springer LNCS 7059, June 2011


Serdar Tasiran, M. Erkan Keremoglu, Kivanc Muslu

"Location Pairs: A Test Coverage Metric for Shared-Memory Concurrent Programs"

Empirical Software Engineering Journal, June 2011


R. Palmieri, P. Di Sanzo, F. Quaglia, Paolo Romano, S. Peluso and D. Didona

"Integrated Monitoring of Infrastructures and Applications in Cloud Environments"

Cloud Computing: Project and Initiatives (CCPI 2011) - collocated with EuroPar 2011 


Rubén Titos-Gil, Anurag Negi, Manuel E. Acacio, José M. García and Per Stenstrom. 

“ZEBRA: A Data-Centric, Hybrid-Policy Hardware Transactional Memory Design”. 

Proc. of the 25th Int’l Conference on Supercomputing (ICS-2011), May 2011


Anurag Negi, Rubén Titos-Gil, Manuel E. Acacio, José M. García and Per Stenstrom.

"The Impact of Non-coherent Buffers on Lazy Hardware Transactional Memory Systems”.

Proc. of the 13th Workshop on Advances on Parallel and Distributed Processing Symposium (APDCM 2011), in conjunction with IPDPS 2011, May 2011.


M. Castro, K. Georgiev, V. Marangonzova-Martin, J.-F. Méhaut, L. G. Fernandes and M. Santana,

"Analysis and Tracing of Applications Based on Software Transactional Memory on Multicore Architectures"

In Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), February 2011.


Hagit Attiya, Eshcar Hillel, 

"Single-Version STMs Can Be Multi-version Permissive" (Extended Abstract). 

ICDCN 2011: 83-94


Hagit Attiya, Eshcar Hillel,

"Highly concurrent multi-word synchronization".

Theor. Comput. Sci. 412(12-14): 1243-1262 (2011)


Hagit Attiya, Eshcar Hillel, Alessia Milani,

"Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory"

Theory Comput. Syst. 49(4): 698-719 (2011)