PARKAS is research team at Inria Paris and located at the Département d'Informatique at the École Normale Supérieure in Paris, France.
Team presentation
The PARKAS project focuses on the design, semantics and compilation of high-level languages which allow to go, all the way down, from a parallel deterministic specification to a target embedded code that may execute on parallel (multi-core) architectures. The team bases its research on the theory and practice of synchronous languages, typed functional languages and modern compilation techniques (polyhedral compilation) to obtain provably safe and efficient code. The team develops languages and compilers (e.g., Zelus, ReactiveML, contributions to GCC and LLVM) used as vehicles for validating, communicating and transferring research results. The language Lucid Synchrone, for example, has been the basis of SCADE 6 developed by Esterel-Technologies and used for implementing critical embedded software.
Research Themes
-
Design, semantics and implementation of synchronous languages.
-
Extensions of synchronous languages to target new applications (e.g., N-synchrony and relaxed synchrony for computer-intensive video applications, mixed continuous/discrete signals for modeling physical systems, dynamic creation for large scale simulations).
-
Type systems, static analysis of synchronous programs.
-
Code generation with proved efficiency and safety for sequential and parallel (multi-core) processors.
International and industrial relations
ANSYS/Esterel-Technologies; Dassault-Systèmes; ARM; Kalray
Software
News
- Friday, 2024-10-25 at 16:30
- Edward Wang, MIT : Work-in-Progress: An SMT-Based, Correct-by-Construction Place-and-Route Framework.
- Thursday, 2024-06-06 at 11:00
- Sanjiva Prasad, IIT Delhi : Secure Information Flow Connections.
- Friday, 2024-03-15 at 14:00
- Inigo Incer, Caltech and UC Berkeley : Towards Provably Safe and Secure Systems with Contract-Based Design.
- Wednesday, 2024-02-21 at 13:30
- Andreas Schmidt, Saarland University : Rust: Safe Beyond Memory.
- Thursday, 2024-02-01 at 14:00
- Claude Stolze, Inria : Composable Partial Multiparty Session Types.
- Friday, 2023-12-08 at 13:30
- Baptiste Pauget : Spécification de la mémoire dans un langage synchrone flot de données doté de tableaux de taille statique.
Recruitment
We are always on the lookout for excellent, highly motivated students and young researchers for research internships, PhD theses, postdoc, research engineer, and researcher positions.
There is a list of specific opportunities but otherwise do not hesitate to contact one of the team members.
Where are we?
- We are located in Paris at the École normale supérieure at 45 rue d'Ulm: It is a short walk from either Luxembourg RER or Métro Censier-Daubenton.
- Enter at the security gate
.
- Then walk around the side of the main building to the "Aile Rataud"
.
- A sliding door gives access to the DI (Informatics Department).
- Take the staircase at right down one level and then turn left and then right.
Département d'informatique
École normale supérieure
45, rue d'Ulm
75230 Paris cedex 05
France