2014 Team Activity Report
WHISPER
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)
In collaboration with: Laboratoire d'informatique de Paris 6 (LIP6)
Field: Networks, Systems and Services, Distributed Computing
Theme: Distributed Systems and middleware
Theme: Distributed Systems and middleware
Keywords: Infrastructure Software, Operating System, Software Engineering, Safety, Proofs Of Programs