Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (2009)
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applications. In this paper...
Consider the following three code fragments: (2007)
Abstract. This paper presents an algorithm which decides whether it is possible for two optimising transformations to be applied to the same piece of code with the property that applying one...
David Lacey, Julian Richardson, Alan Smaill
Abstract. We describe a system for the synthesis of logic programs from specications based on higher-order logical descriptions of appropriate re nement operations. The system has been implemented...
Organisations, control systems and fraud (2007)
Cuganesan, Suresh, Lacey, David
This paper examines how organisations are responding to the threat of identity fraud and the challenges that they face in doing so. Quantitative data were collected from 29 Australian organisations....
Cuganesan, Suresh, Lacey, David
Available evidence indicates that identity fraud is a significant risk to organisations. Despite this, a lack of research exists on the role of performance measurement and costing systems in...
Cuganesan, Suresh, Lacey, David
Available evidence indicates that identity fraud is a significant risk to organisations. Despite this, a lack of research exists on the role of performance measurement and costing systems in...
Organisations, control systems and fraud (2007)
Cuganesan, Suresh, Lacey, David
This paper examines how organisations are responding to the threat of identity fraud and the challenges that they face in doing so. Quantitative data were collected from 29 Australian organisations....
Henley, Charles, Colloton, Matt, Cattley, Russell C., Shatzen, Edward, Towler, Dwight A., Lacey, David, ...
Background. Calcitriol treatment of secondary hyperparathyroidism (HPT) in chronic kidney disease (CKD) patients can lead to increased serum calcium and phosphorus, which have been associated as risk...
Henley, Charles, Colloton, Matt, Cattley, Russell C., Shatzen, Edward, Towler, Dwight A., Lacey, David, ...
Background. Calcitriol treatment of secondary hyperparathyroidism (HPT) in chronic kidney disease (CKD) patients can lead to increased serum calcium and phosphorus, which have been associated as risk...
Henley, Charles, Colloton, Matt, Cattley, Russell C., Shatzen, Edward, Towler, Dwight A., Lacey, David, ...
Background. Calcitriol treatment of secondary hyperparathyroidism (HPT) in chronic kidney disease (CKD) patients can lead to increased serum calcium and phosphorus, which have been associated as risk...
Lacey, David, Cuganesan, Suresh
This study considers the role of organizations in relation to identity theft from three perspectives: as a site of identity use (and misuse), as detectors of identity theft, and ultimately, as a site...
Lacey, David, Cuganesan, Suresh
This study considers the role of organizations in relation to identity theft from three perspectives: as a site of identity use (and misuse), as detectors of identity theft, and ultimately, as a site...
Cuganesan, Suresh, Lacey, David
Incluye bibliografía
Identity fraud in Australia: an evaluation of its nature, cost and extent (2003)
Cuganesan, Suresh, Lacey, David
This study presents research conducted across 120 Australian organisations, including all levels of government, the private sector and law enforcement, on the impact of identity fraud and the extent...
Universal regular path queries (2003)
Oege De Moor, David Lacey, Eric Van Wyk
Given are a directed edge-labelled graph G with a distinguished node n0, and a regular expression P which may contain variables. We wish to compute all substitutions φ (of symbols for variables),...
Universal regular path queries (2003)
Oege De Moor, David Lacey, Eric Van Wyk
Given are a directed edge-labelled graph G with a distinguished node n 0, and a regular expression P which may contain variables. We wish to compute all substitutions (of symbols for variables),...
Universal regular path queries (2003)
Oege De Moor, David Lacey, Eric Van Wyk
Given are a directed edge-labelled graph G with a distinguished vertex v 0, and a regular expression P which may contain variables. It is required to compute substitutions (of symbols for variables),...
Universal regular path queries (2003)
Oege De Moor, David Lacey, Eric Van Wyk
Given are a directed edge-labelled graph G with a distinguished vertex v 0, and a regular expression P which may contain variables. It is required to compute substitutions (of symbols for variables),...
Compiler Optimization Correctness by Temporal Logic (2003)
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
Rewrite rules with side conditions can elegantly express many classical compiler optimizations for imperative programming languages. In this paper, programs are written in an intermediate language...
Program transformation using temporal logic specifications / (2003)
Supervisor: Oege de Moor.
Identity fraud in Australia: an evaluation of its nature, cost and extent (2003)
Cuganesan, Suresh, Lacey, David
This study presents research conducted across 120 Australian organisations, including all levels of government, the private sector and law enforcement, on the impact of identity fraud and the extent...
Proving correctness of compiler optimizations by temporal logic (2002)
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
comlab.ox.ac.uk
Oege De Moor, Stephen Drape, David Lacey, Ganesh Sittampalam
We aim to specify program transformations in a declarative style, and then to generate ecient program transformers from such specications. Many transformations require nontrivial program analysis to...
Proving correctness of compiler optimizations by temporal logic (2002)
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen, Where I I
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I =) I 0
Imperative program transformation by rewriting (2001)
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expressions with simple...
Imperative program transformation by rewriting (2001)
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expressions with simple...
Logic program synthesis in a higher-order setting (2000)
David Lacey, Julian Richardson, Alan Smaill
Abstract. We describe a system for the synthesis of logic programs from specications based on higher-order logical descriptions of appropriate re nement operations. The system has been implemented...
Logic program synthesis via proof planning in Clam (1999)
Logic Programs are computer programs whose syntax is logic. An example of such a language is Prolog. This Msc dissertation describes a system that automatically synthesizes logic programs from their...
Severe B cell hyperplasia and autoimmune disease in TALL-1 transgenic mice
Khare, Sanjay D., Sarosi, Ildiko, Xia, Xing-Zhong, McCabe, Susan, Miner, Kent, Solovyev, Irina, ...
TALL-1/Blys/BAFF is a member of the tumor necrosis factor (TNF) ligand superfamily that is functionally involved in B cell proliferation. Here, we describe B cell hyperplasia and autoimmune...
Severe B cell hyperplasia and autoimmune disease in TALL-1 transgenic mice
Khare, Sanjay D., Sarosi, Ildiko, Xia, Xing-Zhong, McCabe, Susan, Miner, Kent, Solovyev, Irina, ...
TALL-1/Blys/BAFF is a member of the tumor necrosis factor (TNF) ligand superfamily that is functionally involved in B cell proliferation. Here, we describe B cell hyperplasia and autoimmune...