My primary research interests are design, analysis, optimization, testing, and verification of software, with focuses on computer security, concurrency, and incremental computation.
International Journal on Software Tools for Technology Transfer, Member of Editorial Board
8th International Conference on Information Systems Security (ICISS 2012), Program Committee member
10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012), Program Committee member
17th ACM Symposium on Access Control Models and Technologies (SACMAT 2012), Program Committee member
9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2011), Program Committee member
18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Program Committee member
Fourth International Workshop on Multicore Software Engineering (IWMSE11), Program Committee member
16th ACM Symposium on Access Control Models and Technologies (SACMAT 2011), Program Committee member
ACM SIGPLAN 2011 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011), Program Committee member
Mining Meaningful Roles: an implementation of the role mining algorithms described in our SACMAT 2012 paper.
Nachos-dfs: Nachos-3.4 plus Distributed
File System Project
Version 2.1 released on 21 December 1999. It runs under Linux and Solaris.
To understand recursion, one must first understand recursion.
- Unknown
In theory, there's no difference between theory and practice.
In practice, there is.
- Yogi Berra
|
|