Deepak Parthipan
Verification
Static vs Automatic
Polymorphism
Debugging