2014 Team Activity Report
Well Honed Infrastructure Software for Programming Environments and Runtimes
Research centre: Paris - Rocquencourt
In partnership with: CNRS, Université Pierre et Marie Curie (Paris 6)

In collaboration with: Laboratoire d'informatique de Paris 6 (LIP6)

Field: Networks, Systems and Services, Distributed Computing

Theme: Distributed Systems and middleware
Keywords: Infrastructure Software, Operating System, Software Engineering, Safety, Proofs Of Programs