Transaction Activation scheduling Support for Transactional Memory (2009)
Maldonado, Walther, Marlier, Patrick, Felber, Pascal, Lawall, Julia, Muller, Gilles
Transactional Memory (TM) is considered as one of the most promising paradigms for developing concurrent applications. TM has been shown to scale well on multiple cores when the data access pattern...
Transaction Activation scheduling Support for Transactional Memory (2009)
Maldonado, Walther, Marlier, Patrick, Felber, Pascal, Lawall, Julia, Muller, Gilles
Transactional Memory (TM) is considered as one of the most promising paradigms for developing concurrent applications. TM has been shown to scale well on multiple cores when the data access pattern...
Herodotos: A Tool to Expose Bugs' Lives (2009)
Palix, Nicolas, Lawall, Julia, Muller, Gilles
Software is continually evolving, to improve performance, correct errors, and add new features. Code modifications, however, inevitably lead to the introduction of defects. To prevent the...
Herodotos: A Tool to Expose Bugs' Lives (2009)
Palix, Nicolas, Lawall, Julia, Muller, Gilles
Software is continually evolving, to improve performance, correct errors, and add new features. Code modifications, however, inevitably lead to the introduction of defects. To prevent the...
Entropy: a Consolidation Manager for Clusters (2008)
Hermenier, Fabien, Lorca, Xavier, Menaud, Jean-Marc, Muller, Gilles, Lawall, Julia
Clusters provide powerful computing environments, but in practice much of this power goes to waste, due to the static allocation of tasks to nodes, regardless of their changing computational...
Entropy: a Consolidation Manager for Clusters (2008)
Hermenier, Fabien, Lorca, Xavier, Menaud, Jean-Marc, Muller, Gilles, Lawall, Julia
Clusters provide powerful computing environments, but in practice much of this power goes to waste, due to the static allocation of tasks to nodes, regardless of their changing computational...
Providing Support for Safe Software Architecture Transformations (2008)
Olivier Barais, Julia Lawall, Laurence Duchien
Software architecture is a key concept in the design of a complex system. An architecture models the structure and behavior of the system, including the software elements and the relationships...
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking (2008)
Brunel, Julien, Doligez, Damien, Hansen, René, Lawall, Julia, Muller, Gilles
Reasoning about program control-flow paths is an important functionality of a number of recent program matching languages and associated searching and transformation tools. Temporal logic provides a...
WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code (2008)
Lawall, Julia, Brunel, Julien, Hansen, René, Stuart, Henrik, Muller, Gilles
Although a number of approaches to finding bugs in systems code have been proposed, bugs still remain to be found. Current approaches have emphasized scalability more than usability, and as a result...
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking (2008)
Brunel, Julien, Doligez, Damien, Hansen, René, Lawall, Julia, Muller, Gilles
Reasoning about program control-flow paths is an important functionality of a number of recent program matching languages and associated searching and transformation tools. Temporal logic provides a...
WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code (2008)
Lawall, Julia, Brunel, Julien, Hansen, René, Stuart, Henrik, Muller, Gilles
Although a number of approaches to finding bugs in systems code have been proposed, bugs still remain to be found. Current approaches have emphasized scalability more than usability, and as a result...
Entropy: a Consolidation Manager for Clusters (2008)
Hermenier, Fabien, Lorca, Xavier, Menaud, Jean-Marc, Muller, Gilles, Lawall, Julia
Clusters provide powerful computing environments, but in practice much of this power goes to waste, due to the static allocation of tasks to nodes, regardless of their changing computational...
Entropy: a Consolidation Manager for Clusters (2008)
Hermenier, Fabien, Lorca, Xavier, Menaud, Jean-Marc, Muller, Gilles, Lawall, Julia
Clusters provide powerful computing environments, but in practice much of this power goes to waste, due to the static allocation of tasks to nodes, regardless of their changing computational...
High-level Programming Support for Robust Pervasive Computing Applications (2008)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provides declarative...
Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services (2008)
Mercadal, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Coordinating entities in a networked environment has always been a significant challenge for software developers. In recent years, however, it has become even more difficult, because...
High-level Programming Support for Robust Pervasive Computing Applications (2008)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provides declarative...
Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services (2008)
Mercadal, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Coordinating entities in a networked environment has always been a significant challenge for software developers. In recent years, however, it has become even more difficult, because...
Software Architecture Evolution (2008)
Barais, Olivier, Le Meur, Anne-Françoise, Duchien, Laurence, Lawall, Julia
This chapter provides an overview, comparison and detailed treatment of the various state-of-the-art approaches to evolving software architectures. Furthermore, we discuss one particular framework...
Software Architecture Evolution (2008)
Barais, Olivier, Le Meur, Anne-Françoise, Duchien, Laurence, Lawall, Julia
This chapter provides an overview, comparison and detailed treatment of the various state-of-the-art approaches to evolving software architectures. Furthermore, we discuss one particular framework...
Chapter 2 Scheme in preparation for Unmix (2007)
John McCarthy expounded the fundamentals of functional programming in [McC 60] and constructed the programming language LISP (List Processing Language) based on these
de recherche Experiments in Program Compilation by Interpreter Specialization (2007)
Apport De Recherche, Gilles Muller, Julia Lawall, Scott Thibault, Scott Thibault, Laurent Bercot, ...
Interpretation and run-time compilation techniques are becoming increasingly important due to the need to support heterogeneous architectures, evolving programming languages, and dynamically...
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications (2007)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Pervasive computing environments introduce new challenges for application development, due to the heterogeneity of the devices involved. In practice, pervasive computing applications rely on...
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications (2007)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Pervasive computing environments introduce new challenges for application development, due to the heterogeneity of the devices involved. In practice, pervasive computing applications rely on...
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications (2007)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Pervasive computing environments introduce new challenges for application development, due to the heterogeneity of the devices involved. In practice, pervasive computing applications rely on...
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications (2007)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Pervasive computing environments introduce new challenges for application development, due to the heterogeneity of the devices involved. In practice, pervasive computing applications rely on...
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications (2007)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Pervasive computing environments introduce new challenges for application development, due to the heterogeneity of the devices involved. In practice, pervasive computing applications rely on...
Burgy, Laurent, Réveillère, Laurent, Lawall, Julia, Muller, Gilles
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing network...
Burgy, Laurent, Réveillère, Laurent, Lawall, Julia, Muller, Gilles
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing network...
Laurent, Burgy, Réveillère, Laurent, Lawall, Julia, Muller, Gilles
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing network...
Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers (2007)
Padioleau, Yoann, Rydhof Hansen, René, Lawall, Julia, Muller, Gilles
Collateral evolutions are a pervasive problem in Linux device driver development, due to the frequent evolution of Linux driver support libraries and APIs. Such evolutions are needed when an...
Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers (2007)
Padioleau, Yoann, Rydhof Hansen, René, Lawall, Julia, Muller, Gilles
Collateral evolutions are a pervasive problem in Linux device driver development, due to the frequent evolution of Linux driver support libraries and APIs. Such evolutions are needed when an...
Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers (2007)
Padioleau, Yoann, Rydhof Hansen, René, Lawall, Julia, Muller, Gilles
Collateral evolutions are a pervasive problem in Linux device driver development, due to the frequent evolution of Linux driver support libraries and APIs. Such evolutions are needed when an...
Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers (2007)
Padioleau, Yoann, Rydhof Hansen, René, Lawall, Julia, Muller, Gilles
Collateral evolutions are a pervasive problem in Linux device driver development, due to the frequent evolution of Linux driver support libraries and APIs. Such evolutions are needed when an...
Burgy, Laurent, Réveillère, Laurent, Lawall, Julia, Muller, Gilles
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing network...
Burgy, Laurent, Réveillère, Laurent, Lawall, Julia, Muller, Gilles
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing network...
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications (2007)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Pervasive computing environments introduce new challenges for application development, due to the heterogeneity of the devices involved. In practice, pervasive computing applications rely on...
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications (2007)
Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia
Pervasive computing environments introduce new challenges for application development, due to the heterogeneity of the devices involved. In practice, pervasive computing applications rely on...
A Stepwise Approach to Developing Languages for SIP Telephony Service Creation (2007)
Palix, Nicolas, Réveillère, Laurent, Consel, Charles, Lawall, Julia
Developing a SIP-based telephony service requires a programmer to have expertise in telephony rules and constraints, the SIP protocol, distributed systems, and a SIP API, which is often large and...
A Stepwise Approach to Developing Languages for SIP Telephony Service Creation (2007)
Palix, Nicolas, Réveillère, Laurent, Consel, Charles, Lawall, Julia
Developing a SIP-based telephony service requires a programmer to have expertise in telephony rules and constraints, the SIP protocol, distributed systems, and a SIP API, which is often large and...
Burgy, Laurent, Réveillère, Laurent, Lawall, Julia, Muller, Gilles
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing network...
Burgy, Laurent, Réveillère, Laurent, Lawall, Julia, Muller, Gilles
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing network...
Thème Com, Laurent Burgy, Laurent Burgy, Laurent Réveillère, Laurent Réveillère, Julia Lawall, ...
apport de recherche ISSN 0249-6399 ISRN INRIA/RR--6167--FR+ENG
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications (2007)
Urunuela, Richard, Muller, Gilles, Lawall, Julia
Video display has significant, but highly variable, CPU requirements. As such, it is an attractive target for power management via dynamic voltage scaling. In previous work, we have proposed a...
Automatic Verification of Bossa Scheduler Properties (2006)
Bodeveix, Jean-Paul, Filali, Mamoun, Lawall, Julia, Muller, Gilles
Bossa is a development environment for operating-system process schedulers that provides numerous safety guarantees. In this paper, we show how to automate the checking of safety properties of a...
Automatic Verification of Bossa Scheduler Properties (2006)
Bodeveix, Jean-Paul, Filali, Mamoun, Lawall, Julia, Muller, Gilles
Bossa is a development environment for operating-system process schedulers that provides numerous safety guarantees. In this paper, we show how to automate the checking of safety properties of a...
Automatic Verification of Bossa Scheduler Properties (2006)
Bodeveix, Jean-Paul, Filali, Mamoun, Lawall, Julia, Muller, Gilles
Bossa is a development environment for operating-system process schedulers that provides numerous safety guarantees. In this paper, we show how to automate the checking of safety properties of a...
Language Technology for Internet-Telephony Service Creation (2006)
Burgy, Laurent, Consel, Charles, Latry, Fabien, Lawall, Julia, Palix, Nicolas, Réveillère, Laurent
Telephony is evolving at a frantic pace, critically relying on the development of services to offer a host of new functionalities. However, programming Internet telephony services requires an...
Language Technology for Internet-Telephony Service Creation (2006)
Burgy, Laurent, Consel, Charles, Latry, Fabien, Lawall, Julia, Palix, Nicolas, Réveillère, Laurent
Telephony is evolving at a frantic pace, critically relying on the development of services to offer a host of new functionalities. However, programming Internet telephony services requires an...
Bhatia, Sapan, Consel, Charles, Lawall, Julia
Event-driven programming has emerged as a standard to implement high-performance servers due to its flexibility and low OS overhead. Still, memory access remains a bottleneck. Generic...
Minimizing cache misses in an event-driven network server: A case study of TUX (2006)
Bhatia, Sapan, Consel, Charles, Lawall, Julia
We analyze the performance of CPU-bound network servers and demonstrate experimentally that the degradation in the performance of these servers under high-concurrency workloads is largely due to...
Bhatia, Sapan, Consel, Charles, Lawall, Julia
Event-driven programming has emerged as a standard to implement high-performance servers due to its flexibility and low OS overhead. Still, memory access remains a bottleneck. Generic...
Minimizing cache misses in an event-driven network server: A case study of TUX (2006)
Bhatia, Sapan, Consel, Charles, Lawall, Julia
We analyze the performance of CPU-bound network servers and demonstrate experimentally that the degradation in the performance of these servers under high-concurrency workloads is largely due to...
Julia Lawall, Luiz Cristovüao, Gomes Coelho
– Language for structuring graphical front-ends for simulation data
Safe Integration of New Concerns in a Software Architecture (2006)
Olivier Barais, Julia Lawall, Laurence Duchien
Software architectures must frequently evolve to cope with changing requirements, and this evolution often implies integrating new concerns. Unfortunately, existing architecture description languages...
Telephony Software Engineering: A Domain-Specific Language Approach (2005)
Burgy, Laurent, Consel, Charles, Latry, Fabien, Lawall, Julia, Palix, Nicolas, Réveillère, Laurent
Telephony is evolving at a frantic pace, after having converged with computer networks and multimedia, and now offers a host of new functionalities. This evolution is led by the Session Initiation...
Understanding Collateral Evolution in Linux Device Drivers (2005)
Padioleau, Yoann, Lawall, Julia, Muller, Gilles
In a modern operating system (OS), device drivers can make up over 70% of the source code. Driver code is also heavily dependent on the rest of the OS, for functions and data structure defined in the...
Telephony Software Engineering: A Domain-Specific Language Approach (2005)
Burgy, Laurent, Consel, Charles, Latry, Fabien, Lawall, Julia, Palix, Nicolas, Réveillère, Laurent
Telephony is evolving at a frantic pace, after having converged with computer networks and multimedia, and now offers a host of new functionalities. This evolution is led by the Session Initiation...
Understanding Collateral Evolution in Linux Device Drivers (2005)
Padioleau, Yoann, Lawall, Julia, Muller, Gilles
In a modern operating system (OS), device drivers can make up over 70% of the source code. Driver code is also heavily dependent on the rest of the OS, for functions and data structure defined in the...
Telephony Software Engineering: A Domain-Specific Language Approach (2005)
Burgy, Laurent, Consel, Charles, Latry, Fabien, Lawall, Julia, Palix, Nicolas, Réveillère, Laurent
Telephony is evolving at a frantic pace, after having converged with computer networks and multimedia, and now offers a host of new functionalities. This evolution is led by the Session Initiation...
Formal methods meet domain specific languages (2005)
Jean-paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Abstract. In this paper, we relate an experiment whose aim is to study how to combine two existing approaches for ensuring software correctness: Domain Specific Languages (DSLs) and formal methods....
Zhenjiang Hu, Shin-cheng Mu, Nevin Heintze, Julia Lawall, Michael Leuschel, Peter Sestoft
Abstract. This paper presents an application of bidirectional transformations to design and implementation of a novel editor supporting interactive refinement in the development of structured...
Zhenjiang Hu, Shin-cheng Mu, Nevin Heintze, Julia Lawall, Michael Leuschel, Peter Sestoft
Abstract. This paper presents an application of bidirectional transformation to the design and implementation of a novel editor supporting interactive refinement in the development of structured...
THINK: ASoftware Framework for Component-based Operating System Kernels (2002)
Proceedings Of The, Jean-bernard Stefani, Julia Lawall, Gilles Muller
Permission is granted for noncommercial reproduction of the work for educational or research purposes.
THINK: A Software Framework for Component-based Operating System Kernels (2002)
Jean-bernard Stefani, Julia Lawall, Gilles Muller, France Télécom R&d
Building a flexible kernel from components is a promising solution for supporting various embedded systems. The use of components encourages code re-use and reduces development time. Flexibility...
DAT V Programmeringssprog (2): Scheme in preparation for (2002)
John McCarthy expounded the fundamentals of functional programming in [McC 60] and constructed the programming language LISP (List Processing Language) based on these ideas. The language was intended...
Specialization Patterns (1999)
Schultz, Ulrik Pagh, Lawall, Julia, Consel, Charles
Design patterns offer numerous advantages for software development, but can introduce inefficiency into the finished program. Program specialization can eliminate such overheads, but is most...
Faster Run-time Specialized Code using Data Specialization (1999)
Run-time specialization is a technique that optimizes a program based on run-time information. In this context, specialization time must be constrained, limiting the possibility to further optimize...
Efficient Incremental Checkpointing of Java Programs (1999)
This paper presents a user-driven language-level approach to the checkpointing of Java programs. First, we describe how to systematically associate increment- al checkpoints with Java classes. While...
Specialization Patterns (1999)
Schultz, Ulrik Pagh, Lawall, Julia, Consel, Charles
Design patterns offer numerous advantages for software development, but can introduce inefficiency into the finished program. Program specialization can eliminate such overheads, but is most...
Faster Run-time Specialized Code using Data Specialization (1999)
Run-time specialization is a technique that optimizes a program based on run-time information. In this context, specialization time must be constrained, limiting the possibility to further optimize...
Efficient Incremental Checkpointing of Java Programs (1999)
This paper presents a user-driven language-level approach to the checkpointing of Java programs. First, we describe how to systematically associate increment- al checkpoints with Java classes. While...
Experiments in Program Compilation by Interpreter Specialization (1998)
Thibault, Scott, Bercot, Laurent, Consel, Charles, Marlet, Renaud, Muller, Gilles, Lawall, Julia
Interpretation and run-time compilation techniques are becoming increasingly important due to the need to support heterogeneous architectures, evolving programming languages, and dynamically...
Towards Automatic Specialization of Java Programs (1998)
Schultz, Ulrik Pagh, Lawall, Julia, Consel, Charles, Muller, Gilles
Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. This technique has proved useful...
Experiments in Program Compilation by Interpreter Specialization (1998)
Thibault, Scott, Bercot, Laurent, Consel, Charles, Marlet, Renaud, Muller, Gilles, Lawall, Julia
Interpretation and run-time compilation techniques are becoming increasingly important due to the need to support heterogeneous architectures, evolving programming languages, and dynamically...
Faster Fourier Transforms via Automatic Program Specialization (1998)
Because of its wide applicability, many efficient implementations of the Fast Fourier Transform have been developed. In this paper we propose that efficient implementations can be produced...
Towards Automatic Specialization of Java Programs (1998)
Schultz, Ulrik Pagh, Lawall, Julia, Consel, Charles, Muller, Gilles
Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. This technique has proved useful...
Experiments in Program Compilation by Interpreter Specialization (1998)
Thibault, Scott, Bercot, Laurent, Consel, Charles, Marlet, Renaud, Muller, Gilles, Lawall, Julia
Interpretation and run-time compilation techniques are becoming increasingly important due to the need to support heterogeneous architectures, evolving programming languages, and dynamically...
Faster Fourier Transforms via Automatic Program Specialization (1998)
Because of its wide applicability, many efficient implementations of the Fast Fourier Transform have been developed. In this paper we propose that efficient implementations can be produced...
Experiments in Program Compilation by Interpreter Specialization (1998)
Gilles Muller, Julia Lawall, Th Eme, Scott Thibault, Scott Thibault, Laurent Bercot, ...
Interpretation and run-time compilation techniques are becoming increasingly important due to the need to support heterogeneous architectures, evolving programming languages, and dynamically...
Experiments in Program Compilation by Interpreter Specialization (1998)
Scott Thibault, Laurent Bercot, Charles Consel, Renaud Marlet, Gilles Muller, Julia Lawall
: Interpretation and run-time compilation techniques are becoming increasingly important due to the need to support heterogeneous architectures, evolving programming languages, and dynamically...
Optimality and Inefficiency : What Isn't a Cost Model of the Lambda Calculus? (1996)
Julia Lawall, Harry G. Mairson
We investigate the computational efficiency of the sharing graphs of Lamping [Lam90], Gonthier, Abadi, and L'evy [GAL92], and Asperti [Asp94], designed to effect so-called optimal evaluation,...
Back to Direct Style II: First-Class Continuations (1992)
We continue to investigate the direct-style transformation by extending it to programs requiring call-with-currentcontinuation (a.k.a. call/cc). The direct style (DS) and the continuation-passing...