Julia L. Lawall

Statistics

Publications

Citations

947

H-Index

Active since

1992

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Copenhagen

Aalborg University

Aarhus University

Institut de Recherche en Informatique et Systèmes Aléatoires

Julia L. Lawall is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationSoftware EngineeringSoftware DesignSystem SoftwareComputer Engineering

Publications per year

1992–2019

Publications

Automatic program specialization for Java

Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel · ACM Transactions on Programming Languages and Systems · 2003 · 107 citations · Full text

Software Maintenance, Engineering, Compiler Technology +19

Continuation-based partial evaluation

Julia L. Lawall, Olivier Danvy · 1994 · 102 citations · Full text

Mathematical Programming, Source Program, Engineering +21

Understanding collateral evolution in Linux device drivers

Yoann Padioleau, Julia L. Lawall, Gilles Muller · 2006 · 76 citations

Software Maintenance, Engineering, Evolvable Hardware +19

Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software

Suman Saha, Jean-Pierre Lozi, Gaël Thomas et al. · 2013 · 66 citations · Full text

Software Maintenance, Engineering, Software Engineering +22

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code

Julia L. Lawall, Julien Brunel, Nicolas Palix et al. · 2009 · 60 citations

Software Maintenance, Engineering, Os Bugs +25

1–5 of 30