| 2013 | DSN | Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. | Suman Saha, Jean-Pierre Lozi, Gal Thomas, Julia L. Lawall, Gilles Muller |
| 2010 | Middleware | Bridging the Gap between Legacy Services and Web Services. | Tegawend F. Bissyand, Laurent Rveillre, Yrom-David Bromberg, Julia L. Lawall, Gilles Muller |
| 2010 | PPoPP | Scheduling support for transactional memory contention management. | Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller |
| 2009 | DSN | WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. | Julia L. Lawall, Julien Brunel, Nicolas Palix, Ren Rydhof Hansen, Henrik Stuart, Gilles Muller |
| 2009 | Middleware | Automatic Generation of Network Protocol Gateways. | Yrom-David Bromberg, Laurent Rveillre, Julia L. Lawall, Gilles Muller |
| 2009 | POPL | A foundation for flow-based program matching: using temporal logic and model checking. | Julien Brunel, Damien Doligez, Ren Rydhof Hansen, Julia L. Lawall, Gilles Muller |
| 2008 | GPCE | Pantaxou: a domain-specific language for developing safe coordination services. | Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall |
| 2007 | SOSP | Towards easing the diagnosis of bugs in OS code. | Henrik Stuart, Ren Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller |
| 2007 | SRDS | A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. | Laurent Burgy, Laurent Rveillre, Julia L. Lawall, Gilles Muller |
| 2006 | ASPLOS | Issues in holistic system design. | Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz |
| 2006 | ASPLOS | Semantic patches for documenting and automating collateral evolutions in Linux device drivers. | Yoann Padioleau, Ren Rydhof Hansen, Julia L. Lawall, Gilles Muller |
| 2006 | EMSOFT | Energy adaptation for multimedia information kiosks. | Richard Urunuela, Gilles Muller, Julia L. Lawall |
| 2006 | EuroSys | Understanding collateral evolution in Linux device drivers. | Yoann Padioleau, Julia L. Lawall, Gilles Muller |
| 2005 | GPCE | Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. | Julia L. Lawall, Herv Duchesne, Gilles Muller, Anne-Franoise Le Meur |
| 2004 | GPCE | On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. | Julia L. Lawall, Anne-Franoise Le Meur, Gilles Muller |
| 2004 | PEPM | Invited application paper: language design for implementing process scheduling hierarchies. | Julia L. Lawall, Gilles Muller, Herv Duchesne |
| 2002 | ICDCS | Distributing MPEG Movies Over the Internet using Programmable Networks. | Dan He, Gilles Muller, Julia L. Lawall |
| 2002 | PEPM | Towards bridging the gap between programming languages and partial evaluation. | Anne-Franoise Le Meur, Julia L. Lawall, Charles Consel |
| 2002 | USENIX | Think: A Software Framework for Component-based Operating System Kernels. | Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller |
| 2000 | DSN | Efficient Incremental Checkpointing of Java Programs. | Julia L. Lawall, Gilles Muller |
| 2000 | ESOP | Sharing Continuations: Proofnets for Languages with Explicit Control. | Julia L. Lawall, Harry G. Mairson |
| 1999 | ECOOP | Towards Automatic Specialization of Java Programs. | Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller |
| 1998 | PEPM | Faster Fourier Transforms via Automatic Program Specialization. | Julia L. Lawall |
| 1997 | ICFP | on Global Dynamics of Optimal Graph Reduction. | Julia L. Lawall, Harry G. Mairson |
| 1996 | ICFP | Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? | Julia L. Lawall, Harry G. Mairson |
| 1993 | PEPM | Proofs by Structural Induction using Partial Evaluation. | Julia L. Lawall |
| 1993 | POPL | Separating Stages in the Continuation-Passing Style Transformation. | Julia L. Lawall, Olivier Danvy |