Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
2nd workshop on Systems for Future Multi-core Architectures (SFMA'12)

Future multi-core architectures will present a variety of challenges for system developers, such as non-cache-coherent memory, heterogeneous processing cores and the exploitation of novel architectural features. 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 highly-parallel hardware.


8:30‒9:15 Registration 


Welcome from the co-chairs 

Michael von Tessin (NICTA)

The Clustered Multikernel: An Approach to Formal Verification of Multiprocessor OS Kernels

10:00‒10:30  Coffee break 

Martin Maas (UC Berkeley) and Ross McIlroy (Google) 

A JVM for the Barrelfish Operating System


Shoaib Akram, Manolis Marazakis and Angelos Bilas (FORTH-ICS)

Energy Inefficiency of Operating System Layers for Data-Centric Infrastructures


Jana Giceva, Adrian Schüpbach, Gustavo Alonso and Timothy Roscoe (ETH Zürich)

Towards Database / Operating System Co-Design


Close (Lunch) 



Topics of interest include, but are not limited to:

  • novel multi-core operating system designs,
  • runtime systems and programming environments for future hardware,
  • OS or runtime support for heterogeneous processing cores,
  • scheduling on many-core architectures,
  • energy efficiency, fault tolerance and resource management on future multi-core architectures,
  • performance evaluation of potential future hardware,
  • architectural support for systems-level software, and
  • case studies of system-level software design for current or future multi-core hardware

Paper submission

Authors are invited to submit original and unpublished work that exposes a new problem, advocates a specific solution, or reports on actual experience. Papers should be submitted using the standard two-column ACM SIG proceedings or SIG alternate template, and are limited to 6 pages (including figures, tables and references). Papers that exceed this length may be rejected without consideration of their merit.

Final papers will be made available to participants electronically at the meeting, but to facilitate resubmission to more formal venues, no archival proceedings will be published, and papers will not be sent to the ACM Digital Library. Authors will be given the option of having their final paper accessible from the workshop website.

Papers can now be uploaded to the online submission site.

If you have any questions, please contact the workshop chairs.

Important Dates

Extended: 3rd February 2012 Paper submission deadline 
24th February 2012 Notification of acceptance 
4th April 2012 Final papers due

10th April 2012 





Zachary Anderson (ETH Zurich)
Derek Murray (Microsoft Research Silicon Valley)

Program Committee

Jonathan Appavoo (Boston University)
Aleksandar Dragojevic (EPFL)
Kevin Elphinstone (UNSW and NICTA)
Maurice Herlihy (Brown)
Suresh Jagannathan (Purdue)
Christos Kozyrakis (Stanford)
Jan Stoess (KIT)
Cristian Zamfir (EPFL)