Julia L. Lawall
According to our database1,
Julia L. Lawall
authored at least 134 papers
between 1992 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at www.diku.dk
On csauthors.net:
Bibliography
2019
RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems.
IEEE Trans. Dependable Sec. Comput., 2019
Semantic Patches for Java Program Transformation (Artifact).
DARTS, 2019
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019
PatchNet: a tool for deep patch classification.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Semantic Patches for Java Program Transformation (Experience Report).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019
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
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
Editorial.
Higher-Order and Symbolic Computation, 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
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.
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.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 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.
Proceedings of the 1994 ACM Conference on 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.
Proceedings of the Conference on Lisp and Functional Programming, 1992