EuroSys 2011: Salzburg, Austria

Data, data, data

• Roxana Geambasu, John P. John, Steven D. Gribble, Tadayoshi Kohno, Henry M. Levy:
  Keypad: an auditing file system for theft-prone devices. 1-16
  
• Tudor-Ioan Salomie, Ionut Emanuel Subasu, Jana Giceva, Gustavo Alonso:
  Database engines on multicores, why parallelize when you can distribute? 17-30
  
• Alysson Neves Bessani, Miguel P. Correia, Bruno Quaresma, Fernando André, Paulo Sousa:
  DepSky: dependable and secure storage in a cloud-of-clouds. 31-46
  

Not your textbook solution

• Reinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-Preikschat:
  Feature consistency in compile-time-configurable system software: facing the linux 10, 000 feature problem. 47-60
  
• Xiang Song, Haibo Chen, Rong Chen, Yuanxuan Wang, Binyu Zang:
  A case for scaling applications to many-core with OS clustering. 61-76
  
• Swaminathan Sundararaman, Laxman Visampalli, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
  Refuse to crash with Re-FUSE. 77-90
  

BFT systems made practical

• Tobias Distler, Rüdiger Kapitza:
  Increasing performance in byzantine fault-tolerant systems with on-demand replica consistency. 91-106
  
• Rui Garcia, Rodrigo Rodrigues, Nuno M. Preguiça:
  Efficient middleware for byzantine fault tolerant database replication. 107-122
  
• Timothy Wood, Rahul Singh, Arun Venkataramani, Prashant J. Shenoy, Emmanuel Cecchet:
  ZZ and the art of practical BFT execution. 123-138
  

Joules and watts

• Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Levis, David Mazières, Nickolai Zeldovich:
  Energy management in mobile devices with the cinder operating system. 139-152
  
• Abhinav Pathak, Y. Charlie Hu, Ming Zhang, Paramvir Bahl, Yi-Min Wang:
  Fine-grained power modeling for smartphones using system call tracing. 153-168
  
• Eno Thereska, Austin Donnelly, Dushyanth Narayanan:
  Sierra: practical power-proportionality for data center storage. 169-182
  

Testing for the real world

• Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea:
  Parallel symbolic execution for automated real-world software testing. 183-198
  
• Olivier Crameri, Ricardo Bianchini, Willy Zwaenepoel:
  Striking a new balance between program instrumentation and debugging time. 199-214
  
• Pedro Fonseca, Cheng Li, Rodrigo Rodrigues:
  Finding complex concurrency bugs in large multi-threaded applications. 215-228
  

Hardcore OS

• Benjamin Wester, Peter M. Chen, Jason Flinn:
  Operating system support for application-specific speculation. 229-242
  
• Xiaoning Ding, Kaibo Wang, Xiaodong Zhang:
  SRM-buffer: an OS buffer management technique to prevent last level cache from thrashing in multicores. 243-256
  
• Orathai Sukwong, Hyong S. Kim:
  Is co-scheduling too expensive for SMP VMs? 257-272
  

Better clouds

• Roy Bryant, Alexey Tumanov, Olga Irzak, Adin Scannell, Kaustubh R. Joshi, Matti A. Hiltunen, H. Andrés Lagar-Cavilla, Eyal de Lara:
  Kaleidoscope: cloud micro-elasticity via VM state coloring. 273-286
  
• Ganesh Ananthanarayanan, Sameer Agarwal, Srikanth Kandula, Albert G. Greenberg, Ion Stoica, Duke Harlan, Ed Harris:
  Scarlett: coping with skewed content popularity in mapreduce clusters. 287-300
  
• Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti:
  CloneCloud: elastic execution between mobile device and cloud. 301-314
  

Off the beaten path

• Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly:
  Symbolic crosschecking of floating-point and SIMD code. 315-328
  
• Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey:
  Scheduling large jobs by abstraction refinement. 329-342
  
• Edmund B. Nightingale, John R. Douceur, Vince Orgovan:
  Cycles, cells and platters: an empirical analysisof hardware failures on a million consumer PCs. 343-356
  

Last update Sat May 25 02:52:04 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page