Selected Publications
Systems Software Robustness
-
Hector: Detecting Resource-Release Omission Faults
in Error-Handling Code for Systems Software
-
in the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013)
Suman Saha, Jean-Pierre Lozi, Gael Thomas, Julia Lawall, Gilles Muller
William Carter award
(local copy)
-
Diagnosys: Automatic Generation of a Debugging Interface to the Linux kernel
-
in the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)
Tegawende F. Bissyande, Laurent Reveillere, Julia Lawall, Gilles Muller
Best paper award
(local copy)
-
Faults in Linux 2.6
-
in ACM Transactions on Computer Systems (TOCS).
Volume 32 Issue 2, June 2014, Article No. 4
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller.
-
Faults in Linux: Ten Years Later
-
in Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), Newport Beach, California, March 2011.
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller.
(local copy)
- An approach to improving the structure of error-handling code in the linux kernel
-
In Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems (LCTES 2011), Chicago, IL, USA, April 2011
Suman Saha, Julia L. Lawall, Gilles Muller
(local copy)
-
Finding Error Handling Bugs in OpenSSL using Coccinelle
-
in Eighth European Dependable Computing Conference, EDCC 2010, Valencia, Spain, April 2010.
Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller.
(local copy)
-
Tracking code patterns over multiple software versions with Herodotos
-
in Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 2010.
Nicolas Palix, Julia L. Lawall, Gilles Muller.
(local copy)
-
WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code
-
in DSN 2009 - The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pages 43-52, Estoril, Portugal, June 2009.
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
(local copy)
-
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
-
in the 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, Savannah, Georgia, USA, January, 2009.
Julien Brunel, Damien Doliguez, René Rydhof Hansen, Julia Lawall, Gilles Muller
(local copy)
-
Documenting and Automating Collateral Evolutions in Linux Device Drivers
-
in EuroSys 2008, Glasgow, Scotland, April, 2008.
Yoann Padioleau, Julia L. Lawall, and Gilles Muller
(local copy)
-
Understanding Collateral Evolution in Linux Device Drivers
-
in Proceedings of the ACM SIGOPS EuroSys 2006 Conference, Leuven, Belgium, April 2006.
Yoann Padioleau, Julia L. Lawall, and Gilles Muller
(local copy)
Domain Specific Languages for Operating Systems
-
Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages,
-
in ACM SIGOPS European Workshop
2000 (EW2000), Kolding, Denmark. G. Muller, C. Consel, R. Marlet, L. Porto Baretto, F. Mérillon, L. Réveillère.
-
Static and Dynamic Program Compilation by Interpreter
Specialization.
- S. Thibault, C. Consel, J. Lawall,
R. Marlet G. Muller. In HOSC (Higher-Order and Symbolic Computation), vol 13, no 3, 2000.
- Bossa
- Formal methods meet Domain Specific Languages
- in Fifth International Conference on Integrated Formal Methods, Eindhoven, The Netherlands. Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, and Gilles Muller.
- A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
- in HASE'05 - The 9th IEEE International Symposium on High Assurance Systems Engineering Conference, Heidelberg, Germany, October, 2005. Gilles Muller, Julia Lawall, and Hervé Duchesne.
- Bossa Nova: Introducing modularity into the Bossa domain-specific language.
- in Third International Conference on Generative Programming and Component Engineering (GPCE'05), Tallinn, Estonia. September, 2005. Julia L. Lawall, Herve Duchesne, Gilles Muller, and Anne-Francoise Le Meur.
- Constructing Component-Based Extension Interfaces in Legacy Systems Code,
-
In 11th ACM SIGOPS European Workshop, Leuven, Belgium, September 2004. G. Muller, J.L. Lawall, J.-M. Menaud, and M. Sudholt
- On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components,
- In Third International Conference on Generative Programming and Component Engineering (GPCE'04), Vancouver, Canada, October 2004.
J.L. Lawall, A.-F. Le Meur, and G. Muller.
- Language Design for Implementing Process Scheduling Hierarchies (Invited Paper)
-
In ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation - PEPM'04, Verona, Italy, August 2004.J.L. Lawall, G. Muller, and H. Duchesne
- On the automatic evolution of an OS kernel using temporal logic and AOP
-
In ASE 2003, Montreal, Canada, October 2003.
R.A. Åberg, J.L. Lawall, M. Sudhot, G. Muller, A.-F. Le Meur
-
Capturing OS expertise in an Event Type System: the Bossa experience.
-
In ACM SIGOPS European Workshop
2002 (EW'2002 ), Saint-Emillion,
France, September 2002. J. Lawall, G. Muller, L. P. Barreto.
- Devil
- Improving
Driver Robustness: an Evaluation of the Devil Approach
- In
DSN 2001, Göteborg, Sweden, June 2001. L. Réveillère, G. Muller.
-
Devil: An IDL for Hardware programming
- In
OSDI 2000, San Diego, October 2000. F. Mérillon, L. Réveillère, C. Consel, R. Marlet, G. Muller.
-
A DSL Approach to Improve Productivity and Safety in Device Drivers Development
- In
ASE 2000, Grenoble, September 2000. L. Réveillère, F. Mérillon, C. Consel, R. Marlet, G. Muller.
- PLAN-P
-
A Domain-Specific Language Approach to Programmable Networks
- In IEEE - Transactions on Systems, Man and Cybernetics,
W. Pedrycz and A. Vasilakos and S. Karnouskos ed., vol. 33.3,
p. 370-381, Aug 2003. G. Muller, J. L. Lawall, S. Thibault,
R. E. V. Jensen.
-
Distributing MPEG Movies over the Internet using Programmable Networks
-
In ICDCS'2002, Vienna, Austria, July 2002. D. He, G. Muller, J. L. Lawall.
-
Adapting
Distributed Applications Using Extensible Networks
-
In ICDCS'99, Austin,
Texas, June 1999. S. Thibault, J. Marant, G. Muller.
-
Safe
and Efficient Active Network Programming
-
In SRDS'98,October 1998. S. Thibault, C. Consel, G. Muller.
- Zebu
Operating Systems
-
THINK: A Software Framework for Component-based
Operating System Kernels
- in USENIX'02. J.-P. Fassino, J.-B. Stefani, J. Lawall, G. Muller.
-
Specialization
tools and techniques for systematic optimization of system software
- In ACM Transaction on Computer Systems, vol 19, 2001, pages 217--251. D. McNamee,
J. Walpole, C. Pu, C. Cowan, C. Krasic, A. Goel, C. Consel,
G. Muller, R. Marlet.
-
Accurate Program
Analyses for Successful Specialization of Legacy System Software
-
In the Journal of Theoretical Computer Science, vol 248, no 1-2,
2000. G. Muller, R. Marlet, E.-N. Volanschi.
-
Fast,
Optimized Sun RPC using Automatic Program Specialization
-
In ICDCS'98, Amsterdam, May 1998. G. Muller, R. Marlet,
E.N. Volanschi, C. Consel, C. Pu A. Goel.
-
Matching
micro-kernels to modern applications using fine-grained memory
protection.
- In 7th IEEE Symposium on Parallel and
Distributed Processing, San Antonio (Tx),
1995. G. Muller C. Bryce.
Multicore and cluster
- Fast and Portable Locking for Multicore Architectures
-
In ACM Transactions on Computer Systems (TOCS).
Volume 33 Issue 4, January 2016. Article No. 13
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
- BtrPlace: A Flexible Consolidation Manager for Highly Available Applications
-
In IEEE Transactions on Dependable and Secure Computing,
Volume:10 Issue:5, 2013.
Fabien Hermenier, Julia Lawall, Gilles Muller
- Remote Core Locking: Migrating Critical-Section Execution
to Improve the Performance of Multithreaded Applications
-
In 2012 Usenix Annual Technical Conference
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
(local copy)
- Deadline-aware scheduling for Software Transactional Memory
-
In Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011), Hong Kong, China, June 2011
Walther Maldonado, Patrick Marlier, Pascal Felber, Julia L. Lawall, Gilles Muller, Etienne Riviere
(local copy)
- Efficient Workstealing for Multicore Event-Driven Systems
-
In International Conference on Distributed Computing Systems (ICDCS 2010), Genova, Italy, June 2010
Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma
(local copy)
- Scheduling support for transactional memory contention management
-
In proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2010), Bangalore, India, January 2010
Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller
(local copy)
- Entropy: a consolidation manager for clusters
-
In Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia Lawall
Java and MRE
- Incinerator -- Eliminating Stale References in Dynamic OSGi Applications
-
In DSN '15 Proceedings of the 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall, André Bottaro
- VMKit: a substrate for managed runtime environments
-
In Proceedings of the 6th International Conference on Virtual Execution Environments (VEE 2010), Pittsburgh, Pennsylvania, USA, March 2010.
Nicolas Geoffray, Gaël Thomas, Julia L. Lawall, Gilles Muller, Bertil Folliot
(local copy)
- I-JVM: a Java Virtual Machine for component isolation in OSGi
-
in Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Lisbon, Portugal, June 2009.
Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot
(local copy)
- Java Bytecode
Compression for Embedded Systems.
-
L. Clausen, U.P. Schultz, C. Consel and G. Muller. in TOPLAS Volume 22, No. 3 (May. 2000).
- Toward Automatic Specialization of Java Programs.
-
In ECOOP'99, Lisbon, Portugal, June 1999. U.P. Schultz, J. Lawall, C. Consel, G. Muller
- Harissa: A Hybrid Approach to Java Execution.
-
IEEE Software,
March/April 1999. G. Muller U.P. Schultz.
-
Declarative
Specialization of Object-Oriented Programs.
-
In OOPSLA'97, Atlanta, October 1997. E. N. Volanschi, C. Consel, G. Muller,
C. Cowan.
-
Harissa:
a Flexible and Efficient Java Environment Mixing Bytecode and Compiled
Code.
-
In 3rd Usenix Conference on Object-Oriented
Technologies and Systems (COOTS'97). Portland, Oregon, June 1997,
G. Muller, B. Moura, F. Bellard C. Consel.
Fault Tolerance
- Efficient
Incremental Checkpointing of Java Programs,
-
In International Conference on Dependable Systems and Networks (DSN'2000). New York, June 2000, J. Lawall and G. Muller.
- Lessons from FTM: an experiment in the design and implementation of
a low cost fault tolerant system.
-
IEEE Transaction on Reliability, June 1996. G. Muller, M. Banâtre, N. Peyrouze, B. Rochat.
Extented version available as IRISA research report PI-913.
- FT-NFS: an efficient fault tolerant NFS server designed for off-the-shelf workstations.
-
In 26th International Symposium on Fault-Tolerant
Computing Systems, Sendai (Japan), June 1996. G. Muller N. Peyrouze.
- The Performance of Consistent Checkpointing in Distributed Shared Memory Systems.
-
In 14th Symposium on Reliable Distributed
Systems, IEEE Computer Society Press,
Bad Neuenahr (Germany), September 1995. G. Cabillic, G. Muller I. Puaut
- Design decisions for the FTM: A general purpose fault tolerant
machine.
-
In 21st International Symposium on Fault-Tolerant
Computing Systems, Montréal, Canada, 1991. M. Banâtre, G. Muller, B. Rochat, P. Sanchez.
Patents
-
Procédé de compactage d'un programme de type code objet intermédiaire
exécutable dans un système embarqué.
- C. Consel, G. Muller, U. Schultz, L. Clausen, C. Goire. Brevet soumis, en
attente d'acceptation.
-
Système informatique à transparence de panne pour les applications
utilisateur.
-
M. Banâtre, P. Joubert, T. Leconte, G. Muller, B. Rochat.
Brevet d'invention 96 02028, 19 Février 1996.
-
Dispositif électronique formant mémoire stable rapide
perfectionnée.
-
J.P. Banâtre, M. Banâtre, G. Muller. Brevet d'invention 35 18437, 12 Décembre 1985.
Habilitation à diriger des recherches