Gilles Muller

IEEE Trans. Dependable Secur. Comput., 2013

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2013

Understanding the genetic makeup of Linux device drivers.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

FastLane: improving performance of software transactional memory for low thread counts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2012

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications.

[BibT_eX]

[DOI]

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Diagnosys: automatic generation of a debugging interface to the Linux kernel.

[BibT_eX]

[DOI]

Tegawendé F. Bissyandé

Laurent Réveillère

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011

Zebu: A Language-Based Approach for Network Protocol Message Processing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Finding resource-release omission faults in Linux.

[BibT_eX]

[DOI]

Suman Saha

ACM SIGOPS Oper. Syst. Rev., 2011

Summary of PLOS 2011: the sixth workshop on programming languages and operating systems.

[BibT_eX]

[DOI]

Eric Eide

Wolfgang Schröder-Preikschat

Olaf Spinczyk

ACM SIGOPS Oper. Syst. Rev., 2011

An approach to improving the structure of error-handling code in the linux kernel.

[BibT_eX]

[DOI]

Suman Saha

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Deadline-aware scheduling for Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Faults in linux: ten years later.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ERCIM News, 2010

VMKit: a substrate for managed runtime environments.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Scheduling support for transactional memory contention management.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Bridging the Gap between Legacy Services and Web Services.

[BibT_eX]

[DOI]

Tegawendé F. Bissyandé

Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Efficient Workstealing for Multicore Event-Driven Systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

Finding Error Handling Bugs in OpenSSL Using Coccinelle.

[BibT_eX]

[DOI]

Proceedings of the Eighth European Dependable Computing Conference, 2010

Tracking code patterns over multiple software versions with Herodotos.

[BibT_eX]

[DOI]

Nicolas Palix

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

PLOS 2009: fifth workshop on programming languages and operating systems.

[BibT_eX]

[DOI]

Eric Eide

Olaf Spinczyk

ACM SIGOPS Oper. Syst. Rev., 2009

Entropy: a consolidation manager for clusters.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

A foundation for flow-based program matching: using temporal logic and model checking.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Automatic Generation of Network Protocol Gateways.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Enforcing the use of API functions in linux code.

[BibT_eX]

[DOI]

Nicolas Palix

Proceedings of the ACP4IS@AOSD 2009: Proceedings of the 8th workshop on Aspects, 2009

2008

Documenting and automating collateral evolutions in linux device drivers.

[BibT_eX]

[DOI]

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

2007

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Towards easing the diagnosis of bugs in OS code.

[BibT_eX]

[DOI]

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications.

[BibT_eX]

[DOI]

Richard Urunuela

Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

2006

Semantic patches considered helpful.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2006

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.

[BibT_eX]

[DOI]

Yoann Padioleau

Proceedings of the Selected Papers of the ERCIM Working Group on Software Evolution, 2006

Automatic Verification of Bossa Scheduler Properties.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

Understanding collateral evolution in Linux device drivers.

[BibT_eX]

[DOI]

Yoann Padioleau

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Energy adaptation for multimedia information kiosks.

[BibT_eX]

[DOI]

Richard Urunuela

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Semantic patches for documenting and automating collateral evolutions in Linux device drivers.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005

Formal Methods Meet Domain Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.

[BibT_eX]

[DOI]

Hervé Duchesne

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.

[BibT_eX]

[DOI]

Hervé Duchesne

Anne-Françoise Le Meur

Proceedings of the Generative Programming and Component Engineering, 2005

2004

Programmation post-objets. Des langages d'aspects aux langages de composants.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2004

Constructing component-based extension interfaces in legacy systems code.

[BibT_eX]

[DOI]

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Invited application paper: language design for implementing process scheduling hierarchies.

[BibT_eX]

[DOI]

Hervé Duchesne

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.

[BibT_eX]

[DOI]

Anne-Françoise Le Meur

Marc Ségura-Devillechaise

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003

A domain-specific language approach to programmable networks.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2003

On the automatic evolution of an OS kernel using temporal logic and AOP.

[BibT_eX]

[DOI]

Anne-Françoise Le Meur

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.

[BibT_eX]

[DOI]

Jean-Marc Menaud

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002

Think: A Software Framework for Component-based Operating System Kernels.

[BibT_eX]

[DOI]

Jean-Philippe Fassino

Jean-Bernard Stefani

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Capturing OS expertise in an event type system: the Bossa experience.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Distributing MPEG Movies Over the Internet using Programmable Networks.

[BibT_eX]

[DOI]

Dan He

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001

Specialization tools and techniques for systematic optimization of system software.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2001

WebCaL - a domain specific language for web caching.

[BibT_eX]

[DOI]

Comput. Commun., 2001

Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language.

[BibT_eX]

[DOI]

Fabrice Mérillon

Proceedings of The Workshop on Languages, 2001

Bossa: A DSL Framework for Application-Specific Scheduling Policies.

[BibT_eX]

[DOI]

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

Improving Driver Robustness: An Evaluation of the Devil Approach.

[BibT_eX]

[DOI]

Laurent Réveillère

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.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

Accurate program analyses for successful specialization of legacy system software.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Static and Dynamic Program Compilation by Interpreter Specialization.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2000

Towards robust OSes for appliances: a new approach based on domain-specific languages.

[BibT_eX]

[DOI]

Fabrice Mérillon

Laurent Réveillère

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Specialization of Systems Programs: Lessons and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Semantics, 2000

Devil: An IDL for Hardware Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

A Declarative Approach for Designing and Developing Adaptive Components.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Efficient Incremental Checkpointing of Java Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ulrik Pagh Schultz

IEEE Softw., 1999

Adapting Distributed Applications Using Extensible Networks.

[BibT_eX]

[DOI]

Scott Thibault

Jerôme Marant

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

Towards Automatic Specialization of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'99, 1999

1998

Partial Evaluation for Software Engineering.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1998

Tempo: Specializing Systems applications and Beyond.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1998

Safe and Efficient Active Network Programming.

[BibT_eX]

[DOI]

Scott Thibault

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Fast, Optimized Sun RPC Using Automatic Program Specialization.

[BibT_eX]

[DOI]

Calton Pu

Ashvin Goel

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Declarative Specialization of Object-Oriented Programs.

[BibT_eX]

[DOI]

Crispin Cowan

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 1996

FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations.

[BibT_eX]

[DOI]

Nadine Peyrouze

Proceedings of the Digest of Papers: FTCS-26, 1996

1995

The Performance of Consistent Checkpointing in Distributed Shared Memory Systems.

[BibT_eX]

[DOI]

Gilbert Cabillic

Isabelle Puaut

Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

Matching micro-kernels to modern applications using fine-grained memory protection.

[BibT_eX]

[DOI]

Ciarán Bryce

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

1994

Efficient Treatment of Failures in RPC Systems.

[BibT_eX]

[DOI]

Valérie Issarny

Isabelle Puaut

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Towards Safe and Efficient Customization in Distributed Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mireille Hue

Nadine Peyrouze

Proceedings of the Dependable Computing, 1994

1993

Models and Paradigms for Distributed Systems Structuring - Summary of Sessions.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1993

An Experience in the Design of a Reliable Object Based System (Synopsis).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software Architectures for Fault Tolerance, 1993

1992

Using dynamic atomic actions to build fault tolerant systems.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

1991

Stable Transactional Memories and Fault Tolerant Architectures.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1991

A stable transactional memory for building robust object oriented programs.

[BibT_eX]

[DOI]

Bruno Rochat

Patrick Sanchez

Microprocessing and Microprogramming, 1991

How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1989

Architecture of fault-tolerant multiprocessor workstations.

[BibT_eX]

[DOI]

Jean-Pierre Banâtre

Michel Banâtre

Proceedings of the Second Workshop On Workstation Operating Systems, 1989

1988

Ensuring Data Security and Integrity with a Fast Stable Storage.

[BibT_eX]

[DOI]

Michel Banâtre