Travelled to:1 × Austria
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:S.Hammond O.d.Moor J.Richardson A.Smaill N.D.Jones E.V.Wyk C.C.Frederiksen F.Bacchini A.J.Hu T.Fitzpatrick R.Ranjan M.Tan A.Piziali A.Ziv
Talks about:transform (2) program (2) enough (2) optim (2) logic (2) synthesi (1) coverag (1) correct (1) bytecod (1) tempor (1)
♂ Person: David Lacey
DBLP: Lacey:David
Facilitated 1 volumes:
PrCoContributed to:
2007
2006
20022001
2000Wrote 5 papers:
- DAC-2007-BacchiniHFRLTPZ #question #verification
- Verification Coverage: When is Enough, Enough? (FB, AJH, TF, RR, DL, MT, AP, AZ), pp. 744–745.
- CC-2006-HammondL #bytecode #java #optimisation
- Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (SH, DL), pp. 109–123.
- POPL-2002-LaceyJWF #compilation #correctness #logic #optimisation #proving
- Proving correctness of compiler optimizations by temporal logic (DL, NDJ, EVW, CCF), pp. 283–294.
- CC-2001-LaceyM #imperative #program transformation
- Imperative Program Transformation by Rewriting (DL, OdM), pp. 52–68.
- CL-2000-LaceyRS #higher-order #logic programming #synthesis
- Logic Program Synthesis in a Higher-Order Setting (DL, JR, AS), pp. 87–100.