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
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
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
|
|