HOBOKEN , N.J. ― Stevens Computer Science Professor David Naumann and Ph.D. candidate Stan Rosenberg won the Distinguished Paper Award at the European Conference on Object-Oriented Programming (ECOOP) for their paper, "Regional Logic for Local Reasoning about Global Invariants." Along with collaborator Anindya Banerjee (Kansas State University), they have introduced a new programming logic and showed how to use it to leverage existing software tools to scale up to large software systems in languages like Java and C#.
The work was part of a project, funded by the National Science Foundation, titled, "Access Control and Downgrading in Information Flow Assurance." A follow up paper will report on experiments with the logic conducted at Microsoft Research.
This year's ECOOP Conference was help in Paphos, Cyprus and encompassed research results and experience in all areas relevant to object technology.
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 a full-time tenured/tenure-track faculty of 140 and more than 200 full-time special 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 StevensNewsService.com.