BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jouvelot:Pierre

Contributed to:

FLOPS 20142014
PEPM 19951995
WSA 19931993
LICS 19921992
PEPM 19921992
WSA 19921992
POPL 19911991
SOSP 19911991
PLDI 19891989
POPL 19871987
ESOP 19861986

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.