Bibliographie

Ouvrages et articles de référence de l'équipe

1
C. CONSEL, L. HORNOF, J. LAWALL, R. MARLET, G. MULLER, J. NOYÉ, S. THIBAULT, N. VOLANSCHI,
« Tempo: Specializing Systems Applications and Beyond »,
ACM Computing Surveys, Symposium on Partial Evaluation 30, 3, 1998.
2
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.
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,
« Efficient Implementations of Software Architectures via Partial Evaluation »,
Journal of Automated Software Engineering 6, 4, octobre 1999, p. 411-440.
6
F. MÉRILLON, L. RÉVEILLÈRE, C. CONSEL, R. MARLET, G. MULLER,
« Devil: An IDL for Hardware Programming »,
in: 4th Symposium on Operating Systems Design and Implementation (OSDI 2000), USENIX Association, p. 17-30,
octobre 2000.
7
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.
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.
9
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.
10
S. THIBAULT, R. MARLET, C. CONSEL,
« Domain-Specific Languages: from Design to Implementation - Application to Video Device Drivers Generation »,
IEEE Transactions on Software Engineering 25, 3, mai-juin 1999, p. 363-377.

Thèses et habilitations à diriger des recherches

11
S. CHIROKOFF,
Une approche uniforme à la spécialisation de programmes et à la spécialisation de données,
Thèse de doctorat, Université de Rennes I, avril 2000.
12
U. SCHULTZ,
Object-Oriented Software Engineering using Partial Evaluation,
Thèse de doctorat, Université de Rennes I, décembre 2000.

Articles et chapitres de livre

13
L. CLAUSEN, U. SCHULTZ, C. CONSEL, G. MULLER,
« Java Bytecode Compression for Low-end Embedded Systems »,
ACM Transactions on Programming Languages and Systems,
to appear.
14
O. DANVY, U. P. SCHULTZ,
« Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure »,
Theoretical Computer Science 248, 1-2, 2000, p. 243-287.
15
L. HORNOF, J. NOYÉ,
« Accurate Binding-Time Analysis for Imperative Languages: Flow, Context, and Return Sensitivity »,
Theoretical Computer Science 248, 1-2, 2000, p. 3-27.
16
G. MULLER, R. MARLET, E. VOLANSCHI,
« Accurate Program Analyses for Successful Specialization of Legacy System Software »,
Theoretical Computer Science 248, 1-2, 2000, p. 201-210.
17
S. THIBAULT, C. CONSEL, R. MARLET, G. MULLER, J. LAWALL,
« Static and Dynamic Program Compilation by Interpreter Specialization »,
Higher-Order and Symbolic Computation 13, 3, 2000, p. 161-178.

Communications à des congrès, colloques, etc.

18
P. BOINOT, R. MARLET, N. J., G. MULLER, C. CONSEL,
« A Declarative Approach for Designing and Developing Adaptive Components »,
in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), IEEE Computer Society Press, p. 111-119,
Grenoble, France, septembre 2000.
19
M. BRAUX, J. NOYÉ,
« Évaluation partielle de la réflexion dans Java »,
p. 195-210.
20
M. BRAUX, J. NOYÉ,
« Towards partial evaluating reflection in Java »,
in: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, ACM Press,
Boston, MA, USA, janvier 2000.
21
S. GULWANI, A. TARACHANDANI, D. GUPTA, D. SANGHI, L. BARRETO, G. MULLER, C. CONSEL,
« WebCaL: A Domain-Specific Language for Web Caching »,
in: Proceedings of the 5th International Web Caching and Content Delivery Workshop (WCW2000),
Lisbon, Portugal, mai 2000,
http://www.irisa.fr/compose/papers/wcw2000.ps.gz.
22
J. LAWALL, G. MULLER,
« Efficient Incremental Checkpointing of Java Programs »,
in: Proceedings of the International Conference on Dependable Systems and Networks, IEEE, p. 61-70,
New York, NY, USA, juin 2000.
23
A. F. LE MEUR, C. CONSEL,
« Generic Software Component Configuration Via Partial Evaluation »,
in: SPLC'2000 Workshop - Product Line Architecture,
aug 2000.
24
F. MÉRILLON, L. RÉVEILLÈRE, C. CONSEL, R. MARLET, G. MULLER,
« Devil: An IDL for Hardware Programming »,
in: 4th Symposium on Operating Systems Design and Implementation (OSDI 2000), USENIX Association, p. 17-30,
octobre 2000.
25
G. MULLER, C. CONSEL, R. MARLET, L. BARRETO, F. MÉRILLON, L. RÉVEILLÈRE,
« Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages »,
in: Proceedings of the ACM SIGOPS European Workshop 2000 (EW2000), p. 19-24,
Kolding, Denmark, septembre 2000,
ftp://ftp.irisa.fr/techreports/2000/PI-1327.ps.gz.
26
L. RÉVEILLÈRE, F. MÉRILLON, C. CONSEL, R. MARLET, G. MULLER,
« A DSL Approach to Improve Productivity and Safety in Device Drivers Development »,
in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), IEEE Computer Society Press, p. 101-109,
Grenoble, France, septembre 2000.
27
U. P. SCHULTZ, J. L. LAWALL, C. CONSEL, G. MULLER,
« Specialization Patterns »,
in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), IEEE Computer Society Press, p. 197-206,
Grenoble, France, septembre 2000.

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.
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.
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).
MS99
G. MULLER, U. SCHULTZ,
« Harissa: A Hybrid Approach to Java Execution »,
IEEE Software, mars 1999, p. 44-51.
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.