- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j23 |      | Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller: WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw., Pract. Exper. 43(1): 67-92 (2013) |
| c63 | | Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber, Etienne Rivière, Gilles Muller: FastLane: improving performance of software transactional memory for low thread counts. PPOPP 2013: 113-122 |
| 2012 | ||
| j22 | | Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller: RelaxDHT: A churn-resilient replication strategy for peer-to-peer distributed hash-tables. TAAS 7(2): 28 (2012) |
| c62 | | Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller: Diagnosys: automatic generation of a debugging interface to the Linux kernel. ASE 2012: 60-69 |
| 2011 | ||
| j21 | | 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 45(3): 1-4 (2011) |
| j20 | | Suman Saha, Julia L. Lawall, Gilles Muller: Finding resource-release omission faults in Linux. Operating Systems Review 45(3): 5-9 (2011) |
| j19 | | 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. 37(4): 575-591 (2011) |
| c61 | | Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, Gilles Muller: Faults in linux: ten years later. ASPLOS 2011: 305-318 |
| c60 | | Walther Maldonado, Patrick Marlier, Pascal Felber, Julia L. Lawall, Gilles Muller, Etienne Riviere: Deadline-aware scheduling for Software Transactional Memory. DSN 2011: 257-268 |
| c59 | | Suman Saha, Julia L. Lawall, Gilles Muller: An approach to improving the structure of error-handling code in the linux kernel. LCTES 2011: 41-50 |
| 2010 | ||
| j18 | | Julia L. Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller: Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010(83): 54 (2010) |
| c58 | | Nicolas Palix, Julia L. Lawall, Gilles Muller: Tracking code patterns over multiple software versions with Herodotos. AOSD 2010: 169-180 |
| c57 | | Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller: Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC 2010: 191-196 |
| c56 | | Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma: Efficient Workstealing for Multicore Event-Driven Systems. ICDCS 2010: 516-525 |
| c55 | | 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: 273-292 |
| c54 | | 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: 79-90 |
| c53 | | Nicolas Geoffray, Gaël Thomas, Julia L. Lawall, Gilles Muller, Bertil Folliot: VMKit: a substrate for managed runtime environments. VEE 2010: 51-62 |
| e2 |  | 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. ACM 2010, isbn 978-1-60558-577-2 |
| 2009 | ||
| j17 | | Eric Eide, Gilles Muller, Olaf Spinczyk: PLOS 2009: fifth workshop on programming languages and operating systems. Operating Systems Review 43(4): 31-34 (2009) |
| c52 | | 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: 43-52 |
| c51 | | 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: 544-553 |
| c50 | | Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller: Automatic Generation of Network Protocol Gateways. Middleware 2009: 21-41 |
| c49 | | 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: 114-126 |
| c48 | | Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller: Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. SSS 2009: 485-499 |
| c47 | | Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall: Entropy: a consolidation manager for clusters. VEE 2009: 41-50 |
| 2008 | ||
| c46 | | Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller: Documenting and automating collateral evolutions in linux device drivers. EuroSys 2008: 247-260 |
| 2007 | ||
| j16 | | 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. 166: 47-62 (2007) |
| j15 | | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Automatic Verification of Bossa Scheduler Properties. Electr. Notes Theor. Comput. Sci. 185: 17-32 (2007) |
| c45 | | Richard Urunuela, Gilles Muller, Julia L. Lawall: Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems 2007 |
| c44 | | 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: 149-160 |
| i1 | | 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 abs/0704.1373 (2007) |
| 2006 | ||
| j14 | | Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen: Semantic patches considered helpful. Operating Systems Review 40(3): 90-92 (2006) |
| c43 | | Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller: Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS 2006: 10 |
| c42 | | Richard Urunuela, Gilles Muller, Julia L. Lawall: Energy adaptation for multimedia information kiosks. EMSOFT 2006: 223-232 |
| c41 | | Yoann Padioleau, Julia L. Lawall, Gilles Muller: Understanding collateral evolution in Linux device drivers. EuroSys 2006: 59-71 |
| 2005 | ||
| c40 | | Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur: Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE 2005: 78-93 |
| c39 | | Gilles Muller, Julia L. Lawall, Hervé Duchesne: A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE 2005: 56-65 |
| c38 | | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206 |
| c37 | | Gilles Muller, Julia L. Lawall, Hervé Duchesne: A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS 2005: 219-230 |
| 2004 | ||
| j13 | | 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 10(4): 119-143 (2004) |
| c36 | | Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller: On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE 2004: 436-455 |
| c35 | | Julia L. Lawall, Gilles Muller, Hervé Duchesne: Invited application paper: language design for implementing process scheduling hierarchies. PEPM 2004: 80-91 |
| c34 | | 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: 15 |
| 2003 | ||
| j12 | | 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 33(3): 370-381 (2003) |
| c33 | | 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: 110-119 |
| c32 | | 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: 196-204 |
| 2002 | ||
| c31 | | Dan He, Gilles Muller, Julia L. Lawall: Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS 2002: 161-170 |
| c30 | | Julia L. Lawall, Gilles Muller, Luciano Porto Barreto: Capturing OS expertise in an event type system: the Bossa experience. ACM SIGOPS European Workshop 2002: 54-61 |
| c29 | | 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: 73-86 |
| e1 | | |
| 2001 | ||
| j11 | | 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 24(2): 191-201 (2001) |
| j10 | | 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. 19(2): 217-251 (2001) |
| c28 | | Laurent Réveillère, Gilles Muller: Improving Driver Robustness: An Evaluation of the Devil Approach. DSN 2001: 131-140 |
| c27 | | Luciano Porto Barreto, Gilles Muller: Bossa: A DSL Framework for Application-Specific Scheduling Policies. HotOS 2001: 161 |
| c26 | | Fabrice Mérillon, Gilles Muller: Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. LCTES/OM 2001: 121-127 |
| 2000 | ||
| j9 | | Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller: Static and Dynamic Program Compilation by Interpreter Specialization. Higher-Order and Symbolic Computation 13(3): 161-178 (2000) |
| j8 | | Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi: Accurate program analyses for successful specialization of legacy system software. Theor. Comput. Sci. 248(1-2): 201-210 (2000) |
| j7 | | Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller: Java bytecode compression for low-end embedded systems. ACM Trans. Program. Lang. Syst. 22(3): 471-489 (2000) |
| c25 | | Julia L. Lawall, Gilles Muller: Efficient Incremental Checkpointing of Java Programs. DSN 2000: 61-70 |
| c24 | | 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. ASE 2000: 101-110 |
| c23 | | Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel: A Declarative Approach for Designing and Developing Adaptive Components. ASE 2000: 111- |
| c22 | | Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller: Devil: An IDL for Hardware Programming. OSDI 2000: 17-30 |
| c21 | | |
| c20 | | 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: 19-24 |
| 1999 | ||
| j6 | | Gilles Muller, Ulrik Pagh Schultz: Harissa: A Hybrid Approach to Java Execution. IEEE Software 16(2): 44-51 (1999) |
| c19 | | Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller: Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390 |
| c18 | | Scott Thibault, Jerôme Marant, Gilles Muller: Adapting Distributed Applications Using Extensible Networks. ICDCS 1999: 234-243 |
| 1998 | ||
| j5 | | Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi: Tempo: Specializing Systems applications and Beyond. ACM Comput. Surv. 30(3es): 19 (1998) |
| j4 | | Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi: Partial Evaluation for Software Engineering. ACM Comput. Surv. 30(3es): 20 (1998) |
| c17 | | Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel: Fast, Optimized Sun RPC Using Automatic Program Specialization. ICDCS 1998: 240-249 |
| c16 | | Scott Thibault, Charles Consel, Gilles Muller: Safe and Efficient Active Network Programming. SRDS 1998: 135-143 |
| 1997 | ||
| c15 | | Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel: Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. COOTS 1997: 1-20 |
| c14 | | Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan: Declarative Specialization of Object-Oriented Programs. OOPSLA 1997: 286-300 |
| c13 | | Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet: Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. PEPM 1997: 116-126 |
| 1996 | ||
| j3 | | 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 45(2): 332-339 (1996) |
| c12 | | Nadine Peyrouze, Gilles Muller: FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. FTCS 1996: 64-73 |
| 1995 | ||
| c11 | | Gilbert Cabillic, Gilles Muller, Isabelle Puaut: The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. SRDS 1995: 96-105 |
| 1994 | ||
| c10 | | Gilles Muller, Mireille Hue, Nadine Peyrouze: Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. EDCC 1994: 491-508 |
| c9 | | C. Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut: Towards Safe and Efficient Customization in Distributed Systems. ACM SIGOPS European Workshop 1994: 57-61 |
| c8 | | Valérie Issarny, Gilles Muller, Isabelle Puaut: Efficient Treatment of Failures in RPC Systems. SRDS 1994: 170-180 |
| 1993 | ||
| j2 | | 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 27(2): 56-60 (1993) |
| c7 | | Gilles Muller: A Reliable Client-Server Model on Top of a Micro-Kernel. Hardware and Software Architectures for Fault Tolerance 1993: 191-198 |
| c6 | | 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: 187-190 |
| 1992 | ||
| c5 | | 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 |
| 1991 | ||
| j1 | | Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez: Stable Transactional Memories and Fault Tolerant Architectures. Operating Systems Review 25(1): 68-72 (1991) |
| c4 | | Michel Banâtre, Gilles Muller, Bruno Rochat, Patrick Sanchez: Design Decisions for the FTM : A General Purpose Fault Tolerant Machine. FTCS 1991: 71-78 |
| c3 | | Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat: How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. USENIX MACH Symposium 1991: 223-232 |
| 1990 | ||
| c2 | | 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 |
| 1988 | ||
| c1 | | Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre: Ensuring Data Security and Integrity with a Fast Stable Storage. ICDE 1988: 285-293 |
Data released under the ODC-BY 1.0 license — See also our legal information page