| 2005 |
|---|
| 24 | EE | Guillaume Denis,
Pierre Jouvelot:
Motivation-driven educational game design: applying best practices to music education.
Advances in Computer Entertainment Technology 2005: 462-465 |
| 1996 |
|---|
| 23 | | Flemming Nielson,
Patrick Cousot,
Mads Dam,
Pierpaolo Degano,
Pierre Jouvelot,
Alan Mycroft,
Bent Thomsen:
Logical and Operational Methods in the Analysis of Programs and Systems.
LOMAPS 1996: 1-21 |
| 1995 |
|---|
| 22 | | Yan Mei Tang,
Pierre Jouvelot:
Effect Systems with Subtyping.
PEPM 1995: 45-53 |
| 1994 |
|---|
| 21 | | Yan Mei Tang,
Pierre Jouvelot:
Separate Abstract Interpretation for Control-Flow Analysis.
TACS 1994: 224-243 |
| 20 | | Jean-Pierre Talpin,
Pierre Jouvelot:
The Type and Effect Discipline
Inf. Comput. 111(2): 245-296 (1994) |
| 1993 |
|---|
| 19 | | Jean-Pierre Talpin,
Pierre Jouvelot:
Compiling FX on the CM-2.
WSA 1993: 87-98 |
| 1992 |
|---|
| 18 | | Jean-Pierre Talpin,
Pierre Jouvelot:
The Type and Effect Discipline
LICS 1992: 162-173 |
| 17 | | Babak Dehbonei,
Pierre Jouvelot:
Semantical Interprocedural Analysis by Partial Symbolic Evaluation.
PEPM 1992: 14-20 |
| 16 | | Yan Mei Tang,
Pierre Jouvelot:
Control-Flow Effects for Escape Analysis.
WSA 1992: 313-321 |
| 15 | | Jean-Pierre Talpin,
Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference.
J. Funct. Program. 2(3): 245-271 (1992) |
| 14 | | Vincent Dornic,
Pierre Jouvelot,
David K. Gifford:
Polymorphic Time Systems for Estimating Program Complexity.
LOPLAS 1(1): 33-45 (1992) |
| 1991 |
|---|
| 13 | EE | François Irigoin,
Pierre Jouvelot,
Rémi Triolet:
Semantical interprocedural parallelization: an overview of the PIPS project.
ICS 1991: 244-251 |
| 12 | | Jean-Pierre Talpin,
Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference.
JTASPEFT/WSA 1991: 26-32 |
| 11 | | Vincent Dornic,
Pierre Jouvelot,
David K. Gifford:
Polymorphic Time Systems for Estimating Program Complexity.
JTASPEFT/WSA 1991: 9-17 |
| 10 | | Pierre Jouvelot,
David K. Gifford:
Algebraic Reconstruction of Types and Effects.
POPL 1991: 303-310 |
| 9 | | David K. Gifford,
Pierre Jouvelot,
Mark A. Sheldon,
James O'Toole:
Semantic File Systems.
SOSP 1991: 16-25 |
| 1990 |
|---|
| 8 | | Pierre Jouvelot,
P. Feautrier:
Parallélisation sémantique.
ITA 24: 131-160 (1990) |
| 1989 |
|---|
| 7 | EE | Pierre Jouvelot,
Babak Dehbonei:
A unified semantic approach for the vectorization and parallelization of generalized reductions.
ICS 1989: 186-194 |
| 6 | | Pierre Jouvelot,
David K. Gifford:
Reasoning about Continuations with Control Effects.
PLDI 1989: 218-226 |
| 5 | EE | Pierre Jouvelot,
Babak Dehbonei:
Recursive Pattern Matching on concrete data types.
SIGPLAN Notices 24(11): 84-93 (1989) |
| 1988 |
|---|
| 4 | EE | Pierre Jouvelot,
David K. Gifford:
The FX-87 Interpreter.
ICCL 1988: 65-72 |
| 1987 |
|---|
| 3 | EE | Pierre Jouvelot:
Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization.
ACM Conference on Computer Science 1987: 425 |
| 2 | | Pierre Jouvelot:
Semantic Parallelization: A Practical Exercise in Abstract Interpretation.
POPL 1987: 39-48 |
| 1986 |
|---|
| 1 | | Pierre Jouvelot:
Parallelization by Semantic Detection of Reductions.
ESOP 1986: 223-236 |
