Projet :
COMPOSE

Précédent : Participation à des colloques,
séminaires, Remonter : Conception de programmes et
systèmes
-
Ouvrages et articles de référence de l'équipe
- [1]
- 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 (éditeurs),
Lecture Notes in Computer Science, 1110, p. 54-72,
février 1996.
- [2]
- C. CONSEL, S. C. KHOO,
« Parameterized Partial Evaluation »,
ACM Transactions on Programming Languages and Systems
15, 3, 1993, p. 463-493.
- [3]
- C. CONSEL, R. MARLET,
« Architecturing software using a methodology for language
development »,
in: Proceedings of the 10th International
Symposium on Programming Language Implementation and Logic
Programming, C. Palamidessi, H. Glaser, K. Meinke
(éditeurs), Lecture Notes in Computer Science, 1490,
p. 170-194,
Pisa, Italy, septembre 1998. Article invité.
- [4]
- 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.
- [5]
- R. MARLET, S. THIBAULT, C.
CONSEL,
« Mapping Software Architectures to Efficient Implementations
via Partial Evaluation »,
in: Conference on Automated Software Engineering, IEEE
Computer Society, p. 183-192,
Lake Tahoe, CA, novembre 1997.
- [6]
- G. MULLER, R. MARLET, E.
VOLANSCHI, C. CONSEL, C.
PU, A. GOEL,
« Fast, Optimized Sun RPC Using Automatic Program
Specialization »,
in: Proceedings of the 18th International Conference on
Distributed Computing Systems, IEEE Computer Society
Press, p. 240-249,
Amsterdam, The Netherlands, mai 1998.
- [7]
- 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.
- [8]
- S. THIBAULT, C. CONSEL, G.
MULLER,
« Safe and Efficient Active Network Programming »,
in: 17th IEEE Symposium on Reliable Distributed
Systems, p. 135-143,
West Lafayette, Indiana, octobre 1998.
- [9]
-
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.
Thèses et habilitations à diriger des recherches
- [10]
- S. THIBAULT,
Langage Dédiés: Conception, Implémentation et
Application,
Thèse de doctorat, Université de Rennes 1, France, octobre
1998.
- [11]
-
E. N. VOLANSCHI,
Une approche automatique à la spécialisation de
composants système,
Thèse de doctorat, Université de Rennes I, février 1998.
Articles et chapitres de livre
- [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, Symposium on Partial Evaluation
30, 3, 1998.
- [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, Symposium on Partial Evaluation
30, 3, 1998.
- [14]
- O. DANVY, U. P. SCHULTZ,
« Lambda-Dropping: Transforming Recursive Equations into
Programs with Block Structure »,
Theoretical Computer Science, 1999,
À paraître.
- [15]
- L. HORNOF, J. NOYÉ,
« Accurate Binding-Time Analysis for Imperative Languages:
Flow, Context, and Return Sensitivity »,
Theoretical Computer Science, 1999,
À paraître.
- [16]
- R. MARLET, S. THIBAULT, C.
CONSEL,
« Mapping Software Architectures to Efficient Implementations
via Partial Evaluation »,
Journal of Automated Software Engineering, 1999,
À paraître.
- [17]
- G. MULLER, R. MARLET, E.
VOLANSCHI,
« Scaling up Partial Evaluation for Optimizing the Sun
Commercial RPC Protocol »,
Theoretical Computer Science, 1999,
À paraître.
- [18]
- G. MULLER, C. PU, C.
CONSEL,
Encyclopedia of Distributed Computing,
Kluwer Academic Publisher, 1999, ch. Specialization,
À paraître.
- [19]
-
G. MULLER, U. SCHULTZ,
« Harissa: Efficient Java Execution by Global Program
Optimizations »,
IEEE Software, 1999,
À paraître.
Communications à des congrès, colloques, etc.
- [20]
- S. CHIROKOFF, C. CONSEL,
« Combining Program and Data Specialization »,
in: ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation, ACM Press,
San Antonio, TX, USA, janvier 1999. À paraître.
- [21]
- C. CONSEL, R. MARLET,
« Architecturing software using a methodology for language
development »,
in: Proceedings of the 10th International
Symposium on Programming Language Implementation and Logic
Programming, C. Palamidessi, H. Glaser, K. Meinke
(éditeurs), Lecture Notes in Computer Science, 1490,
p. 170-194,
Pisa, Italy, septembre 1998. Article invité.
- [22]
- G. MULLER, R. MARLET, E.
VOLANSCHI, C. CONSEL, C.
PU, A. GOEL,
« Fast, Optimized Sun RPC Using Automatic Program
Specialization »,
in: Proceedings of the 18th International Conference on
Distributed Computing Systems, IEEE Computer Society
Press, p. 240-249,
Amsterdam, The Netherlands, mai 1998.
- [23]
- F. NOËL, L. HORNOF, C.
CONSEL, J. LAWALL,
« Automatic, Template-Based Run-time Specialization :
Implementation and Experimental Study »,
in: International Conference on Computer Languages,
IEEE Computer Society Press, p. 132-142,
Chicago, IL, mai 1998. Also available as IRISA report
PI-1065.
- [24]
-
S. THIBAULT, C. CONSEL, G.
MULLER,
« Safe and Efficient Active Network Programming »,
in: 17th IEEE Symposium on Reliable Distributed
Systems, p. 135-143,
West Lafayette, Indiana, octobre 1998.
Rapports de recherche et publications internes
- [25]
- L. CLAUSEN, U. SCHULTZ, C.
CONSEL, G. MULLER,
« Java Bytecode Compression for Embedded Systems »,
Publication interne no 1213, IRISA, Rennes,
France, novembre 1998.
- [26]
- J. LAWALL,
« Faster Fourier Transforms via Automatic Program
Specialization »,
Publication interne no 1192, IRISA, Rennes,
France, mai 1998.
- [27]
- U. SCHULTZ, J. LAWALL, C.
CONSEL, G. MULLER,
« Towards Automatic Specialization of Java Programs »,
Research Report no 1216, IRISA, Rennes,
France, décembre 1998.
- [28]
- S. THIBAULT, L. BERCOT, C.
CONSEL, R. MARLET, G.
MULLER, J. LAWALL,
« Experiments in Program Compilation by Interpreter
Specialization »,
Publication interne no 1212, IRISA, Rennes,
France, novembre 1998.
- [29]
-
S. THIBAULT, J. MARANT, G.
MULLER,
« Adapting Distributed Applications Using Extensible Networks
»,
Publication interne no 1200, IRISA,
Rennes, France, août 1998.
Divers
- [30]
-
C. CONSEL, G. MULLER, U.
SCHULTZ, L. CLAUSEN, C.
GOIRE,
« Procédé de compactage d'un programme de type code objet
intermédiaire exécutable dans un système embarqué »,
1998, Brevet soumis, en attente d'acceptation.
Bibliographie générale
- AC94
- 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.
- And94
- L. ANDERSEN,
Program Analysis and Specialization for the C Programming
Language,
thèse de doctorat, Computer Science Department, University of
Copenhagen, mai 1994,
DIKU Technical Report 94/19.
- BD77
- R. M. BURSTALL, J.
DARLINGTON,
« A Transformational System for Developing Recursive Programs
»,
Journal of ACM 24, 1, 1977, p. 44-67.
- Ber90
- A. BERLIN,
« Partial Evaluation Applied to Numerical Computation »,
in: ACM Conference on Lisp and Functional Programming,
ACM Press, p. 139-150,
Nice, France, 1990.
- Bon90
- A. BONDORF,
« Automatic Autoprojection of Higher Order Recursive Equations
»,
in: ESOP'90, 3rd European Symposium on
Programming, N. D. Jones (éditeur), Lecture Notes in
Computer Science, 432, Springer-Verlag, p.
70-87,
1990.
- CD89
- C. CONSEL, O. DANVY,
« Partial Evaluation of Pattern Matching in Strings »,
Information Processing Letters 30, 2, 1989, p.
79-86.
- CD90
- C. CONSEL, O. DANVY,
« From Interpreting to Compiling Binding Times »,
in: ESOP'90, 3rd European Symposium on
Programming, N. Jones (éditeur), Lecture Notes in
Computer Science, 432, Springer-Verlag, p.
88-105,
1990.
- CD91
- C. CONSEL, O. DANVY,
« For a Better Support of Static Data Flow »,
in: Functional Programming Languages and Computer
Architecture, J. Hughes (éditeur), Lecture Notes in
Computer Science, 523, Springer-Verlag, p.
496-519,
Cambridge, MA, USA, août 1991.
- Cha93
- C. CHAMBERS,
« Predicate Classes »,
in: Proceedings of the ECOOP'93 European Conference on
Object-oriented Programming, Lecture Notes in Computer
Science, 707, p. 268-296,
Kaiserstautern, Germany, juillet 1993.
- Con93a
- C. CONSEL,
« Polyvariant Binding-Time Analysis for Applicative Languages
»,
in: Partial Evaluation and Semantics-Based Program
Manipulation, ACM Press, p. 145-154,
Copenhagen, Denmark, juin 1993.
- Con93b
- C. CONSEL,
« A Tour of Schism »,
in: Partial Evaluation and Semantics-Based Program
Manipulation, ACM Press, p. 66-77,
Copenhagen, Denmark, juin 1993.
- CPW93
- 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.
- GKR95
- B. GUENTER, T. KNOBLOCK, E.
RUF,
« Specializing Shaders »,
in: Computer Graphics Proceedings, Annual
Conference Series, ACM Press, p. 343-350,
1995.
- JSS89
- N. JONES, P. SESTOFT, H.
SØNDERGAARD,
« Mix: a Self-Applicable Partial Evaluator for Experiments in
Compiler Generation »,
Lisp and Symbolic Computation 2, 1, 1989, p.
9-50.
- KHC91
- A. KISHON, P. HUDAK, 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, ACM
SIGPLAN Notices, 26(6), p. 338-352,
Toronto, Ontario, Canada, juin 1991.
- 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, p. 94-105,
New Haven, CT, USA, septembre 1991. ACM SIGPLAN Notices,
26(9).
- VCMC97
- 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.