My primary research interests are design, analysis, optimization, testing, and verification of software, with focuses on computer security, concurrency, and incremental computation.
Foundations and Trends in Programming Languages, Member of Editorial Board
International Journal on Software Tools for Technology Transfer, Member of Editorial Board
5th International Conference on Runtime Verification (RV 2014), Program Committee member
9th International Conference on Information Systems Security (ICISS 2013), Program Committee member
International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013), Program Committee member
International SPIN Symposium on Model Checking of Software (SPIN 2013), Program Committee member
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
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
|
|