My main research interests are computer security and software verification. I'm also interested in synchronization, memory reclamation, and operating systems.
Making Lockless Synchronization Fast: Performance Implications of Memory Reclamation. 2006 International Parallel and Distributed Processing Symposium (IPDPS 2006). June, 2006.