|
|
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.
6th Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2008), Program Chair
2008 Workshop on Runtime Verification (RV 2008), Program Committee member
2nd Workshop on Automated Formal Methods (AFM 2007), Program Committee Member
2007 Haifa Verification Conference, Program Committee member
2007 Workshop on Runtime Verification (RV 2007), Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2007), Program Committee member
8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007), Program Committee member
2006 Haifa Verification Conference, Program Committee member
2006 Workshop on Formal Aspects of Testing and Runtime Verification (FATES/RV 2006), Program Committee member
TV'06: Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification, Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2006), Program Committee member
ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), Program Committee member
| Fall | 2007 | CSE592: Security Policy Frameworks |
| Spring | 2006 | CSE590: Distributed Systems |
| Spring | 2006 | CSE306: Operating Systems |
| Fall | 2005 | CSE394: Security Policy Frameworks |
| Spring | 2005 | CSE591: Security Policy Frameworks |
| Spring | 2004 | CSE308/ISE308: Software Engineering |
| Spring | 2004 | CSE526: Principles of Programming Languages |
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
|
|