| 
					            	
										
											Conference program 
 
Coffee breaks are served in the Foyer of the Grosse Aula, University of Salzburg. Lunch is scheduled 12:00-13:30, taking place in the Foyer of the Grosse Aula, University of Salzburg.The EuroSys 2011 calendar of events and deadlines can be found here.
 Sunday, April 10 Day: Workshops and tutorials For details about the workshop and tutorial programs and schedules, please refer to the workshops and tutorials pages. Welcome reception (19:00 - 20:00) The welcome reception will be held at Neue Residenz. Monday, April 11 Opening Session (8:30 - 9:00) 
| Christoph Kirsch (University of Salzburg), Gernot Heiser (UNSW/NICTA) |  Invited Session (9:00 - 10:00) Chair: Gernot Heiser 
| What is new in the cloud?  Donald Kossmann (ETH Zurich)
 |  Session 1: Data, Data, Data (10:30 - 12:00) Chair: Adam Dunkels 
| Keypad: An Auditing File System for Theft-Prone Devices (Best student paper award)    Roxana Geambasu (University of Washington), John P. John (University of Washington), Steven D. Gribble (University of Washington), Tadayoshi Kohno (University of Washington), Henry M. Levy (University of Washington)
 |  | Database engines on multicores, Why parallelize when you can distribute?      Tudor-Ioan Salomie (ETH Zurich), Ionut Subasu (ETH Zurich), Jana Giceva (ETH Zurich), Gustavo Alonso (ETH Zurich)
 |  | DepSky: Dependable and Secure Storage in a Cloud-of-Clouds      Alysson Bessani (University of Lisbon, Faculty of Sciences), Miguel Correia (University of Lisbon, Faculty of Sciences), Bruno Quaresma (University of Lisbon, Faculty of Sciences), Fernando André (University of Lisbon, Faculty of Sciences), Paulo Sousa (University of Lisbon,
Faculty of Sciences)
 |  Session 2: Not Your Textbook Solution (13:30 - 15:00) Chair: George Candea 
| Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem      Reinhard Tartler (Friedrich-Alexander University Erlangen-Nuremberg), Daniel Lohmann (Friedrich-Alexander University Erlangen-Nuremberg), Julio Sincero (Friedrich-Alexander University Erlangen-Nuremberg), Wolfgang Schröder-Preikschat (Friedrich-Alexander University Erlangen-Nuremberg)
 |  | A Case for Scaling Applications to Many-core Platforms with OS Clustering    Xiang Song (Parallel Processing Institute, Fudan University), Haibo Chen (Parallel
Processing Institute, Fudan University), Rong Chen (Parallel Processing Institute, Fudan University), Yuanxuan Wang (Parallel Processing Institute, Fudan University), Binyu Zang (Parallel Processing Institute, Fudan University)
 |  | Refuse to crash with Re-FUSE    Swaminathan Sundararaman (University of Wisconsin-Madison), Laxman Visampalli (Qualcomm), Andrea C. Arpaci-Dusseau (University of Wisconsin-Madison), Remzi H. Arpaci-
Dusseau (University of Wisconsin-Madison)
 |  Session 3: BFT Systems Made Practical (15:30 - 17:00) Chair: Liuba Shrira 
| Increasing Performance in Byzantine Fault-Tolerant Systems with On-Demand Replica Consistency    Tobias Distler (Friedrich-Alexander University Erlangen-Nuremberg), Rüdiger Kapitza (Friedrich-Alexander University Erlangen-Nuremberg)
 |  | Efficient Middleware for Byzantine Fault-tolerant Database Replication      Rui Garcia (CITI/DI-FCT-Univ. Nova de Lisboa), Rodrigo Rodrigues (MPI-SWS), Nuno
Preguiça (CITI/DI-FCT-Univ. Nova de Lisboa)
 |  | ZZ and the Art of Practical BFT    Timothy Wood (University of Massachusetts Department of Computer Science), Rahul Singh (University of Massachusetts Department of Computer Science), Arun Venkataramani
(University of Massachusetts Department of Computer Science), Prashant Shenoy (University of Massachusetts Department of Computer Science), Emmanuel Cecchet (University of Massachusetts Department of Computer Science)
 |  EuroSys Annual Meeting (17:00 - 18:30) Tuesday, April 12 Session 4: Joules and Watts (8:30 - 10:00) Chair: Jacob R. Lorch 
| Energy Management in Mobile Devices with the Cinder Operating System    Arjun Roy (Stanford University), Stephen M. Rumble (Stanford University), Ryan Stutsman (Stanford University), Phil Levis (Stanford University), David Mazières (Stanford University), Nickolai Zeldovich (MIT CSAIL)
 |  | Fine-Grained Power Modeling for Smartphones Using System Call Tracing    Abhinav Pathak (Purdue University), Y Charlie Hu (Purdue University), Ming Zhang (Microsoft Research), Victor Bahl (Microsoft Research), Yi-Min Wang (Microsoft Research)
 |  | Sierra: practical power-proportionality for data center storage    Eno Thereska (Microsoft Research), Austin Donnelly (Microsoft Research), Dushyanth Narayanan (Microsoft Research)
 |  Session 5: Testing for the Real World (10:30 - 12:00) Chair: Rebecca Isaacs 
| Parallel Symbolic Execution for Automated Real-World Software Testing      Stefan Bucur (EPFL), Vlad Ureche (EPFL), Cristian Zamfir (EPFL), George Candea (EPFL)
 |  | Striking a New Balance Between Program Instrumentation and Debugging Time    Olivier Crameri (EPFL), Ricardo Bianchini (Rutgers University), Willy Zwaenepoel (EPFL)
 |  | Finding complex concurrency bugs in large multi-threaded applications      Pedro Fonseca (MPI-SWS), Cheng Li (MPI-SWS), Rodrigo Rodrigues (MPI-SWS)
 |  Poster and Demo Session (13:30 - 15:00) Posters will be displayed in the Grosse Aula of the University of Salzburg  Session 6: Hardcore OS (15:30 - 17:00) Chair: Andrew Baumann 
| Operating System Support for Application-Specific Speculation      Benjamin Wester (University of Michigan), Peter M. Chen (University of Michigan), Jason Flinn (University of Michigan)
 |  | SRM-Buffer: An OS Buffer Management Technique to Prevent Last Level Cache from Thrashing in Multicores    Xiaoning Ding (The Ohio State University), Kaibo Wang (The Ohio State University), Xiaodong Zhang (The Ohio State University)
 |  | Is Co-scheduling Too Expensive for SMP VMs?    Orathai Sukwong (Carnegie Mellon University), Hyong S. Kim (Carnegie Mellon University)
 |  Google-supported guided tour (17:30 - 19:00) The guided tour will take us to Fortress Hohensalzburg. VMware-supported banquet dinner (19:00 - 21:00) The banquet dinner will be held at the Stieglkeller restaurant. Wednesday, April 13 Session 7: Better Clouds (8:30 - 10:00) Chair: Jacob Gorm Hansen 
| Kaleidoscope: Cloud Micro-Elasticity via VM State Coloring      Roy Bryant (University of Toronto), Alexey Tumanov (University of Toronto), Olga Irzak (University of Toronto), Adin Scannell (University of Toronto), Kaustubh Joshi (AT&T Labs Research), Matti Hiltunen (AT&T Labs Research), H. Andres Lagar-Cavilla (AT&T Labs Research), Eyal de Lara (University of Toronto)
 |  | Scarlett: Coping with Skewed Content Popularity in MapReduce Clusters    Ganesh Ananthanarayanan (University of California Berkeley), Sameer Agarwal (University of California Berkeley), Srikanth Kandula (Microsoft Research), Albert Greenberg (Microsoft Research), Ion Stoica (University of California Berkeley), Duke Harlan (Microsoft Bing), Ed Harris (Microsoft Bing)
 |  | CloneCloud: Elastic Execution Between Mobile Device and Cloud    Byung-Gon Chun (Intel Labs Berkeley), Sunghwan Ihm (Princeton University), Petros Maniatis (Intel Labs Berkeley), Mayur Naik (Intel Labs Berkeley), Ashwin Patti (Intel Labs Berkeley)
 |  Session 8: Off the Beaten Path (10:30 - 12:00) Chair: Herbert Bos 
| Symbolic Crosschecking of Floating-Point and SIMD Code    Peter Collingbourne (Imperial College London), Cristian Cadar (Imperial College London), Paul H. J. Kelly (Imperial College London)
 |  | Scheduling Large Jobs by Abstraction Refinement      Thomas A. Henzinger (IST Austria), Vasu Singh (IST Austria), Thomas Wies (IST Austria), Damien Zufferey (IST Austria)
 |  | Cycles, Cells and Platters: An empirical analysis of hardware failures on a million consumer PCs (Best paper award)    Edmund B Nightingale (Microsoft Research), John R. Douceur (Microsoft Research), Vince Orgovan (Microsoft)
 |  Closing session (12:00 - 12:30) 
| Christoph Kirsch (University of Salzburg), Gernot Heiser (UNSW/NICTA) |  Farewell reception (12:30 - 13:30) | 
	News 
	
		[03 May 11]
		
			Etienne Riviere has some nice photos from Salzburg and the conference here. 
		
	 
                [19 Apr 11] 
                
                        Talk slides are online.
                
         
	                [14 Apr 11] 
	                
	                        The EuroSys 2012 page is online and can be found here.
	                
	         
	                [11 Apr 11] 
	                
	                        Photos from the conference are available here.
	                
	         Older news
 
                [07 Apr 11] 
                
                        Posters are online.
                
         
                [02 Mar 11] 
                
                        Conference program is online.
                
         
			                [15 Feb 11] 
			                
			                        Grants site is online.
			                
			         
                [11 Feb 11] 
                
                        List of accepted papers is online.
                
         
                [24 Jan 11] 
                
                        Call for Posters and Demos online.
                
         
                [22 Jan 11] 
                
                        Venue, accommodation, and travel information sites are online.
                
         
                [07 Jan 11] 
                
                        Registration site is online.
                
         
                [07 Dec 10] 
                
                        Tutorials site online.
                
         
		                [17 Nov 10] 
		                
		                        Workshops site online.
		                
		         
                	[11 Oct 10] 
                	
                        Paper submission closed.
                	
        		 
	                    [07 Sept 10] 
	                    
	                            Pre-submissions open.
	                    
	             
					[02 Sept 10]  
					
						Call for tutorials added.
					
				 
					[18 Jul 10]  
					
						Call for workshop proposals added.
					
				 
							[20 May 10]  
							
								Calendar of events and deadlines added.
							
						 
							[10 May 10]  
							
								Call for papers added.
							
						 
							[26 Mar 10]  
							
								The new site is online. More information and material will be added soon. 
							
						
	In cooperation with 
 |