Concepedia

David Lacey

DL

6

Publications

285

Citations

6

H-Index

1998

Active since

Affiliations

University of Oxford(Current)

University of Copenhagen

University of Minnesota

University of Warwick

David Lacey is an author at University of Oxford specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationCompilersSoftware AnalysisSyntax

Publications per year

1998–2009

6

Publications

6

Proving correctness of compiler optimizations by temporal logic

David Lacey, Neil D. Jones, Eric Van Wyk et al. · 2002 · 96 citations

Engineering, Verification, Rewrite Rules +20

Peroxynitrite is a contractile agonist of cerebral artery smooth muscle cells

Stephen N. Elliott, David Lacey, William M. Chilian et al. · American Journal of Physiology-Heart and Circulatory Physiology · 1998 · 70 citations

Universal Regular Path Queries

Oege de Moor, David Lacey, Eric Van Wyk · LISP and Symbolic Computation · 2003 · 46 citations

Compiler Optimization Correctness by Temporal Logic

David Lacey, Neil D. Jones, Eric Van Wyk et al. · Higher-Order and Symbolic Computation · 2004 · 39 citations · Full text

Engineering, Automated Reasoning, Program Analysis +9

Program transformations using temporal logic side conditions

Sara Kalvala, Richard Warburton, David Lacey · ACM Transactions on Programming Languages and Systems · 2009 · 21 citations · Full text

Engineering, Verification, Software Engineering +17

Rows per page

1–5 of 6