Journal: Operating Systems Review

Volume 41, Issue 5

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

Volume 41, Issue 4

1 -- 2Michael Hohmuth. Introduction
3 -- 11Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters. Towards trustworthy computing systems: taking microkernels to the next level
12 -- 19Bryan D. Payne, Reiner Sailer, Ramón Cáceres, Ronald Perez, Wenke Lee. A layered approach to simplified access control in virtualized systems
20 -- 29Jacob Gorm Hansen, Eske Christiansen, Eric Jul. Evil twins: two models for TCB reduction in HPC clusters
30 -- 39Neal H. Walfield, Marcus Brinkmann. A critique of the GNU hurd multi-server operating system
40 -- 48Norman Feske. A case study on the cost and benefit of dynamic RPC marshalling for low-level system components
49 -- 58Volkmar Uhlig. The mechanics of in-kernel synchronization for a scalable microkernel
59 -- 68Jan Stoess. Towards effective user-controlled scheduling for microkernel-based systems
69 -- 76Dohun Kim, Jugwan Eom, Chanik Park. L4oprof: a performance-monitoring-unit-based software-profiling framework for the L4 microkernel
77 -- 0Micha Hofri. Service transparency considered harmful: letter to the editor
78 -- 0Yuhui Deng. Author response
79 -- 82Yuhui Deng, Frank Wang. Opportunities and challenges of storage grid enabled by grid service
83 -- 86Hung-Yu Chien, Chen-Wei Huang. Security of ultra-lightweight RFID authentication protocols and its improvements

Volume 41, Issue 2

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

Volume 41, Issue 1

1 -- 2Jeanna Neefe Matthews. Operating systems review: year in review
3 -- 4Brett D. Fleisch. Program director s column: can nuggets make a difference?
5 -- 6Erik Riedel. Introduction
7 -- 13Yuhui Deng, Frank Wang. A heterogeneous storage grid enabled by grid service
14 -- 18Sudharshan Vazhkudai, Xiaosong Ma. Recovering transient data: automated on-demand data reconstruction and offloading for supercomputers
19 -- 23Michael Factor, Dalit Naor, Simona Rabinovici-Cohen, Leeat Ramati, Petra Reshef, Julian Satran. The need for preservation aware storage: a position paper
24 -- 32Martin Jambor, Tomas Hruby, Jan Taus, Kuba Krchak, Viliam Holub. Implementation of a Linux log-structured file system with a garbage collector
33 -- 36Sudhanva Gurumurthi. Should disks be speed demons or brainiacs?
37 -- 41John A. Chandy, Sumit Narayan. Reliability tradeoffs in personal storage systems
42 -- 44Simson L. Garfinkel. Complete delete vs. time machine computing
45 -- 53Jeffrey Choi Robinson, Jim Alves-Foss. A high assurance MLS file server
54 -- 55Remzi H. Arpaci-Dusseau. CS 736 project highlights from U. Wisconsin: how students spend their days and nights in a winter wonderland
56 -- 65Himani Apte, Meenali Rungta. Adding parity to the Linux ext3 file system
66 -- 77Pratap Ramamurthy, Ramanathan Palaniappan. Performance-directed energy management using ::::BOS::::
78 -- 86Barton P. Miller, Gregory Cooksey, Fredrick Moore. An empirical study of the robustness of MacOS applications using random testing
89 -- 112Wolfgang Emmerich, Mikio Aoyama, Joe Sventek. The impact of research on middleware technology