How do you envision the ways program verification and performance tuning will be accomplished in the future?
Will it still be a work of art? Will it always be the result of one's experience?
Or do you forecast more and more automatic ways (algorithms?) to accomplish these tasks?