| 2009 |
|---|
| 60 | EE | 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 |
| 59 | EE | Fabien Hermenier,
Xavier Lorca,
Jean-Marc Menaud,
Gilles Muller,
Julia L. Lawall:
Entropy: a consolidation manager for clusters.
VEE 2009: 41-50 |
| 2008 |
|---|
| 58 | EE | Jesper Andersen,
Julia L. Lawall:
Generic Patch Inference.
ASE 2008: 337-346 |
| 57 | EE | Yoann Padioleau,
Julia L. Lawall,
René Rydhof Hansen,
Gilles Muller:
Documenting and automating collateral evolutions in linux device drivers.
EuroSys 2008: 247-260 |
| 56 | EE | Julien Mercadal,
Nicolas Palix,
Charles Consel,
Julia L. Lawall:
Pantaxou: a domain-specific language for developing safe coordination services.
GPCE 2008: 149-160 |
| 55 | EE | Wilfried Jouve,
Julien Lancia,
Nicolas Palix,
Charles Consel,
Julia L. Lawall:
High-level Programming Support for Robust Pervasive Computing Applications.
PerCom 2008: 252-255 |
| 54 | EE | Olivier Barais,
Anne-Françoise Le Meur,
Laurence Duchien,
Julia L. Lawall:
Software Architecture Evolution.
Software Evolution 2008: 233-262 |
| 53 | EE | Julia L. Lawall,
Michael Leuschel,
Peter Sestoft:
Editorial.
Higher-Order and Symbolic Computation 21(1-2): 1-3 (2008) |
| 52 | EE | Julia L. Lawall:
Editorial.
J. Funct. Program. 18(5-6): 565-566 (2008) |
| 2007 |
|---|
| 51 | | Charles Consel,
Julia L. Lawall:
Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings
ACM 2007 |
| 50 | EE | Richard Urunuela,
Gilles Muller,
Julia L. Lawall:
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications.
Power-aware Computing Systems 2007 |
| 49 | EE | 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 |
| 48 | EE | 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) |
| 47 | EE | 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) |
| 46 | EE | 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) |
| 2006 |
|---|
| 45 | | John H. Reppy,
Julia L. Lawall:
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006
ACM 2006 |
| 44 | EE | Olivier Barais,
Anne-Françoise Le Meur,
Laurence Duchien,
Julia L. Lawall:
Safe Integration of New Concerns in a Software Architecture.
ECBS 2006: 52-64 |
| 43 | EE | Richard Urunuela,
Gilles Muller,
Julia L. Lawall:
Energy adaptation for multimedia information kiosks.
EMSOFT 2006: 223-232 |
| 42 | EE | Yoann Padioleau,
Julia L. Lawall,
Gilles Muller:
Understanding collateral evolution in Linux device drivers.
EuroSys 2006: 59-71 |
| 41 | EE | Sapan Bhatia,
Charles Consel,
Julia L. Lawall:
Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior.
ISMM 2006: 104-114 |
| 40 | EE | Sapan Bhatia,
Charles Consel,
Julia L. Lawall:
Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX.
LCN 2006: 47-54 |
| 39 | EE | 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 |
| 38 | EE | Julia L. Lawall,
Christian W. Probst,
Ulrik Pagh Schultz:
Issues in holistic system design.
PLOS 2006: 12 |
| 37 | EE | Gilles Muller,
Yoann Padioleau,
Julia L. Lawall,
René Rydhof Hansen:
Semantic patches considered helpful.
Operating Systems Review 40(3): 90-92 (2006) |
| 2005 |
|---|
| 36 | EE | 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 |
| 35 | EE | Gilles Muller,
Julia L. Lawall,
Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
HASE 2005: 56-65 |
| 34 | EE | Jean-Paul Bodeveix,
Mamoun Filali,
Julia L. Lawall,
Gilles Muller:
Formal Methods Meet Domain Specific Languages.
IFM 2005: 187-206 |
| 33 | EE | Olivier Barais,
Julia L. Lawall,
Anne-Françoise Le Meur,
Laurence Duchien:
Providing Support for Safe Software Architecture Transformations.
WICSA 2005: 201-202 |
| 32 | EE | Gilles Muller,
Julia L. Lawall,
Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
WORDS 2005: 219-230 |
| 31 | EE | Matthias Felleisen,
Julia L. Lawall,
Manuel Serrano,
Olin Shivers:
Editorial.
Higher-Order and Symbolic Computation 18(3-4): 243-244 (2005) |
| 2004 |
|---|
| 30 | EE | 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 |
| 29 | EE | 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 |
| 28 | EE | Julia L. Lawall,
Gilles Muller,
Hervé Duchesne:
Invited application paper: language design for implementing process scheduling hierarchies.
PEPM 2004: 80-91 |
| 27 | EE | Anne-Françoise Le Meur,
Julia L. Lawall,
Charles Consel:
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.
Higher-Order and Symbolic Computation 17(1-2): 47-92 (2004) |
| 26 | EE | Charles Consel,
Julia L. Lawall,
Anne-Françoise Le Meur:
A tour of Tempo: a program specializer for the C language.
Sci. Comput. Program. 52: 341-370 (2004) |
| 2003 |
|---|
| 25 | EE | 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 |
| 24 | EE | 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 |
| 23 | EE | Ulrik Pagh Schultz,
Julia L. Lawall,
Charles Consel:
Automatic program specialization for Java.
ACM Trans. Program. Lang. Syst. 25(4): 452-499 (2003) |
| 22 | | 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) |
| 2002 |
|---|
| 21 | EE | 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 |
| 20 | EE | Dan He,
Gilles Muller,
Julia L. Lawall:
Distributing MPEG Movies Over the Internet using Programmable Networks.
ICDCS 2002: 161-170 |
| 19 | EE | Anne-Françoise Le Meur,
Julia L. Lawall,
Charles Consel:
Towards bridging the gap between programming languages and partial evaluation.
PEPM 2002: 9-18 |
| 18 | EE | 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 |
| 2001 |
|---|
| 17 | EE | Julia L. Lawall:
Implementing Circularity Using Partial Evaluation.
PADO 2001: 84-102 |
| 16 | | Olivier Danvy,
Julia L. Lawall:
Editorial.
Higher-Order and Symbolic Computation 14(2-3): 99-100 (2001) |
| 15 | EE | Bernd Grobauer,
Julia L. Lawall:
Partial Evaluation of Pattern Matching in Strings, revisited.
Nord. J. Comput. 8(4): 437-462 (2001) |
| 2000 |
|---|
| 14 | EE | Ulrik Pagh Schultz,
Julia L. Lawall,
Charles Consel:
Specialization Patterns.
ASE 2000: 197- |
| 13 | EE | Julia L. Lawall,
Gilles Muller:
Efficient Incremental Checkpointing of Java Programs.
DSN 2000: 61-70 |
| 12 | EE | Julia L. Lawall,
Harry G. Mairson:
Sharing Continuations: Proofnets for Languages with Explicit Control.
ESOP 2000: 245-259 |
| 11 | | 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) |
| 1999 |
|---|
| 10 | EE | Ulrik Pagh Schultz,
Julia L. Lawall,
Charles Consel,
Gilles Muller:
Towards Automatic Specialization of Java Programs.
ECOOP 1999: 367-390 |
| 1998 |
|---|
| 9 | EE | François Noël,
Luke Hornof,
Charles Consel,
Julia L. Lawall:
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study.
ICCL 1998: 132-142 |
| 8 | | Julia L. Lawall:
Faster Fourier Transforms via Automatic Program Specialization.
Partial Evaluation 1998: 338-355 |
| 1997 |
|---|
| 7 | | Julia L. Lawall,
Harry G. Mairson:
on Global Dynamics of Optimal Graph Reduction.
ICFP 1997: 188-195 |
| 6 | | Julia L. Lawall,
Peter Thiemann:
Sound Specialization in the Presence of Computational Effects.
TACS 1997: 165-190 |
| 1996 |
|---|
| 5 | | Julia L. Lawall,
Harry G. Mairson:
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?
ICFP 1996: 92-101 |
| 1994 |
|---|
| 4 | EE | Julia L. Lawall,
Olivier Danvy:
Continuation-Based Partial Evaluation.
LISP and Functional Programming 1994: 227-238 |
| 1993 |
|---|
| 3 | | Julia L. Lawall:
Proofs by Structural Induction using Partial Evaluation.
PEPM 1993: 155-166 |
| 2 | | Julia L. Lawall,
Olivier Danvy:
Separating Stages in the Continuation-Passing Style Transformation.
POPL 1993: 124-136 |
| 1992 |
|---|
| 1 | EE | Olivier Danvy,
Julia L. Lawall:
Back to Direct Style II: First-Class Continuations.
LISP and Functional Programming 1992: 299-310 |
