ACM SIGOPS: Operating Systems Review, Volume 49

Volume 49, Number 1, January 2015

Special Issue on Repeatability and Sharing of Experimental Artifacts

• 
  Eric Eide:
  Foreword: Special Issue on Repeatability and Sharing of Experimental Artifacts. 1-2
• 
  Dror G. Feitelson:
  From Repeatability to Reproducibility and Corroboration. 3-11
• 
  Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft:
  Raft Refloated: Do We Have Consensus? 12-21
• 
  Mayank Varia, Benjamin Price, Nicholas Hwang, Ariel Hamlin, Jonathan Herzog, Jill Poland, Michael Reschly, Sophia Yakoubov, Robert K. Cunningham:
  Automated Assessment of Secure Search Systems. 22-30
• 
  Abraham N. Aldaco, Charles J. Colbourn, Violet R. Syrotiuk:
  Locating Arrays: A New Experimental Design for Screening Complex Engineered Systems. 31-40
• 
  Ali Abedi, Andrew Heard, Tim Brecht:
  Conducting Repeatable Experiments and Fair Comparisons using 802.11n MIMO Networks. 41-50
• 
  Christian Dietrich, Daniel Lohmann:
  The dataref versuchung: Saving Time through Better Internal Repeatability. 51-60
• 
  Luka Stanisic, Arnaud Legrand, Vincent Danjean:
  An Effective Git And Org-Mode Based Workflow For Reproducible Research. 61-70
• 
  Carl Boettiger:
  An introduction to Docker for reproducible research. 71-79
• 
  Cristian Ruiz, Salem Harrache, Michael Mercier, Olivier Richard:
  Reconstructable Software Appliances with Kameleon. 80-89
• 
  Sarah Edwards, Xuan Liu, Niky Riga:
  Creating Repeatable Computer Science and Networking Experiments on Shared, Public Testbeds. 90-99
• 
  Robert Ricci, Gary Wong, Leigh Stoller, Kirk Webb, Jonathon Duerig, Keith Downie, Mike Hibler:
  Apt: A Platform for Repeatable Research in Computer Science. 100-107
• 
  Bruce R. Childers, Alex K. Jones, Daniel Mossé:
  A Roadmap and Plan of Action for Community-Supported Empirical Evaluation in Computer Architecture. 108-117

Selected Papers from LADIS 2014 Eighth Workshop on Large-Scale Distributed Systems and Middleware

• 
  Gregory V. Chockler, Flavio Junqueira, Rodrigo Rodrigues, Ymir Vigfusson:
  LADIS'14: 8th Workshop on Large-Scale Distributed Systems and Middleware. 118-120
• 
  Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro:
  Towards Fast Invariant Preservation in Geo-replicated Systems. 121-125
• 
  João Paiva, Luís E. T. Rodrigues:
  On Data Placement in Distributed Systems. 126-130
• 
  Ken Birman, Márk Jelasity, Robert Kleinberg, Edward Tremel:
  Building a Secure and Privacy-Preserving Smart Grid. 131-136
• 
  Qin Jia, Zhiming Shen, Weijia Song, Robbert van Renesse, Hakim Weatherspoon:
  Supercloud: Opportunities and Challenges. 137-141

Individual Submissions

• 
  Petter Svärd, Benoit Hudzia, Steve Walsh, Johan Tordsson, Erik Elmroth:
  Principles and Performance Characteristics of Algorithms for Live VM Migration. 142-155

Volume 49, Number 2, December 2015

Brazilian Symposium on Computer System Engineering November 2014

• 
  Raimundo S. Barreto, Rafael R. Obelheiro, Leandro Buss Becker:
  Brazilian Symposium on Computing System Engineering. 1-2
• 
  Giovani Gracioli, Antônio Augusto Fröhlich:
  On the Design and Evaluation of a Real-Time Operating System for Cache-Coherent Multicore Architectures. 2-16

Selected Papers from the Workshops of the Symposium on Operating Systems Principles 2015 (SOSP 2015)

• 
  Peter Desnoyers, Gokul Kandiraju:
  INFLOW 2015: The Third Workshop on Interactions of NVM/FLash with Operating systems and Workloa: INFLOW '15 Message from the Chairs. 17
• 
  Biplob Debnath, Alireza Haghdoost, Asim Kadav, Mohammed G. Khatib, Cristian Ungureanu:
  Revisiting Hash Table Design for Phase Change Memory. 18-26
• 
  Ricardo Santana, Raju Rangaswami, Vasily Tarasov, Dean Hildebrand:
  A Fast and Slippery Slope for File Systems. 27-34

Summary of PLOS 2015: The Eighth Workshop on Programming Languages and Operating Systems

• 
  Christoph Borchert, Olaf Spinczyk:
  Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis. 37-43
• 
  Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev:
  Lightweight Capability Domains: Towards Decomposing the Linux Kernel. 44-50
• 
  Ilya Yanok, Nathaniel Nystrom:
  Tapir: A Language for Verified OS Kernel Probes. 51-56
• 
  Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan:
  Making Lock-free Data Structures Verifiable with Artificial Transactions. 57-63

HotPower 2015: The Seventh Workshop on Power-Aware Computing and Systems

• 
  Sharath K. Bhat, Ajithchandra Saya, Hemedra K. Rawat, Antonio Barbalace, Binoy Ravindran:
  Harnessing Energy Efficiency of Heterogeneous-ISA Platforms. 65-69
• 
  Mohammad Ashraful Hoque, Sasu Tarkoma:
  Sudden Drop in the Battery Level?: Understanding Smartphone State of Charge Anomaly. 70-74
• 
  Qiuyun Wang, Benjamin C. Lee:
  Modeling Communication Costs in Blade Servers. 75-79