Some Links
Publications since 2000 (Partial...)
"Beyond Safety" in Schloss Ringberg, April 2004
The Compiler Validation Project
Analysis of Computer SYStems group at NYU
Computer Science Department at NYU
Recent Conferences/Workshop on PC, co-chair, chair, SC, etc.
| VMCAI '03 Fourth International Conference on Verification, Model Checking, and Abstract Interpretation (NYU, Jan 2003) | |
| VMCAI '04 Fifth International Conference on Verification, Model Checking, and Abstract Interpretation (Venice, Jan 2004) | VMCAI '05 Fifth International Conference on Verification, Model Checking, and Abstract Interpretation (Paris, Jan 2005) |
| RV03 Third Workshop on Runtime Verification (Boulder, 2003) | |
| RV04 Fourth Workshop on Runtime Verification (Barcelona, 2004) | |
| COCV '04 Third International Workshop on Compiler Optimization meets Compiler Verification (Barcelona, 2004) | |
| TACAS '05 Tools and Algorithms for the Construction and Analysis of Systems (Edinburgh, 2005) | |
| ISoLA '04 International Symposium on Leveraging Applications of Formal Methods (Cyprus, 2004) |