dblp.uni-trier.dewww.uni-trier.de

Pierre Jouvelot Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
24EEGuillaume Denis, Pierre Jouvelot: Motivation-driven educational game design: applying best practices to music education. Advances in Computer Entertainment Technology 2005: 462-465
1996
23EEFlemming 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
13EEFranç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
7EEPierre 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
5EEPierre Jouvelot, Babak Dehbonei: Recursive Pattern Matching on concrete data types. SIGPLAN Notices 24(11): 84-93 (1989)
1988
4EEPierre Jouvelot, David K. Gifford: The FX-87 Interpreter. ICCL 1988: 65-72
1987
3EEPierre 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
1EEPierre Jouvelot: Parallelization by Semantic Detection of Reductions. ESOP 1986: 223-236

Coauthor Index

1Patrick Cousot [23]
2Mads Dam [23]
3Pierpaolo Degano [23]
4Babak Dehbonei [5] [7] [17]
5Guillaume Denis [24]
6Vincent Dornic [11] [14]
7P. Feautrier [8]
8David K. Gifford [4] [6] [9] [10] [11] [14]
9François Irigoin [13]
10Alan Mycroft [23]
11Flemming Nielson [23]
12James O'Toole [9]
13Mark A. Sheldon [9]
14Jean-Pierre Talpin [12] [15] [18] [19] [20]
15Yan Mei Tang [16] [21] [22]
16Bent Thomsen [23]
17Rémi Triolet [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)