| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller |
Zebu: A Language-Based Approach for Network Protocol Message Processing.  |
IEEE Trans. Software Eng.  |
2011 |
DBLP DOI BibTeX RDF |
message parsing, message composing, domain-specific languages, Network protocols |
| 1 | Suman Saha, Julia L. Lawall, Gilles Muller |
Finding resource-release omission faults in Linux. |
Operating Systems Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Eide, Gilles Muller, Wolfgang Schröder-Preikschat, Olaf Spinczyk |
Summary of PLOS 2011: the sixth workshop on programming languages and operating systems. |
Operating Systems Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, Gilles Muller |
Faults in linux: ten years later. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Walther Maldonado, Patrick Marlier, Pascal Felber, Julia L. Lawall, Gilles Muller, Etienne Riviere |
Deadline-aware scheduling for Software Transactional Memory. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suman Saha, Julia L. Lawall, Gilles Muller |
An approach to improving the structure of error-handling code in the linux kernel. |
LCTES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller |
Improving the Security of Infrastructure Software using Coccinelle. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Palix, Julia L. Lawall, Gilles Muller |
Tracking code patterns over multiple software versions with Herodotos. |
AOSD |
2010 |
DBLP DOI BibTeX RDF |
Herodotos, bug tracking, history of pattern occurrences |
| 1 | Nicolas Geoffray, Gaël Thomas, Julia L. Lawall, Gilles Muller, Bertil Folliot |
VMKit: a substrate for managed runtime environments. |
VEE |
2010 |
DBLP DOI BibTeX RDF |
vmkit, virtual machine, just in time compiler |
| 1 | Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller |
Finding Error Handling Bugs in OpenSSL Using Coccinelle. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Morin, Gilles Muller (eds.) |
European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010 |
EuroSys |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma |
Efficient Workstealing for Multicore Event-Driven Systems. |
ICDCS |
2010 |
DBLP DOI BibTeX RDF |
workstealing, performance, multicore, event-driven, system services |
| 1 | Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller |
Bridging the Gap between Legacy Services and Web Services. |
Middleware |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller |
Scheduling support for transactional memory contention management. |
PPOPP |
2010 |
DBLP DOI BibTeX RDF |
scheduling, transactional memory, contention management |
| 1 | Eric Eide, Gilles Muller, Olaf Spinczyk |
PLOS 2009: fifth workshop on programming languages and operating systems. |
Operating Systems Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot |
I-JVM: a Java Virtual Machine for component isolation in OSGi. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller |
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
program matching, model checking, program transformation, ctl, bug finding |
| 1 | Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall |
Entropy: a consolidation manager for clusters. |
VEE |
2009 |
DBLP DOI BibTeX RDF |
dynamic consolidation, cluster, virtualization, reconfiguration, migration |
| 1 | Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller |
Automatic Generation of Network Protocol Gateways. |
Middleware |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller |
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller |
Documenting and automating collateral evolutions in linux device drivers. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
collateral evolutions, program transformation, software evolution, domain-specific language, linux, device drivers |
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller |
Automatic Verification of Bossa Scheduler Properties. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Urunuela, Gilles Muller, Julia L. Lawall |
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. |
Power-aware Computing Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen |
Semantic patches considered helpful. |
Operating Systems Review |
2006 |
DBLP DOI BibTeX RDF |
Linux |
| 1 | Richard Urunuela, Gilles Muller, Julia L. Lawall |
Energy adaptation for multimedia information kiosks. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
embedded systems, dynamic voltage scaling, multimedia application |
| 1 | Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller |
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
software evolution, domain-specific languages |
| 1 | Yoann Padioleau, Julia L. Lawall, Gilles Muller |
Understanding collateral evolution in Linux device drivers. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
software evolution, Linux, device drivers |
| 1 | Gilles Muller, Julia L. Lawall, Hervé Duchesne |
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur |
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller |
Formal Methods Meet Domain Specific Languages. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
scheduling, formal methods, refinements, decision procedure, DSL |
| 1 | Gilles Muller, Julia L. Lawall, Hervé Duchesne |
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Gilles Muller, Hervé Duchesne |
Invited application paper: language design for implementing process scheduling hierarchies. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
operating system extension, scheduling hierarchies, verification, domain-specific languages, process scheduling |
| 1 | Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller |
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
pointcut language, Java, aspect-oriented programming, Web caches, adaptable software, code instrumentation |
| 1 | Gilles Muller, Eric Jul (eds.) |
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002 |
ACM SIGOPS European Workshop |
2002 |
DBLP BibTeX RDF |
|
| 1 | Julia L. Lawall, Gilles Muller, Luciano Porto Barreto |
Capturing OS expertise in an event type system: the Bossa experience. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Dan He, Gilles Muller, Julia L. Lawall |
Distributing MPEG Movies Over the Internet using Programmable Networks. (PDF / PS) |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
operating system specialization, optimization, software architecture |
| 1 | Laurent Réveillère, Gilles Muller |
Improving Driver Robustness: An Evaluation of the Devil Approach. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Porto Barreto, Gilles Muller |
Bossa: A DSL Framework for Application-Specific Scheduling Policies. (PDF / PS) |
HotOS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Mérillon, Gilles Muller |
Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. |
LCTES/OM |
2001 |
DBLP DOI BibTeX RDF |
embedded systems, domain-specific languages, device drivers |
| 1 | Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi |
Accurate program analyses for successful specialization of legacy system software. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller |
Java bytecode compression for low-end embedded systems. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
embedded systems, code compression, Java bytecode |
| 1 | Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller |
Static and Dynamic Program Compilation by Interpreter Specialization. |
Higher-Order and Symbolic Computation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller |
Specialization of Systems Programs: Lessons and Perspectives. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller |
Devil: An IDL for Hardware Programming. |
OSDI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel |
A Declarative Approach for Designing and Developing Adaptive Components. (PDF / PS) |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Gilles Muller |
Efficient Incremental Checkpointing of Java Programs. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
incremental checkpointing, Java, program specialization |
| 1 | Gilles Muller, Ulrik Pagh Schultz |
Harissa: A Hybrid Approach to Java Execution. |
IEEE Software |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Thibault, Jerôme Marant, Gilles Muller |
Adapting Distributed Applications Using Extensible Networks. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
Audio broadcasting, Extensible HTTP server, Adaptation, Domain-Specific Languages, Interpreters, Active Networks, Specialization |
| 1 | Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller |
Towards Automatic Specialization of Java Programs. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi |
Tempo: Specializing Systems applications and Beyond. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi |
Partial Evaluation for Software Engineering. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Thibault, Charles Consel, Gilles Muller |
Safe and Efficient Active Network Programming. |
SRDS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel |
Fast, Optimized Sun RPC Using Automatic Program Specialization. |
ICDCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet |
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
C |
| 1 | Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan |
Declarative Specialization of Object-Oriented Programs. |
OOPSLA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel |
Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. |
COOTS |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Nadine Peyrouze, Gilles Muller |
FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilbert Cabillic, Gilles Muller, Isabelle Puaut |
The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. |
SRDS |
1995 |
DBLP BibTeX RDF |
|
| 1 | C. Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut |
Towards Safe and Efficient Customization in Distributed Systems. |
ACM SIGOPS European Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Valérie Issarny, Gilles Muller, Isabelle Puaut |
Efficient Treatment of Failures in RPC Systems. |
SRDS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gilles Muller, Mireille Hue, Nadine Peyrouze |
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
consistent checkpointing, modular operating systems, stable transactional memory, performance evaluation, Fault-tolerance, micro-kernel |
| 1 | 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 |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller |
A Reliable Client-Server Model on Top of a Micro-Kernel. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
dynamic atomic actions, stable transactional memory, distributed systems, micro-kernel, Fault tolerant multiprocessor |
| 1 | Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez |
Stable Transactional Memories and Fault Tolerant Architectures. |
Operating Systems Review |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat |
How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. |
USENIX MACH Symposium |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michel Banâtre, Gilles Muller, Bruno Rochat, Patrick Sanchez |
Design Decisions for the FTM : A General Purpose Fault Tolerant Machine. |
FTCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez |
Stable transactional memories and fault tolerant architectures. |
ACM SIGOPS European Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre |
Ensuring Data Security and Integrity with a Fast Stable Storage. |
ICDE |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")