Gilles Muller

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
79Faults in linux: ten years later. Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, Gilles Muller. ASPLOS 2011, 305-318. Web SearchBibTeXDownload
78Deadline-aware scheduling for Software Transactional Memory. Walther Maldonado, Patrick Marlier, Pascal Felber, Julia L. Lawall, Gilles Muller, Etienne Riviere. DSN 2011, 257-268. Web SearchBibTeXDownload
77Zebu: A Language-Based Approach for Network Protocol Message Processing. Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller. IEEE Trans. Software Eng. (37): 575-591 (2011). Web SearchBibTeXDownload
76An approach to improving the structure of error-handling code in the linux kernel. Suman Saha, Julia L. Lawall, Gilles Muller. LCTES 2011, 41-50. Web SearchBibTeXDownload
2010
75Tracking code patterns over multiple software versions with Herodotos. Nicolas Palix, Julia L. Lawall, Gilles Muller. AOSD 2010, 169-180. Web SearchBibTeXDownload
74Finding Error Handling Bugs in OpenSSL Using Coccinelle. Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller. EDCC 2010, 191-196. Web SearchBibTeXDownload
73Improving the Security of Infrastructure Software using Coccinelle. Julia L. Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller. ERCIM News (2010): 54 (2010). Web SearchBibTeXDownload
72Efficient Workstealing for Multicore Event-Driven Systems. Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma. ICDCS 2010, 516-525. Web SearchBibTeXDownload
71Bridging the Gap between Legacy Services and Web Services. Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller. Middleware 2010, 273-292. Web SearchBibTeXDownload
70Scheduling support for transactional memory contention management. Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller. PPOPP 2010, 79-90. Web SearchBibTeXDownload
69VMKit: a substrate for managed runtime environments. Nicolas Geoffray, Gaël Thomas, Julia L. Lawall, Gilles Muller, Bertil Folliot. VEE 2010, 51-62. Web SearchBibTeXDownload
2009
68I-JVM: a Java Virtual Machine for component isolation in OSGi. Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot. DSN 2009, 544-553. Web SearchBibTeXDownload
67WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller. DSN 2009, 43-52. Web SearchBibTeXDownload
66Automatic Generation of Network Protocol Gateways. Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller. Middleware 2009, 21-41. Web SearchBibTeXDownload
65PLOS 2009: fifth workshop on programming languages and operating systems. Eric Eide, Gilles Muller, Olaf Spinczyk. Operating Systems Review (43): 31-34 (2009). Web SearchBibTeXDownload
64A foundation for flow-based program matching: using temporal logic and model checking. Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller. POPL 2009, 114-126. Web SearchBibTeXDownload
63Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller. SSS 2009, 485-499. Web SearchBibTeXDownload
62Entropy: a consolidation manager for clusters. Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall. VEE 2009, 41-50. Web SearchBibTeXDownload
2008
61Documenting and automating collateral evolutions in linux device drivers. Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller. EuroSys 2008, 247-260. Web SearchBibTeXDownload
2007
60Automatic Verification of Bossa Scheduler Properties. Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller. Electr. Notes Theor. Comput. Sci. (185): 17-32 (2007). Web SearchBibTeXDownload
59SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. Yoann Padioleau, Julia L. Lawall, Gilles Muller. Electr. Notes Theor. Comput. Sci. (166): 47-62 (2007). Web SearchBibTeXDownload
58Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Richard Urunuela, Gilles Muller, Julia L. Lawall. Power-aware Computing Systems 2007. Web SearchBibTeXDownload
57A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller. SRDS 2007, 149-160. Web SearchBibTeXDownload
2006
56Energy adaptation for multimedia information kiosks. Richard Urunuela, Gilles Muller, Julia L. Lawall. EMSOFT 2006, 223-232. Web SearchBibTeXDownload
55Understanding collateral evolution in Linux device drivers. Yoann Padioleau, Julia L. Lawall, Gilles Muller. EuroSys 2006, 59-71. Web SearchBibTeXDownload
54Semantic patches considered helpful. Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen. Operating Systems Review (40): 90-92 (2006). Web SearchBibTeXDownload
53Semantic patches for documenting and automating collateral evolutions in Linux device drivers. Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller. PLOS 2006, 10. Web SearchBibTeXDownload
2005
52Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur. GPCE 2005, 78-93. Web SearchBibTeXDownload
51Formal Methods Meet Domain Specific Languages. Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller. IFM 2005, 187-206. Web SearchBibTeXDownload
50A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. Gilles Muller, Julia L. Lawall, Hervé Duchesne. WORDS 2005, 219-230. Web SearchBibTeXDownload
2004
49Constructing component-based extension interfaces in legacy systems code. Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt. ACM SIGOPS European Workshop 2004, 15. Web SearchBibTeXDownload
48On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller. GPCE 2004, 436-455. Web SearchBibTeXDownload
47Programmation post-objets. Des langages d'aspects aux langages de composants. Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, Mario Südholt. L'OBJET (10): 119-143 (2004). Web SearchBibTeXDownload
46Invited application paper: language design for implementing process scheduling hierarchies. Julia L. Lawall, Gilles Muller, Hervé Duchesne. PEPM 2004, 80-91. Web SearchBibTeXDownload
2003
45Web cache prefetching as an aspect: towards a dynamic-weaving based solution. Marc Ségura-Devillechaise, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall. AOSD 2003, 110-119. Web SearchBibTeXDownload
44On the automatic evolution of an OS kernel using temporal logic and AOP. Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur. ASE 2003, 196-204. Web SearchBibTeXDownload
43A domain-specific language approach to programmable networks. Gilles Muller, Julia L. Lawall, Scott Thibault, R. E. Voel Jensen. IEEE Transactions on Systems, Man, and Cybernetics, Part C (33): 370-381 (2003). Web SearchBibTeXDownload
2002
42Capturing OS expertise in an event type system: the Bossa experience. Julia L. Lawall, Gilles Muller, Luciano Porto Barreto. ACM SIGOPS European Workshop 2002, 54-61. Web SearchBibTeXDownload
41Distributing MPEG Movies Over the Internet using Programmable Networks. Dan He, Gilles Muller, Julia L. Lawall. ICDCS 2002, 161-170. Web SearchBibTeXDownload
40Think: A Software Framework for Component-based Operating System Kernels. Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller. USENIX Annual Technical Conference, General Track 2002, 73-86. Web SearchBibTeXDownload
2001
39Specialization tools and techniques for systematic optimization of system software. Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet. ACM Trans. Comput. Syst. (19): 217-251 (2001). Cited by 63Web SearchBibTeXDownload
38WebCaL - a domain specific language for web caching. Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel. Computer Communications (24): 191-201 (2001). Web SearchBibTeX
37Improving Driver Robustness: An Evaluation of the Devil Approach. Laurent Réveillère, Gilles Muller. DSN 2001, 131-140. Web SearchBibTeXDownload
36Bossa: A DSL Framework for Application-Specific Scheduling Policies. Luciano Porto Barreto, Gilles Muller. HotOS 2001, 161. Web SearchBibTeXDownload
35Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. Fabrice Mérillon, Gilles Muller. LCTES/OM 2001, 121-127. Web SearchBibTeXDownload
2000
34Towards robust OSes for appliances: a new approach based on domain-specific languages. Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère. ACM SIGOPS European Workshop 2000, 19-24. Web SearchBibTeXDownload
33Java bytecode compression for low-end embedded systems. Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller. ACM Trans. Program. Lang. Syst. (22): 471-489 (2000). Web SearchBibTeXDownload
32A DSL Approach to Improve Productivity and Safety in Device Drivers Development. Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller. ASE 2000, 101-110. Web SearchBibTeXDownload
31A Declarative Approach for Designing and Developing Adaptive Components. Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel. ASE 2000, 111. Web SearchBibTeXDownload
30Efficient Incremental Checkpointing of Java Programs. Julia L. Lawall, Gilles Muller. DSN 2000, 61-70. Web SearchBibTeXDownload
29Static and Dynamic Program Compilation by Interpreter Specialization. Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller. Higher-Order and Symbolic Computation (13): 161-178 (2000). Web SearchBibTeXDownload
28Devil: An IDL for Hardware Programming. Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller. OSDI 2000, 17-30. Web SearchBibTeX
27Specialization of Systems Programs: Lessons and Perspectives. Gilles Muller. SAIG 2000, 7-8. Web SearchBibTeXDownload
26Accurate program analyses for successful specialization of legacy system software. Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi. Theor. Comput. Sci. (248): 201-210 (2000). Web SearchBibTeXDownload
1999
25Towards Automatic Specialization of Java Programs. Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller. ECOOP 1999, 367-390. Web SearchBibTeXDownload
24Adapting Distributed Applications Using Extensible Networks. Scott Thibault, Jerôme Marant, Gilles Muller. ICDCS 1999, 234-243. Web SearchBibTeXDownload
23Harissa: A Hybrid Approach to Java Execution. Gilles Muller, Ulrik Pagh Schultz. IEEE Software (16): 44-51 (1999). Web SearchBibTeXDownload
1998
22Tempo: Specializing Systems applications and Beyond. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi. ACM Comput. Surv. (30): 19 (1998). Web SearchBibTeXDownload
21Partial Evaluation for Software Engineering. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi. ACM Comput. Surv. (30): 20 (1998). Web SearchBibTeXDownload
20Fast, Optimized Sun RPC Using Automatic Program Specialization. Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel. ICDCS 1998, 240-249. Cited by 81Web SearchBibTeXDownload
19Safe and Efficient Active Network Programming. Scott Thibault, Charles Consel, Gilles Muller. SRDS 1998, 135-143. Web SearchBibTeX
1997
18Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel. COOTS 1997, 1-20. Web SearchBibTeXDownload
17Declarative Specialization of Object-Oriented Programs. Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan. OOPSLA 1997, 286-300. Web SearchBibTeX
16Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet. PEPM 1997, 116-126. Web SearchBibTeXDownload
1996
15FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. Nadine Peyrouze, Gilles Muller. FTCS 1996, 64-73. Web SearchBibTeXDownload
14Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System. Gilles Muller, Michel Banâtre, Nadine Peyrouze, Bruno Rochat. IEEE Transactions on Reliability (45): 332-339 (1996). Web SearchBibTeX
1995
13The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. Gilbert Cabillic, Gilles Muller, Isabelle Puaut. SRDS 1995, 96-105. Web SearchBibTeX
1994
12Towards Safe and Efficient Customization in Distributed Systems. C. Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut. ACM SIGOPS European Workshop 1994, 57-61. Cited by 8Web SearchBibTeX
11Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. Gilles Muller, Mireille Hue, Nadine Peyrouze. EDCC 1994, 491-508. Web SearchBibTeXDownload
10Efficient Treatment of Failures in RPC Systems. Valérie Issarny, Gilles Muller, Isabelle Puaut. SRDS 1994, 170-180. Cited by 10Web SearchBibTeX
1993
9A Reliable Client-Server Model on Top of a Micro-Kernel. Gilles Muller. Hardware and Software Architectures for Fault Tolerance 1993, 191-198. Web SearchBibTeXDownload
8Models and Paradigms for Distributed Systems Structuring - Summary of Sessions. C. Bryce, Daniel Hagimont, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat. Operating Systems Review (27): 56-60 (1993). Web SearchBibTeXDownload
7An Experience in the Design of a Reliable Object Based System (Synopsis). Michel Banâtre, Pack Heng, Gilles Muller, Nadine Peyrouze, Bruno Rochat. PDIS 1993, 187-190. Web SearchBibTeX
1992
6Using dynamic atomic actions to build fault tolerant systems. Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat. ACM SIGOPS European Workshop 1992. Web SearchBibTeXDownload
1991
5Design Decisions for the FTM : A General Purpose Fault Tolerant Machine. Michel Banâtre, Gilles Muller, Bruno Rochat, Patrick Sanchez. FTCS 1991, 71-78. Web SearchBibTeX
4Stable Transactional Memories and Fault Tolerant Architectures. Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez. Operating Systems Review (25): 68-72 (1991). Web SearchBibTeXDownload
3How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat. USENIX MACH Symposium 1991, 223-232. Web SearchBibTeX
1990
2Stable transactional memories and fault tolerant architectures. Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez. ACM SIGOPS European Workshop 1990. Web SearchBibTeXDownload
1988
1Ensuring Data Security and Integrity with a Fast Stable Storage. Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre. ICDE 1988, 285-293. Web SearchBibTeXDownload
from DBLP and Google Scholar

Related People

Developed by the Database Group at the University of Wisconsin and Yahoo! Research