|
Navigation
Home Publications Activities Interns Resources Misc. |
Professional Activities
- SAS 2009
- ISSTA 2009
- BYTECODE 2009
- HAV 2008
- SPIN 2008
- PLDI SRC 2008
- SPACE 2008
- HAV 2007
- PASSWORD 2006
Recent Talks
| Shape Analysis for Concurrent Programs Workshop on the Verification of Concurrent Algorithms, Microsoft Research Cambridge, UK, 1st – 2nd May 2008 [slides] |
| QVM: An Efficient Runtime for Detecting Defects in Deployed Systems Dagstuhl Seminar on Scalable Program Analysis, Feb 2008 [slides] |
| SAFE: scalable verification for heap-manipulating programs (tool presentation) Dagstuhl Seminar on Scalable Program Analysis, Feb 2008 [slides] |
| Static Specification Mining Using Automata-Based Abstractions Technion, Israel, Feb 2008 [slides] |
| Deriving Linearizable Fine-Grained Concurrent Objects Technion, Israel, Feb 2008 [slides] |