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 |