Renaud MARLET Associate Research Scientist (aka "chargé de recherche") at INRIA I am now mainly working on natural language processing (see my home page for details). Below is an overview of my "other life" as a researcher on programming languages, mainly as a former member of the Compose group (at IRISA, Rennes), now become the Phoenix group (at LaBRI, Bordeaux).

I am interested in better ways to write better programs, i.e., how to rapidly write safer, faster and smaller programs. I believe in a combination of methodologies and techniques.

In terms of programming languages, this may translate into:

• programming language semantics and compilation
• program analyses and transformations
• partial evaluation

• adaptable software components
• domain-specific languages
• software architectures
• testing methodologies

Program Analysis for Security and Ineroperability

I have worked on the development of techniques and tools for the static analysis of Java (MIDP) and Java Card programs. The program properties were targetted at program security and interoperability.

Domain-Specific Languages

I have worked on development methodologies (in particular, Sprint) and applications of domain-specific languages. In particular, generalizing previous work done on GAL, I have worked on DSLs such as Devil for rapidly writing safe and efficient devices drivers.

Adaptable Software Components

I have studied formalisms and tools to express when, how, and with respect to what software components should be adapted and glued together, such as adaptation classes.

Partial Evaluation

I have studied various facets of partial evaluation: precision of (alias and binding-time) analyses, data specialization, run-time specialization, incremental specialization, specialization in object-oriented languages (mainly Java).

Tempo, a Partial Evaluator for C

I have been one of the co-developers of Tempo, a specializer for C programs. I supervised the developments and took care of the documentation, with the help of many people in the Compose group.

Program Analysis for Smart Card Security

I participated in a European research project (IST/FET) named SecSafe (2000-2003). The goal of SecSafe was to assess the scalability of static analysis technology for the validation of security and safety aspects of Java Card programs. I provided a specification of the industrial requirements as well as realistic test examples. (See also SecSafe info at Cordis.)

ASE '00

Co-program chair of the Doctoral Symposium and PC member of the main conference – IEEE International Conference on Automated Software Engineering (15th), Grenoble, France, September 11-15, 2000.

DYNAMO '00

PC member & speaker at the panel session – ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization, Boston, Massachusetts, USA, January 18, 2000.

ASE '99

PC member – IEEE International Conference on Automated Software Engineering (14th), Cocoa Beach, Florida, USA, October 12-15, 1999.

PEPM '99

PC member – ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 23-24, 1999.

ASE '98

PC member – IEEE International Conference on Automated Software Engineering (13th), Honolulu, Hawaii, USA, October 13-16, 1998.

TEMPO '98

Co-organiser – The first international Tempo workshop was held at IRISA on March 16-18, 1998. The aim of this spring school was to present Tempo, our partial evaluator for C programs: tutorials, applications to real size programs, and research issues. It gathered 24 academic and industrial participants, from Europe as well as Japan. We believe it was a large success.

Copyright Notice. The documents available here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each copyright holder. In particular, these works may not be reposted without the explicit permission of the copyright holders.

e-Smart 2003

Automated enforcement of portability and security policies
E. Vétillard and R. Marlet.
In e-Smart conference (e-Smart 2003), Sophia Antipolis, september 2003.
[paper: ]

e-Smart 2003

Verification of cryptographic protocols implemented in Java Card
R. Marlet and D. Le Métayer.
In e-Smart conference (e-Smart 2003), Sophia Antipolis, september 2003.
[paper: ]

TOCS 2001

Specialization Tools and Techniques for Systematic Optimization of System Software
D. McNamee, J. Walpole, and C. Pu, C. Cowan, C. Krasic, C. Goel, P. Wagle C. Consel, G. Muller, R. Marlet
In ACM Transaction on Computer Systems (TOCS), 19, 2001.
[paper: ]

CFSE-2

Devil : un IDL pour les contrôleurs de périphériques
F. Mérillon, L. Réveillère, C. Consel, R. Marlet, G. Muller
In Actes de la 2nde conférence française sur les systèmes d'exploitation (CFSE-2), April 2001.
[paper: ]

OSDI'00

Devil: An IDL for Hardware programming
F. Mérillon, L. Réveillère, C. Consel, R. Marlet, G. Muller
In 4th Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 17-30, San Diego, October 2000.
[paper: ] [slides: ]

ASE'00

A DSL Approach to Improve Productivity and Safety in Device Drivers Development
L. Réveillère, F. Mérillon, C. Consel, R. Marlet, G. Muller
In 15th IEEE International Conference on Automated Software Engineering (ASE'00), pp. 101-109, Grenoble, France, September 2000.
[paper: ]

ASE'00

A Declarative Approach for Designing and Developing Adaptive Components
P. Boinot, R. Marlet, G. Muller, C. Consel
In 15th IEEE International Conference on Automated Software Engineering (ASE'00), pp. 111-119, Grenoble, France, September 2000.
[paper: ]

SIGOPS'00

Towards Robust OSes for Appliances: A New Approach Based On Domain-Specific Languages
G. Muller, C. Consel, R. Marlet, L. Porto Barreto, F. Mérillon, L. Réveillère
In 9th ACM SIGOPS European Workshop (SIGOPS'00), pp. 19-24, Kolding, Denmark, September 2000.
Earlier version available as INRIA Research Report RR-3943, May 2000.
[paper: ]

HOSC'00

Static and Dynamic Program Compilation by Interpreter Specialization
S. Thibault, C. Consel, J. Lawall, R. Marlet, G. Muller
Higher-Order and Symbolic Computation (HOSC), 13(3):161-178, September 2000.
Earlier version available as INRIA Research Report RR-3588, December 1998.
[paper: ]

DYNAMO'00

Tempo, A Program Specializer for C
R. Marlet
ACM SIGPLAN Notices, 35(7):76-77, July 2000.
Also in Proc. of the ACM Sigplan Workshop on Dynamic and Adaptive Compilation and Optimization (DYNAMO'00), ACM Press, 18 January 2000.
[paper: ] [slides: ]

TCS'00

Accurate Program Analyses for Successful Specialization of Legacy System Software
G. Muller, R. Marlet, E.-N. Volanschi
In Journal of Theoretical Computer Science (TCS), 248(1-2):201-210, October 2000.
[paper: ]

HOSC'99

Combining Program and Data Specialization
S. Chirokoff, C. Consel and R. Marlet
Higher-Order and Symbolic Computation (HOSC), 12(4):309-335, December 1999.
[paper: ]

J.ASE'99

Efficient Implementations of Software Architectures via Partial Evaluation
R. Marlet, S. Thibault, and C. Consel
In Journal of Automated Software Engineering (J.ASE), 6(4):411-440, October 1999.
(Extended and revised version of ASE'97 paper.)
[paper: ]

TSE'99

Domain-Specific Languages: from Design to Implementation - Application to Video Device Drivers Generation
S. Thibault, R. Marlet, and C. Consel
In IEEE Transactions on Software Engineering (TSE), 25(3):363-377, May-June 1999.
(Revised version of DSL'97 paper.)
[paper: ]

PLDI'99

Efficient Incremental Run-Time Specialization for Free
R. Marlet, C. Consel, and P. Boinot
In ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI '99), Atlanta, Georgia, USA, May 1999.
[paper: ]

PLILP'98

Architecturing Software Using A Methodology for Language Development
C. Consel and R. Marlet
In International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP '98), LNCS 1490, pages 170-194, Pisa, Italy, September 1998. Invited paper.
[paper: ] [slides: ]

SOPE'98

Partial Evaluation for Software Engineering
C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé, S. Thibault, and E.-N. Volanschi
In ACM Computing Surveys, Symposium on Partial Evaluation (SOPE '98), vol 30, no 3, September 1998.
[paper: ]

SOPE'98

Tempo: Specializing Systems Applications and Beyond
C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé, S. Thibault, E.-N. Volanschi
In ACM Computing Surveys, Symposium on Partial Evaluation (SOPE '98), vol 30, no 3, September 1998.
[paper: ]

ICDCS'98

Fast, Optimized Sun RPC using Automatic Program Specialization
G. Muller, R. Marlet, E.-N. Volanschi, C. Consel, C. Pu, and A. Goel
In 19th IEEE International Conference on Distributed Computing Systems (ICDCS '98), pages 240-249, Amsterdam, The Netherlands, May 1998.
[paper: ] [slides: ]

ASE'97

Mapping Software Architectures to Efficient Implementations via Partial Evaluation
R. Marlet, S. Thibault, and C. Consel
In IEEE conference on Automated Software Engineering (ASE '97), pages 183-192, Lake Tahoe, Nevada, USA, November 1997.
Best paper award.
(Extended and revised version appeared in the Journal of Automated Software Engineering, 1999.)
[paper: ] [slides: ]

DSL'97

A Domain-Specific Language for Video Device Drivers: from Design to Implementation
S. Thibault, R. Marlet, and C. Consel
In 1st USENIX conference on Domain-Specific Languages (DSL '97), pages 11-26, Santa Barbara, CA, October 1997.
(Revised version appeared in the IEEE Transactions on Software Engineering, May-June 1999.)
[paper: ] [slides: ]

PEPM'97

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol
G. Muller, E.-N. Volanschi, and R. Marlet
In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), pages 116-125, Amsterdam, The Netherlands, June 1997.
[paper: ] [slides: ]

ERSADS'97

Automatic optimization of the Sun RPC protocol implementation via partial evaluation.
G. Muller, E.-N. Volanschi, and R. Marlet
In European Research Seminar on Advances in Distributed Systems (ERSADS '97), Zinal, Switzerland, March 1997.
[paper: ]

PhD Thesis (1994)

Vers une formalisation de l'évaluation partielle
R. Marlet
Thèse de doctorat, spécialité informatique, sous la direction de Gilles Kahn, INRIA / Université de Nice Sophia Antipolis, décembre 1994.
[paper: ]

WO 2006/070113

Method for evaluating the operational characteristics of a program
E. Vétillard, R. Marlet
(Procédé pour l’évaluation de caractéristiques opérationnelles d’un programme)

WO 2006/032746

Method for securing cryptographic processing by means of decoys
P. Hameau, C. Mesnil, R. Marlet
(Procédé de sécurisation de traitements cryptographiques par le biais de leurres)

WO 2005/073860

Method for determining operational characteristics of a program
E. Vétillard, R. Marlet
(Procédé de détermination de caractéristiques opérationnelles d'un programme)

WO 2005/073859

Method for controlling program execution integrity by verifying execution trace prints
D. Bolignano, X. Leroy, R. Marlet
(Procédé de contrôle d'intégrité d'exécution de programmes par vérification d'empreintes de traces d'exécution)

WO 2005/073827

Control of data access by dynamically verifying legal references
X. Leroy, P. Hameau, N. Regnault, R. Marlet
(Contrôle d'accès aux données par vérification dynamique des réferences licites)

WO 2004/061655

Program compaction method using dynamic code deletion
R. Marlet, P. Tignol
(Procédé de compactage de programme par suppression dynamique de code)

WO 2003/017097

Method for compression of interpreted object code by tree-structured expression factorization
D. Le Métayer, R. Marlet, A. Venet, A. Frey
(Procédé de compression de code objet interprété par factorisation d'expressions arborescentes)

WO 2003/010666

Method for compressing interpreted code by semantic analysis
D. Le Métayer, R. Marlet, A. Venet, A. Frey
(Procédé pour la compression d'un code interprété par analyse sémantique)

After my studies at the École polytechnique (1988), I left the hectic Parisian life to specialize in computer science (DEA) and software engineering (Masters) in the beautiful French Riviera (1989). During my Ph.D. (1990-94), I worked on the semantics of programming languages and on partial evaluation in Gilles Kahn's group (CROAP) at INRIA Sophia Antipolis. I also spent a year in the LFCS at the University of Edinburgh (1993-94). I then moved to Toulouse — a city after my own heart — to work for a company named Simulog, doing program and document analyses and transformations for reverse engineering (1994-96). Wanting more research and more fun, I joined Charles Consel and the Compose group (1996-2000), formerly at IRISA / INRIA (Rennes) and now at LaBRI / INRIA (Bordeaux) under the name Phoenix. I then worked for Trusted Logic (2000-2004) on development, safety and security issues for small embedded systems (smart cards, cell phones, payment terminals, etc.), applying research techniques to realistic data. But I have always been interested in linguisitics as well and, and I have now (2005-) joined the Signes group at LaBRI / INRIA (Bordeaux), to work on natural language processing. See my resume (in French) for details.