| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sven Apel, Christian Lengauer, Julia L. Lawall |
Preface to the special issue on feature-oriented software development (FOSD 2009).  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller |
Zebu: A Language-Based Approach for Network Protocol Message Processing. |
IEEE Trans. Software Eng. |
2011 |
DBLP DOI BibTeX RDF |
message parsing, message composing, domain-specific languages, Network protocols |
| 1 | Damien Cassou, Charles Consel, Emilie Balland, Julia L. Lawall |
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Damien Cassou, Emilie Balland, Charles Consel, Julia L. Lawall |
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Suman Saha, Julia L. Lawall, Gilles Muller |
Finding resource-release omission faults in Linux. |
Operating Systems Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, Gilles Muller |
Faults in linux: ten years later. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Walther Maldonado, Patrick Marlier, Pascal Felber, Julia L. Lawall, Gilles Muller, Etienne Riviere |
Deadline-aware scheduling for Software Transactional Memory. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Cassou, Emilie Balland, Charles Consel, Julia L. Lawall |
Leveraging software architectures to guide and verify the development of sense/compute/control applications. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suman Saha, Julia L. Lawall, Gilles Muller |
An approach to improving the structure of error-handling code in the linux kernel. |
LCTES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Julia L. Lawall |
Preface to special issue on Generative Programming and Component Engineering (GPCE 2007). |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersen, Julia L. Lawall |
Generic patch inference. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller |
Improving the Security of Infrastructure Software using Coccinelle. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Julia L. Lawall, David Lo |
An automated approach for finding variable-constant pairing bugs. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Palix, Julia L. Lawall, Gilles Muller |
Tracking code patterns over multiple software versions with Herodotos. |
AOSD |
2010 |
DBLP DOI BibTeX RDF |
Herodotos, bug tracking, history of pattern occurrences |
| 1 | Nicolas Geoffray, Gaël Thomas, Julia L. Lawall, Gilles Muller, Bertil Folliot |
VMKit: a substrate for managed runtime environments. |
VEE |
2010 |
DBLP DOI BibTeX RDF |
vmkit, virtual machine, just in time compiler |
| 1 | Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller |
Finding Error Handling Bugs in OpenSSL Using Coccinelle. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mamoun Filali-Amine, Julia L. Lawall |
Development of a Synchronous Subset of AADL. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
scheduling, transactional memory, contention management |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
program matching, model checking, program transformation, ctl, bug finding |
| 1 | Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall |
Entropy: a consolidation manager for clusters. |
VEE |
2009 |
DBLP DOI BibTeX RDF |
dynamic consolidation, cluster, virtualization, reconfiguration, migration |
| 1 | Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller |
Automatic Generation of Network Protocol Gateways. |
Middleware |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Michael Leuschel, Peter Sestoft |
Editorial. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann |
Editorial. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall |
Editorial. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall |
Software Architecture Evolution. |
Software Evolution |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersen, Julia L. Lawall |
Generic Patch Inference. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall |
High-level Programming Support for Robust Pervasive Computing Applications. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
middleware, generation, Application development, Programming Support |
| 1 | Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall |
Pantaxou: a domain-specific language for developing safe coordination services. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
distributed systems, safety, domain-specific languages, architecture description languages, coordination languages |
| 1 | Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller |
Documenting and automating collateral evolutions in linux device drivers. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
collateral evolutions, program transformation, software evolution, domain-specific language, linux, device drivers |
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller |
Automatic Verification of Bossa Scheduler Properties. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Urunuela, Gilles Muller, Julia L. Lawall |
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. |
Power-aware Computing Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Charles Consel, Julia L. Lawall (eds.) |
Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings |
GPCE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Palix, Charles Consel, Laurent Réveillère, Julia L. Lawall |
A stepwise approach to developing languages for SIP telephony service creation. |
IPTComm |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen |
Semantic patches considered helpful. |
Operating Systems Review |
2006 |
DBLP DOI BibTeX RDF |
Linux |
| 1 | Richard Urunuela, Gilles Muller, Julia L. Lawall |
Energy adaptation for multimedia information kiosks. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
embedded systems, dynamic voltage scaling, multimedia application |
| 1 | Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall |
Safe Integration of New Concerns in a Software Architecture. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller |
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
software evolution, domain-specific languages |
| 1 | Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz |
Issues in holistic system design. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
software architecture, domain-specific languages, adaptive software |
| 1 | Sapan Bhatia, Charles Consel, Julia L. Lawall |
Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. |
ISMM |
2006 |
DBLP DOI BibTeX RDF |
static analysis, integer programming, memory allocation, cache optimization |
| 1 | Sapan Bhatia, Charles Consel, Julia L. Lawall |
Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. |
LCN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Reppy, Julia L. Lawall (eds.) |
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 |
ICFP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yoann Padioleau, Julia L. Lawall, Gilles Muller |
Understanding collateral evolution in Linux device drivers. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
software evolution, Linux, device drivers |
| 1 | Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers |
Editorial. |
Higher-Order and Symbolic Computation |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Barais, Julia L. Lawall, Anne-Françoise Le Meur, Laurence Duchien |
Providing Support for Safe Software Architecture Transformations. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller, Julia L. Lawall, Hervé Duchesne |
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur |
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller |
Formal Methods Meet Domain Specific Languages. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
scheduling, formal methods, refinements, decision procedure, DSL |
| 1 | Gilles Muller, Julia L. Lawall, Hervé Duchesne |
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur |
A tour of Tempo: a program specializer for the C language. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel |
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. |
Higher-Order and Symbolic Computation |
2004 |
DBLP DOI BibTeX RDF |
semantics-based program manipulation, predictable partial evaluation, declaration of specialization opportunities, program specialization |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Gilles Muller, Hervé Duchesne |
Invited application paper: language design for implementing process scheduling hierarchies. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
operating system extension, scheduling hierarchies, verification, domain-specific languages, process scheduling |
| 1 | Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller |
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel |
Automatic program specialization for Java. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Automatic program specialization, Java, optimization, partial evaluation, object-oriented languages |
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
pointcut language, Java, aspect-oriented programming, Web caches, adaptable software, code instrumentation |
| 1 | Julia L. Lawall, Gilles Muller, Luciano Porto Barreto |
Capturing OS expertise in an event type system: the Bossa experience. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel |
Towards bridging the gap between programming languages and partial evaluation. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan He, Gilles Muller, Julia L. Lawall |
Distributing MPEG Movies Over the Internet using Programmable Networks. (PDF / PS) |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Julia L. Lawall |
Editorial. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Grobauer, Julia L. Lawall |
Partial Evaluation of Pattern Matching in Strings, revisited. |
Nord. J. Comput. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Julia L. Lawall |
Implementing Circularity Using Partial Evaluation. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller |
Static and Dynamic Program Compilation by Interpreter Specialization. |
Higher-Order and Symbolic Computation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel |
Specialization Patterns. (PDF / PS) |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Gilles Muller |
Efficient Incremental Checkpointing of Java Programs. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
incremental checkpointing, Java, program specialization |
| 1 | Julia L. Lawall (eds.) |
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000 |
PEPM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Julia L. Lawall, Harry G. Mairson |
Sharing Continuations: Proofnets for Languages with Explicit Control. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller |
Towards Automatic Specialization of Java Programs. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall |
Faster Fourier Transforms via Automatic Program Specialization. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | François Noël, Luke Hornof, Charles Consel, Julia L. Lawall |
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. (PDF / PS) |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
run-time specialization, partial evaluation |
| 1 | Julia L. Lawall, Peter Thiemann |
Sound Specialization in the Presence of Computational Effects. |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Harry G. Mairson |
on Global Dynamics of Optimal Graph Reduction. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Harry G. Mairson |
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Olivier Danvy |
Continuation-Based Partial Evaluation. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall |
Proofs by Structural Induction using Partial Evaluation. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Julia L. Lawall, Olivier Danvy |
Separating Stages in the Continuation-Passing Style Transformation. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Olivier Danvy, Julia L. Lawall |
Back to Direct Style II: First-Class Continuations. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")