David Lacey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2001–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ISTAS | Designing and evaluating two interventions to improve identity theft recovery outcomes. | Sigi Goode, David Lacey |
| 2016 | PST | Understanding victim-enabled identity theft. | David Lacey, Jim Zaiss, K. Suzanne Barber |
| 2015 | HCI | It's Dark in There: Using Systems Analysis to Investigate Trust and Engagement in Dark Web Forums. | David Lacey, Paul M. Salmon |
| 2011 | ICIS | Exploring Interpersonal Relationships in Security Information Sharing. | Sigi Goode, David Lacey |
| 2007 | DAC | Verification Coverage: When is Enough, Enough? | Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv |
| 2006 | CC | Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. | Simon D. Hammond, David Lacey |
| 2002 | POPL | Proving correctness of compiler optimizations by temporal logic. | David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen |
| 2001 | CC | Imperative Program Transformation by Rewriting. | David Lacey, Oege de Moor |