eurosys’12 - unine · eurosys’12 eurosys 2012 conference april 10–13, 2012 bern, switzerland...

April 10–13, 2012Bern, Switzerland

Sponsored by:

ACM SIGOPSSupported by:

VMWare, Microsoft Research, Crédit Suisse, Google, SI, MICS, Telefonica, and byte.nlOrganized by:

EuroSys, Universität Bern, & Université de NeuchâtelIn cooperation with:

USENIX

EuroSys’12Proceedings of the

EuroSys 2012 Conference

Welcome!It! is! our! great! pleasure! to! welcome! you! to! the! 7th! ACM! European! Conference! on!Computer! Systems.! Ever! since! the! first! EuroSys! conference! in! 2006,! EuroSys! has!gained!and!maintained!a!reputation!as!one!of!the!premier!systems!conferences!in!the!world.! This! year! is! no! exception.! The! program! is! thoughtEprovoking,! high! quality,!and! very! broad—with! topics! ranging! from! kernels! to! clouds;! from! storage! to!security;! and! from! energy! to! multicore.! In! addition,! the! program! includes! 8! coElocated! workshops,! one! tutorial,! posters! and! demos.!We! are! thrilled! to! announce!that! Steve! Furber! (University! of!Manchester),! one! of! the! original! designers! of! the!BBC! Micro! and! the! ARM! 32Ebit! RISC! processor,! will! give! the! keynote! about!BiologicallyEInspired!MassivelyEParallel!Computing.!

With! an! acceptance! rate! of! just! 15%,! the! bar! for! papers! to! be! accepted! was!exceptionally!high.!All!papers!in!the!program!were!first!reviewed!and!subsequently!heavily!discussed!at!the!PC!meeting,!and!in!the!end,!we!admitted!only!the!best!and!most! interesting!ones.!The!reviewing!process!was!doubleEblind.!Authors’! identities!were!revealed!only!after!the!PC!meeting.!

So!far,!these!PC!discussions!and!the!motivations!for!accepting!or!rejecting!a!paper!at!the! PC! meeting! have! remained! hidden! from! the! audience,! and! attendees! have! to!figure!out!by!themselves!what!motivated!the!program!committee!to!accept!or!reject!a! certain! paper.! As!we! know! from!experience! that! such! information! is! interesting,!this!year!we!decided!to!make!the!audience!privy!to!the!deliberations!of!the!program!committee.!For!this!reason,!we!sent!a!summary!of!the!PC!discussions!to!the!authors!of!rejected!papers!and!publish!not!only! the!accepted!papers! themselves,!but!also!a!summary!of!the!reviews!and!the!discussions!on!the!conference!web!site.!

It!is!not!the!only!novelty!in!this!year’s!conference.!To!cope!with!the!growing!number!of!submissions,!we!decided!to! follow!the!model!of!some!of! the!other! top!venues! in!growing! the! program! committee! and! splitting! it! up! in! a! PC! light! and! a! PC! heavy.!There! is! no! distinction! between! the! two,! except! that! only! heavies! participated! in!round! 3! of! the! reviewing! process! and! attended! the! PC! meeting! in! person.!Incidentally,! we! are! happy! to! report! that! several! of! the! PC! members! “graduated”!from!the!Shadow!PCs!of!yesteryear!!

Growing! the! PC! proved! to! be! wise,! because! with! 179! papers! submitted,! EuroSys!2012!sets!a!new!record!in!terms!of!submissions.!All!onEtopic!papers!received!at!least!3!reviews!in!round!1.!Of!the!original!179,!no!fewer!than!96!made!it!to!round!2,!where!they!received!at! least!two!more!reviews.!The!PC!discussed!all!of! these! in!person!at!the! PC! meeting.! In! addition,! papers! in! round! 2! with! strongly! diverging! reviews!received!an!extra!review!in!round!3.!All!in!all,!the!PC!members!wrote!more!than!750!reviews!!

In! addition! to! the! regular! PC,! this! year’s! EuroSys! ran! a! shadow! PC,! consisting! of!talented! young! researchers! that,! hopefully,! will! provide! the! community! the! next!

wave!of!high!quality!PC!members!and!scientists.!The!shadow!PC!was!led!by!Rodrigo!Rodrigues!(MPIESWS)!who!put!in!an!admirable!amount!of!time!and!energy!to!make!the! experience! for! everyone! both! useful! and! enjoyable.! Moreover,! the! shadow! PC!was! an! excellent! opportunity! for! authors! to! receive! even!more! feedback! on! their!work.!

Finally,! the!authors!had!an!opportunity! to!rebut!some!of! the!reviewers’!comments,!which!the!PC!also!took!into!account!for!their!final!decision.!When!the!dust!settled!at!the! PC!meeting! in! Amsterdam,! the! EuroSys! PC! had! selected! 27! papers.! All! of! the!papers!were!shepherded!by!a!PC!member.!

Putting!together!EuroSys!2012!was!a!tremendous!amount!of!work!and!our!gratitude!goes!out!to!those!who!did!most!of!the!heavy!lifting:!the!incredibly!professional!and!hard!working!PC!members,!the!secondary!reviewers,!and!the!authors.!Without!their!diligence,! punctuality! and! willingness! to! work! well! beyond! the! call! of! duty,! this!conference!would!not!have!been!possible.!

We!also!thank!Eddie!Kohler!for!the!HotCRP!conference!management!system—don’t!organise!a!conference!without! it—and!Andrei!Bacs! for! running! the!system.!Special!thanks! to!Etienne!Rivière!who!managed! the!process!of! shepherding!and! finalizing.!Finally,!we!would!like!to!thank!ACM!SIGOPS!and!the!EuroSys!steering!committee!for!their!continued!support!and!guidance.!

EuroSys! 2012! takes! place! in! Bern,! Switzerland,! in! the! historical! building! of! the!University! of! Bern.! The! organization! of! the! conference! was! more! than! yearElong!team! effort,! and! we! were! blessed! to! work! with! some! incredibly! talented,! hardEworking! people.! It!would! not! have! been! possible!without! the! dedication! of! all! the!members!of!the!organization!committee.!We!would!particularly!like!to!thank!Torsten!Braun,!Peter!Kropf,!Ruth!Bestgen,!and!Daniela!Schroth!for!their!prodigious!work!in!handling! local! arrangements,!Alain! Sandoz! for!his!professional!management!of! the!conference's!budget,! and!Etienne!Rivière! for!his! extensive!work!on! the! conference!logistics.!We! are! also! indebted! to! the!University! of!Bern! for!providing! room! space!and!technical!support,!to!the!University!of!Neuchâtel!for!handling!registrations!and!finances,! and! to! the! volunteer! students! for!working! extraEtime!during! the!week!of!the!conference.!

We!gratefully!acknowledge!the!generous!support!of!our!sponsors!who!allowed!us!to!award! a! number! of! grants! to! students! and! junior! researchers! for! attending! the!conference.!

We!hope!that!you!will!find!the!program!interesting!and!thoughtEprovoking!and!that!the! conference! will! provide! you! with! a! valuable! opportunity! to! share! ideas! with!other!researchers!and!practitioners!from!institutions!around!the!world.!

! Frank!Bellosa! Herbert!Bos! Pascal!Felber!

! KIT! VU!University!Amsterdam! University!of!Neuchâtel!! Program!Co)chairs! General!Chair! !

Program!

Tuesday,)April)10,)2012) [!UniHG!])08:00!)!08:30!REGISTRATION) [!Entrance!Hall!])

08:30!)!10:00!WORKSHOPS)

• EuroDW:!EuroSys!Doctoral!Workshop! [!106!]!• CloudCP:!2nd!International!Workshop!on!Cloud!Computing!Platforms! [!205!]!• HotCDP:!Workshop!on!Hot!Topics!in!Cloud!Data!Processing! [!105!]!• MPM:!Workshop!on!Measurement,!Privacy,!and!Mobility! [!208!]!• SFMA:!2nd!Workshop!on!Systems!for!Future!MultiEcore!Architectures! [!206!]!• SNS:!5th!Workshop!on!Social!Network!Systems! [!214!]!• EuroSec:!5th!European!Workshop!on!System!Security! [!220!]!• WTM:!EuroETM!Workshop!on!Transactional!Memory! [!201!]!TUTORIAL)

(BFT)!State!Machine!Replication:!Hype!and!Virtue...! [!212!]!

10:00!)!10:30!COFFEE)

10:30!)!12:00!WORKSHOPS)—)TUTORIAL)

12:00!)!13:30!LUNCH)

13:30!)!15:00!WORKSHOPS)—)TUTORIAL)

STEERING)COMMITTEE)MEETING! [!501!])

15:00!)!15:30!COFFEE)

15:30!)!18:00!WORKSHOPS)—)STEERING)COMMITTEE)MEETING)

18:00!WELCOME)RECEPTION)

WEDNESDAY,)APRIL)11,)2012) [!UniHG!or1!ExWi!])08:00!)!08:30!REGISTRATION) [!Entrance!Hall!UniHG!])

08:30!)!09:00!OPENING) [!210!or!A006!])

09:00!)!10:00!SESSION)1:)TRANSACTIONS)—)Anne:Marie!Kermarrec) [!210!or!A006!])

• STM! in! the! small:! trading! generality! for! performance! in! software!

transactional!memory.!

Aleksandar!Dragojevic!(EPFL)!and!Tim!Harris!(Microsoft!Research)!• Improving!Server!Applications!with!System!Transactions.!

Sangman!Kim,!Michael!Lee,!Alan!Dunn,!and!Owen!S.!Hofmann! (The!University!of!Texas! at! Austin),! Xuan! Wang! (Stony! Brook! University),! Emmett! Witchel! (The!University!of!Texas!at!Austin),!and!Donald!E.!Porter!(Stony!Brook!University)!

10:00!)!10:30!COFFEE)

10:30!)!12:00!SESSION)2:)EVERYTHING)GREEN:)ENERGY)MATTERS)—)Hermann!Härtig) [!210!or!A006!])

• Where!is!the!energy!spent!inside!my!app?!Fine!Grained!Energy!Accounting!

on!Smartphones!with!Eprof.!

Abhinav!Pathak!and!Y.!Charlie!Hu!(Purdue!University)!and!Ming!Zhang!(Microsoft!Research)!

• Energy! Efficiency! for! LargeNScale!MapReduce!Workloads! with! Significant!

Interactive!Analysis.!

Yanpei!Chen!and!Sara!Alspaugh!(UC!Berkeley),!Dhruba!Borthakur!(Facebook),!and!Randy!Katz!(UC!Berkeley)!

• GreenHadoop:!Leveraging!Green!Energy!in!DataNProcessing!Frameworks.!

Inigo! Goiri,! Kien! Le,! and! Thu! D.! Nguyen! (Rutgers! University),! Jordi! Guitart! and!Jordi!Torres!(UPC),!and!Ricardo!Bianchini!(Rutgers!University)!

12:00!)!13:30!LUNCH)

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!1!The!location!of!the!technical!sessions!of!Wednesday!and!Thursday!will!be!announced!at!the!registration!desk!(UniHG!210!or!ExWi!A006).!For!the!ExWi!location,!please!follow!the!signs.!

13:30!)!15:00!SESSION)3:)CLOUD)I)—)George!Candea) [!210!or!A006!])

• Frugal!Storage!for!Cloud!File!Systems.!

Krishna! Puttaswamy,! Thyaga! Nandagopal,! and! Murali! Kodialam! (Bell! Labs,!Alcatel)Lucent)!

• Kineograph:!Taking!the!Pulse!of!a!FastNChanging!and!Connected!World.!

Raymond! Cheng! (University! of! Washington),! Ji! Hong! ((Fudan! University),! Aapo!Kyrola! (Carnegie! Mellon! University),! Youshan! Miao! (University! of! Science! and!Technology!of!China),!Xuetian!Weng!(Peking!University),!Ming!Wu,!Fan!Yang,!and!Lidong!Zhou!(Microsoft!Research!Asia),!Feng!Zhao!(Microsoft!Research!Asia),!and!Enhong!Chen!(University!of!Science!and!Technology!of!China)!

• Jockey:!Guaranteed!Job!Latency!in!Data!Parallel!Clusters.!

Andrew! D.! Ferguson! (Brown! University),! Peter! Bodik! and! Srikanth! Kandula!(Microsoft! Research),! Eric! Boutin! (Microsoft),! and! Rodrigo! Fonseca! (Brown!University)!

15:00!)!15:30!COFFEE)

15:30!)!17:00!SESSION)4:)ALL)ABOUT)VIRTUALIZATION)—)Timothy!Roscoe) [!210!or!A006!])

• The!XenNBlanket:!Virtualize!Once,!Run!Everywhere.!

Dan!Williams!(Cornell/IBM),!Hani!Jamjoom!(IBM!T.!J.!Watson!Research!Lab),!and!Hakim!Weatherspoon!(Cornell!University)!

• Isolating!Commodity!Hosted!Hypervisors!with!HyperLock.!

Zhi!Wang,!Chiachih!Wu,!and!Michael!Grace!(North!Carolina!State!University)!and!Xuxian!Jiang!(North!Carolina!State!Univeristy)!

• Delusional! Boot:! Securing! Cloud! Hypervisors! without! Massive! ReN

engineering.!

Anh!M.!Nguyen!(UIUC),!Himanshu!Raj!(Microsoft!Research),!Shravan!Rayanchu!(U.!of!Wisconsin),!and!Stefan!Saroiu!and!Alec!Wolman!(Microsoft!Research)!!

17:00!)!19:00!GENERAL)ASSEMBLY)AND)RECEPTION) [!210!or!A006!])

The! general! assembly!will! be! followed! by! a! “wine!&! cheese”! reception! generously!offered!by!the!EuroSys!chapter.!

THURSDAY,)APRIL)12,)2012) [!UniHG!or2!ExWi!])08:00!)!08:30!REGISTRATION) [!Entrance!Hall!UniHG!])

08:30!)!10:00!SESSION)5:)DATABASES)—)Guillaume!Pierre) [!210!or!A006!])

• A!Critique!of!Snapshot!Isolation.!

Daniel!Gómez!Ferro!and!Maysam!Yabandeh!(Yahoo!!Research)!• LazyBase:!Trading!freshness!for!performance!in!a!scalable!database.!

Jim! Cipar! and! Greg! Ganger! (CMU)! and! Kimberly! Keeton,! Charles! B.! Morrey! III,!Craig!Soules,!and!Alistair!Veitch!(HP!Labs)!

• Cache!Craftiness!for!Fast!Multicore!KeyNValue!Storage.!

Yandong!Mao!(MIT),!Eddie!Kohler!(Harvard),!and!Robert!Morris!(MIT)!

10:00!)!10:30!COFFEE)

10:30!)!12:00!SESSION)6:)CLOUD)II!—!Rodrigo!Rodrigues) [!210!or!A006!]!

• MadLINQ:!LargeNScale!Distributed!Matrix!Computation!for!the!Cloud.!

Zhengping! Qian! and! Xiuwei! Chen! (Microsoft! Research! Asia),! Nanxi! Kang! and!Mingcheng! Chen! (Shanghai! Jiaotong! University),! Yuan! Yu! (Microsoft! Research!Silicon! Valley),! and! Thomas! Moscibroda! and! Zheng! Zhang! (Microsoft! Research!Asia)!

• Jettison:!Efficient!Idle!Desktop!Consolidation!with!Partial!VM!Migration.!

Nilton! Bila! and! Eyal! de! Lara! (University! of! Toronto),! Kaustubh! Joshi,! H.! Andres!Lagar)Cavilla,! and! Matti! Hiltunen! (AT&T! Labs! Research),! and! Mahadev!Satyanarayanan!(Carnegie!Mellon!University)!!

• Practical!TDMA!for!Datacenter!Ethernet.!

Bhanu!C.!Vattikonda,!George!Porter,!Amin!Vahdat,!and!Alex!C.!Snoeren!(University!of!California,!San!Diego)!

12:00!)!13:00!LUNCH)

13:00!)!13:30!POSTERS! [!215!]!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!2!The!location!of!the!technical!sessions!of!Wednesday!and!Thursday!will!be!announced!at!the!registration!desk!(UniHG!210!or!ExWi!A006).!For!the!ExWi!location,!please!follow!the!signs.!

13:30!)!15:00!SESSION)7:)STORAGE!—!Frank!Bellosa) [!210!or!A006!]!

• Scalable!Testing!of!File!System!Checkers.!

Joao! Carreira! and! Rodrigo! Rodrigues! (MPI)SWS),! George! Candea! (EPFL),! and!Rupak!Majumdar!(MPI)SWS)!

• Delta!FTL:!Improving!SSD!Lifetime!via!Exploiting!Content!Locality.!

Guanying!Wu!and!Xubin!He!(Virginia!Commonwealth!University)!• FlashTier:!A!Lightweight,!Consistent!and!Durable!Storage!Cache.!

Mohit! Saxena,! Michael! M.! Swift,! and! Yiying! Zhang! (University! of! Wisconsin)Madison)!

15:00!)!16:00!POSTERS)AND)COFFEE! [!215!])

16:00!)!17:30!SESSION)8:)DEPENDABILITY)AND)SECURITY!—!Bryan!Ford) [!210!or!A006!]!

• Fast!BlackNBox!Testing!of!System!Recovery!Code.!

Radu!Banabic!and!George!Candea!(EPFL)!• CheapBFT:!ResourceNefficient!Byzantine!Fault!Tolerance.!

Rüdiger! Kapitza! (TU! Braunschweig),! Johannes! Behl! (Friedrich)Alexander!University!Erlangen)Nuremberg),!Christian!Cachin!(IBM!Research!)!Zurich),!Tobias!Distler! and! Simon!Kuhnle! (Friedrich)Alexander!University! Erlangen)Nuremberg),!Seyed! Vahid! Mohammadi! (KTH! –! Royal! Institute! of! Technology),! and!Wolfgang!Schröder)Preikschat!and!Klaus!Stengel! (Friedrich)Alexander!University!Erlangen)Nuremberg)!

• Canal:!Scaling!social!networkNbased!Sybil!tolerance!schemes.!

Bimal! Viswanath,! Mainack! Mondal,! and! Krishna! Gummadi! (MPI)SWS),! Alan!Mislove!(Northeastern!University),!and!Ansley!Post!(MPI)SWS)!

17:30!)!18:00!POSTERS! [!215!])

19:30!VMWAREOSUPPORTED)BANQUET)DINNER) [!Kulturcasino!])

The!banquet!dinner,!generously!supported!by!VMware,!will!be!held!in!Grosser!Saal!of!Kulturcasino!Bern.!

FRIDAY,)APRIL)13,)2012) [!UniHG!])08:00!)!08:30!REGISTRATION) [!Entrance!Hall!UniHG!])

08:30!)!09:30!KEYNOTE:)STEVE)FURBER) [!UniHG!210!])

BiologicallyNInspired!MassivelyNParallel!Computing.!

Steve!Furber!(University!of!Manchester)!

09:30!)!10:30!SESSION)9:)TOWARDS)BETTER)KERNELS!—!Wolfgang!Schröder:Preikschat) [!210!]!

• Improving!Interrupt!Response!Time!in!a!Verifiable!Protected!Microkernel.!

Bernard! Blackham,! Yao! Shi,! and! Gernot! Heiser! (NICTA! and! University! of! New!South!Wales)!

• Improving!network!connection!locality!on!multicore!systems.!

Aleksey!Pesterev!(MIT),!Jacob!Strauss!(Quanta!Research!Cambridge),!and!Nickolai!Zeldovich!and!Robert!T.!Morris!(MIT)!

10:30!)!11:00!COFFEE)

11:00!)!12:00!SESSION)10:)CORES)GALORE!—!Eric!van!Hensbergen) [!210!]!

• TM2C:!a!Software!Transactional!Memory!for!ManyNCores.!

Vincent!Gramoli,!Rachid!Guerraoui,!and!Vasileios!Trigonakis!(EPFL)!• BWS:!Balanced!Work!Stealing!for!TimeNSharing!Multicores.!

Xiaoning! Ding! (Intel! ISTC! for! Cloud! Computing),! Kaibo! Wang! (The! Ohio! State!University),! Phillip! B.! Gibbons! (Intel! ISTC! for! Cloud! Computing),! and! Xiaodong!Zhang!(The!Ohio!State!University)!

12:00!)!12:30!CLOSING) [!210!])

12:30!FAREWELL)RECEPTION)

A!light!lunch!with!sausages,!pretzels,!and!beer!will!be!offered!to!attendees!after!the!closing!session.!! !

Workshops!EuroSys)Doctoral)Workshop)(EuroDW)2012))

Dejan!Kostic!(EPFL)!

The! EuroSys! Doctoral! Workshop! (EuroDW! 2012)! will! provide! a! forum! for! PhD!students!to!present!their!work!and!receive!constructive!feedback!from!experts!in!the!field!as!well!as!from!peers.!Technical!presentations!will!be!augmented!with!general!advice! and! discussions! about! getting! a! PhD,! doing! research,! and! postEdoctoral!careers.! We! invite! applications! from! PhD! students! at! any! stage! of! their! doctoral!studies,! and! plan! to! have! about! 30! attendees.! Selection! of! the! students! for! oral!presentation!is!based!on!usefulness!for!the!student!by!providing!feedback,!which!can!be!shared!by!other!students.!2nd)International)Workshop)on)Cloud)Computing)Platforms)(CloudCP)2012))

Guillaume! Pierre! (Vrije! Universiteit! Amsterdam),! Valentin! Cristea! (Politehnica!University!Bucharest)!

Cloud! computing! is! currently! on! the! way! to! maturing! from! early! prototypes! to!become!a!serious!platform!for!production!environments.!At!the!same!time,!however,!early!adopters!complain!about!serious!usability!problems!as!well!as! insufficient!or!fluctuating!system!performance.!Even!more,!different!application!domains,!like!Web!services! or! scientific! computing,! have! strongly! different! requirements! to! clouds! as!their! computing! environments.! This! workshop! is! investigating! the! needs! and!requirements! from! different,! potential! cloud! application! domains,! and! especially!how! cloud! computing! platforms! (IaaS,! PaaS,! and! their! integration)! can! be! built! in!order!to!meet!these!requirements.!The!workshop’s!focus!is!on!building!suitable!and!highEperformance!cloud!computing!platforms.!We!aim!to!bring!together!researchers!and!practitioners!interested!in!the!technical!aspects!of!cloud!computing.!The!focus!of!the!workshop!is!on!novel,!practical,!systemsEoriented!work.!Workshop)on)Hot)Topics)in)Cloud)Data)Processing)(HotCDP)2012))

Christof!Fetzer! (TU!Dresden),!Flavio! Junqueira!(Yahoo!!Research),!Peter!Pietzuch!(Imperial!College!London)!

Processing! large! data! sets! in! the! cloud! has! been! dominated! by! the! map/reduce!programming!model,!originally!proposed!by!Google!and!widely!adopted!through!the!Apache! Hadoop! implementation.! Over! the! years,! developers! have! identified!weaknesses!of!processing!data!sets!in!batches!and!have!proposed!alternatives,!such!as!continuous!processing!of!data!streams!that!has!led!to!the!development!of!systems!like!Yahoo!! S4! and!Twitter! Storm.!The! cloud! ecosystem,!however,! is! rather! rich! in!application!requirements.!While!map/reduce!and!stream!processing!together!cover!a!large!fraction!of!the!development!space,!there!are!still!many!applications!that!are!better! served!by!different!models!and!systems.!The!main!goal!of! the!Workshop!on!Hot! Topics! in! Cloud! Data! Processing! (HotCDP)! is! to! foster! research! in! largeEscale!

data! processing! and! gather! both! researchers! and! practitioners! working! on! data!processing!techniques.!The!venue!will!favor!work!on!radical!alternatives!to!existing!models!and!new!designs!to!process!data!in!the!cloud.!Workshop)on)Measurement,)Privacy,)and)Mobility)(MPM)2012))

Hamed!Haddadi!(QMUL),!Eiko!Yoneki!(University!of!Cambridge)!

The!ever! increasing!need! for!our!personal!data,! location,!preferences!and! interests!has!raised! the!bar! for! regulations!and! techniques! to!catch!up!with! the!privacy!and!security! aspects! of! such! information.! In! this!workshop!we! aim! to! discuss! systems,!methods,! policies! and! techniques! that! help! in! profiling,! data! mining,! offering!locationEbased!services,!while!making!an!attempt!in!improving!privacy!preservation.!We! aim! to! solicit! research! papers,! work! in! progress! papers! and! reports! from! a!variety! of! disciplines,! including! but! not! limited! to! data! mining,! security,! privacy,!advertising,! epidemics! and! information!dissemination,!mobility! and! locationEbased!data! services! across! academia! and! industry! in! order! to! create! a! dynamic! interEdisciplinary!workshop!environment.!2nd)Workshop)on)Systems)for)Future)MultiOcore)Architectures)(SFMA)2012))

Derek!G.!Murray!(Microsoft!Research),!Zachary!Anderson!(ETHZ)!

Future! multiEcore! architectures! will! present! a! variety! of! challenges! for! system!developers,! such! as! nonEcacheEcoherent! memory,! heterogeneous! processing! cores!and!the!exploitation!of!novel!architectural!features.!To!achieve!high!performance!on!these! platforms,! application! developers!will! need! to! exploit! parallelism! to! a!much!greater! extent! than! before.! SFMA'12! is! a! forum! for! researchers! in! the! operating!systems,!language!runtime!and!virtual!machine!communities!to!present!and!discuss!their!experiences!with!the!new!generation!of!highlyEparallel!hardware.!5th)Workshop)on)Social)Network)Systems)(SNS)2012))

Eiko!Yoneki!(University!of!Cambridge),!Davide!Frey!(INRIA),!Ian!Brown!(University!of!Oxford)!

The! fifth!workshop!on!Social!Network!Systems!(SNS'12)!will!gather!researchers! to!discuss! novel! ideas! on! the! systems! issues! of! online! social! networks.! Online! social!networks!(OSNs)!are!among!the!most!popular!sites!on!the!Web!and!continue!to!grow!rapidly.!The!social!graph!from!OSNs!provides!a!basis!for!communicating,!distributing!and!locating!content.!The!workshop!will!focus!on!1)!infrastructure!support!for!social!networks! (including!distributed!systems,!databases,! and!storage!systems),!2)!ways!of! leveraging! social! networks! in! systems! design! (including! managing! and! online!querying!of! large!social!graphs),!3)!measurement!and!analysis!of!existing!deployed!social!networks.!! )

5th)European)Workshop)on)System)Security)(EuroSec)2012))

Thorsten!Holz!(Ruhr)University!Bochum),!Sotiris!Ioannidis!(FORTH)ICS)!

The!fifth!European!workshop!in!the!area!of!systems!security!(EuroSec)!aims!to!bring!together! researchers,! practitioners,! system! administrators,! system! programmers,!and!others!interested!in!the!latest!advances!in!the!security!of!computer!systems!and!networks.! The! objective! of! the! workshop! is! to! discuss! novel,! practical,! systemsEoriented!work.!EuroSec!seeks!contributions!on!all!aspects!of!systems!security.!EuroOTM)Workshop)on)Transactional)Memory)(WTM)2012))

Osman!Unsal!(Barcelona!Supercomputing!Center)!

The!EuroETM!Workshop!on!Transactional!Memory!(WTM)!aims!to!feature!workEinEprogress!on!all!aspects!of!Transactional!Memory!(TM).!Topics!of!interest!include,!but!are!not! limited! to,! TM! theory,! tool! and!debugger! support! for!TM,!TM!applications,!TMEaware! compilers,! OS/runtime! support! for! contention! management! and!transaction!scheduling,!and!hardware!support!for!TM.!The!workshop!will!consist!of!short! presentations! and! will! not! have! published! proceedings! to! facilitate! later!submission!to!other!venues.!

Tutorial!(BFT))State)Machine)Replication:)Hype)and)Virtue...)and)even)some)Practice)

Alysson!Neves!Bessani!(University!of!Lisbon)!

State! machine! replication! is! a! fundamental! technique! for! implementing! robust!clientEserver!systems!that!became!very!popular!in!the!last!10!years!both!in!industry!(where!variations!of!the!model!are!being!used!in!infrastructure!systems!supporting!millions! of! users! in! Microsoft,! Google! and! Yahoo!! data! centers)! and! academia.! In!particular,! many! papers! appeared! in! systems! and! dependability! conferences!proposing!faster!and!practical!protocols!for!implementing!state!machine!replication,!specially! for! the!Byzantine! fault!model,!where! faulty!processes!not! only! crash,! but!present! arbitrary! behavior.! This! tutorial! aims! to! present! the! fundamentals! of! the!state! machine! replication! model! and! the! recent! developments! on! this! area,! with!special!focus!on!Byzantine!fault!tolerance!and!its!significance!for!current!and!future!systems.!Besides,!the!tutorial!will!feature!a!handsEon!session!in!which!the!attendees!will! learn! how! to! build! a! keyEvalue! store! using! BFTESMaRt,! an! openEsource! JavaEbased!BFT! state!machine! replication! library.!Attendees!who!want! to!participate! to!the!handsEon!session!should!bring!their!own!laptops.!! !

Keynote!BiologicallyOInspired)MassivelyOParallel)Computing)

Steve!Furber!(University!of!Manchester)!

The!talk!will!begin!with!a!retrospective!on!the!speaker's!role!in!the!development!of!the!BBC!Microcomputer!and!the!first!ARM!32Ebit!RISC!microprocessors!at!Acorn!in!the!1980s,!and!then!introduce!SpiNNaker,!a!machine!that!uses!more!ARM!processors!than! the! original! ARM! used! transistors.! The! SpiNNaker! project! (Spiking! Neural!Network!Architecture)!aims! to!deliver!a!massivelyEparallel! computing!platform! for!modelling! largeEscale! systems! of! spiking! neurons! in! biological! real! time.! The!architecture!is!based!around!a!MultiEProcessor!SystemEonEChip!that!incorporates!18!ARM!processor! subsystems! and! is! packaged!with! a! 128Mbyte! SDRAM! to! form! the!basic! computing! node.! An! applicationEspecific! packetEswitched! communications!fabric! carries! neural! "spike"! packets! between! processors! on! the! same! or! different!packages! to! allow! the! system! to! be! extended! up! to! a!million! processors,! at!which!scale!the!machine!has!the!capacity!to!model!in!the!region!of!1%!of!the!human!brain.!

Biography*

Steve! Furber! is! ICL! Professor! of! Computer! Engineering! in! the! School! of! Computer!Science!at! the!University!of!Manchester.!He! received!a!B.A.! in!mathematics! (1974)!and!his!Ph.D.!in!aerodynamics!(1980),!both!from!the!University!of!Cambridge.!From!1980! to! 1990,! he! worked! in! the! hardware! development! group! within! the! R&D!department! at! Acorn! Computers! Ltd,! and! was! a! principal! designer! of! the! BBC!Microcomputer!and!the!ARM!32Ebit!RISC!microprocessor.!One!and!a!half!million!BBC!Micros!were!sold!and!used!in!over!80%!of!U.K.!schools.!The!ARM!processor!core!is!now! used! in! thousands! of! different! products,! from! mobile! phones! and! tablets! to!digital! televisions! and! video! games.! The! number! of! ARM! processor! cores! now!shipped!exceeds!30!billion.!In!1990!he!moved!to!the!University!of!Manchester!where!he!leads!the!Advanced!Processor!Technologies!research!group!which!has!interests!in!asynchronous!logic!design,!powerEefficient!computing,!manyEcore!architectures!and!neural!systems!engineering.!! !

Posters!Accepted)Posters)

• Energy! Implications! of! Contention! in! Multicore! Processors! for! the! DataN

centre!

Shoaib!Akram,!Angelos!Bilas!(Foundation!for!Research!and!Technology!)!ICS)!• Analyzing!manycore!OS!design!aspects!in!NIX!

Francisco! J.!Ballesteros,!Gorka!Guardiola,!Enrique!Soriano! (Universidad!Rey! Juan!Carlos),! Noah!Evans,! Jim!McKie! (Alcatel)Lucent! Bell! Labs),! Charles! Forsyth! (Vita!Nuova),!Ron!Minnich!(Google)!

• ...!And!State!Machine!Replication!for!All!with!BFTNSMART*!

Alysson!Bessani,!João!Sousa!(University!of!Lisbon),!!Eduardo!Alchieri!(University!of!Brasilia)!

• Parasol:!A!SolarNPowered!uDatacenter!

Ricardo!Bianchini,Ínigo!Goiri,!Kien!Le,!Thu!D.!Nguyen!(Rutgers!University)!• Microkernel! Verification! Down! To! Assembly! Extending! the! seL4!

verification!

Matthew!Fernandez,!Gerwin!Klein,!Ihor!Kuz!(NICTA/UNSW)!• Towards!Database!/!Operating!System!CoNDesign!

Jana!Giceva,!Adrian!Schüpbach,!Gustavo!Alonso,!Timothy!Roscoe!(ETH!Zurich)!• EyeQ:!A!platform!to!enforce!network!performance!isolation!

Vimalkumar! Jeyakumar,! Mohammad! Alizadeh! Attar,! Balaji! Prabhakar,! David!Mazières!(Stanford!University),!Changhoon!Kim!(Windows!Azure)!

• Applications!on!a!Factored!Operating!System!

Christopher!R.! Johnson,!Charles!Gruenwald,!Nathan!Beckmann,!Harshad!Kasture,!Anant!Agarwal!(MIT)!

• Quality! Adaptation! Effect! for! Reducing! CPU! Power! Consumption! in!

H.264/SVC!Video!Playback!on!Mobile!Phones!

Seungsoon!Lee,!Minseok!Song!(Inha!University)!• Massively!Distributed!Intrusion!Detection!System!

Damien!Riquet!(LIFL,!CNRS!UMR!8022,!Univ.!Lille!1)!• Elicitor:! UsageNFrequency! Independent! Detection! of! ResourceNRelease!

Omission!Faults!

Suman!Saha,!Julia!Lawall,!Gilles!Muller!(INRIA/LIP6)!• Towards!a!Dependability!Benchmark!Suite!for!MapReduce!

Amit!Sangroya,!Damián!Serrano,!Sara!Bouchenak!(University!of!Grenoble!)!INRIA)!• Efficient!Transactional!Memory!Support!for!Low!Numbers!of!Cores!

Jons)Tobias! Wamhoff,! Christof! Fetzer! (Technische! Universitat! Dresden),! Pascal!Felber,!Etienne!Rivière!(Université!de!Neuchâtel),!Gilles!Muller!(INRIA)!

Posters)from)Main)Track)• FlashTier:!A!Lightweight,!Consistent!and!Durable!Storage!Cache!

Mohit! Saxena,! Michael! M.! Swift,! and! Yiying! Zhang! (University! of! Wisconsin)Madison)!

• Practical!TDMA!for!Datacenter!Ethernet!

Bhanu!C.!Vattikonda,!George!Porter,!Amin!Vahdat,!and!Alex!C.!Snoeren!(University!of!California,!San!Diego)!

• Jockey:!Guaranteed!Job!Latency!in!Data!Parallel!Clusters!

Andrew! D.! Ferguson! (Brown! University),! Peter! Bodik! and! Srikanth! Kandula!(Microsoft! Research),! Eric! Boutin! (Microsoft),! and! Rodrigo! Fonseca! (Brown!University)!

• The!XenNBlanket:!Virtualize!Once,!Run!Everywhere!

Dan!Williams!(Cornell/IBM),!Hani!Jamjoom!(IBM!T.!J.!Watson!Research!Lab),!and!Hakim!Weatherspoon!(Cornell!University)!

• Jettison:!Efficient!Idle!Desktop!Consolidation!with!Partial!VM!Migration!

Nilton! Bila! and! Eyal! de! Lara! (University! of! Toronto),! Kaustubh! Joshi,! H.! Andres!Lagar)Cavilla,! and! Matti! Hiltunen! (AT&T! Labs! Research),! and! Mahadev!Satyanarayanan!(Carnegie!Mellon!University)!

• TM2C:!a!Software!Transactional!Memory!for!ManyNCores!

Vincent!Gramoli,!Rachid!Guerraoui,!and!Vasileios!Trigonakis!(EPFL)!• LazyBase:!Trading!freshness!for!performance!in!a!scalable!database!

Jim! Cipar! and! Greg! Ganger! (CMU)! and! Kimberly! Keeton,! Charles! B.! Morrey! III,!Craig!Soules,!and!Alistair!Veitch!(HP!Labs)!

• Improving!Interrupt!Response!Time!in!a!Verifiable!Protected!Microkernel!

Bernard! Blackham,! Yao! Shi,! and! Gernot! Heiser! (NICTA! and! University! of! New!South!Wales)!

Maps!Area)map)

16 18 11

Verwaltung

Uni Engehalde

0 50 100

Linie 11 Henkerbrünnli

Bahnhof

Lift zum

Bahnhof

Postautos

Durchgang Altstadt

Linie 12Mittelstrasse

Neubrückstrasse

Schützen

Alpeneggstrasse

Gesellschaftsstrasse

Länggassstrasse

Zähringerstrasse

rstras

Erlachstrasse

Donnerbühlweg

Bühlplatz

Die Welle

Schanzeneckstrasse

Grosse Schanze

Parkterasse

Hochschulstrasse

Falkenplatz

Linie 12Universität

strasse

UniHG)(“Hauptgebäude”)—)Main)Building))

101Lecture room90 seats

104Seminar room24 seats

105Seminar room52 seats106

Seminar room78 seats

110Auditorium Maximum274 seats

210Aula +Empore344 seats

1. Floor

2. Floor

ExWi)(“Exakte)Wissenschaften”)—)Exact)Sciences))

Kappell e Kappell e

Kappelle

Kap pe lle Kap pe lle

a pp e

A10 A 9

J10 J12

P18 P1

P22P20

P16P30

A 006Lecture hall270 seats

1. Basement

EntrancePasserelle

Practical(Information!Internet)

Internet!access!is!provided!to!attendees!in!all!University!buildings!by!connecting!to!the!wireless!network!with!SSID!“publicEunibe”.!Personal!credentials!are!provided!at!registration! time! (inside! name! tags).! It! is! not! permitted! to! use! someone! else’s!credentials.! Attendees! who! cannot! find! their! credentials! should! contact! the!registration!desk!to!obtain!new!ones.!Additional!information!is!available!on!the!USB!key!given!at!registration!time.!

Members! of! participating! institutions! can! also! connect! via! the! eduroam! roaming!access!service.!

Coffee)Breaks,)Lunches,)and)Social)Events)

Coffee! breaks,! lunches,! and! receptions! are! served! in! the! corridors! outside! of! the!lecture!halls.!

The!banquet!dinner!takes!place!at:!

! Kulturcasino!Herrengasse!25!(Casinoplatz)!3011!Bern!

A!map!of!the!directions!from!the!University!to!Kulturcasino!is!available!at!the!end!of!this!booklet.!Walking! time! is!approximately!20!minutes.!Alternatively,!bus!number!12!brings!you!directly!from!stop!“Universität”!(northeast!of!UniHG)!to!Kulturcasino!(stop! “Zytlogge”).! Bus! tickets! must! be! purchased! at! the! ticket! machine! before!entering!the!bus.!

The!banquet!will!be!jazzed!up!by!live!musical!performances!from!Alphorn!Experience!(http://www.mikemaurer.ch/).!

Tourist)Information)

If! you! are! interested! in! visiting! the! UNSECO! cultural! heritage! city! of! Bern,! please!consult!the!touristic!information!provided!with!the!registration!package.!

Hotline)

In!case!of!problem,!attendees!should!contact! local!staff!members!or,! if!none!can!be!found,!call!the!following!hotline!number:!

+41!79!387!5785!

Committees!GENERAL)CHAIR)

Pascal!Felber!PC)CHAIRS)

Frank!Bellosa!Herbert!Bos!

LOCAL)CHAIRS)

Torsten!Braun!Peter!Kropf!

FINANCE)CHAIR)

Alain!Sandoz!WORKSHOP)&)TUTORIAL)CHAIRS)

Benoît!Garbinato!Fernando!Pedone!

POSTER)CHAIRS)

Gilles!Muller!Christian!Tschudin!

PUBLICATION)CHAIR)

Etienne!Rivière!PUBLICITY)CHAIRS)

Cesare!Pautasso!Romain!Rouvoy!

GRANT)CHAIRS)

Desislava!Dimitrova!Vivien!Quéma!

WEBMASTER)

Markus!Anwander!SECRETARIAT)

Ruth!Bestgen!Daniela!Schroth!

PC)MEMBERS)

Ricardo!Bianchini!Willem!de!Bruijn!George!Candea!Manuel!Costa!Jon!Crowcroft!Leendert!van!Doorn!Kevin!Elphinstone!Dawson!Engler!Bryan!Ford!Andy!Georges!Ashvin!Goel!Steve!Gribble!Andreas!Haeberlen!Hermann!Härtig!Eric!van!Hensbergen!Maurice!Herlihy!Nikolai!Joukov!Eric!Jul!Frans!Kaashoek!Terence!Kelly!Anne)Marie!Kermarrec!Orran!Krieger!Jeff!Mogul!Frank!Müller!Jason!Nieh!Pradeep!Padala!Guillaume!Pierre!Niels!Provos!Rodrigo!Rodrigues!Timothy!Roscoe!Wolfgang!Schröder)Preikschat!Assaf!Schuster!Karsten!Schwan!Emin!Gün!Sirer!Paulo!Verissimo!Andrew!Warfield!Yuanyuan!Zhou!

Sponsors!and$Supporters!Sponsors:!

!Supporters:! ! !

Platinum!

!Gold!

!Bronze!

Organized by:!

In cooperation with:!

Proceedings of the EuroSys 2012 Conference April 10–13, 2012, Bern, Switzerland

EuroSys’12EuroSys 2012 Conference April 10–13, 2012 Bern, Sw

itzerlandEuroSys’12

eurosys’12 - unine · eurosys’12 eurosys 2012 conference april 10–13, 2012 bern, switzerland...

Documents

distributed aggregation for data-parallel computing - sigops

presto: distributed machine learning and graph...

hercvles fvrens...c. intertextualités, forme et style 4....

hyperledger fabric: a distributed operating system for...

création et modification de sites web unine...création et...

perspectives on security - acm sigops

jte - hpc file systems: from cluster to grid october 3-4,...

refugeehood, program education and political ... ·...

meetings - unine explanations about biological evolution...

proceedings template - word - welcome to sigops

i-cluster acm-sigops jte cluster computing bruno richard...

evaluation of amd's advanced synchronization facility...

fast crash recovery in ramcloud - sigops

swisscube project phase b march 8, 2007 n. scheidegger | 8...

jo caudron digital transformation event 29 feb 2016 -...

digital critical edition - unine

virtualization - comp 252 - lecture...

post-copy live migration of virtual machines michael r....

parallax eurosys final

curriculum vitae...elena siminiciuc (assistante...