The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gilles Muller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  58. Tracking code patterns over multiple software versions with Herodotos. [Citation Graph (, )][DBLP]


  59. Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. [Citation Graph (, )][DBLP]


  60. I-JVM: a Java Virtual Machine for component isolation in OSGi. [Citation Graph (, )][DBLP]


  61. WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. [Citation Graph (, )][DBLP]


  62. Finding Error Handling Bugs in OpenSSL Using Coccinelle. [Citation Graph (, )][DBLP]


  63. Efficient Workstealing for Multicore Event-Driven Systems. [Citation Graph (, )][DBLP]


  64. Automatic Generation of Network Protocol Gateways. [Citation Graph (, )][DBLP]


  65. A foundation for flow-based program matching: using temporal logic and model checking. [Citation Graph (, )][DBLP]


  66. Scheduling support for transactional memory contention management. [Citation Graph (, )][DBLP]


  67. Constructing component-based extension interfaces in legacy systems code. [Citation Graph (, )][DBLP]


  68. Capturing OS expertise in an event type system: the Bossa experience. [Citation Graph (, )][DBLP]


  69. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. [Citation Graph (, )][DBLP]


  70. Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. [Citation Graph (, )][DBLP]


  71. VMKit: a substrate for managed runtime environments. [Citation Graph (, )][DBLP]


  72. Entropy: a consolidation manager for clusters. [Citation Graph (, )][DBLP]


  73. Documenting and automating collateral evolutions in linux device drivers. [Citation Graph (, )][DBLP]


  74. Programmation post-objets. Des langages d'aspects aux langages de composants. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002