HOBOKEN, N.J. — A paper co-authored by David Naumann, Associate Professor of Computer Science at Stevens Institute of Technology, was recently named the “Best Student Paper” at the ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). The paper, “Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs,” was co-authored by Professor Gary Leavens of Florida Central University, and graduate student Steve Shaner of Iowa State University. The paper introduces a precise and modular technique for specifying and verifying so-called callbacks, which are a critical feature of most object-oriented software frameworks such as web and networking middleware for Java and C#.
The 22nd annual OOPSLA Conference was held from October 20-25, 2007 in Montreal, Canada. It is billed as the premier conference for innovative and thought-provoking ideas, where industry experts and their academic peers gather to improve programming languages and refine the practice of software development. This year’s keynote speakers included two Turing Award winners, Frederick Brooks and John McCarthy. Professor Leavens is an academic grandchild of McCarthy.
A total of 33 research papers were accepted out of 156 submissions. Besides the Best Student Paper there was also a 10-year anniversary award for most influential paper from 1997.
About Stevens Institute of Technology
Founded in 1870, Stevens Institute of Technology is one of the leading technological universities in the world dedicated to learning and research. Through its broad-based curricula, nurturing of creative inventiveness, and cross disciplinary research, the Institute is at the forefront of global challenges in engineering, science, and technology management. Partnerships and collaboration between, and among, business, industry, government and other universities contribute to the enriched environment of the Institute. A new model for technology commercialization in academe, known as Technogenesis®, involves external partners in launching business enterprises to create broad opportunities and shared value. Stevens offers baccalaureates, master’s and doctoral degrees in engineering, science, computer science and management, in addition to a baccalaureate degree in the humanities and liberal arts, and in business and technology. The university has a total enrollment of 2,040 undergraduate and 3,085 graduate students, and a worldwide online enrollment of 2,250, with about 400 full-time faculty. Stevens’ graduate programs have attracted international participation from China, India, Southeast Asia, Europe and Latin America. Additional information may be obtained from its web page at www.stevens.edu.
For the latest news about Stevens, please visit www.StevensNewsService.com.