Projet : COMPOSE

previous up next contents
Précédent : Participation à des colloques, séminaires, Remonter : Conception de programmes et systèmes


Références

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.