Pascal Fradet
INRIA
Researcher
Spades
Project , INRIA
Grenoble (former member of the PopArt project, INRIA
Grenoble and before 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)
- Rule-based programming (AC conditional rewriting, chemical
programming, Gamma, HOCL)
- Aspect programming (semantics, interaction, enforcing & preserving
properties)
Currently, I focus on:
I study in particular:
- parametric models (SDF extensions)
- symbolic analyses (consistency, liveness, throughput, buffer
sizes, latency)
- quasi-static scheduling
- Program Transformations for Fault-Tolerance
I study in particular:
- circuit transformations (i.e., of HDL descriptions)
- time redundancy techniques
- certification of such transformations 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