Travelled to:1 × Italy
1 × Japan
2 × Germany
6 × USA
Collaborated with:D.K.Gifford J.Talpin Y.M.Tang ∅ B.Dehbonei K.Barkati H.Wang V.Dornic M.A.Sheldon J.O'Toole
Talks about:effect (6) system (4) semant (4) type (3) polymorph (2) interpret (2) parallel (2) control (2) analysi (2) interprocedur (1)
Person: Pierre Jouvelot
DBLP: Jouvelot:Pierre
Contributed to:
2014
1995
1993
199219921992
1991
19911991
19891987
1986Wrote 13 papers:
- FLOPS-2014-BarkatiWJ #interpreter #multi #named
- Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
- PEPM-1995-TangJ #type system
- Effect Systems with Subtyping (YMT, PJ), pp. 45–53.
- WSA-1993-TalpinJ #compilation
- Compiling FX on the CM-2 (JPT, PJ), pp. 87–98.
- LICS-1992-TalpinJ
- The Type and Effect Discipline (JPT, PJ), pp. 162–173.
- PEPM-1992-DehboneiJ #analysis #evaluation #interprocedural #semantics #symbolic computation
- Semantical Interprocedural Analysis by Partial Symbolic Evaluation (BD, PJ), pp. 14–20.
- WSA-1992-TangJ #analysis #control flow
- Control-Flow Effects for Escape Analysis (YMT, PJ), pp. 313–321.
- POPL-1991-JouvelotG #algebra #re-engineering
- Algebraic Reconstruction of Types and Effects (PJ, DKG), pp. 303–310.
- SOSP-1991-GiffordJSO #file system #semantics
- Semantic File Systems (DKG, PJ, MAS, JO), pp. 16–25.
- WSA-1991-DornicJG #complexity #polymorphism
- Polymorphic Time Systems for Estimating Program Complexity (VD, PJ, DKG), pp. 9–17.
- WSA-1991-TalpinJ #polymorphism
- Polymorphic Type, Region and Effect Inference (JPT, PJ), pp. 26–32.
- PLDI-1989-JouvelotG #continuation #reasoning
- Reasoning about Continuations with Control Effects (PJ, DKG), pp. 218–226.
- POPL-1987-Jouvelot #abstract interpretation #parallel #semantics
- Semantic Parallelization: A Practical Exercise in Abstract Interpretation (PJ), pp. 39–48.
- ESOP-1986-Jouvelot #detection #parallel #reduction #semantics
- Parallelization by Semantic Detection of Reductions (PJ), pp. 223–236.