| 2009 |
|---|
| 66 | EE | Julien Brunel,
Damien Doligez,
René Rydhof Hansen,
Julia L. Lawall,
Gilles Muller:
A foundation for flow-based program matching: using temporal logic and model checking.
POPL 2009: 114-126 |
| 65 | EE | Fabien Hermenier,
Xavier Lorca,
Jean-Marc Menaud,
Gilles Muller,
Julia L. Lawall:
Entropy: a consolidation manager for clusters.
VEE 2009: 41-50 |
| 2008 |
|---|
| 64 | EE | Yoann Padioleau,
Julia L. Lawall,
René Rydhof Hansen,
Gilles Muller:
Documenting and automating collateral evolutions in linux device drivers.
EuroSys 2008: 247-260 |
| 2007 |
|---|
| 63 | EE | Richard Urunuela,
Gilles Muller,
Julia L. Lawall:
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications.
Power-aware Computing Systems 2007 |
| 62 | EE | Laurent Burgy,
Laurent Réveillère,
Julia L. Lawall,
Gilles Muller:
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations.
SRDS 2007: 149-160 |
| 61 | EE | Laurent Burgy,
Laurent Réveillère,
Julia L. Lawall,
Gilles Muller:
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
CoRR abs/0704.1373: (2007) |
| 60 | EE | Yoann Padioleau,
Julia L. Lawall,
Gilles Muller:
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.
Electr. Notes Theor. Comput. Sci. 166: 47-62 (2007) |
| 59 | EE | Jean-Paul Bodeveix,
Mamoun Filali,
Julia L. Lawall,
Gilles Muller:
Automatic Verification of Bossa Scheduler Properties.
Electr. Notes Theor. Comput. Sci. 185: 17-32 (2007) |
| 2006 |
|---|
| 58 | EE | Richard Urunuela,
Gilles Muller,
Julia L. Lawall:
Energy adaptation for multimedia information kiosks.
EMSOFT 2006: 223-232 |
| 57 | EE | Yoann Padioleau,
Julia L. Lawall,
Gilles Muller:
Understanding collateral evolution in Linux device drivers.
EuroSys 2006: 59-71 |
| 56 | EE | Yoann Padioleau,
René Rydhof Hansen,
Julia L. Lawall,
Gilles Muller:
Semantic patches for documenting and automating collateral evolutions in Linux device drivers.
PLOS 2006: 10 |
| 55 | EE | Gilles Muller,
Yoann Padioleau,
Julia L. Lawall,
René Rydhof Hansen:
Semantic patches considered helpful.
Operating Systems Review 40(3): 90-92 (2006) |
| 2005 |
|---|
| 54 | EE | Julia L. Lawall,
Hervé Duchesne,
Gilles Muller,
Anne-Françoise Le Meur:
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language.
GPCE 2005: 78-93 |
| 53 | EE | Gilles Muller,
Julia L. Lawall,
Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
HASE 2005: 56-65 |
| 52 | EE | Jean-Paul Bodeveix,
Mamoun Filali,
Julia L. Lawall,
Gilles Muller:
Formal Methods Meet Domain Specific Languages.
IFM 2005: 187-206 |
| 51 | EE | Gilles Muller,
Julia L. Lawall,
Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
WORDS 2005: 219-230 |
| 2004 |
|---|
| 50 | EE | Gilles Muller,
Julia L. Lawall,
Jean-Marc Menaud,
Mario Südholt:
Constructing component-based extension interfaces in legacy systems code.
ACM SIGOPS European Workshop 2004: 15 |
| 49 | EE | Julia L. Lawall,
Anne-Françoise Le Meur,
Gilles Muller:
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components.
GPCE 2004: 436-455 |
| 48 | EE | Julia L. Lawall,
Gilles Muller,
Hervé Duchesne:
Invited application paper: language design for implementing process scheduling hierarchies.
PEPM 2004: 80-91 |
| 47 | EE | Pierre Cointe,
Jacques Noyé,
Rémi Douence,
Thomas Ledoux,
Jean-Marc Menaud,
Gilles Muller,
Mario Südholt:
Programmation post-objets. Des langages d'aspects aux langages de composants.
L'OBJET 10(4): 119-143 (2004) |
| 2003 |
|---|
| 46 | EE | Marc Ségura-Devillechaise,
Jean-Marc Menaud,
Gilles Muller,
Julia L. Lawall:
Web cache prefetching as an aspect: towards a dynamic-weaving based solution.
AOSD 2003: 110-119 |
| 45 | EE | Rickard A. Åberg,
Julia L. Lawall,
Mario Südholt,
Gilles Muller,
Anne-Françoise Le Meur:
On the automatic evolution of an OS kernel using temporal logic and AOP.
ASE 2003: 196-204 |
| 44 | | Gilles Muller,
Julia L. Lawall,
Scott Thibault,
R. E. Voel Jensen:
A domain-specific language approach to programmable networks.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 33(3): 370-381 (2003) |
| 2002 |
|---|
| 43 | | Gilles Muller,
Eric Jul:
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002
ACM 2002 |
| 42 | EE | Julia L. Lawall,
Gilles Muller,
Luciano Porto Barreto:
Capturing OS expertise in an event type system: the Bossa experience.
ACM SIGOPS European Workshop 2002: 54-61 |
| 41 | EE | Dan He,
Gilles Muller,
Julia L. Lawall:
Distributing MPEG Movies Over the Internet using Programmable Networks.
ICDCS 2002: 161-170 |
| 40 | EE | Jean-Philippe Fassino,
Jean-Bernard Stefani,
Julia L. Lawall,
Gilles Muller:
Think: A Software Framework for Component-based Operating System Kernels.
USENIX Annual Technical Conference, General Track 2002: 73-86 |
| 2001 |
|---|
| 39 | EE | Laurent Réveillère,
Gilles Muller:
Improving Driver Robustness: An Evaluation of the Devil Approach.
DSN 2001: 131-140 |
| 38 | EE | Luciano Porto Barreto,
Gilles Muller:
Bossa: A DSL Framework for Application-Specific Scheduling Policies.
HotOS 2001: 161 |
| 37 | | Fabrice Mérillon,
Gilles Muller:
Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language.
LCTES/OM 2001: 121-127 |
| 36 | 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) |
| 35 | | Sumit Gulwani,
A. Tarachandani,
Deepak Gupta,
Dheeraj Sanghi,
Luciano Porto Barreto,
Gilles Muller,
Charles Consel:
WebCaL - a domain specific language for web caching.
Computer Communications 24(2): 191-201 (2001) |
| 2000 |
|---|
| 34 | 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 |
| 33 | 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 |
| 32 | EE | Philippe Boinot,
Renaud Marlet,
Jacques Noyé,
Gilles Muller,
Charles Consel:
A Declarative Approach for Designing and Developing Adaptive Components.
ASE 2000: 111- |
| 31 | EE | Julia L. Lawall,
Gilles Muller:
Efficient Incremental Checkpointing of Java Programs.
DSN 2000: 61-70 |
| 30 | | Fabrice Mérillon,
Laurent Réveillère,
Charles Consel,
Renaud Marlet,
Gilles Muller:
Devil: An IDL for Hardware Programming.
OSDI 2000: 17-30 |
| 29 | EE | Gilles Muller:
Specialization of Systems Programs: Lessons and Perspectives.
SAIG 2000: 7-8 |
| 28 | EE | Lars Ræder Clausen,
Ulrik Pagh Schultz,
Charles Consel,
Gilles Muller:
Java bytecode compression for low-end embedded systems.
ACM Trans. Program. Lang. Syst. 22(3): 471-489 (2000) |
| 27 | | 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) |
| 26 | 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 |
|---|
| 25 | EE | Ulrik Pagh Schultz,
Julia L. Lawall,
Charles Consel,
Gilles Muller:
Towards Automatic Specialization of Java Programs.
ECOOP 1999: 367-390 |
| 24 | EE | Scott Thibault,
Jerôme Marant,
Gilles Muller:
Adapting Distributed Applications Using Extensible Networks.
ICDCS 1999: 234-243 |
| 23 | EE | Gilles Muller,
Ulrik Pagh Schultz:
Harissa: A Hybrid Approach to Java Execution.
IEEE Software 16(2): (1999) |
| 1998 |
|---|
| 22 | 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 |
| 21 | | Scott Thibault,
Charles Consel,
Gilles Muller:
Safe and Efficient Active Network Programming.
SRDS 1998: 135-143 |
| 20 | 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) |
| 19 | 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 |
|---|
| 18 | EE | Gilles Muller,
Bárbara Moura,
Fabrice Bellard,
Charles Consel:
Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code.
COOTS 1997: 1-20 |
| 17 | | Eugen-Nicolae Volanschi,
Charles Consel,
Gilles Muller,
Crispin Cowan:
Declarative Specialization of Object-Oriented Programs.
OOPSLA 1997: 286-300 |
| 16 | EE | Gilles Muller,
Eugen-Nicolae Volanschi,
Renaud Marlet:
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.
PEPM 1997: 116-126 |
| 1996 |
|---|
| 15 | | Nadine Peyrouze,
Gilles Muller:
FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations.
FTCS 1996: 64-73 |
| 14 | | Gilles Muller,
Michel Banâtre,
Nadine Peyrouze,
Bruno Rochat:
Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System.
IEEE Transactions on Reliability 45(2): 332-339 (1996) |
| 1995 |
|---|
| 13 | | Gilbert Cabillic,
Gilles Muller,
Isabelle Puaut:
The Performance of Consistent Checkpointing in Distributed Shared Memory Systems.
SRDS 1995: 96-105 |
| 1994 |
|---|
| 12 | | C. Bryce,
Valérie Issarny,
Gilles Muller,
Isabelle Puaut:
Towards Safe and Efficient Customization in Distributed Systems.
ACM SIGOPS European Workshop 1994: 57-61 |
| 11 | | Gilles Muller,
Mireille Hue,
Nadine Peyrouze:
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment.
EDCC 1994: 491-508 |
| 10 | | Valérie Issarny,
Gilles Muller,
Isabelle Puaut:
Efficient Treatment of Failures in RPC Systems.
SRDS 1994: 170-180 |
| 1993 |
|---|
| 9 | | Gilles Muller:
A Reliable Client-Server Model on Top of a Micro-Kernel.
Hardware and Software Architectures for Fault Tolerance 1993: 191-198 |
| 8 | EE | Michel Banâtre,
Pack Heng,
Gilles Muller,
Nadine Peyrouze,
Bruno Rochat:
An Experience in the Design of a Reliable Object Based System (Synopsis).
PDIS 1993: 187-190 |
| 7 | | C. Bryce,
Daniel Hagimont,
Philippe Joubert,
Christine Morin,
Gilles Muller,
Bruno Rochat:
Models and Paradigms for Distributed Systems Structuring - Summary of Sessions.
Operating Systems Review 27(2): 56-60 (1993) |
| 1992 |
|---|
| 6 | EE | Michel Banâtre,
Philippe Joubert,
Christine Morin,
Gilles Muller,
Bruno Rochat:
Using dynamic atomic actions to build fault tolerant systems.
ACM SIGOPS European Workshop 1992 |
| 1991 |
|---|
| 5 | | Michel Banâtre,
Gilles Muller,
Bruno Rochat,
P. Sanchez:
Design Decisions for the FTM : A General Purpose Fault Tolerant Machine.
FTCS 1991: 71-78 |
| 4 | | Michel Banâtre,
Gilles Muller,
Pack Heng,
Bruno Rochat:
How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms.
USENIX MACH Symposium 1991: 223-232 |
| 3 | | Michel Banâtre,
Philippe Joubert,
Christine Morin,
Gilles Muller,
Bruno Rochat,
P. Sanchez:
Stable Transactional Memories and Fault Tolerant Architectures.
Operating Systems Review 25(1): 68-72 (1991) |
| 1990 |
|---|
| 2 | EE | Michel Banâtre,
Philippe Joubert,
Christine Morin,
Gilles Muller,
Bruno Rochat,
P. Sanchez:
Stable transactional memories and fault tolerant architectures.
ACM SIGOPS European Workshop 1990 |
| 1988 |
|---|
| 1 | EE | Michel Banâtre,
Gilles Muller,
Jean-Pierre Banâtre:
Ensuring Data Security and Integrity with a Fast Stable Storage.
ICDE 1988: 285-293 |
