ACM SIGOPS: Operating Systems Review, Volume 48

Volume 48, Number 1, January 2014

Brazilian symposium on computer system engineering November 2013

• 
  Julius C. B. Leite, Raphael Guerra, Rivalino Matias Jr., Antônio Augusto Fröhlich:
  Brazilian symposium on computer system engineering, November 2013. 1
• 
  Ricardo J. Pfitscher, Maurício A. Pillon, Rafael R. Obelheiro:
  Customer-oriented diagnosis of memory provisioning for IaaS clouds. 2-10
• 
  Allan Edgard Silva Freitas, Raimundo José de Araújo Macêdo:
  A performance evaluation tool for hybrid and dynamic distributed systems. 11-18

HotDep 2013: The 9th workshop on hot topics in dependable systems

• 
  Christian Cachin, Robbert van Renesse:
  Workshop Report: HotDep 2013 - The 9th workshop on hot topics in dependable systems. 19-20
• 
  Dirk Vogt, Cristiano Giuffrida, Herbert Bos, Andrew S. Tanenbaum:
  Techniques for efficient in-memory checkpointing. 21-25
• 
  Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Joo Young Hwang, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
  Towards efficient, portable application-level consistency. 26-31

HotPower 2013: the 5th workshop on power-aware computing and systems

• 
  Kushagra Vaid, Lin Zhong:
  Fuel, fans, and cores - An introduction to selected papers from HotPower 2013. 32-33
• 
  Hiroshi Endo, Hiroyoshi Kodama, Hiroyuki Fukuda, Toshio Sugimoto, Takashi Horie, Masao Kondo:
  Cooperative control architecture of fan-less servers and fresh-air cooling in container servers for low power operation. 34-38
• 
  Ana Carolina Riekstin, Sean James, Aman Kansal, Jie Liu, Eric Peterson:
  No more electrical infrastructure: towards fuel cell powered data centers. 39-43
• 
  Aaron Carroll, Gernot Heiser:
  Mobile multicores: use them or waste them. 44-48

PLOS 2013: the 7th workshop on programming languages and operating systems

• 
  Marius Eriksen:
  Your server as a function. 51-57
• 
  Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser:
  File systems deserve verification too! 58-64
• 
  Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci:
  Weir: a streaming language for performance analysis. 65-70

INFLOW2013: the 1st workshop on interactions of NVM/FLash with operating systems and workloads

• 
  Meenakshi Sundaram Bhaskaran, Jian Xu, Steven Swanson:
  Bankshot: caching slow storage in fast non-volatile memory. 73-81
• 
  Hyojun Kim, Sangeetha Seshadri, Clement L. Dickey, Lawrence Chiu:
  Phase change memory in enterprise storage systems: silver bullet or snake oil? 82-89
• 
  Yongseok Oh, Jongmoo Choi, Donghee Lee, Sam H. Noh:
  Improving performance and lifetime of the SSD RAID-based host cache through a log-structured approach. 90-97

Contributions from the symposium on operating systems principles 2013 (SOSP 2013)

• 
  Robbert van Renesse:
  The story behind the first SIGOPS Dennis M. Ritchie doctoral dissertation award. 98-102
• 
  Christopher Stewart, Vishakha Gupta:
  The workshop on diversity in systems research 2013. 103-106

Individual submissions

• 
  Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu:
  Automatic verification of active device drivers. 106-118

Volume 48, Number 2, July 2014

Extended Papers: Second International Workshop on Dependability Issues in Cloud Computing - DISCCO 2013

• 
  Miguel Correia, Neeraj Mittal:
  Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing. 1-2
• 
  Nicola Nostro, Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati:
  Insider Threat Assessment: a Model-Based Methodology. 3-12
• 
  Alysson Bessani, Leucio Antonio Cutillo, Gianluca Ramunno, Norbert Schirmer, Paolo Smiraglia:
  The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios. 13-22

Reports from the Symposium on Operating Systems Principles 2013 (SOSP 2013)

• 
  William H. Tetzlaff:
  SOSP Professional Travel Scholarship: Reflections by Recipient William Tetzlaff. 23
• 
  Cary Gray:
  SOSP Professional Travel Scholarship: Reflections by Recipient Cary Gray. 24
• 
  Artur Baruchi:
  SOSP Professional Travel Scholarship: Reflections by Recipient Artur Baruchi. 25
• 
  Doug Terry:
  A Report on the First TRIOS Conference. 26-34