| 2009 | LFI: A practical and general library-level fault injector. | Paul Dan Marinescu, George Candea |
| 2009 | Fluid modeling and control for server system performance and availability. | Luc Malrait, Sara Bouchenak, Nicolas Marchand |
| 2009 | Workshop on proactive failure avoidance, recovery and maintenance (PFARM). | Miroslaw Malek, Felix Salfner, Kishor S. Trivedi |
| 2009 | From assessment to standardised benchmarking: Will it happen? What could we do about it? | Henrique Madeira, Istvn Majzik |
| 2009 | An end-to-end approach for the automatic derivation of application-aware error detectors. | Galen Lyle, Shelley Cheny, Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2009 | An efficient XOR-scheduling algorithm for erasure codes encoding. | Jianqiang Luo, Lihao Xu, James S. Plank |
| 2009 | Fast memory state synchronization for virtualization-based fault tolerance. | Maohua Lu, Tzi-cker Chiueh |
| 2009 | WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. | Julia L. Lawall, Julien Brunel, Nicolas Palix, Ren Rydhof Hansen, Henrik Stuart, Gilles Muller |
| 2009 | Remote attestation to dynamic system properties: Towards providing complete system integrity evidence. | Chongkyung Kil, Emre Can Sezer, Ahmed M. Azab, Peng Ning, Xiaolan Zhang |
| 2009 | Comparing anomaly-detection algorithms for keystroke dynamics. | Kevin S. Killourhy, Roy A. Maxion |
| 2009 | Report generation for simulation traces with Traviando. | Peter Kemper |
| 2009 | Decoupling Dynamic Information Flow Tracking with a dedicated coprocessor. | Hari Kannan, Michael Dalton, Christos Kozyrakis |
| 2009 | VNsnap: Taking snapshots of virtual networked environments with minimal downtime. | Ardalan Kangarlou, Patrick Eugster, Dongyan Xu |
| 2009 | Dependability in the cloud: Challenges and opportunities. | Kaustubh R. Joshi, Guy Bunker, Farnam Jahanian, Aad P. A. van Moorsel, Joseph Weinman |
| 2009 | Maximizing system lifetime by battery scheduling. | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen |
| 2009 | On the effectiveness of low latency anonymous network in the presence of timing attack. | Jing Jin, Xinyuan Wang |
| 2009 | Automatic fault detection and diagnosis in complex software systems by information-theoretic monitoring. | Miao Jiang, Mohammad Ahmad Munawar, Thomas Reidemeister, Paul A. S. Ward |
| 2009 | Language level checkpointing support for stream processing applications. | Gabriela Jacques-Silva, Bugra Gedik, Henrique Andrade, Kun-Lung Wu |
| 2009 | Fault isolation for device drivers. | Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum |
| 2009 | On the effectiveness of structural detection and defense against P2P-based botnets. | Duc T. Ha, Guanhua Yan, Stephan J. Eidenbenz, Hung Q. Ngo |
| 2009 | Safety modeling and evaluation of Automated Highway Systems. | Ossama Hamouda, Mohamed Kaniche, Karama Kanoun |
| 2009 | A low-tech solution to avoid the severe impact of transient errors on the IP interconnect. | Derek Graham, Per Strid, Scott Roy, Fernando Rodriguez |
| 2009 | I-JVM: a Java Virtual Machine for component isolation in OSGi. | Nicolas Geoffray, Gal Thomas, Gilles Muller, Pierre Parrend, Stphane Frnot, Bertil Folliot |
| 2009 | Stretching gossip with live streaming. | Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Maxime Monod, Vivien Quma |
| 2009 | Verme: Worm containment in overlay networks. | Filipe Freitas, Edgar Marques, Rodrigo Rodrigues, Carlos Ribeiro, Paulo Ferreira, Lus E. T. Rodrigues |