Julia L. Lawall

Publication Activity (10 Years)

Years Active: 1992-2016
Publications (10 Years): 1

Top Topics

Clone Detection

Transformation Rules

Semantically Meaningful

Top Venues

Softw. Pract. Exp.

Autom. Softw. Eng.

Sci. Comput. Program.

Publications

Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel. Autom. Softw. Eng. 23 (1) (2016)
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Yérom-David Bromberg, Gilles Muller
Implementing an embedded compiler using program transformation rules. Softw. Pract. Exp. 45 (2) (2015)
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Sci. Comput. Program. 91 (2014)
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall
Faults in Linux 2.6. CoRR (2014)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. 43 (1) (2013)
Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall, Gilles Muller
Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. DSN (2013)
Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo
Semantic patch inference. ASE (2012)
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller
Scheduling support for transactional memory contention management. PPOPP (2010)
Julia L. Lawall
Preface to special issue on Generative Programming and Component Engineering (GPCE 2007). Sci. Comput. Program. 75 (7) (2010)
Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller
Bridging the Gap between Legacy Services and Web Services. Middleware (2010)
Jesper Andersen, Julia L. Lawall
Generic patch inference. Autom. Softw. Eng. 17 (2) (2010)
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)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN (2009)
Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller
Automatic Generation of Network Protocol Gateways. Middleware (2009)
Julia L. Lawall, Gilles Muller, Nicolas Palix
Enforcing the use of API functions in linux code. ACP4IS@AOSD (2009)
Jesper Andersen, Julia L. Lawall
Generic Patch Inference. ASE (2008)
Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall
Pantaxou: a domain-specific language for developing safe coordination services. GPCE (2008)
Richard Urunuela, Gilles Muller, Julia L. Lawall
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems (2007)
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)
Yoann Padioleau, Julia L. Lawall, Gilles Muller
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. Electron. Notes Theor. Comput. Sci. 166 (2007)
Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties. Electron. Notes Theor. Comput. Sci. 185 (2007)
Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller
Towards easing the diagnosis of bugs in OS code. PLOS@SOSP (2007)
Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz
Issues in holistic system design. PLOS (2006)
Richard Urunuela, Gilles Muller, Julia L. Lawall
Energy adaptation for multimedia information kiosks. EMSOFT (2006)
Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS (2006)
Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
Semantic patches considered helpful. ACM SIGOPS Oper. Syst. Rev. 40 (3) (2006)
Yoann Padioleau, Julia L. Lawall, Gilles Muller
Understanding collateral evolution in Linux device drivers. EuroSys (2006)
Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE (2005)
Gilles Muller, Julia L. Lawall, Hervé Duchesne
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE (2005)
Gilles Muller, Julia L. Lawall, Hervé Duchesne
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS (2005)
Julia L. Lawall, Gilles Muller, Hervé Duchesne
Invited application paper: language design for implementing process scheduling hierarchies. PEPM (2004)
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)
Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. High. Order Symb. Comput. 17 (1-2) (2004)
Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE (2004)
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 (2004)
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)
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
Automatic program specialization for Java. ACM Trans. Program. Lang. Syst. 25 (4) (2003)
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)
Gilles Muller, Julia L. Lawall, Scott Thibault, R. E. Voel Jensen
A domain-specific language approach to programmable networks. IEEE Trans. Syst. Man Cybern. Part C 33 (3) (2003)
Dan He, Gilles Muller, Julia L. Lawall
Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS (2002)
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)
Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
Towards bridging the gap between programming languages and partial evaluation. PEPM (2002)
Julia L. Lawall, Gilles Muller, Luciano Porto Barreto
Capturing OS expertise in an event type system: the Bossa experience. ACM SIGOPS European Workshop (2002)
Olivier Danvy, Julia L. Lawall
Editorial. High. Order Symb. Comput. 14 (2-3) (2001)
Julia L. Lawall
Implementing Circularity Using Partial Evaluation. PADO (2001)
Bernd Grobauer, Julia L. Lawall
Partial Evaluation of Pattern Matching in Strings, revisited. Nord. J. Comput. 8 (4) (2001)
Julia L. Lawall, Gilles Muller
Efficient Incremental Checkpointing of Java Programs. DSN (2000)
Julia L. Lawall, Harry G. Mairson
Sharing Continuations: Proofnets for Languages with Explicit Control. ESOP (2000)
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
Specialization Patterns. ASE (2000)
Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller
Static and Dynamic Program Compilation by Interpreter Specialization. High. Order Symb. Comput. 13 (3) (2000)
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller
Towards Automatic Specialization of Java Programs. ECOOP (1999)
François Noël, Luke Hornof, Charles Consel, Julia L. Lawall
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. ICCL (1998)
Julia L. Lawall
Faster Fourier Transforms via Automatic Program Specialization. Partial Evaluation (1998)
Julia L. Lawall, Harry G. Mairson
on Global Dynamics of Optimal Graph Reduction. ICFP (1997)
Julia L. Lawall, Peter Thiemann
Sound Specialization in the Presence of Computational Effects. TACS (1997)
Julia L. Lawall, Harry G. Mairson
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? ICFP (1996)
Julia L. Lawall, Olivier Danvy
Continuation-Based Partial Evaluation. LISP and Functional Programming (1994)
Julia L. Lawall
Proofs by Structural Induction using Partial Evaluation. PEPM (1993)
Julia L. Lawall, Olivier Danvy
Separating Stages in the Continuation-Passing Style Transformation. POPL (1993)
Olivier Danvy, Julia L. Lawall
Back to Direct Style II: First-Class Continuations. LISP and Functional Programming (1992)