Sharing continuations:
proofnets for languages with explicit control
J.L. Lawall, H.G. Mairson
In ESOP 2000: European Symposium on Programming, pages 245-259.
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.
AndroEvolve: Automated Update for Android Deprecated-API Usages
Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
ICSE (Companion Volume) 2021: 1-4
Automated Patch Backporting in Linux (Experience Paper)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia
Lawall, Abhik Roychoudhury
ISSTA, July 2021, virtual.
Automatic Android Deprecated-API Usage Update
by Learning from Single Updated Example
Stefanus A. Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano,
Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang
28th IEEE/ACM International Conference on Program Comprehension (ICPC
2020), July 2020, virtual.
CC2Vec: Distributed Representations of Code Changes
Thong Hoang, Kang Hong Jin, Julia Lawall, David Lo
ICSE,
July 2020, virtual.
Automated Deprecated-API Usage Update for Android Apps: How Far Are We?
Ferdian Thung, Stefanus Agus Haryono, Lucas Serrano, Gilles Muller,
Julia Lawall, David Lo and Lingxiao Jiang
SANER 2020 - RENE track,
February 2020, London, Ontario, Canada.
DCNS: Automated Detection Of Conservative Non-Sleep Defects in the
Linux Kernel.
Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu
ASPLOS 2019,
Providence RI USA, April 2019, 287-299.
Semantic Patches for Java Program Transformation
Kang Hong Jin, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang
David Lo
ECOOP 2019, July 2019, London, UK.
Effective
Static Analysis of Concurrency Use-After-Free Bugs in Linux Device
Drivers
Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, and Shi-Min Hu.
USENIX ATC, July 2019, Renton, Washington.
Detecting Data Races Caused by Inconsistent Lock
Protection in Device Drivers
Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, and Shi-Min Hu.
IEEE International Conference on
Software Analysis, Evolution and Reengineering, February
2019, Hangzhou China.
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel
Julia Lawall and Gilles Muller.
USENIX ATC 2018, July
2018, Boston, MA.
DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel
Modules
Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, and Shi-Min Hu.
USENIX ATC 2018, July
2018, Boston, MA.
Automating Data Layout Conversion in a
Large Cosmological Simulation Code (poster).
M. Martone, L. Iapichino, N. Hammer, J. Lawall.
International Symposium on Computational Science at Scale,
Erlangen, Germany, September 2018.
Code Coverage and
Post-Release Defects: A Large Scale
Study on Open Source Projects
Pavneet Singh Kochhar, David Lo, Julia Lawall, Nachiappan Nagappan.
IEEE
Transactions on Reliability, 66(4), 1213-1228, December 2017.
Fast and Precise Retrieval of Forward and
Back Porting Information for Linux Device Drivers
Julia Lawall, Derek Palinski, Lukas Gnirke, and Gilles Muller,
USENIX ATC, July
2017, Santa Clara, California.
JMake: Dependable Compilation for Kernel
Janitors
Julia Lawall, Gilles Muller.
IEEE/IFIP International Conference on
Dependable Systems and Networks (DSN), June 2017,
Denver, Colorado. slides
Towards Proving Optimistic Multicore Schedulers
Baptiste Lepers, Gilles Muller, Julia Lawall, Willy Zwaenepoel, Jean Pierre
Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena.
16th Workshop on
Hot Topics in Operating Systems (HotOS),
May 2017, Whistler, Bristish Columbia.
Interactive data representation migration: Exploiting program dependence to
aid program transformation
Krishna Narasimhan, Christoph Reichenbach, Julia Lawall.
Workshop
on Partial Evaluation and Program Manipulation (PEPM), January 2017,
Paris, France.
Recommending Code Changes for Automatic Backporting of Linux Device Drivers.
Ferdian Thung, Le Dinh Xuan Bach, David Lo and Julia Lawall.
International Conference on Software
Maintenance and Evolution (ICSME), October 2016, Raleigh, North
Carolina, USA.
3L: Learning Linux Logging
Peter Senna Tschudin, Julia Lawall, Gilles Muller.
14th BElgian-NEtherlands software eVOLution seminar (BENEVOL 2015),
December 2015, Lille, France.
Increasing Automation in the Backporting
of Linux Drivers Using Coccinelle
Luis R. Rodriguez and Julia Lawall.
11th European Dependable Computing Conference - Dependability in Practice,
September 2015, Paris, France.
Are These Bugs Really "Normal"?
Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry.
The 12th Working Conference on Mining Software Repositories,
May 2015, Florence, Italy,
Improving Pattern Tracking with a
Language-Aware Tree Differencing Algorithm
Nicolas Palix, Jean-Rémy Falleri, Julia Lawall.
22nd IEEE International Conference on Software Analysis, Evolution,
and Reengineering (SANER), March 2015, Montreal, Canada,
On the Effectiveness of Information
Retrieval Based Bug Localization for C Programs
Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry.
30th International Conference on Software Maintenance and Evolution,
September 2014, Victoria, BC, Canada.
Compositional Vector Space Models for
Improved Bug Localization
Shaowei Wang, David Lo, Julia Lawall.
30th International Conference on Software Maintenance and Evolution,
September 2014, Victoria, BC, Canada.
Faults in
Linux 2.6.
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès,
Gilles Muller, Julia Lawall.
ACM TOCS, Volume 32 Issue 2, June 2014, Article No. 4
Reviewed
in Golem.de (German)
(local copy)
SEWordSim: Software-Specific Word Similarity Database.
Yuan Tian, David Lo, and Julia Lawall.
ICSE Companion, demo track, pages 568-571, June 2014, Hyderabad, India.
Oops! Where Did That Code Snippet Come From?
Lisong Guo, Julia Lawall, Gilles Muller.
The 11th Working Conference on
Mining Software Repositories. pages 52-61, May 2014. Hyderabad, India.
Ahead of Time Static Analysis for Automatic Generation of
Debugging Interfaces to the Linux Kernel.
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall,
Gilles Muller
Journal of Automated Software Engineering. 23(1): 3-41 (2016)
Automated construction of a
software-specific word similarity database.
Yuan Tian, David Lo, Julia L. Lawall
CSMR-WCRE 2014: pages
44-53, February 2014, Antwerp, Belgium.
Understanding the Genetic Makeup of Linux Device Drivers.
Peter Senna Tschudin, Laurent Réveillère,
Lingxiao Jiang and David Lo, Julia Lawall and Gilles Muller
7th Workshop on Programming Languages and Operating Systems
(PLOS 2013).
November, 2013,
Nemacolin Woodlands Resort, PA, USA.
Automatic Recommendation of API Methods from Feature Requests
Ferdian Thung, Shaowei Wang, David Lo and Julia Lawall.
28th IEEE/ACM
International Conference on Automated Software Engineering, November,
2013, Palo Alto, CA, USA.
Automated Library Recommendation
Ferdian Thung, David Lo and Julia L. Lawall.
20th Working Conference on Reverse Engineering, WCRE, pages 182-191,
October, 2013, Koblenz, Germany.
Hector: Detecting Resource-Release Omission Faults in
error-handling code for systems software.
Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall and Gilles
Muller.
43rd Annual IEEE/IFIP
International Conference on Dependable Systems and Networks (DSN),
pages 1-12, 2013.
Diagnosys: Automatic Generation of a Debugging Interface to the Linux
kernel.
Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall,
Gilles Muller
The 27th IEEE/ACM International Conference on Automated Software
Engineering (ASE 2012), September 2012, Essen, Germany.
Best paper award
Finding Resource-Release Omission Faults in Linux
Suman Saha, Julia L. Lawall, Gilles Muller
6th Workshop on Programming Languages and Operating Systems (PLOS),
October 23, 2011, Cascais, Portugal.
(local copy)
An approach to improving the
structure of error-handling code in the Linux kernel.
Suman Saha, Julia L. Lawall, Gilles Muller
LCTES 2011, Chicago
Illinois, April 2011, pages 41-50.
(local copy)
Faults in Linux:
Ten Years Later
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès,
Julia Lawall, Gilles Muller.
Sixteenth International Conference on
Architectural Support for Programming Languages and Operating Systems
(ASPLOS 2011),
Newport Beach, California, March 2011, pages 305-318.
(local copy)
Improving the Security
of Infrastructure Software
using Coccinelle
Julia Lawall, René Rydhof Hansen, Nicolas Palix
and Gilles Muller
ERCIM News 83, October 2010, page 52.
Clang and Coccinelle: The best of two worlds for CERT C Secure Coding
certification
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas
Palix
OpenCert 2010, Pisa Italy, 2010.
An Automated Approach for Finding Variable-Constant Pairing
Bugs
Julia Lawall and David Lo
25th IEEE/ACM International Conference on Automated Software Engineering,
ASE 2010, Antwerp, Belgium, September 2010.
Finding Error Handling Bugs in OpenSSL using
Coccinelle
Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles
Muller.
Eighth European Dependable Computing
Conference, EDCC 2010,
Valencia, Spain, April 2010.
Tracking code patterns over multiple software versions with Herodotos.
Nicolas Palix, Julia L. Lawall, Gilles Muller.
Proceedings of the 9th International Conference on Aspect-Oriented Software
Development, AOSD 2010, Rennes and Saint-Malo, France, March 2010, pages
169-180.
How Often Do Experts Make Mistakes?
Nicolas Palix, Julia L. Lawall, Gaël Thomas, Gilles Muller.
9th Workshop on Aspects, Components, and Patterns for Infrastructure
Software (ACP4IS 2010), ACP4IS 2010, Rennes and Saint-Malo, France, March
2010.
Generic Patch Inference
Jesper Andersen and Julia Lawall
Automated Software Engineering 17(2): 119-148 (2010).
WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
DSN 2009 - The 39th Annual IEEE/IFIP International Conference on Dependable
Systems and Networks, pages 43-52, Estoril, Portugal, June 2009.
Enforcing the use of API functions in Linux code
Julia Lawall, Gilles Muller, Nicolas Palix
8th Workshop on Aspects, Components, and Patterns for Infrastructure
Software (ACP4IS '09), 7-11, Charlottesville, VA, USA, March, 2009.
A Foundation for Flow-Based Program Matching Using Temporal Logic and
Model Checking
Julien Brunel, Damien Doliguez, René Rydhof Hansen, Julia Lawall, Gilles
Muller
The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming
Languages, pages 114-126, Savannah, Georgia, USA, January, 2009.
Preliminary version available as Ecole des Mines de Nantes Technical Report
08/2/INFO. July 2008.
Generic Patch Inference
Jesper Andersen and Julia Lawall
23rd IEEE/ACM International Conference on Automated Software Engineering,
September 2008.
Documenting and Automating Collateral
Evolutions in Linux Device Drivers
Yoann Padioleau, Julia Lawall, René Rydhof Hansen and Gilles Muller.
Eurosys 2008,
Glasgow, Scotland, March/April 2008.
EuroSys Test of Time Award
Towards Easing the Diagnosis of Bugs in OS Code
Henrik Stuart, René 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, Documenting and Automating Collateral Evolutions in Linux
Device Drivers
Yoann Padioleau, Julia L. Lawall, and Gilles Muller
Ottawa Linux Symposium (OLS 2007), June 2007.
Semantic Patches for Documenting and Automating Collateral
Evolutions in Linux Device Drivers
Yoann Padioleau, René 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.
Provable Multicore Schedulers with Ipanema:
Application to Work Conservation.
Baptiste Lepers, Redha Gouicem,
Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte,
Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller.
EuroSys, April 2020, virtual.
Implementing an embedded compiler using program transformation rules.
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall,
Yérom-David Bromberg and Gilles Muller.
Software: Practice and Experience, online preprint, 2013.
Bridging the Gap between Legacy Services and Web Services
Tegawendé F. Bissyandé, Laurent
Réveillère, Yérom-David Bromberg, Julia
L. Lawall, and Gilles Muller
ACM/IFIP/USENIX 11th
International Middleware Conference
Bangalore, India, December, 2010.
Automatic Generation of Network Protocol Gateways
Yerom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles
Muller
ACM/IFIP/USENIX 10th
International Middleware Conference
Urbana Champaign, Illinois, USA, December, 2009.
Proceedings of the 2nd International Workshop on Domain-Specific Program Development.
Laurent Réveillère and Julia Lawall
with GPCE'08, October 2008, Nashville, TN.
Pantaxou: a Domain-Specific Language for Developing Safe
Coordination Services
Julien Mercadal, Nicolas Palix, Charles Consel, Julia Lawall
Seventh International Conference on
Generative Programming and Component Engineering (GPCE'08)
, October 2008, Nashville, TN, pages 149-160.
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.
A Language-Based Approach for Improving the Robustness of
Network Application Protocol Implementations
Laurent Burgy, Laurent Réveillère,
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 Réveillère, 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.
The Bossa framework for scheduler development.
J. Lawall and G. Muller.
Libre Software Meeting
(LSM), Dijon, France, July 2005.
A Framework for Simplifying
the Development of Kernel Schedulers: Design and Performance Evaluation
(postscript)
Gilles Muller, Julia L. Lawall, Herve Duchesne.
Tenth IEEE International Workshop on Object-Oriented Real-Time
Dependable Systems, Sedona, Arizona. February 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-Françoise 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 Languages 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.)
Fork/Wait and
Multicore Frequency Scaling: A Generational Clash
Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena,
Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall,
and Gilles Muller
10th Workshop on Programming Languages and Operating
Systems (PLOS 2019), Huntsville, Ontario, Canada, October 2019.
PatchNet: Hierarchical
Deep Learning-Based Stable Patch Identification
for the Linux Kernel
Thong Hoang, Julia Lawall, Yuan Tian, Richard Oentaryo, David Lo.
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, accepted 2019, 17 pages.
PatchNet: a tool
for deep patch classification.
Thong Hoang, Julia Lawall, Richard Jayadi Oentaryo, Yuan Tian, David Lo.
ICSE (Companion Volume) 2019. Montreal, Canada, May 2019, 83-86.
Cleaning up Copy-Paste Clones with Interactive
Merging?
Krishna Narasimhan, Christoph Reichenbach, Julia Lawall.
Journal of Automated Software Engineering, 25(3), 627-673, August 5, 2018.
The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS
Justinien Bouron, Baptiste Lepers, Willy Zwaenepoel, Gilles Muller,
Julia Lawall, Redha Gouicem, Julien Sopena, and Sebastien Chevalley.
USENIX ATC 2018
Analysing Selfishness Flooding with SEINE
Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Julia Lawall, Gilles
Muller, Ernesto Damiani, and Lionel Brunie.
The 47th IEEE/IFIP International
Conference on Dependable Systems and Networks.
June 26-29, 2017.
RACOON++: A
Semi-Automatic Framework for the Selfishness-aware Design of Cooperative
Systems.
Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani,
Julia Lawall, Gilles Muller, Lionel Brunie.
IEEE Transactions on
Dependable and Secure Computing. 16(4): 635-650 (2019).
Fast and Portable
Locking for Multicore Architectures.
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia L. Lawall, Gilles
Muller.
ACM
Trans. Comput. Syst. 33(4): 13 (2016).
Maximizing Parallelism
without Exploding Deadlines in a Mixed Criticality Embedded
System.
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia L. Lawall, Gilles
Muller.
ECRTS 2016: 109-119.
From Sets to Bits in
Coq.
Arthur Blot, Pierre-Évariste Dagand, Julia Lawall.
FLOPS 2016: 12-28.
Understanding the
Memory Consumption of the MiBench Embedded Benchmark.
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles
Muller.
NETYS 2016: 71-86.
A Framework for the Design
Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems
Guido Lena Cota, Sonia Ben Mokhtar, Julia Lawall, Gilles Muller,
Gabriele Gianini, Ernesto Damiani, Lionel Brunie.
34th Symposium on Reliable Distributed Systems (SRDS 2015),
September 28-October 1, 2015, Montreal, Quebec, Canada.
Incinerator - Eliminating Stale References in
Dynamic OSGi Applications
Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall and
André Bottaro.
The 45th Annual IEEE/IFIP International Conference on Dependable Systems
and Networks (DSN 2015),
June 22-25, 2015, Rio de Janeiro, Brazil.
Supporting Time-Based QoS
Requirements in Software Transactional Memory
Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller,
Etienne Rivière.
ACM Transactions on Parallel Computing, Volume 2, Number 2, paper 10, July
2015.
Automated Construction of a Software-Specific Word Similarity Database
Yuan Tian, David Lo, and Julia Lawall.
IEEE CSMR-WCRE 2014 Software Evolution Week, pages 44-53,
Antwerp, Belgium, February, 2014.
Continuously measuring critical section pressure with the free-lunch profiler.
Florian David, Gaël Thomas, Julia Lawall, Gilles Muller.
OOPSLA 2014: 291-307
Btrplace: A Flexible Consolidation Manager for Highly Available
Applications
Fabien Hermenier, Julia Lawall, Gilles Muller.
IEEE Transactions of Dependable and Secure Computing (TDSC), vol 10,
no. 5, pp. 273--286, Sept.-Oct. 2013
Identifying Linux bug fixing patches.
Yuan Tian, Julia L. Lawall, David Lo.
ICSE 2012: 386-396
Deadline-Aware Scheduling for Software Transactional Memory
Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles
Muller, and Etienne Riviere
2011 International Conference on Dependable Systems and Networks, Hong
Kong, June 27-30, 2011.
VMKit: a Substrate for Managed Runtime Environments
Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, and Bertil Folliot.
The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution
Environments, Pittsburgh, PA, USA, March 17-19, 2010, pages 51-62.
Development of a Synchronous Subset of AADL
Mamoun Filali and Julia Lawall
ABZ 2010, Orford,
Quebec, Canada, February 22-25, 2010, pages 245-258.
Scheduling Support for Transactional Memory Contention Management
Walther Maldonado, Patrick Marlier, Pascal Felber,
Julia Lawall, Gilles Muller, Adi Suissa, Danny Hendler, Alexandra Fedorova
15th ACM SIGPLAN Symposium on
Principles and Practice of
Parallel Programming, Bangalore, India, January 9-14, 2010, pages 79-89.
Entropy: a Consolidation Manager for Clusters
Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia
Lawall
The 2009 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution
Environments (VEE 2009), Washington, DC, March 2009, pages 41-50.
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, pages 201-202.
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