Julia L. Lawall

63 papers A* 6A 11B 6C 6Misc 1Journal 16Unranked 17

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel. Autom. Softw. Eng. Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller
2015	J	`jnl`	Implementing an embedded compiler using program transformation rules. Softw. Pract. Exp. Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Yérom-David Bromberg, Gilles Muller
2014	J	`jnl`	Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Sci. Comput. Program. Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
2014	J	`jnl`	Faults in Linux 2.6. CoRR Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall
2013	A	`conf`	Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. DSN Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall, Gilles Muller
2013	J	`jnl`	WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
2012	A*	`conf`	Semantic patch inference. ASE Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo
2010	A	`conf`	Bridging the Gap between Legacy Services and Web Services. Middleware Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller
2010	J	`jnl`	Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
2010	J	`jnl`	Generic patch inference. Autom. Softw. Eng. Jesper Andersen, Julia L. Lawall
2010	J	`jnl`	Preface to special issue on Generative Programming and Component Engineering (GPCE 2007). Sci. Comput. Program. Julia L. Lawall
2010	B	`conf`	Scheduling support for transactional memory contention management. PPoPP Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller
2009	A*	`conf`	A foundation for flow-based program matching: using temporal logic and model checking. POPL Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
2009	A	`conf`	Automatic Generation of Network Protocol Gateways. Middleware Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller
2009	—	`conf`	Enforcing the use of API functions in linux code. ACP4IS@AOSD Julia L. Lawall, Gilles Muller, Nicolas Palix
2009	A	`conf`	WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
2008	A*	`conf`	Generic Patch Inference. ASE Jesper Andersen, Julia L. Lawall
2008	B	`conf`	Pantaxou: a domain-specific language for developing safe coordination services. GPCE Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall
2007	B	`conf`	A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. SRDS Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller
2007	B	`ed.`	Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings GPCE Charles Consel, Julia L. Lawall
2007	—	`conf`	Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems Richard Urunuela, Gilles Muller, Julia L. Lawall
2007	—	`conf`	Towards easing the diagnosis of bugs in OS code. PLOS@SOSP Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller
2006	—	`conf`	Automatic Verification of Bossa Scheduler Properties. AVoCS Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller
2006	Misc	`conf`	Energy adaptation for multimedia information kiosks. EMSOFT Richard Urunuela, Gilles Muller, Julia L. Lawall
2006	C	`conf`	Issues in holistic system design. PLOS Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz
2006	J	`jnl`	Semantic patches considered helpful. ACM SIGOPS Oper. Syst. Rev. Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
2006	C	`conf`	Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
2006	—	`conf`	SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL (Selected Papers) Yoann Padioleau, Julia L. Lawall, Gilles Muller
2006	A	`conf`	Understanding collateral evolution in Linux device drivers. EuroSys Yoann Padioleau, Julia L. Lawall, Gilles Muller
2005	—	`conf`	A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE Gilles Muller, Julia L. Lawall, Hervé Duchesne
2005	—	`conf`	A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS Gilles Muller, Julia L. Lawall, Hervé Duchesne
2005	B	`conf`	Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur
2004	J	`jnl`	A tour of Tempo: a program specializer for the C language. Sci. Comput. Program. Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur
2004	—	`conf`	Constructing component-based extension interfaces in legacy systems code. ACM SIGOPS European Workshop Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt
2004	C	`conf`	Invited application paper: language design for implementing process scheduling hierarchies. PEPM Julia L. Lawall, Gilles Muller, Hervé Duchesne
2004	B	`conf`	On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller
2004	J	`jnl`	Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. High. Order Symb. Comput. Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
2003	J	`jnl`	A domain-specific language approach to programmable networks. IEEE Trans. Syst. Man Cybern. Part C Gilles Muller, Julia L. Lawall, Scott Thibault, R. E. Voel Jensen
2003	J	`jnl`	Automatic program specialization for Java. ACM Trans. Program. Lang. Syst. Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
2003	A*	`conf`	On the automatic evolution of an OS kernel using temporal logic and AOP. ASE Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur
2003	—	`conf`	Web cache prefetching as an aspect: towards a dynamic-weaving based solution. AOSD Marc Ségura-Devillechaise, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall
2002	—	`conf`	Capturing OS expertise in an event type system: the Bossa experience. ACM SIGOPS European Workshop Julia L. Lawall, Gilles Muller, Luciano Porto Barreto
2002	A	`conf`	Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS Dan He, Gilles Muller, Julia L. Lawall
2002	—	`conf`	Think: A Software Framework for Component-based Operating System Kernels. USENIX ATC, General Track Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller
2002	C	`conf`	Towards bridging the gap between programming languages and partial evaluation. PEPM Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
2001	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Julia L. Lawall
2001	—	`conf`	Implementing Circularity Using Partial Evaluation. PADO Julia L. Lawall
2001	J	`jnl`	Partial Evaluation of Pattern Matching in Strings, revisited. Nord. J. Comput. Bernd Grobauer, Julia L. Lawall
2000	A	`conf`	Efficient Incremental Checkpointing of Java Programs. DSN Julia L. Lawall, Gilles Muller
2000	C	`ed.`	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 Julia L. Lawall
2000	A	`conf`	Sharing Continuations: Proofnets for Languages with Explicit Control. ESOP Julia L. Lawall, Harry G. Mairson
2000	A*	`conf`	Specialization Patterns. ASE Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
2000	J	`jnl`	Static and Dynamic Program Compilation by Interpreter Specialization. High. Order Symb. Comput. Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller
1999	A	`conf`	Towards Automatic Specialization of Java Programs. ECOOP Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller
1998	—	`conf`	Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. ICCL François Noël, Luke Hornof, Charles Consel, Julia L. Lawall
1998	—	`conf`	Faster Fourier Transforms via Automatic Program Specialization. Partial Evaluation Julia L. Lawall
1997	—	`conf`	Sound Specialization in the Presence of Computational Effects. TACS Julia L. Lawall, Peter Thiemann
1997	A	`conf`	on Global Dynamics of Optimal Graph Reduction. ICFP Julia L. Lawall, Harry G. Mairson
1996	A	`conf`	Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? ICFP Julia L. Lawall, Harry G. Mairson
1994	—	`conf`	Continuation-Based Partial Evaluation. LISP and Functional Programming Julia L. Lawall, Olivier Danvy
1993	C	`conf`	Proofs by Structural Induction using Partial Evaluation. PEPM Julia L. Lawall
1993	A*	`conf`	Separating Stages in the Continuation-Passing Style Transformation. POPL Julia L. Lawall, Olivier Danvy
1992	—	`conf`	Back to Direct Style II: First-Class Continuations. LISP and Functional Programming Olivier Danvy, Julia L. Lawall