Sites Inria

Version française

MOSCOVA Research team

Mobililty, security, concurrence, verification and analysis

  • Leader : Luc Maranget
  • Research center(s) : CRI de Paris
  • Field : Algorithmics, Programming, Software and Architecture
  • Theme : Programs, Verification and Proofs

Team presentation

The research of the MOSCOVA project-team follows two main directions: studying programming languages for distributed and mobile applications, and analyzing and verifying multitasking programs. The team produces a system (compiler and runtime environment) for programming such distributed and mobile applications.

Research themes

  • Fine-grain integration of concurrent programming into functional programming, while preserving static typing, pattern matching and modularity.
  • Interaction control by using lexical scoping, achievable by classical cryptographic methods.
  • Failure management in a distributed setting.

Our work is based upon the join-calculus, a theory of concrurrency that is well adapted to distributed systems. More generally, the team takes part to studying and implementing functionnal languages. As regards our activity on program verification and analysis, we aim at producing tools that handle industrial size codes, detect interference beetween tasks, out of bound array accesses and overflows.

International and industrial relations

  • We distribute implementations of our join-calculus based languages.
  • We collaborate with the danish company Terma A/S, on a methodogical study for producing robust space software.
  • We are part of the Esprit projet PEPITO with KTH, EPFL, SICS, UCL and the University of Cambridge.
  • Several members of the MOSCOVA team direct courses at École polytechnique.

Keywords: Parallelism Asynchronous parallelism Functional programming Multiprocessor architecture Instruction ordering Concurrence Lambda-calculus Garbage collection