Pascal Fradet
INRIA
Researcher
Spades
Project , INRIA
Grenoble (former member of the PopArt project, INRIA
Grenoble and, before 2003, of the Lande Project , IRISA/INRIA Rennes )
Research Interests
I am (or have been) interested in:
- Functional programming (compilation, program transformation,
static analysis, lambda-calculus, typing, GC, functional HDL, Coq)
- Rule-based programming (AC conditional rewriting, chemical
programming, Gamma, HOCL)
- Aspect programming (semantics, interaction, enforcing & preserving
properties)
- Dataflow programming (statically analysable extensions of SDF)
Currently, I am focusing on:
I am studying in particular:
- parametric models and various extensions of SDF
- symbolic analyses (consistency, liveness, throughput, buffer
sizes, latency)
- quasi-static scheduling
- Certification of real-time analyses
I am studying in particular:
- expressive tasks models
- analysers and certifiers for these models
- proofs of such tools in Coq
Address: Inria Grenoble Rhône-Alpes, Email : 
655 av. de l'Europe, Tel : (33) 4 76 61 52 46
38330 Montbonnot, France Fax : (33) 4 76 61 52 52
Version Française