ACM SIGOPS: Operating Systems Review, Volume 47

Volume 47, Number 1, January 2013

Selected extended papers from LADIS 2012 sixth workshop on large-scale distributed systems and middleware

• 
  Dahlia Malkhi, Robbert van Renesse:
  Workshop report on LADIS 2012. 1-2
• 
  Paolo Costa:
  Bridging the gap between applications and networks in data centers. 3-8
• 
  Flavio Paiva Junqueira, Ivan Kelly, Benjamin C. Reed:
  Durability with BookKeeper. 9-15
• 
  David Shue, Michael J. Freedman, Anees Shaikh:
  Fairness and isolation in multi-tenant storage as optimization decomposition. 16-21
• 
  Denisa Ghita, Katerina J. Argyraki, Patrick Thiran:
  Toward accurate and practical network tomography. 22-26

Selected extended papers from SBESC 2012 Brazilian symposium on computing system engineering

• 
  Mateus Krepsky Ludwich, Antônio Augusto Fröhlich:
  On the formal verification of component-based embedded operating systems. 28-34
• 
  Alirio Santos de Sá, Allan Edgard Silva Freitas, Raimundo José de Araújo Macêdo:
  Adaptive request batching for byzantine replication. 35-42

Individual submissions

• 
  Naser Ezzati-Jivan, Michel R. Dagenais:
  A framework to compute statistics of system parameters from very large trace files. 43-54
• 
  Karla Saur, Iulian Neamtiu:
  Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012). 55-62

Volume 47, Number 2, July 2013

Dagstuhl seminar on security and dependability for federated cloud platforms, 2012

• 
  Alexander Shraer, Rüdiger Kapitza:
  Dagstuhl seminar report: security and dependability for federated cloud platforms, 2012. 4-5
• 
  Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer:
  Verifying cloud services: present and future. 6-19

Selected extended papers from DISCCO 2012 first international workshop on dependability issues in cloud computing

• 
  Miguel Correia, Neeraj Mittal:
  Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO. 20-22
• 
  Steve Jiekak, Anne-Marie Kermarrec, Nicolas Le Scouarnec, Gilles Straub, Alexandre van Kempen:
  Regenerating codes: a system perspective. 23-32
• 
  Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal:
  Boosting energy efficiency with mirrored data block replication policy and energy scheduler. 33-40
• 
  Moussa Taifi:
  Banking on decoupling: budget-driven sustainability for HPC applications on auction-based clouds. 41-50

Individual submissions

• 
  Mathieu Desnoyers, Paul E. McKenney, Michel R. Dagenais:
  Multi-core systems modeling for formal verification of parallel algorithms. 51-65
• 
  Ashif S. Harji, Peter A. Buhr, Tim Brecht:
  Our troubles with Linux Kernel upgrades and why you should care. 66-72

Volume 47, Number 3, December 2013

Extended papers from green and cloud middleware workshop

• 
  Hanen Chihi, Walid Chainbi, Khaled Ghédira:
  An energy-efficient self-provisioning approach for cloud resources management. 2-9
• 
  Naga Pavan Kumar Gorti, Arun K. Somani:
  Reliability aware dynamic voltage and frequency scaling for improved microprocessor lifetime. 10-17
• 
  Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten, Alain Tchana:
  Coordinating multiple administration loops using discrete control. 18-25
• 
  Sou Koyano, Shingo Ata, Hisashi Iwamoto, Yuji Yano, Yasuto Kuroda, Kazunari Inoue, Ikuo Oka:
  A study on micro level traffic prediction for energy-aware routers. 26-33
• 
  Christine Mayap Kamga:
  CPU frequency emulation based on DVFS. 34-41
• 
  Adel Noureddine, Romain Rouvoy, Lionel Seinturier:
  A review of energy measurement approaches. 42-49

Individual submissions

• 
  Chengwei Wang, Soila Kavulya, Jiaqi Tan, Liting Hu, Mahendra Kutare, Michael P. Kasick, Karsten Schwan, Priya Narasimhan, Rajeev Gandhi:
  Performance troubleshooting in data centers: an annotated bibliography? 50-62