Julia L. Lawall

According to our database1, Julia L. Lawall authored at least 133 papers between 1992 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Cleaning up copy-paste clones with interactive merging.
Autom. Softw. Eng., 2018

Coccinelle: 10 Years of Automated Evolution in the Linux Kernel.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

2017
Code Coverage and Postrelease Defects: A Large-Scale Study on Open Source Projects.
IEEE Trans. Reliability, 2017

Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Interactive data representation migration: exploiting program dependence to aid program transformation.
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Towards Proving Optimistic Multicore Schedulers.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

JMake: Dependable Compilation for Kernel Janitors.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

Analysing Selfishness Flooding with SEINE.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Fast and Portable Locking for Multicore Architectures.
ACM Trans. Comput. Syst., 2016

Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel.
Autom. Softw. Eng., 2016

Understanding the Memory Consumption of the MiBench Embedded Benchmark.
Proceedings of the Networked Systems - 4th International Conference, 2016

Recommending Code Changes for Automatic Backporting of Linux Device Drivers.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

From Sets to Bits in Coq.
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

2015
Supporting Time-Based QoS Requirements in Software Transactional Memory.
TOPC, 2015

Implementing an embedded compiler using program transformation rules.
Softw., Pract. Exper., 2015

Improving pattern tracking with a language-aware tree differencing algorithm.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Are These Bugs Really "Normal"?
Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Increasing Automation in the Backporting of Linux Drivers Using Coccinelle.
Proceedings of the 11th European Dependable Computing Conference, 2015

Incinerator - Eliminating Stale References in Dynamic OSGi Applications.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014
Faults in Linux 2.6.
ACM Trans. Comput. Syst., 2014

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification.
Sci. Comput. Program., 2014

Faults in Linux 2.6.
CoRR, 2014

Continuously measuring critical section pressure with the free-lunch profiler.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Oops! where did that code snippet come from?
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Compositional Vector Space Models for Improved Bug Localization.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

On the Effectiveness of Information Retrieval Based Bug Localization for C Programs.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

SEWordSim: software-specific word similarity database.
Proceedings of the 36th International Conference on Software Engineering, 2014

Automated construction of a software-specific word similarity database.
Proceedings of the 2014 Software Evolution Week, 2014

An Empirical Study on the Adequacy of Testing in Open Source Projects.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Coccinelle: reducing the barriers to modularization in a large C code base.
Proceedings of the 13th International Conference on Modularity, 2014

2013
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications.
IEEE Trans. Dependable Sec. Comput., 2013

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.
Softw., Pract. Exper., 2013

SIGPLAN professional activities committee report.
SIGPLAN Notices, 2013

Editorial TFP 2009/2010.
Higher-Order and Symbolic Computation, 2013

Automated library recommendation.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Understanding the genetic makeup of Linux device drivers.
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

Automatic recommendation of API methods from feature requests.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Preface to the special issue on feature-oriented software development (FOSD 2009).
Sci. Comput. Program., 2012

Editorial PEPM2012.
Higher-Order and Symbolic Computation, 2012

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Diagnosys: automatic generation of a debugging interface to the Linux kernel.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Semantic patch inference.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Identifying Linux bug fixing patches.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Zebu: A Language-Based Approach for Network Protocol Message Processing.
IEEE Trans. Software Eng., 2011

Finding resource-release omission faults in Linux.
Operating Systems Review, 2011

Editorial.
Higher-Order and Symbolic Computation, 2011

Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
CoRR, 2011

Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
CoRR, 2011

Finding resource-release omission faults in Linux.
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

An approach to improving the structure of error-handling code in the linux kernel.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Leveraging software architectures to guide and verify the development of sense/compute/control applications.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Deadline-aware scheduling for Software Transactional Memory.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Faults in linux: ten years later.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Preface to special issue on Generative Programming and Component Engineering (GPCE 2007).
Sci. Comput. Program., 2010

Improving the Security of Infrastructure Software using Coccinelle.
ERCIM News, 2010

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification.
ECEASST, 2010

Generic patch inference.
Autom. Softw. Eng., 2010

VMKit: a substrate for managed runtime environments.
Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Scheduling support for transactional memory contention management.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Bridging the Gap between Legacy Services and Web Services.
Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

An automated approach for finding variable-constant pairing bugs.
Proceedings of the ASE 2010, 2010

Finding Error Handling Bugs in OpenSSL Using Coccinelle.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Development of a Synchronous Subset of AADL.
Proceedings of the Abstract State Machines, 2010

Tracking code patterns over multiple software versions with Herodotos.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009
Entropy: a consolidation manager for clusters.
Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

A foundation for flow-based program matching: using temporal logic and model checking.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Automatic Generation of Network Protocol Gateways.
Proceedings of the Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30, 2009

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Software Architecture Evolution.
Proceedings of the Software Evolution, 2008

Editorial.
Higher-Order and Symbolic Computation, 2008

Editorial.
Higher-Order and Symbolic Computation, 2008

Editorial.
J. Funct. Program., 2008

High-level Programming Support for Robust Pervasive Computing Applications.
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

Generic Patch Inference.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Pantaxou: a domain-specific language for developing safe coordination services.
Proceedings of the Generative Programming and Component Engineering, 2008

Documenting and automating collateral evolutions in linux device drivers.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

2007
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.
Electr. Notes Theor. Comput. Sci., 2007

Automatic Verification of Bossa Scheduler Properties.
Electr. Notes Theor. Comput. Sci., 2007

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
CoRR, 2007

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Towards easing the diagnosis of bugs in OS code.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

A stepwise approach to developing languages for SIP telephony service creation.
Proceedings of the Principles, 2007

Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications.
Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

2006
Semantic patches considered helpful.
Operating Systems Review, 2006

Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX.
Proceedings of the LCN 2006, 2006

Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior.
Proceedings of the 5th International Symposium on Memory Management, 2006

Language Technology for Internet-Telephony Service Creation.
Proceedings of IEEE International Conference on Communications, 2006

Understanding collateral evolution in Linux device drivers.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Energy adaptation for multimedia information kiosks.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Safe Integration of New Concerns in a Software Architecture.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Semantic patches for documenting and automating collateral evolutions in Linux device drivers.
Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

Issues in holistic system design.
Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005
Editorial.
Higher-Order and Symbolic Computation, 2005

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Providing Support for Safe Software Architecture Transformations.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Formal Methods Meet Domain Specific Languages.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language.
Proceedings of the Generative Programming and Component Engineering, 2005

2004
A tour of Tempo: a program specializer for the C language.
Sci. Comput. Program., 2004

Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.
Higher-Order and Symbolic Computation, 2004

Constructing component-based extension interfaces in legacy systems code.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Invited application paper: language design for implementing process scheduling hierarchies.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003
A domain-specific language approach to programmable networks.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2003

Automatic program specialization for Java.
ACM Trans. Program. Lang. Syst., 2003

On the automatic evolution of an OS kernel using temporal logic and AOP.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Web cache prefetching as an aspect: towards a dynamic-weaving based solution.
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002
Think: A Software Framework for Component-based Operating System Kernels.
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Capturing OS expertise in an event type system: the Bossa experience.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Towards bridging the gap between programming languages and partial evaluation.
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

Distributing MPEG Movies Over the Internet using Programmable Networks.
ICDCS, 2002

2001
Partial Evaluation of Pattern Matching in Strings, revisited.
Nord. J. Comput., 2001

Editorial.
Higher-Order and Symbolic Computation, 2001

Implementing Circularity Using Partial Evaluation.
Proceedings of the Programs as Data Objects, Second Symposium, 2001

2000
Static and Dynamic Program Compilation by Interpreter Specialization.
Higher-Order and Symbolic Computation, 2000

Specialization Patterns.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Sharing Continuations: Proofnets for Languages with Explicit Control.
Proceedings of the Programming Languages and Systems, 2000

Efficient Incremental Checkpointing of Java Programs.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
Towards Automatic Specialization of Java Programs.
Proceedings of the ECOOP'99, 1999

1998
Faster Fourier Transforms via Automatic Program Specialization.
Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study.
Proceedings of the 1998 International Conference on Computer Languages, 1998

1997
Sound Specialization in the Presence of Computational Effects.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

on Global Dynamics of Optimal Graph Reduction.
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

1994
Continuation-Based Partial Evaluation.
LISP and Functional Programming, 1994

1993
Separating Stages in the Continuation-Passing Style Transformation.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Proofs by Structural Induction using Partial Evaluation.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992
Back to Direct Style II: First-Class Continuations.
LISP and Functional Programming, 1992


  Loading...