Specialization has been recognized as a powerful technique for optimizing operating
systems. However, specialization has not been broadly applied beyond the research …

Abstract Interpretation and run-time compilation techniques are increasingly important
because they can support heterogeneous architectures, evolving programming languages …

We investigate the optimization of language-level checkpointing of Java programs. First, we
describe how to systematically associate incremental checkpoints with Java classes. While …

Computer programs commonly repeat work. Short programs go through the same
initialisation sequence each time they are run, and long-running servers may be given a …

This book presents the principles and techniques of program specialization—a general
method to make programs faster (and possibly smaller) when some inputs can be known in …

A system of an insulating Bi2O3‐based frit and a conductive SnO2: Sb has been developed
for printing and firing on glass substrates. Resistivity can be progressively decreased from> …

This paper presents a user-driven language-level approach to the checkpointing of Java
programs. First, we describe how to systematically associate increment-al checkpoints with …

Page 1 collection Logique et programmation dirigée par Marc Pouzet Ingénierie de la
spécialisation de programmes 2 techniques avancées Renaud Marlet Page 2 Page 3 …

Interpretation and run-time compilation techniques are increasingly important because they
can support heterogeneous architectures, evolving programming languages, and …

Committed, responsible, intelligent and hands-on. Good balance between
analytical/technical and oral/written language skills. Able to bridge, switch, adapt and …