| 1 | -- | 0 | Julius C. B. Leite, Raphael Guerra, Rivalino Matias Jr., Antônio Augusto Fröhlich. Brazilian symposium on computer system engineering, November 2013 |
| 2 | -- | 10 | Ricardo J. Pfitscher, Mauricio A. Pillon, Rafael R. Obelheiro. Customer-oriented diagnosis of memory provisioning for IaaS clouds |
| 11 | -- | 18 | Allan Edgard Silva Freitas, Raimundo José de Araújo Macêdo. A performance evaluation tool for hybrid and dynamic distributed systems |
| 19 | -- | 20 | Christian Cachin, Robbert van Renesse. Workshop Report: HotDep 2013 - The 9th workshop on hot topics in dependable systems |
| 21 | -- | 25 | Dirk Vogt, Cristiano Giuffrida, Herbert Bos, Andrew S. Tanenbaum. Techniques for efficient in-memory checkpointing |
| 26 | -- | 31 | Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Joo Young Hwang, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. Towards efficient, portable application-level consistency |
| 32 | -- | 33 | Kushagra Vaid, Lin Zhong. Fuel, fans, and cores - An introduction to selected papers from HotPower 2013 |
| 34 | -- | 38 | 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 |
| 39 | -- | 43 | Ana Carolina Riekstin, Sean James, Aman Kansal, Jie Liu, Eric Peterson. No more electrical infrastructure: towards fuel cell powered data centers |
| 44 | -- | 48 | Aaron Carroll, Gernot Heiser. Mobile multicores: use them or waste them |
| 51 | -- | 57 | Marius Eriksen. Your server as a function |
| 58 | -- | 64 | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser. File systems deserve verification too! |
| 65 | -- | 70 | Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci. Weir: a streaming language for performance analysis |
| 73 | -- | 81 | Meenakshi Sundaram Bhaskaran, Jian Xu, Steven Swanson. Bankshot: caching slow storage in fast non-volatile memory |
| 82 | -- | 89 | Hyojun Kim, Sangeetha Seshadri, Clement L. Dickey, Lawrence Chiu. Phase change memory in enterprise storage systems: silver bullet or snake oil? |
| 90 | -- | 97 | 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 |
| 98 | -- | 102 | Robbert van Renesse. The story behind the first SIGOPS Dennis M. Ritchie doctoral dissertation award |
| 103 | -- | 106 | Christopher Stewart, Vishakha Gupta. The workshop on diversity in systems research 2013 |
| 106 | -- | 118 | Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu. Automatic verification of active device drivers |