Tuesday, 10 April 2012 09:00 - 10:30 Theoretical Foundations and Algorithms Chair: Luís Rodrigues Verifying Transactional Programs with Programmer-Defined Conflict Detection Omer Subasi, Tayfun Elmas, Adrian Cristal, Tim Harris, Serdar Tasiran, Ruben Titos-Gil, and Osman Unsal (slides: pdf pptx) FastLane: Streamlining Transactions for Low Thread Counts Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber, Etienne Riviere and Gilles Muller (slides: pdf) Reusable Concurrent Data Types Vincent Gramoli and Rachid Guerraoui OSARE: Opportunistic Speculation in Actively REplicated Transactional Systems Roberto Palmieri, Francesco Quaglia and Paolo Romano (slides: pdf) A Multiversion Update-Serializable Protocol for Genuine Partial Data Replication Sebastiano Peluso, Pedro Ruivo, Paolo Romano, Francesco Quaglia and Luis Rodrigues (slides: pdf pptx) 10:30 - 11:00 Coffee Break 11:00 - 12:30 Hardware Transactional Memory and Scheduling
Enhancing an HTM System with Monitoring, Visualization and Analysis Capabilities Chair: Gilles Muller Philipp Kirchhofer, Martin Schindewolf, Nehir Sonmez, Oriol Arcas, Osman S. Unsal, Adrian Cristal, and Wolfgang Karl (slides: pdf) Towards Fair Transaction Scheduling with Competing QoS Requirements Walther Maldonado Moreira, Pascal Felber, Gilles Muller, Julia Lawall and Etienne Riviere (slides: pdf odp) Transaction Concurrency Control via Dynamic Scheduling Based on Static Analysis Pawel T. Wojciechowski, Konrad Siek (slides: pdf) Accelerating conflict-intensive applications Hugo Rito and João Cachopo (slides: pdf) Digging parallelism out of high-conflicting workloads Nuno Diegues and João Cachopo (slides: pdf) 12:30 - 14:00 Lunch 14:00 - 15:30 Language Integration and Tools
Leveraging Transactional Memory to Extract Parallelism Chair: Wolfgang Karl Miguel A. Gonzalez-Mesa, Eladio Gutierrez and Oscar Plata (slides: pdf ) Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luján, and Ian Watson (slides: pdf) Objects with adaptive accessors to avoid STM barriers Fernando Miguel Carvalho and João Cachopo (slides: pdf) Supporting In-Place Metadata in DeuceSTM Ricardo J. Dias and João M. Lourenço (slides: pdf pptx) Highly parallel programming with Transactional Memory Ricardo Filipe and João Barreto (slides: pdf pptx) 15:30 - 16:00 Coffee Break Dynamic Thread Mapping Based on Machine Learning for Transactional Memory Applications Márcio Castro, Luis Fabricio Góes, Luiz Gustavo Fernandes, Jean-François Méhaut (slides: pdf) On the Natural Degree of Parallelism in Transactional Memory: from Centralized to Distributed Architectures Diego Didona, Pascal Felber, Derin Harmanci, Paolo Romano, Jörg Schenker (slides: pdf) Performance Analysis of and Tool Support for Transactional Memory on BG/Q Martin Schindewolf, Martin Schulz, Barna Bihari, John Gyllenhaal, Amy Wang, and Wolfgang Karl (slides: pdf) Improving Application Fault-Tolerance with Diverse Component Replication João Soares and Nuno Preguiça (slides: pdf) Differentiated Access to Virtual Resources in Cloud Environments M. Fazio and A. Puliafito (slides: pdf ppt) 17:30 - 18:00 Discussion |