Search the dblp DataBase
Julia L. Lawall :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marc Ségura-Devillechaise , Jean-Marc Menaud , Gilles Muller , Julia L. Lawall Web cache prefetching as an aspect: towards a dynamic-weaving based solution. [Citation Graph (0, 0)][DBLP ] AOSD, 2003, pp:110-119 [Conf ] Yoann Padioleau , René Rydhof Hansen , Julia L. Lawall , Gilles Muller Semantic patches for documenting and automating collateral evolutions in Linux device drivers. [Citation Graph (0, 0)][DBLP ] PLOS, 2006, pp:10- [Conf ] Julia L. Lawall , Christian W. Probst , Ulrik Pagh Schultz Issues in holistic system design. [Citation Graph (0, 0)][DBLP ] PLOS, 2006, pp:12- [Conf ] Julia L. Lawall , Gilles Muller Efficient Incremental Checkpointing of Java Programs. [Citation Graph (0, 0)][DBLP ] DSN, 2000, pp:61-70 [Conf ] Olivier Barais , Anne-Françoise Le Meur , Laurence Duchien , Julia L. Lawall Safe Integration of New Concerns in a Software Architecture. [Citation Graph (0, 0)][DBLP ] ECBS, 2006, pp:52-64 [Conf ] Ulrik Pagh Schultz , Julia L. Lawall , Charles Consel , Gilles Muller Towards Automatic Specialization of Java Programs. [Citation Graph (0, 0)][DBLP ] ECOOP, 1999, pp:367-390 [Conf ] Richard Urunuela , Gilles Muller , Julia L. Lawall Energy adaptation for multimedia information kiosks. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2006, pp:223-232 [Conf ] Julia L. Lawall , Harry G. Mairson Sharing Continuations: Proofnets for Languages with Explicit Control. [Citation Graph (0, 0)][DBLP ] ESOP, 2000, pp:245-259 [Conf ] Julia L. Lawall , Hervé Duchesne , Gilles Muller , Anne-Françoise Le Meur Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. [Citation Graph (0, 0)][DBLP ] GPCE, 2005, pp:78-93 [Conf ] Julia L. Lawall , Anne-Françoise Le Meur , Gilles Muller On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. [Citation Graph (0, 0)][DBLP ] GPCE, 2004, pp:436-455 [Conf ] Gilles Muller , Julia L. Lawall , Hervé Duchesne A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. [Citation Graph (0, 0)][DBLP ] HASE, 2005, pp:56-65 [Conf ] François Noël , Luke Hornof , Charles Consel , Julia L. Lawall Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. [Citation Graph (0, 0)][DBLP ] ICCL, 1998, pp:132-142 [Conf ] Dan He , Gilles Muller , Julia L. Lawall Distributing MPEG Movies Over the Internet using Programmable Networks. [Citation Graph (0, 0)][DBLP ] ICDCS, 2002, pp:161-170 [Conf ] Julia L. Lawall , Harry G. Mairson Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? [Citation Graph (0, 0)][DBLP ] ICFP, 1996, pp:92-101 [Conf ] Julia L. Lawall , Harry G. Mairson on Global Dynamics of Optimal Graph Reduction. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:188-195 [Conf ] Jean-Paul Bodeveix , Mamoun Filali , Julia L. Lawall , Gilles Muller Formal Methods Meet Domain Specific Languages. [Citation Graph (0, 0)][DBLP ] IFM, 2005, pp:187-206 [Conf ] Sapan Bhatia , Charles Consel , Julia L. Lawall Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. [Citation Graph (0, 0)][DBLP ] ISMM, 2006, pp:104-114 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ASE, 2003, pp:196-204 [Conf ] Ulrik Pagh Schultz , Julia L. Lawall , Charles Consel Specialization Patterns. [Citation Graph (0, 0)][DBLP ] ASE, 2000, pp:197-0 [Conf ] Olivier Danvy , Julia L. Lawall Back to Direct Style II: First-Class Continuations. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:299-310 [Conf ] Julia L. Lawall , Olivier Danvy Continuation-Based Partial Evaluation. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1994, pp:227-238 [Conf ] Julia L. Lawall Implementing Circularity Using Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PADO, 2001, pp:84-102 [Conf ] Julia L. Lawall Proofs by Structural Induction using Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:155-166 [Conf ] Julia L. Lawall Faster Fourier Transforms via Automatic Program Specialization. [Citation Graph (0, 0)][DBLP ] Partial Evaluation, 1998, pp:338-355 [Conf ] Julia L. Lawall , Gilles Muller , Hervé Duchesne Invited application paper: language design for implementing process scheduling hierarchies. [Citation Graph (0, 0)][DBLP ] PEPM, 2004, pp:80-91 [Conf ] Anne-Françoise Le Meur , Julia L. Lawall , Charles Consel Towards bridging the gap between programming languages and partial evaluation. [Citation Graph (0, 0)][DBLP ] PEPM, 2002, pp:9-18 [Conf ] Julia L. Lawall , Olivier Danvy Separating Stages in the Continuation-Passing Style Transformation. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:124-136 [Conf ] Julia L. Lawall , Peter Thiemann Sound Specialization in the Presence of Computational Effects. [Citation Graph (0, 0)][DBLP ] TACS, 1997, pp:165-190 [Conf ] Jean-Philippe Fassino , Jean-Bernard Stefani , Julia L. Lawall , Gilles Muller Think: A Software Framework for Component-based Operating System Kernels. [Citation Graph (0, 0)][DBLP ] USENIX Annual Technical Conference, General Track, 2002, pp:73-86 [Conf ] Olivier Barais , Julia L. Lawall , Anne-Françoise Le Meur , Laurence Duchien Providing Support for Safe Software Architecture Transformations. [Citation Graph (0, 0)][DBLP ] WICSA, 2005, pp:201-202 [Conf ] Gilles Muller , Julia L. Lawall , Hervé Duchesne A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. [Citation Graph (0, 0)][DBLP ] WORDS, 2005, pp:219-230 [Conf ] Yoann Padioleau , Julia L. Lawall , Gilles Muller Understanding collateral evolution in Linux device drivers. [Citation Graph (0, 0)][DBLP ] EuroSys, 2006, pp:59-71 [Conf ] Yoann Padioleau , Julia L. Lawall , Gilles Muller SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:166, n:, pp:47-62 [Journal ] Matthias Felleisen , Julia L. Lawall , Manuel Serrano , Olin Shivers Editorial. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2005, v:18, n:3-4, pp:243-244 [Journal ] Olivier Danvy , Julia L. Lawall Editorial. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:99-100 [Journal ] Anne-Françoise Le Meur , Julia L. Lawall , Charles Consel Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2004, v:17, n:1-2, pp:47-92 [Journal ] Scott Thibault , Charles Consel , Julia L. Lawall , Renaud Marlet , Gilles Muller Static and Dynamic Program Compilation by Interpreter Specialization. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:161-178 [Journal ] Bernd Grobauer , Julia L. Lawall Partial Evaluation of Pattern Matching in Strings, revisited. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 2001, v:8, n:4, pp:437-462 [Journal ] Charles Consel , Julia L. Lawall , Anne-Françoise Le Meur A tour of Tempo: a program specializer for the C language. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2004, v:52, n:, pp:341-370 [Journal ] Gilles Muller , Yoann Padioleau , Julia L. Lawall , René Rydhof Hansen Semantic patches considered helpful. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 2006, v:40, n:3, pp:90-92 [Journal ] Ulrik Pagh Schultz , Julia L. Lawall , Charles Consel Automatic program specialization for Java. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2003, v:25, n:4, pp:452-499 [Journal ] Gilles Muller , Julia L. Lawall , Scott Thibault , R. E. Voel Jensen A domain-specific language approach to programmable networks. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Systems, Man, and Cybernetics, Part C, 2003, v:33, n:3, pp:370-381 [Journal ] Burgy Laurent , Laurent Réveillère , Julia L. Lawall , Gilles Muller A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Jean-Paul Bodeveix , Mamoun Filali , Julia L. Lawall , Gilles Muller Automatic Verification of Bossa Scheduler Properties. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:17-32 [Journal ] Tracking code patterns over multiple software versions with Herodotos. [Citation Graph (, )][DBLP ] Development of a Synchronous Subset of AADL. [Citation Graph (, )][DBLP ] Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. [Citation Graph (, )][DBLP ] WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. [Citation Graph (, )][DBLP ] Finding Error Handling Bugs in OpenSSL Using Coccinelle. [Citation Graph (, )][DBLP ] Pantaxou: a domain-specific language for developing safe coordination services. [Citation Graph (, )][DBLP ] Generic Patch Inference. [Citation Graph (, )][DBLP ] An automated approach for finding variable-constant pairing bugs. [Citation Graph (, )][DBLP ] Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. [Citation Graph (, )][DBLP ] Automatic Generation of Network Protocol Gateways. [Citation Graph (, )][DBLP ] High-level Programming Support for Robust Pervasive Computing Applications. [Citation Graph (, )][DBLP ] A foundation for flow-based program matching: using temporal logic and model checking. [Citation Graph (, )][DBLP ] Scheduling support for transactional memory contention management. [Citation Graph (, )][DBLP ] Constructing component-based extension interfaces in legacy systems code. [Citation Graph (, )][DBLP ] Capturing OS expertise in an event type system: the Bossa experience. [Citation Graph (, )][DBLP ] A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. [Citation Graph (, )][DBLP ] VMKit: a substrate for managed runtime environments. [Citation Graph (, )][DBLP ] Entropy: a consolidation manager for clusters. [Citation Graph (, )][DBLP ] Documenting and automating collateral evolutions in linux device drivers. [Citation Graph (, )][DBLP ] Generic patch inference. [Citation Graph (, )][DBLP ] Search in 0.021secs, Finished in 0.025secs