Probabilistically Analysable Real-Time Systems


Emery Berger

Emery Berger is a senior researcher at BSC and an Associate Professor in the Department of Computer Science at the University of Massachusetts, Amherst. His research spans programming languages, runtime systems, and operating systems. Prof. Berger led the language design and development of compiler and runtime systems for the Flux and Eon programming languages, and pioneered the use of randomisation in runtime systems with the DieHard fault tolerant memory manager and the Exterminator automatic error corrector. His honors include a Microsoft Research Fellowship (2001), an NSF CAREER Award (2003) and a Lilly Teaching Fellowship (2006).

Mateo Valero

Mateo Valero has been honored with several awards. Among them, the Eckert-Mauchly Award the most important worldwide award in the field of Computer Architecture (ACM); two Spanish National awards, the “Julio Rey Pastor” to recognize research on IT technologies, and the “Leonardo Torres Quevedo” to recognize research in Engineering, by the Spanish Ministery of Science and Technology. He has also been named Honorary Doctor by the University of Chalmers, by the University of Belgrade and by the University of Las Palmas de Gran Canaria in Spain. “Hall of the Fame” member of the IST European Program, selected him as one of the 25 most influential European researchers in IT during the period 1983-2008. In 2000 he became a Fellow of the IEEE. In 2002, he became an Intel Distinguished Research Fellow and a Fellow of the ACM.

Francisco J. Cazorla - Technical Manager

Francisco J. Cazorla is the leader of the group on Interaction between the Operating System and the Computer Architecture at BSC. He is member of HIPEAC. He has worked in industry projects with several processor vendor companies (Intel, IBM, Sun) as well as in FP6 (SARC) and FP7 Projects (MERASA). He has led two industrial projects, one with IBM and one with Sun Microsystems, and he currently leads the BSC effort on the MERASA project. He has two submitted patents on the area of hard-real time systems. His research area focuses on multithreaded architectures for both high-performance and real-time systems on which he is co-advising seven PhD theses. He has co-authored over 25 papers in international refereed conferences and journals. He spent one summer as a student intern with IBM's T.J. Watson in New York in 2004.

Vincent Gramoli

Vincent Gramoli received a Master's degree in computer science from Université de Paris 7 in 2003 and a Master's degree in distributed systems from Université de Paris Sud in 2004. The same year he worked as a visiting research assistant with Alex Shvartsman. He obtained his PhD on large-scale dynamic distributed shared memory in 2007 from Université de Rennes 1 at IRISA and INRIA Futurs (Saclay) under the supervision of Michel Raynal. In fall 2007, he worked as a visiting scientist at Cornell University with Ken Birman and Robbert van Renesse. Since 2008, he is a postdoc fellow at École Polytechnique Fédérale de Lausanne (EPFL) in Rachid Guerraoui's group and at Université de Neuchâtel (UniNe) with Pascal Felber working on software transactional memory.