Volume 41, Number 1, January 2007

• 
  Jeanna Neefe Matthews: Operating systems review: year in review. 1-2
• 
  Brett D. Fleisch: Program director's column: can nuggets make a difference? 3-4

File and storage systems

• 
  Erik Riedel: Introduction. 5-6
• 
  Yuhui Deng, Frank Wang: A heterogeneous storage grid enabled by grid service. 7-13
• 
  Sudharshan Vazhkudai, Xiaosong Ma: Recovering transient data: automated on-demand data reconstruction and offloading for supercomputers. 14-18
• 
  Michael Factor, Dalit Naor, Simona Rabinovici-Cohen, Leeat Ramati, Petra Reshef, Julian Satran: The need for preservation aware storage: a position paper. 19-23
• 
  Martin Jambor, Tomas Hruby, Jan Taus, Kuba Krchak, Viliam Holub: Implementation of a Linux log-structured file system with a garbage collector. 24-32
• 
  Sudhanva Gurumurthi: Should disks be speed demons or brainiacs? 33-36
• 
  John A. Chandy, Sumit Narayan: Reliability tradeoffs in personal storage systems. 37-41
• 
  Simson L. Garfinkel: Complete delete vs. time machine computing. 42-44
• 
  Jeffrey Choi Robinson, Jim Alves-Foss: A high assurance MLS file server. 45-53

Graduate operating systmes

• 
  Remzi H. Arpaci-Dusseau: CS 736 project highlights from U. Wisconsin: how students spend their days and nights in a winter wonderland. 54-55
• 
  Himani Apte, Meenali Rungta: Adding parity to the Linux ext3 file system. 56-65
• 
  Pratap Ramamurthy, Ramanathan Palaniappan: Performance-directed energy management using BOS. 66-77
• 
  Barton P. Miller, Gregory Cooksey, Fredrick Moore: An empirical study of the robustness of MacOS applications using random testing. 78-86

Individual submissions

• 
  Wolfgang Emmerich, Mikio Aoyama, Joe Sventek: The impact of research on middleware technology. 89-112

Volume 41, Number 2, April 2007

Systems work at Microsoft Research

• 
  Michael D. Schroeder: Systems work at Microsoft Research. 1-2
• 
  Roy Levin: A perspective on computing research management. 3-9
• 
  Andrew Herbert: What happened to pastry. 10-16
• 
  William J. Bolosky, John R. Douceur, Jon Howell: The Farsite project: a retrospective. 17-26
• 
  Zheng Zhang, Qiao Lian, Shiding Lin, Wei Chen, Yu Chen, Chao Jin: BitVault: a highly reliable distributed data retention platform. 27-36
• 
  Galen C. Hunt, James R. Larus: Singularity: rethinking the software stack. 37-49
• 
  Jeremy Elson, Jon Howell, John R. Douceur: MapCruncher: integrating the world's geographic information. 50-59
• 
  Michael Isard: Autopilot: automatic data center management. 60-67
• 
  Dahlia Malkhi, Lev Novik, Chris Purcell: P2P replica synchronization with vector sets. 68-74
• 
  Anmol Sheth, Chandramohan A. Thekkath, Prakshep Mehta, Kalyan Tejaswi, Chandresh Parekh, Trilok N. Singh, Uday B. Desai: Senslide: a distributed landslide prediction system. 75-87
• 
  Andrew Birrell, Michael Isard, Chuck Thacker, Ted Wobber: A design for high-performance flash disks. 88-93

Volume 41, Number 3, June 2007

• 
  Paulo Ferreira, Thomas R. Gross, Luís Veiga (Eds.): Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007. ACM 2007 ISBN 978-1-59593-636-3 [ contents ]

Volume 41, Number 4, July 2007

Secure small-kernel systems

• 
  Michael Hohmuth: Introduction. 1-2
• 
  Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters: Towards trustworthy computing systems: taking microkernels to the next level. 3-11
• 
  Bryan D. Payne, Reiner Sailer, Ramón Cáceres, Ronald Perez, Wenke Lee: A layered approach to simplified access control in virtualized systems. 12-19
• 
  Jacob Gorm Hansen, Eske Christiansen, Eric Jul: Evil twins: two models for TCB reduction in HPC clusters. 20-29
• 
  Neal H. Walfield, Marcus Brinkmann: A critique of the GNU hurd multi-server operating system. 30-39
• 
  Norman Feske: A case study on the cost and benefit of dynamic RPC marshalling for low-level system components. 40-48
• 
  Volkmar Uhlig: The mechanics of in-kernel synchronization for a scalable microkernel. 49-58
• 
  Jan Stoess: Towards effective user-controlled scheduling for microkernel-based systems. 59-68
• 
  Dohun Kim, Jugwan Eom, Chanik Park: L4oprof: a performance-monitoring-unit-based software-profiling framework for the L4 microkernel. 69-76

Polemics: the role of transparency in distributed services

• 
  Micha Hofri: Service transparency considered harmful: letter to the editor. 77
• 
  Yuhui Deng: Author response. 78
• 
  Yuhui Deng, Frank Wang: Opportunities and challenges of storage grid enabled by grid service. 79-82
• 
  Hung-Yu Chien, Chen-Wei Huang: Security of ultra-lightweight RFID authentication protocols and its improvements. 83-86

Volume 41, Number 5, October 2007

Gossip-based computer networking

• 
  Anne-Marie Kermarrec, Maarten van Steen: Gossiping in distributed systems. 2-7
• 
  Ken Birman: The promise, and limitations, of gossip protocols. 8-13
• 
  Lorenzo Alvisi, Jeroen Doumen, Rachid Guerraoui, Boris Koldehofe, Harry C. Li, Robbert van Renesse, Gilles Trédan: How robust are gossip-based communication protocols? 14-18
• 
  Yaacov Fernandess, Antonio Fernández, Maxime Monod: A generic theoretical framework for modeling gossip-based algorithms. 19-27
• 
  Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort: Formal analysis techniques for gossiping protocols. 28-36
• 
  Patrick Th. Eugster, Pascal Felber, Fabrice Le Fessant: The "art" of programming gossip-based systems. 37-42
• 
  Etienne Riviere, Roberto Baldoni, Harry C. Li, José Pereira: Compositional gossip: a conceptual architecture for designing gossip-based applications. 43-50
• 
  Paolo Costa, Vincent Gramoli, Márk Jelasity, Gian Paolo Jesi, Erwan Le Merrer, Alberto Montresor, Leonardo Querzoni: Exploring the interdisciplinary connections of gossip-based systems. 51-60
• 
  Ali Ghodsi, Seif Haridi, Hakim Weatherspoon: Exploiting the synergy between gossiping and structured overlays. 61-66
• 
  Roy Friedman, Daniela Gavidia, Luís Rodrigues, Aline Carneiro Viana, Spyros Voulgaris: Gossiping on MANETs: the beauty and the beast. 67-74
• 
  Hakim Weatherspoon, Hugo Miranda, Konrad Iwanicki, Ali Ghodsi, Yann Busnel: Gossiping over storage systems is practical. 75-81
• 
  Jin Liang, Indranil Gupta, Klara Nahrstedt: Reliable on-demand management operations for large-scale distributed applications. 82-88

Volume 41, Number 6, December 2007

• 
  Thomas C. Bressoud, M. Frans Kaashoek (Eds.): Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007. ACM 2007 ISBN 978-1-59593-591-5 [ contents ]