Cu900 Manual En
Joint work with Mike Barnett, Robert DeLine, Manuel Fahndrich, and Wolfram Schulte Verifying invariants in object-oriented programs K. Rustan M. Leino.
Technologies for finding errors in object-oriented software K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 3 Summer school on Formal Models.
Scoreboarding & Tomasulos Approach Bazat pe slide-urile lui Vincent H. Berk.
Fuzzing with complexities Vishwas Sharma //nullcon.net
AsianPLoP'14: How and Why Design Patterns Impact Quality and Future Challenges
Making Your Site Look Great in IE7
nullcon 2011 - Fuzzing with Complexities
Managed Debugging using WinDBG
An IDL-Based Validation Toolkit: Extensions to use the HDF-EOS Swath Format
Facilitating the Elephant carpaccio exercise
Big Data: Business Leading to New Technology