Naumann wins best paper award at ACM International Conference

December 26, 2007

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

For the latest news about Stevens, please visit

Stevens Institute of Technology

Related Languages Articles from Brightsurf:

Actively speaking two languages protects against cognitive impairment
A study has shown that Alzheimer's patients with a higher degree of bilingualism receive a later diagnosis of mild cognitive impairment

Why are there differing preferences for suffixes and prefixes across languages?
While speakers of English and other Western languages prefer using suffixes more than prefixes, a new study reveals that this preference is not as universal as once thought.

What protects minority languages from extinction?
A new study by Jean-Marc Luck from Paris and Anita Mehta from Oxford published in EPJ B, uses mathematical modelling to suggest two mechanisms through which majority and minority languages come to coexist in the same area.

Traces of the European enlightenment found in the DNA of western sign languages
Sign languages throughout North and South America and Europe have centuries-long roots in five European locations, a finding that gives new insight into the influence of the European Enlightenment on many of the world's signing communities and the evolution of their languages.

Words to express emotion vary greatly in their meanings across languages
Almost all humans feel the emotion of love, but does that mean the Turkish word sevgi or the Hungarian word szrelem, which both translate to love in English, convey the same feeling?

Brown and white body fat speak different languages
Most adults have two types of body fat: white and brown.

'Building blocks' of bird calls resemble human languages
New study sheds light on whether animal vocalisations, like human words, are constructed from smaller building-blocks.

Ancient DNA suggests that some Northern Europeans got their languages from Siberia
Most Europeans descend from a combination of European hunter-gatherers, Anatolian early farmers, and Steppe herders.

Human diet changes influenced consonant prevalence distribution in languages
Labiodental sounds, such as F and V, have been known to be rarely met in hunter-gatherer languages.

Are the French lousy at languages? Not if there's noise!
It is often said that the French have poor English skills.

Read More: Languages News and Languages Current Events is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to