Julia L. Lawall

	2012
85		Sven Apel, Christian Lengauer, Julia L. Lawall: Preface to the special issue on feature-oriented software development (FOSD 2009). Sci. Comput. Program. 77(3): 129-130 (2012)
	2011
84		Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, Gilles Muller: Faults in linux: ten years later. ASPLOS 2011: 305-318
83		Walther Maldonado, Patrick Marlier, Pascal Felber, Julia L. Lawall, Gilles Muller, Etienne Riviere: Deadline-aware scheduling for Software Transactional Memory. DSN 2011: 257-268
82		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: 431-440
81		Suman Saha, Julia L. Lawall, Gilles Muller: An approach to improving the structure of error-handling code in the linux kernel. LCTES 2011: 41-50
80		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 abs/1106.4200: (2011)
79		Damien Cassou, Emilie Balland, Charles Consel, Julia L. Lawall: Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications CoRR abs/1109.2807: (2011)
78		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. 37(4): 575-591 (2011)
77		Suman Saha, Julia L. Lawall, Gilles Muller: Finding resource-release omission faults in Linux. Operating Systems Review 45(3): 5-9 (2011)
	2010
76		Nicolas Palix, Julia L. Lawall, Gilles Muller: Tracking code patterns over multiple software versions with Herodotos. AOSD 2010: 169-180
75		Julia L. Lawall, David Lo: An automated approach for finding variable-constant pairing bugs. ASE 2010: 103-112
74		Mamoun Filali-Amine, Julia L. Lawall: Development of a Synchronous Subset of AADL. ASM 2010: 245-258
73		Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller: Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC 2010: 191-196
72		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: 273-292
71		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: 79-90
70		Nicolas Geoffray, Gaël Thomas, Julia L. Lawall, Gilles Muller, Bertil Folliot: VMKit: a substrate for managed runtime environments. VEE 2010: 51-62
69		Jesper Andersen, Julia L. Lawall: Generic patch inference. Autom. Softw. Eng. 17(2): 119-148 (2010)
68		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 33: (2010)
67		Julia L. Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller: Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010(83): 54 (2010)
66		Julia L. Lawall: Preface to special issue on Generative Programming and Component Engineering (GPCE 2007). Sci. Comput. Program. 75(7): 471-472 (2010)
	2009
65		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: 43-52
64		Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller: Automatic Generation of Network Protocol Gateways. Middleware 2009: 21-41
63		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: 114-126
62		Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall: Entropy: a consolidation manager for clusters. VEE 2009: 41-50
	2008
61		Jesper Andersen, Julia L. Lawall: Generic Patch Inference. ASE 2008: 337-346
60		Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller: Documenting and automating collateral evolutions in linux device drivers. EuroSys 2008: 247-260
59		Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall: Pantaxou: a domain-specific language for developing safe coordination services. GPCE 2008: 149-160
58		Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall: High-level Programming Support for Robust Pervasive Computing Applications. PerCom 2008: 252-255
57		Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall: Software Architecture Evolution. Software Evolution 2008: 233-262
56		Julia L. Lawall, Michael Leuschel, Peter Sestoft: Editorial. Higher-Order and Symbolic Computation 21(1-2): 1-3 (2008)
55		Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 21(3): 237-238 (2008)
54		Julia L. Lawall: Editorial. J. Funct. Program. 18(5-6): 565-566 (2008)
	2007
53		Charles Consel, Julia L. Lawall: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings ACM 2007
52		Nicolas Palix, Charles Consel, Laurent Réveillère, Julia L. Lawall: A stepwise approach to developing languages for SIP telephony service creation. IPTComm 2007: 79-88
51		Richard Urunuela, Gilles Muller, Julia L. Lawall: Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems 2007
50		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: 149-160
49		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 abs/0704.1373: (2007)
48		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. 166: 47-62 (2007)
47		Jean-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
46		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
45		Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall: Safe Integration of New Concerns in a Software Architecture. ECBS 2006: 52-64
44		Richard Urunuela, Gilles Muller, Julia L. Lawall: Energy adaptation for multimedia information kiosks. EMSOFT 2006: 223-232
43		Yoann Padioleau, Julia L. Lawall, Gilles Muller: Understanding collateral evolution in Linux device drivers. EuroSys 2006: 59-71
42		Sapan Bhatia, Charles Consel, Julia L. Lawall: Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. ISMM 2006: 104-114
41		Sapan Bhatia, Charles Consel, Julia L. Lawall: Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. LCN 2006: 47-54
40		Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller: Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS 2006: 10
39		Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz: Issues in holistic system design. PLOS 2006: 12
38		Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen: Semantic patches considered helpful. Operating Systems Review 40(3): 90-92 (2006)
	2005
37		Julia 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
36		Gilles Muller, Julia L. Lawall, Hervé Duchesne: A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE 2005: 56-65
35		Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
34		Olivier Barais, Julia L. Lawall, Anne-Françoise Le Meur, Laurence Duchien: Providing Support for Safe Software Architecture Transformations. WICSA 2005: 201-202
33		Gilles Muller, Julia L. Lawall, Hervé Duchesne: A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS 2005: 219-230
32		Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers: Editorial. Higher-Order and Symbolic Computation 18(3-4): 243-244 (2005)
	2004
31		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: 15
30		Julia 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
29		Julia L. Lawall, Gilles Muller, Hervé Duchesne: Invited application paper: language design for implementing process scheduling hierarchies. PEPM 2004: 80-91
28		Anne-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)
27		Charles 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
26		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: 110-119
25		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: 196-204
24		Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel: Automatic program specialization for Java. ACM Trans. Program. Lang. Syst. 25(4): 452-499 (2003)
23		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
22		Julia 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
21		Dan He, Gilles Muller, Julia L. Lawall: Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS 2002: 161-170
20		Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel: Towards bridging the gap between programming languages and partial evaluation. PEPM 2002: 9-18
19		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: 73-86
	2001
18		Julia L. Lawall: Implementing Circularity Using Partial Evaluation. PADO 2001: 84-102
17		Olivier Danvy, Julia L. Lawall: Editorial. Higher-Order and Symbolic Computation 14(2-3): 99-100 (2001)
16		Bernd Grobauer, Julia L. Lawall: Partial Evaluation of Pattern Matching in Strings, revisited. Nord. J. Comput. 8(4): 437-462 (2001)
	2000
15		Julia L. Lawall: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000 ACM 2000
14		Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel: Specialization Patterns. ASE 2000: 197-
13		Julia L. Lawall, Gilles Muller: Efficient Incremental Checkpointing of Java Programs. DSN 2000: 61-70
12		Julia 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
10		Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller: Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390
	1998
9		Franç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
4		Julia 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
1		Olivier Danvy, Julia L. Lawall: Back to Direct Style II: First-Class Continuations. LISP and Functional Programming 1992: 299-310

Coauthor Index

1	Rickard A. Åberg	[25]
2	Jesper Andersen	[61] [69]
3	Sven Apel	[85]
4	Emilie Balland	[79] [80] [82]
5	Olivier Barais	[34] [45] [57]
6	Luciano Porto Barreto	[22]
7	Sapan Bhatia	[41] [42]
8	Tegawendé F. Bissyandé	[72]
9	Jean-Paul Bodeveix	[35] [47]
10	Yérom-David Bromberg	[64] [72]
11	Julien Brunel	[63] [65]
12	Laurent Burgy	[49] [50] [78]
13	Christophe Calvès	[84]
14	Damien Cassou	[79] [80] [82]
15	Charles Consel	[9] [10] [11] [14] [20] [24] [27] [28] [41] [42] [52] [53] [58] [59] [79] [80] [82]
16	Olivier Danvy	[1] [2] [4] [17] [55]
17	Damien Doligez	[63]
18	Hervé Duchesne	[29] [33] [36] [37]
19	Laurence Duchien	[34] [45] [57]
20	R. Kent Dybvig	[55]
21	Jean-Philippe Fassino	[19]
22	Alexandra Fedorova	[71]
23	Pascal Felber	[71] [83]
24	Matthias Felleisen	[32]
25	Mamoun Filali (Mamoun Filali-Amine)	[35] [47] [74]
26	Bertil Folliot	[70]
27	Nicolas Geoffray	[70]
28	Bernd Grobauer	[16]
29	René Rydhof Hansen	[38] [40] [60] [63] [65] [67] [68] [73]
30	Dan He	[21]
31	Danny Hendler	[71]
32	Fabien Hermenier	[62]
33	Luke Hornof	[9]
34	R. E. Voel Jensen	[23]
35	Wilfried Jouve	[58]
36	Julien Lancia	[58]
37	Ben Laurie	[73]
38	Christian Lengauer	[85]
39	Michael Leuschel	[56]
40	David Lo	[75]
41	Xavier Lorca	[62]
42	Harry G. Mairson	[5] [7] [12]
43	Walther Maldonado	[71] [83]
44	Renaud Marlet	[11]
45	Patrick Marlier	[71] [83]
46	Jean-Marc Menaud	[26] [31] [62]
47	Julien Mercadal	[59]
48	Anne-Françoise Le Meur	[20] [25] [27] [28] [30] [34] [37] [45] [57]
49	Gilles Muller	[10] [11] [13] [19] [21] [22] [23] [25] [26] [29] [30] [31] [33] [35] [36] [37] [38] [40] [43] [44] [47] [48] [49] [50] [51] [60] [62] [63] [64] [65] [67] [70] [71] [72] [73] [76] [77] [78] [81] [83] [84]
50	François Noël	[9]
51	Mads Chr. Olesen	[68]
52	Yoann Padioleau	[38] [40] [43] [48] [60]
53	Nicolas Palix	[52] [58] [59] [65] [67] [68] [73] [76] [84]
54	Christian W. Probst	[39]
55	John H. Reppy	[46]
56	Laurent Réveillère	[49] [50] [52] [64] [72] [78]
57	Etienne Riviere	[83]
58	Suman Saha	[77] [81] [84]
59	Ulrik Pagh Schultz	[10] [14] [24] [39]
60	Marc Ségura-Devillechaise	[26]
61	Manuel Serrano	[32]
62	Peter Sestoft	[56]
63	Olin Shivers	[32]
64	Jean-Bernard Stefani	[19]
65	Henrik Stuart	[65]
66	Mario Südholt	[25] [31]
67	Adi Suissa	[71]
68	Scott Thibault	[11] [23]
69	Peter Thiemann	[6] [55]
70	Gaël Thomas	[70] [84]
71	Richard Urunuela	[44] [51]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page