Systems Group at EuroSys presenting several papers and demos

The Systems Group presented the following papers and demos at EuroSys in Prague, Czech Republic, April 14-17, 2013:

RapiLog: Reducing System Complexity Through Verification by Gernot Heiser, Etienne Le Sueur, Adrian Danis, and Aleksander Budzynowski (NICTA and UNSW), Tudor-Ioan Salomie and Gustavo Alonso

Application Level Ballooning for Efficient Server Consolidation by Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, and Kevin Elphinstone (UNSW and NICTA)

Why Execute One Query, when you can Execute Thousands by Georgios Giannikis and Darko Makreshanski (Poster & demo)

Doctoral Workshop:

What kind of distributed system is a multicore by Stefan Kaestle (Poster and 5 min. presentation)

Memory Management for Heterogeneous Multicores by Simon Gerber (Poster and 5 min. presentation)