| 2001 |
|---|
| 19 | EE | Dylan McNamee,
Jonathan Walpole,
Calton Pu,
Crispin Cowan,
Charles Krasic,
Ashvin Goel,
Perry Wagle,
Charles Consel,
Gilles Muller,
Renaud Marlet:
Specialization tools and techniques for systematic optimization of system software.
ACM Trans. Comput. Syst. 19(2): 217-251 (2001) |
| 2000 |
|---|
| 18 | EE | Gilles Muller,
Charles Consel,
Renaud Marlet,
Luciano Porto Barreto,
Fabrice Mérillon,
Laurent Réveillère:
Towards robust OSes for appliances: a new approach based on domain-specific languages.
ACM SIGOPS European Workshop 2000: 19-24 |
| 17 | EE | Laurent Réveillère,
Fabrice Mérillon,
Charles Consel,
Renaud Marlet,
Gilles Muller:
A DSL Approach to Improve Productivity and Safety in Device Drivers Development.
ASE 2000: 101-110 |
| 16 | EE | Philippe Boinot,
Renaud Marlet,
Jacques Noyé,
Gilles Muller,
Charles Consel:
A Declarative Approach for Designing and Developing Adaptive Components.
ASE 2000: 111- |
| 15 | EE | Ron Cytron,
Renaud Marlet:
Tempo, a program specializer for C (Panel Session).
Dynamo 2000: 76-77 |
| 14 | | Fabrice Mérillon,
Laurent Réveillère,
Charles Consel,
Renaud Marlet,
Gilles Muller:
Devil: An IDL for Hardware Programming.
OSDI 2000: 17-30 |
| 13 | | Scott Thibault,
Charles Consel,
Julia L. Lawall,
Renaud Marlet,
Gilles Muller:
Static and Dynamic Program Compilation by Interpreter Specialization.
Higher-Order and Symbolic Computation 13(3): 161-178 (2000) |
| 12 | EE | Gilles Muller,
Renaud Marlet,
Eugen-Nicolae Volanschi:
Accurate program analyses for successful specialization of legacy system software.
Theor. Comput. Sci. 248(1-2): 201-210 (2000) |
| 1999 |
|---|
| 11 | EE | Renaud Marlet,
Charles Consel,
Philippe Boinot:
Efficient Incremental Run-Time Specialization for Free.
PLDI 1999: 281-292 |
| 10 | | Renaud Marlet,
Scott Thibault,
Charles Consel:
Efficient Implementations of Software Architectures via Partial Evaluation.
Autom. Softw. Eng. 6(4): 411-440 (1999) |
| 9 | | Sandrine Chirokoff,
Charles Consel,
Renaud Marlet:
Combining Program and Data Specialization.
Higher-Order and Symbolic Computation 12(4): 309-335 (1999) |
| 8 | EE | Scott Thibault,
Renaud Marlet,
Charles Consel:
Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation.
IEEE Trans. Software Eng. 25(3): 363-377 (1999) |
| 1998 |
|---|
| 7 | EE | Gilles Muller,
Renaud Marlet,
Eugen-Nicolae Volanschi,
Charles Consel,
Calton Pu,
Ashvin Goel:
Fast, Optimized Sun RPC Using Automatic Program Specialization.
ICDCS 1998: 240-249 |
| 6 | EE | Charles Consel,
Renaud Marlet:
Architecture Software Using: A Methodology for Language Development.
PLILP/ALP 1998: 170-194 |
| 5 | EE | Charles Consel,
Luke Hornof,
Renaud Marlet,
Gilles Muller,
Scott Thibault,
Eugen-Nicolae Volanschi:
Tempo: Specializing Systems applications and Beyond.
ACM Comput. Surv. 30(3es): 19 (1998) |
| 4 | EE | Charles Consel,
Luke Hornof,
Renaud Marlet,
Gilles Muller,
Scott Thibault,
Eugen-Nicolae Volanschi:
Partial Evaluation for Software Engineering.
ACM Comput. Surv. 30(3es): 20 (1998) |
| 1997 |
|---|
| 3 | EE | Renaud Marlet,
Scott Thibault,
Charles Consel:
Mapping Software Architectures to Efficient Implementations via Partial Evaluation.
ASE 1997: 183-192 |
| 2 | EE | Scott Thibault,
Renaud Marlet,
Charles Consel:
A Domain Specific Language for Video Device Drivers: From Design to Implementation.
DSL 1997: 11-26 |
| 1 | EE | Gilles Muller,
Eugen-Nicolae Volanschi,
Renaud Marlet:
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.
PEPM 1997: 116-126 |
