Selected Publications



Systems Software Robustness

Domain Specific Languages for Operating Systems


Operating Systems


Multicore and cluster


Java and MRE


Fault Tolerance


Patents


Habilitation à diriger des recherches