My primary research interest is methods and tools for design, analysis, testing, and verification of software, especially software for concurrent systems and distributed systems, including specialized techniques for ensuring fault-tolerance and security. My research also includes work on program optimization and incremental computation.
International Journal on Software Tools for Technology Transfer, Member of Editorial Board
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), Program Committee member
17th International SPIN Workshop on Model Checking of Software (SPIN 2010), Program Committee member
8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2010), Program Committee member
2nd IEEE International Symposium on Ubisafe Computing (UbiSafe-09), Program Committee member
2009 Haifa Verification Conference, Program Committee member
22nd IEEE Computer Security Foundations Symposium (CSF-22), General Chair and Program Committee member
7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2009), Program Committee member
16th International SPIN Workshop on Model Checking Software (SPIN 2009), Program Committee member
2009 Workshop on Runtime Verification (RV 2009), 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
|
|