Gilles Muller

According to our database1, Gilles Muller authored at least 116 papers between 1988 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Usuba: Optimizing & Trustworthy Bitslicing Compiler.
Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, 2018

2017
Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Towards Proving Optimistic Multicore Schedulers.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

JMake: Dependable Compilation for Kernel Janitors.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

Analysing Selfishness Flooding with SEINE.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Fast and Portable Locking for Multicore Architectures.
ACM Trans. Comput. Syst., 2016

Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel.
Autom. Softw. Eng., 2016

Understanding the Memory Consumption of the MiBench Embedded Benchmark.
Proceedings of the Networked Systems - 4th International Conference, 2016

Automatic Code Generation for Iterative Multi-dimensional Stencil Computations.
Proceedings of the 23rd IEEE International Conference on High Performance Computing, 2016

Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

2015
Supporting Time-Based QoS Requirements in Software Transactional Memory.
TOPC, 2015

Implementing an embedded compiler using program transformation rules.
Softw., Pract. Exper., 2015

A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Incinerator - Eliminating Stale References in Dynamic OSGi Applications.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014
Faults in Linux 2.6.
ACM Trans. Comput. Syst., 2014

Faults in Linux 2.6.
CoRR, 2014

FastLane: Software Transactional Memory Optimized for Low Numbers of Threads.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Continuously measuring critical section pressure with the free-lunch profiler.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Oops! where did that code snippet come from?
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Memory monitoring in a multi-tenant OSGi execution environment.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications.
IEEE Trans. Dependable Sec. Comput., 2013

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.
Softw., Pract. Exper., 2013

Understanding the genetic makeup of Linux device drivers.
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

FastLane: improving performance of software transactional memory for low thread counts.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
RelaxDHT: A churn-resilient replication strategy for peer-to-peer distributed hash-tables.
TAAS, 2012

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Diagnosys: automatic generation of a debugging interface to the Linux kernel.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011
Zebu: A Language-Based Approach for Network Protocol Message Processing.
IEEE Trans. Software Eng., 2011

Finding resource-release omission faults in Linux.
Operating Systems Review, 2011

Summary of PLOS 2011: the sixth workshop on programming languages and operating systems.
Operating Systems Review, 2011

Finding resource-release omission faults in Linux.
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

An approach to improving the structure of error-handling code in the linux kernel.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Deadline-aware scheduling for Software Transactional Memory.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Faults in linux: ten years later.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Improving the Security of Infrastructure Software using Coccinelle.
ERCIM News, 2010

VMKit: a substrate for managed runtime environments.
Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Scheduling support for transactional memory contention management.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Bridging the Gap between Legacy Services and Web Services.
Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Efficient Workstealing for Multicore Event-Driven Systems.
Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

Finding Error Handling Bugs in OpenSSL Using Coccinelle.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Tracking code patterns over multiple software versions with Herodotos.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009
PLOS 2009: fifth workshop on programming languages and operating systems.
Operating Systems Review, 2009

Entropy: a consolidation manager for clusters.
Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables.
Proceedings of the Stabilization, 2009

A foundation for flow-based program matching: using temporal logic and model checking.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Automatic Generation of Network Protocol Gateways.
Proceedings of the Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30, 2009

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

I-JVM: a Java Virtual Machine for component isolation in OSGi.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Documenting and automating collateral evolutions in linux device drivers.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

2007
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.
Electr. Notes Theor. Comput. Sci., 2007

Automatic Verification of Bossa Scheduler Properties.
Electr. Notes Theor. Comput. Sci., 2007

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
CoRR, 2007

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Towards easing the diagnosis of bugs in OS code.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications.
Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

2006
Semantic patches considered helpful.
Operating Systems Review, 2006

Understanding collateral evolution in Linux device drivers.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Energy adaptation for multimedia information kiosks.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Semantic patches for documenting and automating collateral evolutions in Linux device drivers.
Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Formal Methods Meet Domain Specific Languages.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language.
Proceedings of the Generative Programming and Component Engineering, 2005

2004
Programmation post-objets. Des langages d'aspects aux langages de composants.
L'OBJET, 2004

Constructing component-based extension interfaces in legacy systems code.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Invited application paper: language design for implementing process scheduling hierarchies.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003
A domain-specific language approach to programmable networks.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2003

On the automatic evolution of an OS kernel using temporal logic and AOP.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Web cache prefetching as an aspect: towards a dynamic-weaving based solution.
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002
Think: A Software Framework for Component-based Operating System Kernels.
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Capturing OS expertise in an event type system: the Bossa experience.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Distributing MPEG Movies Over the Internet using Programmable Networks.
ICDCS, 2002

2001
Specialization tools and techniques for systematic optimization of system software.
ACM Trans. Comput. Syst., 2001

WebCaL - a domain specific language for web caching.
Computer Communications, 2001

Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language.
Proceedings of The Workshop on Languages, 2001

Bossa: A DSL Framework for Application-Specific Scheduling Policies.
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

Improving Driver Robustness: An Evaluation of the Devil Approach.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000
Java bytecode compression for low-end embedded systems.
ACM Trans. Program. Lang. Syst., 2000

Accurate program analyses for successful specialization of legacy system software.
Theor. Comput. Sci., 2000

Static and Dynamic Program Compilation by Interpreter Specialization.
Higher-Order and Symbolic Computation, 2000

Towards robust OSes for appliances: a new approach based on domain-specific languages.
Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, 2000

Specialization of Systems Programs: Lessons and Perspectives.
Proceedings of the Semantics, 2000

Devil: An IDL for Hardware Programming.
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

A DSL Approach to Improve Productivity and Safety in Device Drivers Development.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

A Declarative Approach for Designing and Developing Adaptive Components.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Efficient Incremental Checkpointing of Java Programs.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
Harissa: A Hybrid Approach to Java Execution.
IEEE Software, 1999

Adapting Distributed Applications Using Extensible Networks.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

Towards Automatic Specialization of Java Programs.
Proceedings of the ECOOP'99, 1999

1998
Partial Evaluation for Software Engineering.
ACM Comput. Surv., 1998

Tempo: Specializing Systems applications and Beyond.
ACM Comput. Surv., 1998

Safe and Efficient Active Network Programming.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Fast, Optimized Sun RPC Using Automatic Program Specialization.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Declarative Specialization of Object-Oriented Programs.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code.
Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1996
Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System.
IEEE Trans. Reliability, 1996

FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations.
Proceedings of the Digest of Papers: FTCS-26, 1996

1995
The Performance of Consistent Checkpointing in Distributed Shared Memory Systems.
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

Matching micro-kernels to modern applications using fine-grained memory protection.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

1994
Efficient Treatment of Failures in RPC Systems.
Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Towards Safe and Efficient Customization in Distributed Systems.
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment.
Proceedings of the Dependable Computing, 1994

1993
Models and Paradigms for Distributed Systems Structuring - Summary of Sessions.
Operating Systems Review, 1993

An Experience in the Design of a Reliable Object Based System (Synopsis).
Proceedings of the 2nd International Conference on Parallel and Distributed Information Systems (PDIS 1993), 1993

A Reliable Client-Server Model on Top of a Micro-Kernel.
Proceedings of the Hardware and Software Architectures for Fault Tolerance, 1993

1992
Using dynamic atomic actions to build fault tolerant systems.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

1991
Stable Transactional Memories and Fault Tolerant Architectures.
Operating Systems Review, 1991

How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms.
Proceedings of the USENIX MACH Symposium, Monterey, CA, USA, November 20-22, 1991, 1991

Design Decisions for the FTM : A General Purpose Fault Tolerant Machine.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990
Stable transactional memories and fault tolerant architectures.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

1988
Ensuring Data Security and Integrity with a Fast Stable Storage.
Proceedings of the Fourth International Conference on Data Engineering, 1988


  Loading...