October 24, 2007
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.