The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Julia L. Lawall: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    AOSD, 2003, pp:110-119 [Conf]
  2. 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]
  3. Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz
    Issues in holistic system design. [Citation Graph (0, 0)][DBLP]
    PLOS, 2006, pp:12- [Conf]
  4. Julia L. Lawall, Gilles Muller
    Efficient Incremental Checkpointing of Java Programs. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:61-70 [Conf]
  5. 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]
  6. 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]
  7. Richard Urunuela, Gilles Muller, Julia L. Lawall
    Energy adaptation for multimedia information kiosks. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:223-232 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Julia L. Lawall, Harry G. Mairson
    on Global Dynamics of Optimal Graph Reduction. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:188-195 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
    Specialization Patterns. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:197-0 [Conf]
  20. 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]
  21. Julia L. Lawall, Olivier Danvy
    Continuation-Based Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:227-238 [Conf]
  22. Julia L. Lawall
    Implementing Circularity Using Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:84-102 [Conf]
  23. Julia L. Lawall
    Proofs by Structural Induction using Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:155-166 [Conf]
  24. Julia L. Lawall
    Faster Fourier Transforms via Automatic Program Specialization. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:338-355 [Conf]
  25. 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]
  26. 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]
  27. Julia L. Lawall, Olivier Danvy
    Separating Stages in the Continuation-Passing Style Transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:124-136 [Conf]
  28. Julia L. Lawall, Peter Thiemann
    Sound Specialization in the Presence of Computational Effects. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:165-190 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]

  45. Tracking code patterns over multiple software versions with Herodotos. [Citation Graph (, )][DBLP]


  46. Development of a Synchronous Subset of AADL. [Citation Graph (, )][DBLP]


  47. Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. [Citation Graph (, )][DBLP]


  48. WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. [Citation Graph (, )][DBLP]


  49. Finding Error Handling Bugs in OpenSSL Using Coccinelle. [Citation Graph (, )][DBLP]


  50. Pantaxou: a domain-specific language for developing safe coordination services. [Citation Graph (, )][DBLP]


  51. Generic Patch Inference. [Citation Graph (, )][DBLP]


  52. An automated approach for finding variable-constant pairing bugs. [Citation Graph (, )][DBLP]


  53. Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. [Citation Graph (, )][DBLP]


  54. Automatic Generation of Network Protocol Gateways. [Citation Graph (, )][DBLP]


  55. High-level Programming Support for Robust Pervasive Computing Applications. [Citation Graph (, )][DBLP]


  56. A foundation for flow-based program matching: using temporal logic and model checking. [Citation Graph (, )][DBLP]


  57. Scheduling support for transactional memory contention management. [Citation Graph (, )][DBLP]


  58. Constructing component-based extension interfaces in legacy systems code. [Citation Graph (, )][DBLP]


  59. Capturing OS expertise in an event type system: the Bossa experience. [Citation Graph (, )][DBLP]


  60. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. [Citation Graph (, )][DBLP]


  61. VMKit: a substrate for managed runtime environments. [Citation Graph (, )][DBLP]


  62. Entropy: a consolidation manager for clusters. [Citation Graph (, )][DBLP]


  63. Documenting and automating collateral evolutions in linux device drivers. [Citation Graph (, )][DBLP]


  64. Generic patch inference. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002