Gilles Muller - RankMe

150 papers A* 8A 32B 17C 5Misc 5Journal 38Unranked 43

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	HyperTP: A unified approach for live hypervisor replacement in datacenters. J. Parallel Distributed Comput. Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont
2022	J	`jnl`	AndroEvolve: automated Android API update with data flow analysis and variable denormalization. Empir. Softw. Eng. Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
2022	—	`conf`	Automating Program Transformation with Coccinelle. NFM Julia Lawall, Gilles Muller
2022	A	`conf`	OS scheduling with nest: keeping tasks close together on warm cores. EuroSys Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers, Willy Zwaenepoel, Gilles Muller
2021	B	`conf`	(No)Compromis: paging virtualization is not a fatality. VEE Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, Gilles Muller
2021	—	`conf`	AndroEvolve: Automated Update for Android Deprecated-API Usages. ICSE (Companion Volume) Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
2021	Misc	`conf`	BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. NSDI Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, Gilles Muller
2021	A	`conf`	Mitigating vulnerability windows with hypervisor transplant. EuroSys Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont
2021	—	`conf`	Tell me when you are sleepy and what may wake you up! SoCC Djob Mvondo, Antonio Barbalace, Alain Tchana, Gilles Muller
2021	B	`conf`	WE-HML: hybrid WCET estimation using machine learning for architectures with caches. RTCSA Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller
2020	J	`jnl`	AndroEvolve: Automated Android API Update with Data Flow Analysis and Variable Denormalization. CoRR Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
2020	J	`jnl`	AndroEvolve: Automated Update for Android Deprecated-API Usages. CoRR Stefanus Agus Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
2020	A	`conf`	Automated Deprecated-API Usage Update for Android Apps: How Far are We? SANER Ferdian Thung, Stefanus A. Haryono, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang
2020	A	`conf`	Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. ICPC Stefanus A. Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang
2020	J	`jnl`	Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. CoRR Stefanus Agus Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang
2020	—	`conf`	Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. USENIX ATC Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
2020	J	`jnl`	Memory virtualization in virtualized systems: segmentation is better than paging. CoRR Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, Gilles Muller
2020	A	`conf`	Provable multicore schedulers with Ipanema: application to work conservation. EuroSys Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller
2020	—	`conf`	SPINFER: Inferring Semantic Patches for the Linux Kernel. USENIX ATC Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller
2019	—	`conf`	Fork/Wait and Multicore Frequency Scaling: a Generational Clash. PLOS@SOSP Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
2019	A	`conf`	Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. RTSS Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia Pérez
2019	J	`jnl`	RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems. IEEE Trans. Dependable Secur. Comput. Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie
2019	J	`jnl`	Semantic Patches for Java Program Transformation (Artifact). Dagstuhl Artifacts Ser. Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo
2019	A	`conf`	Semantic Patches for Java Program Transformation (Experience Report). ECOOP Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo
2019	B	`conf`	Toward an in-Kernel High Performance Key-Value Store Implementation. SRDS Kahina Lazri, Antoine Blin, Julien Sopena, Gilles Muller
2019	A	`conf`	When eXtended Para - Virtualization (XPV) Meets NUMA. EuroSys Vo Quoc Bao Bui, Djob Mvondo, Boris Teabe, Kevin Jiokeng, Patrick Lavoisier Wapet, Alain Tchana, Gaël Thomas, Daniel Hagimont, Gilles Muller, Noel De Palma
2018	—	`conf`	Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. USENIX ATC Julia Lawall, Gilles Muller
2018	—	`conf`	The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. USENIX ATC Justinien Bouron, Sebastien Chevalley, Baptiste Lepers, Willy Zwaenepoel, Redha Gouicem, Julia Lawall, Gilles Muller, Julien Sopena
2018	—	`conf`	Usuba: Optimizing & Trustworthy Bitslicing Compiler. WPMVP@PPoPP Darius Mercadier, Pierre-Évariste Dagand, Lionel Lacassagne, Gilles Muller
2017	A	`conf`	Analysing Selfishness Flooding with SEINE. DSN Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie
2017	—	`conf`	Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. USENIX ATC Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller
2017	A	`conf`	JMake: Dependable Compilation for Kernel Janitors. DSN Julia Lawall, Gilles Muller
2017	A	`conf`	Towards Proving Optimistic Multicore Schedulers. HotOS Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller
2016	J	`jnl`	Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel. Autom. Softw. Eng. Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller
2016	Misc	`conf`	Automatic Code Generation for Iterative Multi-dimensional Stencil Computations. HiPC Mariem Saied, Jens Gustedt, Gilles Muller
2016	J	`jnl`	Fast and Portable Locking for Multicore Architectures. ACM Trans. Comput. Syst. Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
2016	B	`conf`	Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. ECRTS Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
2016	—	`conf`	Understanding the Memory Consumption of the MiBench Embedded Benchmark. NETYS Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
2015	B	`conf`	A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems. SRDS Guido Lena Cota, Sonia Ben Mokhtar, Julia Lawall, Gilles Muller, Gabriele Gianini, Ernesto Damiani, Lionel Brunie
2015	J	`jnl`	Implementing an embedded compiler using program transformation rules. Softw. Pract. Exp. Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Yérom-David Bromberg, Gilles Muller
2015	A	`conf`	Incinerator - Eliminating Stale References in Dynamic OSGi Applications. DSN Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall, André Bottaro
2015	J	`jnl`	Supporting Time-Based QoS Requirements in Software Transactional Memory. ACM Trans. Parallel Comput. Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivière
2014	A	`conf`	Continuously measuring critical section pressure with the free-lunch profiler. OOPSLA Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
2014	C	`conf`	FastLane: Software Transactional Memory Optimized for Low Numbers of Threads. Software Engineering Jons-Tobias Wamhoff, Etienne Rivière, Gilles Muller, Christof Fetzer, Pascal Felber
2014	J	`jnl`	Faults in Linux 2.6. CoRR Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall
2014	J	`jnl`	Faults in Linux 2.6. ACM Trans. Comput. Syst. Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall
2014	—	`conf`	Memory monitoring in a multi-tenant OSGi execution environment. CBSE Koutheir Attouchi, Gaël Thomas, André Bottaro, Gilles Muller
2014	A	`conf`	Oops! where did that code snippet come from? MSR Lisong Guo, Julia Lawall, Gilles Muller
2013	J	`jnl`	BtrPlace: A Flexible Consolidation Manager for Highly Available Applications. IEEE Trans. Dependable Secur. Comput. Fabien Hermenier, Julia Lawall, Gilles Muller
2013	B	`conf`	FastLane: improving performance of software transactional memory for low thread counts. PPoPP Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber, Etienne Rivière, Gilles Muller
2013	A	`conf`	Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. DSN Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall, Gilles Muller
2013	—	`conf`	Understanding the genetic makeup of Linux device drivers. PLOS@SOSP Peter Senna Tschudin, Laurent Réveillère, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller
2013	J	`jnl`	WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
2012	A*	`conf`	Diagnosys: automatic generation of a debugging interface to the Linux kernel. ASE Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, Gilles Muller
2012	J	`jnl`	RelaxDHT: A churn-resilient replication strategy for peer-to-peer distributed hash-tables. ACM Trans. Auton. Adapt. Syst. Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller
2012	—	`conf`	Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. USENIX ATC Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
2011	B	`conf`	An approach to improving the structure of error-handling code in the linux kernel. LCTES Suman Saha, Julia Lawall, Gilles Muller
2011	A	`conf`	Deadline-aware scheduling for Software Transactional Memory. DSN Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivière
2011	A*	`conf`	Faults in linux: ten years later. ASPLOS Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller
2011	—	`conf`	Finding resource-release omission faults in Linux. PLOS@SOSP Suman Saha, Julia Lawall, Gilles Muller
2011	J	`jnl`	Finding resource-release omission faults in Linux. ACM SIGOPS Oper. Syst. Rev. Suman Saha, Julia Lawall, Gilles Muller
2011	J	`jnl`	Summary of PLOS 2011: the sixth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. Eric Eide, Gilles Muller, Wolfgang Schröder-Preikschat, Olaf Spinczyk
2011	J	`jnl`	Zebu: A Language-Based Approach for Network Protocol Message Processing. IEEE Trans. Software Eng. Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller
2010	A	`conf`	Bridging the Gap between Legacy Services and Web Services. Middleware Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller
2010	A	`conf`	Efficient Workstealing for Multicore Event-Driven Systems. ICDCS Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma
2010	A	`ed.`	European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010 EuroSys Christine Morin, Gilles Muller
2010	Misc	`conf`	Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller
2010	J	`jnl`	Improving the Security of Infrastructure Software using Coccinelle. ERCIM News Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller
2010	B	`conf`	Scheduling support for transactional memory contention management. PPoPP Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller
2010	—	`conf`	Tracking code patterns over multiple software versions with Herodotos. AOSD Nicolas Palix, Julia Lawall, Gilles Muller
2010	B	`conf`	VMKit: a substrate for managed runtime environments. VEE Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, Bertil Folliot
2009	A*	`conf`	A foundation for flow-based program matching: using temporal logic and model checking. POPL Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
2009	A	`conf`	Automatic Generation of Network Protocol Gateways. Middleware Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller
2009	C	`conf`	Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. SSS Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller
2009	—	`conf`	Enforcing the use of API functions in linux code. ACP4IS@AOSD Julia L. Lawall, Gilles Muller, Nicolas Palix
2009	B	`conf`	Entropy: a consolidation manager for clusters. VEE Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia Lawall
2009	A	`conf`	I-JVM: a Java Virtual Machine for component isolation in OSGi. DSN Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot
2009	J	`jnl`	PLOS 2009: fifth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. Eric Eide, Gilles Muller, Olaf Spinczyk
2009	—	`ed.`	Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009 PLOS@SOSP Gilles Muller
2009	A	`conf`	WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
2008	A	`conf`	Documenting and automating collateral evolutions in linux device drivers. EuroSys Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller
2007	J	`jnl`	A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations CoRR Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller
2007	B	`conf`	A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. SRDS Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller
2007	—	`conf`	Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems Richard Urunuela, Gilles Muller, Julia L. Lawall
2007	—	`conf`	Towards easing the diagnosis of bugs in OS code. PLOS@SOSP Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller
2006	—	`conf`	Automatic Verification of Bossa Scheduler Properties. AVoCS Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller
2006	Misc	`conf`	Energy adaptation for multimedia information kiosks. EMSOFT Richard Urunuela, Gilles Muller, Julia L. Lawall
2006	J	`jnl`	Semantic patches considered helpful. ACM SIGOPS Oper. Syst. Rev. Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
2006	C	`conf`	Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
2006	—	`conf`	SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL Yoann Padioleau, Julia Lawall, Gilles Muller
2006	—	`conf`	SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL (Selected Papers) Yoann Padioleau, Julia L. Lawall, Gilles Muller
2006	A	`conf`	Understanding collateral evolution in Linux device drivers. EuroSys Yoann Padioleau, Julia L. Lawall, Gilles Muller
2005	—	`conf`	A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE Gilles Muller, Julia L. Lawall, Hervé Duchesne
2005	—	`conf`	A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS Gilles Muller, Julia L. Lawall, Hervé Duchesne
2005	B	`conf`	Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur
2005	B	`conf`	Formal Methods Meet Domain Specific Languages. IFM Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
2004	—	`conf`	Constructing component-based extension interfaces in legacy systems code. ACM SIGOPS European Workshop Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt
2004	C	`conf`	Invited application paper: language design for implementing process scheduling hierarchies. PEPM Julia L. Lawall, Gilles Muller, Hervé Duchesne
2004	B	`conf`	On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller
2004	J	`jnl`	Programmation post-objets. Des langages d'aspects aux langages de composants. Obj. Logiciel Base données Réseaux Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, Mario Südholt
2003	J	`jnl`	A domain-specific language approach to programmable networks. IEEE Trans. Syst. Man Cybern. Part C Gilles Muller, Julia L. Lawall, Scott Thibault, R. E. Voel Jensen
2003	A*	`conf`	On the automatic evolution of an OS kernel using temporal logic and AOP. ASE Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur
2003	—	`conf`	Web cache prefetching as an aspect: towards a dynamic-weaving based solution. AOSD Marc Ségura-Devillechaise, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall
2002	—	`conf`	Capturing OS expertise in an event type system: the Bossa experience. ACM SIGOPS European Workshop Julia L. Lawall, Gilles Muller, Luciano Porto Barreto
2002	A	`conf`	Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS Dan He, Gilles Muller, Julia L. Lawall
2002	—	`ed.`	Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002 ACM SIGOPS European Workshop Gilles Muller, Eric Jul
2002	—	`conf`	Think: A Software Framework for Component-based Operating System Kernels. USENIX ATC, General Track Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller
2001	A	`conf`	Bossa: A DSL Framework for Application-Specific Scheduling Policies. HotOS Luciano Porto Barreto, Gilles Muller
2001	—	`conf`	Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. LCTES/OM Fabrice Mérillon, Gilles Muller
2001	—	`conf`	Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. OM@PLDI Fabrice Mérillon, Gilles Muller
2001	A	`conf`	Improving Driver Robustness: An Evaluation of the Devil Approach. DSN Laurent Réveillère, Gilles Muller
2001	J	`jnl`	Specialization tools and techniques for systematic optimization of system software. ACM Trans. Comput. Syst. Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet
2001	J	`jnl`	WebCaL - a domain specific language for web caching. Comput. Commun. Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel
2000	A*	`conf`	A DSL Approach to Improve Productivity and Safety in Device Drivers Development. ASE Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller
2000	A*	`conf`	A Declarative Approach for Designing and Developing Adaptive Components. ASE Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel
2000	J	`jnl`	Accurate program analyses for successful specialization of legacy system software. Theor. Comput. Sci. Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi
2000	A*	`conf`	Devil: An IDL for Hardware Programming. OSDI Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller
2000	A	`conf`	Efficient Incremental Checkpointing of Java Programs. DSN Julia L. Lawall, Gilles Muller
2000	J	`jnl`	Java bytecode compression for low-end embedded systems. ACM Trans. Program. Lang. Syst. Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller
2000	—	`conf`	Specialization of Systems Programs: Lessons and Perspectives. SAIG Gilles Muller
2000	J	`jnl`	Static and Dynamic Program Compilation by Interpreter Specialization. High. Order Symb. Comput. Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller
2000	—	`conf`	Towards robust OSes for appliances: a new approach based on domain-specific languages. ACM SIGOPS European Workshop Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère
1999	A	`conf`	Adapting Distributed Applications Using Extensible Networks. ICDCS Scott Thibault, Jerôme Marant, Gilles Muller
1999	J	`jnl`	Harissa: A Hybrid Approach to Java Execution. IEEE Softw. Gilles Muller, Ulrik Pagh Schultz
1999	A	`conf`	Towards Automatic Specialization of Java Programs. ECOOP Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller
1998	A	`conf`	Fast, Optimized Sun RPC Using Automatic Program Specialization. ICDCS Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel
1998	J	`jnl`	Partial Evaluation for Software Engineering. ACM Comput. Surv. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
1998	B	`conf`	Safe and Efficient Active Network Programming. SRDS Scott Thibault, Charles Consel, Gilles Muller
1998	J	`jnl`	Tempo: Specializing Systems applications and Beyond. ACM Comput. Surv. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
1997	A	`conf`	Declarative Specialization of Object-Oriented Programs. OOPSLA Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan
1997	—	`conf`	Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. COOTS Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel
1997	C	`conf`	Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. PEPM Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet
1996	—	`conf`	FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. FTCS Nadine Peyrouze, Gilles Muller
1996	J	`jnl`	Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System. IEEE Trans. Reliab. Gilles Muller, Michel Banâtre, Nadine Peyrouze, Bruno Rochat
1995	—	`conf`	Matching micro-kernels to modern applications using fine-grained memory protection. SPDP Ciarán Bryce, Gilles Muller
1995	B	`conf`	The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. SRDS Gilbert Cabillic, Gilles Muller, Isabelle Puaut
1994	B	`conf`	Efficient Treatment of Failures in RPC Systems. SRDS Valérie Issarny, Gilles Muller, Isabelle Puaut
1994	Misc	`conf`	Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. EDCC Gilles Muller, Mireille Hue, Nadine Peyrouze
1994	—	`conf`	Towards Safe and Efficient Customization in Distributed Systems. ACM SIGOPS European Workshop Ciarán Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut
1993	—	`conf`	A Reliable Client-Server Model on Top of a Micro-Kernel. Hardware and Software Architectures for Fault Tolerance Gilles Muller
1993	—	`conf`	An Experience in the Design of a Reliable Object Based System (Synopsis). PDIS Michel Banâtre, Pack Heng, Gilles Muller, Nadine Peyrouze, Bruno Rochat
1993	J	`jnl`	Models and Paradigms for Distributed Systems Structuring - Summary of Sessions. ACM SIGOPS Oper. Syst. Rev. Ciarán Bryce, Daniel Hagimont, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat
1992	—	`conf`	Using dynamic atomic actions to build fault tolerant systems. ACM SIGOPS European Workshop Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat
1991	J	`jnl`	A stable transactional memory for building robust object oriented programs. Microprocessing and Microprogramming Gilles Muller, Bruno Rochat, Patrick Sanchez
1991	—	`conf`	Design Decisions for the FTM : A General Purpose Fault Tolerant Machine. FTCS Michel Banâtre, Gilles Muller, Bruno Rochat, Patrick Sanchez
1991	—	`conf`	How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. USENIX MACH Symposium Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat
1991	J	`jnl`	Stable Transactional Memories and Fault Tolerant Architectures. ACM SIGOPS Oper. Syst. Rev. Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez
1990	—	`conf`	Stable transactional memories and fault tolerant architectures. ACM SIGOPS European Workshop Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez
1989	—	`conf`	Architecture of fault-tolerant multiprocessor workstations. WWOS Jean-Pierre Banâtre, Michel Banâtre, Gilles Muller
1988	A*	`conf`	Ensuring Data Security and Integrity with a Fast Stable Storage. ICDE Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre