Sharing continuations:
proofnets for languages with explicit control
(©
Springer-Verlag)
J.L. Lawall, H.G. Mairson
In ESOP 2000: European Symposium on Programming, pages 245-259.
(slides)
On the global dynamics of optimal graph reduction
J.L. Lawall, H.G. Mairson
In 1997 ACM International
Conference on Functional Programming, pages 188-195.
Optimality and inefficiency: what isn't a cost model of the lambda
calculus?
J.L. Lawall, H.G. Mairson
In 1996 ACM International
Conference on Functional Programming, pages 92-101.
Towards Easing the Diagnosis of Bugs in OS Code
Henrik Stuart, Rene Rydhof Hansen, Julia Lawall, Jesper Andersen, Yoann
Padioleau, and Gilles Muller.
4th Workshop on Programming Languages and Operating Systems (PLOS 2007),
Stevenson, Washington, USA, October 2007.
Semantic Patches for Documenting and Automating Collateral
Evolutions in Linux Device Drivers
Yoann Padioleau, Rene Rydhof Hansen, Julia L. Lawall,
and Gilles Muller
PLOS 2006: Linguistic Support for Modern Operating Systems, San Jose,
California, October 2006, pages 55-60.
Semantic Patches Considered Helpful
Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
ACM SIGOPS Operating Systems Review, Volume 40, Issue 3 (July 2006),
pages 90-92.
SmPL: SimPLe SamPLes to Update Device Drivers or Patch Reloaded
(poster)
Yoann Padioleau, Julia L. Lawall, and Gilles Muller
Eurosys 2006
, Leuven, Belgium, April 2006.
Understanding Collateral Evolution in Linux Device Drivers
Yoann Padioleau, Julia L. Lawall, and Gilles Muller
Proceedings of the ACM SIGOPS EuroSys 2006 Conference
, Leuven, Belgium, April 2006, pages 59-71.
SmPL: A Domain-Specific Language for Specifying
Collateral Evolutions in Linux Device Drivers
Yoann Padioleau, Julia L. Lawall, and Gilles Muller
International ERCIM Workshop on Software Evolution (2006), Lille,
France, April 2006.
Extended version available in
Electronic Notes in Theoretical Computer Science, volume 166, pages
47-62, January 2007.
Tarantula: Killing Driver Bugs Before They Hatch
Julia L. Lawall, Gilles Muller, Richard Urunuela
Proceedings of the Fourth AOSD Workshop on Aspects, Components, and
Patterns for Infrastructure Software (ACP4IS),
pages 13-18,
Chicago, Illinois,
March 2005.
A Language-Based Approach for Improving the Robustness of
Network Application Protocol Implementations
Laurent Burgy, Laurent Reveillere,
Julia L. Lawall and Gilles Muller
26th IEEE International Symposium on Reliable Distributed Systems
, October 2007, Beijing, China, pages 149-158.
A Stepwise Approach to
Developing Languages for SIP Telephony Service Creation
Nicolas Palix, Charles Consel, Laurent Reveillere, and Julia Lawall
Principles, Systems and Applications of IP Telecommunications
(IPTComm), July 2007, New York, NY, pages 79-88.
Automatic Verification of Bossa Scheduler Properties
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, and Gilles Muller
Sixth International Workshop
on Automated Verification
of Critical Systems, September 2006, Nancy, France.
Revised version in
Electronic Notes in Theoretical Computer Science, 185,
p.17-32, July 2007.
Language Technology for Internet-Telephony Service
Creation
Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, and
Laurent Réveillère.
IEEE International Conference on Communications,
pp. 1795-1800, Istanbul, Turkey,
June 2006.
Vérification automatique de propriétés d'ordonnanceurs Bossa
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, and Gilles Muller
Approches Formelles dans l'Assistance au Développement de
Logiciels, March 2006, Paris, France, pages 95-109.
Formal methods meet Domain Specific Languages
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, and Gilles Muller.
Fifth International Conference on Integrated Formal
Methods , Lecture Notes in
Computer Science, volume 3771, pp. 187-206,
29 November - 2 December 2005 in Eindhoven, The Netherlands.
Applying the B formal method to the Bossa domain-specific language
Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, and Gilles Muller
In The 17th Nordic Workshop on Programming Theory (NWPT'05),
pp 35-38, Copenhagen, Denmark, October, 2005.
A Framework for Simplifying the Development of Kernel Schedulers: Design
and Performance Evaluation.
Gilles Muller, Julia Lawall, and Herve Duchesne.
HASE- 2005 - High Assurance Systems Engineering Conference,
pp 56-65, Heidelberg, Germany, October, 2005.
Bossa Nova: Introducing modularity into the Bossa domain-specific language.
Julia L. Lawall, Herve Duchesne, Gilles Muller, and Anne-Francoise Le Meur.
Third International Conference on Generative
Programming and Component Engineering (GPCE'05), Lecture Notes in
Computer Science, volume 3676, pp. 78-93,
Tallinn, Estonia. September, 2005.
On Designing a Target-Independent DSL for Safe OS Process-Scheduling
Components.
Julia L. Lawall, Anne-Francoise Le Meur, and Gilles Muller.
Third International Conference on Generative
Programming and Component Engineering (GPCE'04), Lecture Notes in
Computer Science, volume 3286, pp. 436-455,
Vancouver, Canada. October, 2004. (slides,
Springer version).
Constructing component-based extension interfaces in legacy systems code.
Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, and Mario Sudholt.
11th ACM SIGOPS European Workshop, pp. 80-85, Leuven, Belgium,
September 2004.
Language design for implementing process scheduling hierarchies
(invited paper).
Julia L. Lawall, Gilles Muller, and Herve Duchesne.
ACM SIGPLAN 2004 Symposium on Partial
Evaluation and Program Manipulation - PEPM'04, pp. 80-91,
Verona, Italy, August 2004.
Modularity for the Bossa Process-Scheduling Language.
Julia L. Lawall, Anne-Francoise Le Meur, and Gilles Muller.
ECOOP Workshop on Programming Languages and Operating
Systems (ECOOP-PLOS 2004), pages 1-5. Oslo, Norway, June 2004.
A Domain-Specific Language Approach to Programmable Networks.
Gilles Muller, Julia L. Lawall, Scott Thibault, Rasmus Erik Voel Jensen
Transactions on Systems, Man, and Cybernetics - Part C.
volume 33, number 3, pages 370-381, August 2003.
On the automatic evolution of an OS kernel using temporal logic and AOP.
R.A. Åberg, J.L. Lawall, M. Sudholt, G. Muller, A.-F. Le Meur
Automated Software Engineering 2003 (ASE 2003), pages 196-204,
Montreal, Canada, October, 2003.
A Framework for Simplifying the Development of Kernel Schedulers:
Design and Performance Evaluation.
G. Muller, J.L. Lawall, L.P. Barreto, J.-F. Susini.
Technical report 03/2/INFO,
Ecole des Mines de Nantes, 2003.
Evolving an OS Kernel using Temporal Logic and Aspect-Oriented Programming
R.A. Åberg, J.L. Lawall, M. Südholt, and G. Muller
The Second AOSD Workshop on Aspects,
Components, and Patterns for Infrastructure Software (ACP4IS),
pages 7-12,
Boston, Massachusetts,
March 2003.
Towards a Scheduling Framework for Dynamically
Downloaded Multimedia Applications
G. Muller and J.L. Lawall
Microsoft Summer Research Workshop 2002, Cambridge,
England, September 2002.
Capturing OS expertise in a Modular Type System: the Bossa experience.
J. Lawall, G. Muller, and L.P. Barreto.
In ACM SIGOPS European Workshop
2002 (EW'2002), pages 54-61,
Saint-Emilion, France, September 2002.
Distributing MPEG movies over the Internet using
programmable networks
D. He, G. Muller, and J.L. Lawall
In The 22nd International Conference on
Distributed Computing Systems (ICDCS'02),
pages 161-170, Vienna, Austria, July 2002.
Specialization Scenarios:
A Pragmatic Approach to Declaring Program Specialization.
Anne-Francoise Le Meur, Julia L. Lawall, and Charles Consel.
In Higher-Order and Symbolic Computation, 17(1), Mar
2004, pages 47-92.
Automatic Program Specialization for Java,
U.P. Schultz, J.L. Lawall, and C. Consel
In TOPLAS 25(4): 452-499 (2003).
Towards Bridging the Gap Between Programming Language and Partial
Evaluation,
A.-F. Le Meur, J.L. Lawall, and C. Consel
In ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation (PEPM '02),
pages 9-18, Portland, Oregon, January 2002
JIT compilation for evolving embedded systems
J.L. Lawall, G. Muller, and R.E. Voel Jensen
LaBRI research report 1273-02. 2002.
Partial Evaluation of Pattern Matching in Strings, revisited
B. Grobauer and J.L. Lawall
Nordic Journal of Computing, 8(4), Winter 2001, pages 437-462.
Extended version, BRICS report RS-00-31.
(pdf)
Implementing circularity using partial evaluation
(©
Springer-Verlag)
J.L. Lawall
In
Second Symposium on Programs as Data Objects (PADO II), pages 84-102.
(slides)
Specialization Patterns
U.P. Schultz, J.L. Lawall, C. Consel
INRIA Research Report RR-3853, January 2000.
In
ASE'2000, the 15th IEEE International Conference on
Automated Software Engineering, pages 197-206.
(pdf)
Faster Run-time Specialized Code using
Data Specialization
J.L. Lawall and G. Muller
INRIA Research Report RR-3833, December 1999.
(pdf)
Efficient Incremental Checkpointing of
Java Programs
J.L. Lawall and G. Muller
INRIA Research Report RR-3810, November 1999.
In
2000
International Conference on Dependable Systems and Networks, pages
61-70.
(pdf)
Toward
Automatic Specialization of Java Programs
U.P. Schultz, J.L. Lawall, C. Consel, and G. Muller
In
13th European Conference on Object-Oriented Programming (ECOOP '99), Lisbon,
Portugal, June 1999. Preliminary version available as IRISA Research
Report 1216, December 1998.
Experiments in Program Compilation by Interpreter Specialization
S. Thibault, L. Bercot, C. Consel, R. Marlet, G. Muller, and J. Lawall
IRISA Research Report 1212, December 1998.
Superceded by
Static and Dynamic Program Compilation by Interpreter
Specialization
S. Thibault, C. Consel, J.L. Lawall, R. Marlet, and G. Muller
In
Higher-Order and Symbolic Computation, 13(3), September 2000,
pages 161-178.
Partial Evaluation for
Software Engineering
C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé, S. Thibault,
and E.-N. Volanschi
In ACM Computing Surveys, Symposium on Partial Evaluation (SOPE '98), vol 30, no 3,
September 1998.
Tempo: Specializing Systems
Applications and Beyond
C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé,
S. Thibault, E.-N. Volanschi
In ACM Computing Surveys, Symposium on Partial Evaluation (SOPE '98), vol 30, no 3,
September 1998.
Faster Fourier Transforms via Automatic
Program Specialization
J.L. Lawall
In the Lecture notes of the DIKU International Summer School '98
on Partial Evaluation: Practice and Theory, pages 338-355. Copenhagen, Denmark,
June 29 - July 10, 1998.
Automatic, Template-Based Run-Time
Specialization: Implementation and Experimental Study
F. Noël, L. Hornof, C. Consel, and J.L. Lawall
In IEEE International Conference on Computer Languages (ICCL '98), pages
123-142, Chicago, Illinois, USA, May 1998.
Sound Specialization in the Presence of Computational
Effects
J.L. Lawall and P. Thiemann
In Theoretical Aspects of Computer Software (TACS '97),
volume 1281 of Lecture Notes in Computer
Science, pages 165-190, Sendai, Japan, September 1997.
Continuation-Based Partial Evaluation
J.L. Lawall
and
O. Danvy.
Technical Report CS-95-178,
Computer Science Department,
Brandeis University,
February 1995.
(An earlier version appeared in the proceedings of LFP94, the 1994 ACM
Conference on Lisp and Functional Programming.
Conference paper here.)
Proofs by structural induction using partial evaluation.
J.L. Lawall.
In Proceedings of the Second ACM SIGPLAN Symposium on Partial
Evaluation and Semantics-Based Program Manipulation, pages 155-166,
Copenhagen, Denmark, June 1993.
Separating Stages in the Continuation-Passing Style
Transformation
J.L. Lawall
and
O. Danvy.
In Proceedings of POPL93, the 1993 ACM Symposium on Principles
of Programming Languages, pages 124-136.
Back to direct style II: First-class continuations
O. Danvy
and
J.L. Lawall.
Technical Report CS-95-179,
Computer Science Department,
Brandeis University,
February 1995.
(An earlier version appeared in the proceedings of LFP92, the 1992 ACM
Conference on Lisp and Functional Programming. Conference paper here.)
High-level Programming Support for Robust Pervasive
Computing Applications
Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles
Consel, Julia Lawall
Sixth Annual IEEE International Conference on Pervasive Computing and
Communications (poster), Hong Kong, March 2008.
Issues in Holistic System Design
Julia L. Lawall, Christian W. Probst, and Ulrik Pagh Schultz
PLOS 2006: Linguistic Support for Modern Operating Systems, San Jose,
California, October 2006, pages 45-49.
Minimizing cache misses in an
event-driven network server: A case study of TUX
Sapan Bhatia, Charles Consel, Julia Lawall
The 31st IEEE Conference on Local Computer Networks (LCN), pages 47-54, Tampa, Florida,
November 2006.
Energy Adaptation for Multimedia Information Kiosks
Richard Urunuela, Gilles Muller, Julia L. Lawall
6th Annual ACM Conference on Embedded Software, pages 223-232,
Seoul, Korea, October 2006.
Memory-manager/scheduler co-design: optimizing event-driven servers to
improve cache behavior
Sapan Bhatia, Charles Consel, Julia Lawall
Proceedings of the 2006 international symposium on Memory management,
Ottawa, Canada, June 2006, pages 104-114.
Safe Integration of
Concerns in a Software Architecture
O. Barais, J. Lawall, A-F. Le Meur and L. Duchien.
13th Annual IEEE International
Conference on the Engineering of Computer Based Systems (ECBS), Potsdam,
Germany, March 27th-30th, 2006, pages 52-64.
Providing Support for Safe Software Architecture Transformations.
O. Barais, J. Lawall, A.-F. Le Meur, and L. Duchien.
Working session of the 5th IEEE/IFIP Working
Conference on Software Architecture (WICSA 5),
Pittsburgh, Pennsylvania, November 2005.
Extensibilité Dynamique dans les Caches Webs : une Approche par Aspects
M. Ségura-Devillechaise, J.-M. Menaud, J.L. Lawall, and G. Muller.
In 3ème Conférence Française sur les Systèmes d'Exploitation
la Colle sur Loup, October 2003, pages 477-487.
Web Cache Prefetching as an Aspect: Towards a Dynamic-Weaving Based
Solution.
M. Ségura-Devillechaise, J.-M. Menaud, G. Muller, and J.L. Lawall.
In International Conference on Aspect-Oriented Software
Development Boston, MA, March 2003, pages 110-119.
Think: A Software Framework for Component-based Operating
System Kernels
J.-P. Fassino and J.-B. Stefani and J. Lawall and G. Muller
In 2000 USENIX Annual Technical Conference
Monterey CA, June 2002, pages 73-86