dblp.uni-trier.dewww.uni-trier.de

Julia L. Lawall Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
60EEJulien 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: 114-126
59EEFabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall: Entropy: a consolidation manager for clusters. VEE 2009: 41-50
2008
58EEJesper Andersen, Julia L. Lawall: Generic Patch Inference. ASE 2008: 337-346
57EEYoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller: Documenting and automating collateral evolutions in linux device drivers. EuroSys 2008: 247-260
56EEJulien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall: Pantaxou: a domain-specific language for developing safe coordination services. GPCE 2008: 149-160
55EEWilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall: High-level Programming Support for Robust Pervasive Computing Applications. PerCom 2008: 252-255
54EEOlivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall: Software Architecture Evolution. Software Evolution 2008: 233-262
53EEJulia L. Lawall, Michael Leuschel, Peter Sestoft: Editorial. Higher-Order and Symbolic Computation 21(1-2): 1-3 (2008)
52EEJulia L. Lawall: Editorial. J. Funct. Program. 18(5-6): 565-566 (2008)
2007
51 Charles Consel, Julia L. Lawall: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings ACM 2007
50EERichard Urunuela, Gilles Muller, Julia L. Lawall: Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems 2007
49EELaurent 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: 149-160
48EELaurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller: A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations CoRR abs/0704.1373: (2007)
47EEYoann Padioleau, Julia L. Lawall, Gilles Muller: SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. Electr. Notes Theor. Comput. Sci. 166: 47-62 (2007)
46EEJean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Automatic Verification of Bossa Scheduler Properties. Electr. Notes Theor. Comput. Sci. 185: 17-32 (2007)
2006
45 John H. Reppy, Julia L. Lawall: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 ACM 2006
44EEOlivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall: Safe Integration of New Concerns in a Software Architecture. ECBS 2006: 52-64
43EERichard Urunuela, Gilles Muller, Julia L. Lawall: Energy adaptation for multimedia information kiosks. EMSOFT 2006: 223-232
42EEYoann Padioleau, Julia L. Lawall, Gilles Muller: Understanding collateral evolution in Linux device drivers. EuroSys 2006: 59-71
41EESapan Bhatia, Charles Consel, Julia L. Lawall: Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. ISMM 2006: 104-114
40EESapan Bhatia, Charles Consel, Julia L. Lawall: Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. LCN 2006: 47-54
39EEYoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller: Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS 2006: 10
38EEJulia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz: Issues in holistic system design. PLOS 2006: 12
37EEGilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen: Semantic patches considered helpful. Operating Systems Review 40(3): 90-92 (2006)
2005
36EEJulia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur: Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE 2005: 78-93
35EEGilles Muller, Julia L. Lawall, Hervé Duchesne: A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE 2005: 56-65
34EEJean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
33EEOlivier Barais, Julia L. Lawall, Anne-Françoise Le Meur, Laurence Duchien: Providing Support for Safe Software Architecture Transformations. WICSA 2005: 201-202
32EEGilles Muller, Julia L. Lawall, Hervé Duchesne: A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS 2005: 219-230
31EEMatthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers: Editorial. Higher-Order and Symbolic Computation 18(3-4): 243-244 (2005)
2004
30EEGilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt: Constructing component-based extension interfaces in legacy systems code. ACM SIGOPS European Workshop 2004: 15
29EEJulia L. Lawall, Anne-Françoise Le Meur, Gilles Muller: On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE 2004: 436-455
28EEJulia L. Lawall, Gilles Muller, Hervé Duchesne: Invited application paper: language design for implementing process scheduling hierarchies. PEPM 2004: 80-91
27EEAnne-Françoise Le Meur, Julia L. Lawall, Charles Consel: Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. Higher-Order and Symbolic Computation 17(1-2): 47-92 (2004)
26EECharles Consel, Julia L. Lawall, Anne-Françoise Le Meur: A tour of Tempo: a program specializer for the C language. Sci. Comput. Program. 52: 341-370 (2004)
2003
25EEMarc 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: 110-119
24EERickard 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: 196-204
23EEUlrik Pagh Schultz, Julia L. Lawall, Charles Consel: Automatic program specialization for Java. ACM Trans. Program. Lang. Syst. 25(4): 452-499 (2003)
22 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 33(3): 370-381 (2003)
2002
21EEJulia L. Lawall, Gilles Muller, Luciano Porto Barreto: Capturing OS expertise in an event type system: the Bossa experience. ACM SIGOPS European Workshop 2002: 54-61
20EEDan He, Gilles Muller, Julia L. Lawall: Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS 2002: 161-170
19EEAnne-Françoise Le Meur, Julia L. Lawall, Charles Consel: Towards bridging the gap between programming languages and partial evaluation. PEPM 2002: 9-18
18EEJean-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: 73-86
2001
17EEJulia L. Lawall: Implementing Circularity Using Partial Evaluation. PADO 2001: 84-102
16 Olivier Danvy, Julia L. Lawall: Editorial. Higher-Order and Symbolic Computation 14(2-3): 99-100 (2001)
15EEBernd Grobauer, Julia L. Lawall: Partial Evaluation of Pattern Matching in Strings, revisited. Nord. J. Comput. 8(4): 437-462 (2001)
2000
14EEUlrik Pagh Schultz, Julia L. Lawall, Charles Consel: Specialization Patterns. ASE 2000: 197-
13EEJulia L. Lawall, Gilles Muller: Efficient Incremental Checkpointing of Java Programs. DSN 2000: 61-70
12EEJulia L. Lawall, Harry G. Mairson: Sharing Continuations: Proofnets for Languages with Explicit Control. ESOP 2000: 245-259
11 Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller: Static and Dynamic Program Compilation by Interpreter Specialization. Higher-Order and Symbolic Computation 13(3): 161-178 (2000)
1999
10EEUlrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller: Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390
1998
9EEFrançois Noël, Luke Hornof, Charles Consel, Julia L. Lawall: Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. ICCL 1998: 132-142
8 Julia L. Lawall: Faster Fourier Transforms via Automatic Program Specialization. Partial Evaluation 1998: 338-355
1997
7 Julia L. Lawall, Harry G. Mairson: on Global Dynamics of Optimal Graph Reduction. ICFP 1997: 188-195
6 Julia L. Lawall, Peter Thiemann: Sound Specialization in the Presence of Computational Effects. TACS 1997: 165-190
1996
5 Julia L. Lawall, Harry G. Mairson: Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? ICFP 1996: 92-101
1994
4EEJulia L. Lawall, Olivier Danvy: Continuation-Based Partial Evaluation. LISP and Functional Programming 1994: 227-238
1993
3 Julia L. Lawall: Proofs by Structural Induction using Partial Evaluation. PEPM 1993: 155-166
2 Julia L. Lawall, Olivier Danvy: Separating Stages in the Continuation-Passing Style Transformation. POPL 1993: 124-136
1992
1EEOlivier Danvy, Julia L. Lawall: Back to Direct Style II: First-Class Continuations. LISP and Functional Programming 1992: 299-310

Coauthor Index

1Rickard A. Åberg [24]
2Jesper Andersen [58]
3Olivier Barais [33] [44] [54]
4Luciano Porto Barreto [21]
5Sapan Bhatia [40] [41]
6Jean-Paul Bodeveix [34] [46]
7Julien Brunel [60]
8Laurent Burgy [48] [49]
9Charles Consel [9] [10] [11] [14] [19] [23] [26] [27] [40] [41] [51] [55] [56]
10Olivier Danvy [1] [2] [4] [16]
11Damien Doligez [60]
12Hervé Duchesne [28] [32] [35] [36]
13Laurence Duchien [33] [44] [54]
14Jean-Philippe Fassino [18]
15Matthias Felleisen [31]
16Mamoun Filali [34] [46]
17Bernd Grobauer [15]
18René Rydhof Hansen [37] [39] [57] [60]
19Dan He [20]
20Fabien Hermenier [59]
21Luke Hornof [9]
22R. E. Voel Jensen [22]
23Wilfried Jouve [55]
24Julien Lancia [55]
25Michael Leuschel [53]
26Xavier Lorca [59]
27Harry G. Mairson [5] [7] [12]
28Renaud Marlet [11]
29Jean-Marc Menaud [25] [30] [59]
30Julien Mercadal [56]
31Anne-Françoise Le Meur [19] [24] [26] [27] [29] [33] [36] [44] [54]
32Gilles Muller [10] [11] [13] [18] [20] [21] [22] [24] [25] [28] [29] [30] [32] [34] [35] [36] [37] [39] [42] [43] [46] [47] [48] [49] [50] [57] [59] [60]
33François Noël [9]
34Yoann Padioleau [37] [39] [42] [47] [57]
35Nicolas Palix [55] [56]
36Christian W. Probst [38]
37John H. Reppy [45]
38Laurent Réveillère [48] [49]
39Ulrik Pagh Schultz [10] [14] [23] [38]
40Marc Ségura-Devillechaise [25]
41Manuel Serrano [31]
42Peter Sestoft [53]
43Olin Shivers [31]
44Jean-Bernard Stefani [18]
45Mario Südholt [24] [30]
46Scott Thibault [11] [22]
47Peter Thiemann [6]
48Richard Urunuela [43] [50]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)