Avant Projet Compose
Précédent : Diffusion des résultats
Remonter : Avant-projet COMPOSE, Conception de
programmes
- Ouvrages et articles de référence
de l'équipe
- 1
- J. M. ASHLEY, C.
CONSEL,
« Fixpoint Computation for Polyvariant Static Analyses of
Higher-Order Applicative Programs »,
ACM Transactions on Programming Languages and Systems
16 , 5, 1994, p. 1431-1448.
- 2
- C. CONSEL, O.
DANVY,
« From Interpreting to Compiling Binding Times »,
in: ESOP'90, 3rd European Symposium on Programming ,
N. Jones (réd.), Lecture Notes in Computer Science ,
432 , Springer-Verlag, p. 88-105,
1990.
- 3
- C. CONSEL, L.
HORNOF, F.
NOëL,
J. NOYé, E.
VOLANSCHI,
« A Uniform Approach for Compile-Time and Run-Time
Specialization »,
in: Partial Evaluation, International Seminar, Dagstuhl
Castle , O. Danvy, R. Glück, P. Thiemann (réd.),
Lecture Notes in Computer Science , 1110, p.
54-72,
février 1996.
- 4
- C. CONSEL, S. C.
KHOO,
« Parameterized Partial Evaluation »,
ACM Transactions on Programming Languages and Systems
15 , 3, 1993, p. 463-493.
- 5
- C. CONSEL, F.
NOëL,
« A General Approach for Run-Time Specialization and its
Application to C »,
in: Conference Record of the 23rd Annual ACM SIGPLAN-SIGACT
Symposium on Principles Of Programming Languages , ACM
Press, p. 145-156,
St. Petersburg Beach, FL, USA, janvier 1996.
- 6
- C. CONSEL, C.
PU, J.
WALPOLE,
« Incremental Specialization: The Key to High Performance,
Modularity and Portability in Operating Systems »,
in: Partial Evaluation and Semantics-Based Program
Manipulation , ACM Press, p. 44-46,
Copenhagen, Denmark, juin 1993. Invited paper.
- 7
- C. CONSEL,
« A Tour of Schism »,
in: Partial Evaluation and Semantics-Based Program
Manipulation , ACM Press, p. 66-77,
Copenhagen, Denmark, juin 1993.
- 8
- C. PU, T.
AUTREY, A.
BLACK, C.
CONSEL, C.
COWAN, J.
INOUYE, L.
KETHANA, J.
WALPOLE, K.
ZHANG,
« Optimistic Incremental Specialization: Streamlining a
Commercial Operating System »,
in: Proceedings of the 1995 ACM Symposium on Operating
Systems Principles , ACM Operating Systems Reviews, 29(5),
ACM Press, p. 314-324,
Copper Mountain Resort, CO, USA, décembre 1995.
- Thèses et habilitations à diriger
des recherches
- 9
- L. HORNOF,
Analyses statiques pour la spécialisation effective de
programmes réalistes ,
Thèse de doctorat, université de Rennes 1, juin 1997.
- 10
- B. MOURA,
Vers une correspondance entre les paradigmes fonctionnels
impératifs ,
Thèse de doctorat, université de Rennes 1, avril 1997.
- 11
- G. MULLER,
Contribution à la conception de systèmes d'exploitation
adaptatifs et extensibles : du micro-noyau à l'évaluation
partielle ,
Habilitation à diriger des recherches, université de Rennes 1,
octobre 1997.
- Articles
- 12
- C. CONSEL, L.
HORNOF, J.
LAWALL, R.
MARLET, G.
MULLER, F.
NOëL,
J. NOYé, S.
THIBAULT, E.
VOLANSCHI,
« Tempo: Specializing Systems Applications and Beyond »,
ACM Computing Surveys , 1998,
À paraître.
- 13
- C. CONSEL, L.
HORNOF, J.
LAWALL, R.
MARLET, G.
MULLER, J.
NOYé, S.
THIBAULT, E.
VOLANSCHI,
« Partial Evaluation for Software Engineering »,
ACM Computing Surveys , 1998,
À paraître.
- Communications à des manifestations
scientifiques
- 14
- L. HORNOF, J.
NOYé, C.
CONSEL,
« Effective Specialization of Realistic Programs via Use
Sensitivity »,
in: Proceedings of the Fourth International Symposium on
Static Analysis, SAS'97 , P. Van Hentenryck (réd.),
Lecture Notes in Computer Science , 1302 ,
Springer-Verlag, p. 293-314,
Paris, France, septembre 1997.
- 15
- L. HORNOF, J.
NOYé,
« Accurate Binding-Time Analysis for Imperative Languages:
Flow, Context, and Return Sensitivity »,
in: ACM SIGPLAN Symposium on Partial Evaluation and
Semantics-Based Program Manipulation , ACM Press, p.
63-73,
Amsterdam, The Netherlands, juin 1997.
- 16
- R. MARLET, S.
THIBAULT, C.
CONSEL,
« Mapping Software Architectures to Efficient Implementations
via Partial Evaluation »,
in: Conference on Automated Software Engineering ,
IEEE Computer Society,
Lake Tahoe, CA, novembre 1997. Version étendue disponible
également comme rapport de recherche Inria RR-3271.
- 17
- G. MULLER, B.
MOURA, F.
BELLARD, C.
CONSEL,
« Harissa: A Flexible and Efficient Java Environment Mixing
Bytecode and Compiled Code »,
in: Proceedings of the 3rd Conference on Object-Oriented
Technologies and Systems , Usenix, p. 1-20,
Portland (Oregon), USA, juin 1997.
- 18
- G. MULLER, E.
VOLANSCHI, R.
MARLET,
« Automatic Optimization of the Sun RPC Protocol Implementation
via Partial Evaluation »,
in: European Research Seminar on Advances in Distributed
Systems (ERSADS) , p. 105-110,
mars 1997.
- 19
- G. MULLER, E.
VOLANSCHI, R.
MARLET,
« Scaling up Partial Evaluation for Optimizing the Sun
Commercial RPC Protocol »,
in: ACM SIGPLAN Symposium on Partial Evaluation and
Semantics-Based Program Manipulation , ACM Press, p.
116-125,
Amsterdam, The Netherlands, juin 1997. Disponible également
comme rapport de recherche Inria RR-3219.
- 20
- C. PU, A.
BLACK, C.
COWAN, J.
WALPOLE, C.
CONSEL,
« Microlanguages for operating system specialization »,
in: 1st ACM-SIGPLAN Workshop on Domain-Specific
Languages , Technical Report, Department of Computer
Science, University of Illinois at Urbana-Champaign,
Paris, France, janvier 1997.
- 21
- S. THIBAULT, C.
CONSEL,
« A Framework of Application Generator Design »,
in: Proceedings of the Symposium on Software
Reusability , p. 131-135,
Boston (Massachusetts), USA, mai 1997. Disponible également
comme rapport de recherche Inria RR-3005.
- 22
- S. THIBAULT, R.
MARLET, C.
CONSEL,
« A Domain-Specific Language for Video Device Drivers: from
Design to Implementation »,
in: Conference on Domain Specific Languages , Usenix,
p. 11-26,
Santa Barbara, CA, octobre 1997. Version préliminaire
disponible comme rapport de recherche Inria RR-3218.
- 23
- E. VOLANSCHI, C.
CONSEL, G.
MULLER, C.
COWAN,
« Declarative Specialization of Object-Oriented Programs »,
in: OOPSLA'97 Conference Proceedings , ACM Press, p.
286-300,
Atlanta, USA, octobre 1997. Disponible également comme rapport
de recherche Inria RR-3118.
- Rapports de
recherche
- 24
- G. MULLER, R.
MARLET, E.
VOLANSCHI, C.
CONSEL, C.
PU, A.
GOEL,
« Fast, Optimized Sun RPC Using Automatic Program
Specialization »,
Rapport de recherche NoRR-3220, INRIA, Rennes, France, juillet
1997.
- Bibliographie
générale
- And94
- L.O. Andersen.
Program Analysis and Specialization for the C Programming
Language.
PhD thesis, Computer Science Department, University of
Copenhagen, May 1994.
DIKU Technical Report 94/19.
- BD77
- R. M. Burstall and J. Darlington.
A transformational system for developing recursive
programs.
Journal of ACM, 24(1):44-67, 1977.
- Ber90
- A.A. Berlin.
Partial evaluation applied to numerical computation.
In ACM Conference on Lisp and Functional Programming,
pages 139-150, Nice, France, 1990. ACM Press.
- Bon90
- A. Bondorf.
Automatic autoprojection of higher order recursive
equations.
In N. D. Jones, editor, ESOP'90, 3rd European Symposium on
Programming, volume 432 of Lecture Notes in Computer
Science, pages 70-87. Springer-Verlag, 1990.
- CD89
- C. Consel and O. Danvy.
Partial evaluation of pattern matching in strings.
Information Processing Letters, 30(2):79-86,
1989.
- CD91
- C. Consel and O. Danvy.
For a better support of static data flow.
In J. Hughes, editor, Functional Programming Languages and
Computer Architecture, volume 523 of Lecture Notes in
Computer Science, pages 496-519, Cambridge, MA, USA,
August 1991. Springer-Verlag.
- Cha93
- C. Chambers.
Predicate classes.
In Proceedings of the ECOOP'93 European Conference on
Object-oriented Programming, volume 707 of Lecture
Notes in Computer Science, pages 268-296, Kaiserstautern,
Germany, July 1993.
- Con93
- C. Consel.
Polyvariant binding-time analysis for applicative
languages.
In Partial Evaluation and Semantics-Based Program
Manipulation, pages 145-154, Copenhagen, Denmark, June
1993. ACM Press.
- GKR95
- B. Guenter, T.B. Knoblock, and E. Ruf.
Specializing shaders.
In Computer Graphics Proceedings, Annual Conference
Series, pages 343-350. ACM Press, 1995.
- JSS89
- N.D. Jones, P. Sestoft, and H. Søndergaard.
Mix: a self-applicable partial evaluator for experiments in
compiler generation.
Lisp and Symbolic Computation, 2(1):9-50, 1989.
- KHC91
- A. Kishon, P. Hudak, and C. Consel.
Monitoring semantics: a formal framework for specifying,
implementing and reasoning about execution monitors.
In Proceedings of the ACM SIGPLAN '91 Conference on
Programming Language Design and Implementation, pages
338-352, Toronto, Ontario, Canada, June 1991. ACM SIGPLAN
Notices, 26(6).
- Kle52
- S. C. Kleene.
Introduction to Metamathematics.
Van Nostrand, 1952.
- Mey91
- U. Meyer.
Techniques for partial evaluation of imperative languages.
In Partial Evaluation and Semantics-Based Program
Manipulation, pages 94-105, New Haven, CT, USA, September
1991.
ACM SIGPLAN Notices, 26(9).