(by no means a complete list)

Abadi/Stata -Freund/Mitchell
 - gave new insights, especially with respect to subroutines and object initialization.

Qian - More realistic than most BCV studies.

Rose - intriguing possibilities for the future, based on theoretical insight.

Saraswat - discussed interaction of class loaders and type safety informally. Gave insight. Formal analysis has followed.