Gilles Muller - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Bridging the Gap between Legacy Services and Web ServicesTegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller. middleware 2010: 273-292 [doi]

Efficient Workstealing for Multicore Event-Driven SystemsFabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma. icdcs 2010: 516-525 [doi]

VMKit: a substrate for managed runtime environmentsNicolas Geoffray, GaÃ«l Thomas, Julia L. Lawall, Gilles Muller, Bertil Folliot. vee 2010: 51-62 [doi]

Finding Error Handling Bugs in OpenSSL Using CoccinelleJulia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller. edcc 2010: 191-196 [doi]

Improving the Security of Infrastructure Software using CoccinelleJulia L. Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller. ercim, 2010(83):54, 2010. [doi]

Scheduling support for transactional memory contention managementWalther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller. ppopp 2010: 79-90 [doi]

European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010Christine Morin, Gilles Muller, editors, ACM, 2010.

Tracking code patterns over multiple software versions with HerodotosNicolas Palix, Julia L. Lawall, Gilles Muller. AOSD 2010: 169-180 [doi]

2009

Automatic Generation of Network Protocol GatewaysYÃ©rom-David Bromberg, Laurent RÃ©veillÃ¨re, Julia L. Lawall, Gilles Muller. middleware 2009: 21-41 [doi]

A foundation for flow-based program matching: using temporal logic and model checkingJulien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller. POPL 2009: 114-126 [doi]

PLOS 2009: fifth workshop on programming languages and operating systemsEric Eide, Gilles Muller, Olaf Spinczyk. sigops, 43(4):31-34, 2009. [doi]

I-JVM: a Java Virtual Machine for component isolation in OSGiNicolas Geoffray, GaÃ«l Thomas, Gilles Muller, Pierre Parrend, StÃ©phane FrÃ©not, Bertil Folliot. dsn 2009: 544-553 [doi]

Entropy: a consolidation manager for clustersFabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall. vee 2009: 41-50 [doi]

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux codeJulia L. Lawall, Julien Brunel, Nicolas Palix, RenÃ© Rydhof Hansen, Henrik Stuart, Gilles Muller. dsn 2009: 43-52 [doi]

Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-TablesSergey Legtchenko, SÃ©bastien Monnet, Pierre Sens, Gilles Muller. sss 2009: 485-499 [doi]

2008

Documenting and automating collateral evolutions in linux device driversYoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller. eurosys 2008: 247-260 [doi]

2007

Automatic Verification of Bossa Scheduler PropertiesJean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller. ENTCS, 185:17-32, 2007. [doi]

A Language-Based Approach for Improving the Robustness of Network Application Protocol ImplementationsLaurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller. srds 2007: 149-160 [doi]

A Language-Based Approach for Improving the Robustness of Network Application Protocol ImplementationsLaurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller. corr, abs/0704.1373, 2007. [doi]

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device DriversYoann Padioleau, Julia L. Lawall, Gilles Muller. ENTCS, 166:47-62, 2007. [doi]

Towards Class-Based Dynamic Voltage Scaling for Multimedia ApplicationsRichard Urunuela, Gilles Muller, Julia L. Lawall. dagstuhl 2007: [doi]

2006

2005

2004

2003

2002

2001

Bossa: A DSL Framework for Application-Specific Scheduling PoliciesLuciano Porto Barreto, Gilles Muller. hotos 2001: 161 [doi]

WebCaL - a domain specific language for web cachingSumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel. comcom, 24(2):191-201, 2001.

Specialization tools and techniques for systematic optimization of system softwareDylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet. tocs, 19(2):217-251, 2001. [doi]

Dealing with Hardware in Embedded Software: A General Framework Based on the Devil LanguageFabrice Mérillon, Gilles Muller. lctrts 2001: 121-127

Improving Driver Robustness: An Evaluation of the Devil ApproachLaurent Réveillère, Gilles Muller. dsn 2001: 131-140 [doi]

2000

A Declarative Approach for Designing and Developing Adaptive ComponentsPhilippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel. ASE 2000: 111 [doi]

Java bytecode compression for low-end embedded systemsLars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller. TOPLAS, 22(3):471-489, 2000. [doi]

Efficient Incremental Checkpointing of Java ProgramsJulia L. Lawall, Gilles Muller. dsn 2000: 61-70 [doi]

Accurate program analyses for successful specialization of legacy system softwareGilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi. TCS, 248(1-2):201-210, 2000. [doi]

Specialization of Systems Programs: Lessons and PerspectivesGilles Muller. saig 2000: 7-8 [doi]

Towards robust OSes for appliances: a new approach based on domain-specific languagesGilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère. sigopsE 2000: 19-24 [doi]

Devil: An IDL for Hardware ProgrammingFabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller. osdi 2000: 17-30

A DSL Approach to Improve Productivity and Safety in Device Drivers DevelopmentLaurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller. ASE 2000: 101-110 [doi]

Static and Dynamic Program Compilation by Interpreter SpecializationScott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller. lisp, 13(3):161-178, 2000.

1999

Harissa: A Hybrid Approach to Java ExecutionGilles Muller, Ulrik Pagh Schultz. IEEE Software, 16(2), 1999. [doi]

Towards Automatic Specialization of Java ProgramsUlrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller. ECOOP 1999: 367-390 [doi]

Adapting Distributed Applications Using Extensible NetworksScott Thibault, Jerôme Marant, Gilles Muller. icdcs 1999: 234-243 [doi]

1998

1997

1996

Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant SystemGilles Muller, Michel Banâtre, Nadine Peyrouze, Bruno Rochat. tr, 45(2):332-339, 1996.

FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf WorkstationsNadine Peyrouze, Gilles Muller. ftcs 1996: 64-73

1995

The Performance of Consistent Checkpointing in Distributed Shared Memory SystemsGilbert Cabillic, Gilles Muller, Isabelle Puaut. srds 1995: 96-105

1994

Towards Safe and Efficient Customization in Distributed SystemsC. Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut. sigopsE 1994: 57-61

Efficient Treatment of Failures in RPC SystemsValérie Issarny, Gilles Muller, Isabelle Puaut. srds 1994: 170-180

Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM ExperimentGilles Muller, Mireille Hue, Nadine Peyrouze. edcc 1994: 491-508

1993

An 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 [doi]

Models and Paradigms for Distributed Systems Structuring - Summary of SessionsC. Bryce, Daniel Hagimont, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat. sigops, 27(2):56-60, 1993.

A Reliable Client-Server Model on Top of a Micro-KernelGilles Muller. hsaft 1994: 191-198

1992

Using dynamic atomic actions to build fault tolerant systemsMichel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat. sigopsE 1992: [doi]

1991

1990

Stable transactional memories and fault tolerant architecturesMichel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, P. Sanchez. sigopsE 1990: [doi]

1988

Ensuring Data Security and Integrity with a Fast Stable StorageMichel Banâtre, Gilles Muller, Jean-Pierre Banâtre. icde 1988: 285-293 [doi]