Steve Shaner won the "Best Student Paper" award from OOPSLA in Montreal, Canada

October 24, 2007
News

Steve Shaner, PhD student of Professor Gary Leavens, today won the "Best Student Paper" award from the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) in Montreal, Canada. The paper is the following: 

Steve M. Shaner and Gary T. Leavens and David A. Naumann, "Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs", International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Montreal,Canada, October, 2007, pages 351-367.

 

OOPSLA is a major and highly selective international conference in computer science. Winning such an award is indeed an honor.