DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Towards Safe Code Reuse

Sibylle Schupp,
Chalmers University of Technology, Sweden

Thursday, February 10th, 15:15-16:00
ITU, Rued Langgaards Vej 7, auditorium 3

Abstract:

Reusing code from a software library increases the safety of a user program on the one hand, but introduces on the other hand new kinds of requirements on the user software---requirements at the level of the library. Whether in its components and architecture or in its documentation and idioms, every library defines its own semantics, with which the user program has to comply. If library code should be reused in a safe and proper way, it is therefore necessary to support library users in much the same way users of low-level programming features currently are supported.

The talk will focus on generic libraries in the style of the Standard Template Library (STL) and its successors from the Boost library initiative, where so-called {\em concepts} impose requirements not only on the types of an application but on its behavior. The talk will argue that traditional, language-level analyses do not suffice to support "programming with concepts" and will discuss new forms of analyses that operate directly at the library level.

Biographic Information
Sibylle Schupp is an Associate Professor in the department of Computer Science and Engineering at Chalmers Technical University in Gothenburg, Sweden. She received her Ph.D. in 1996 from the University of Tübingen, Germany, spent the following years first as a post-doctoral fellow (1996/7), then as an Assistant Professor (1997-2003) at Rensselaer Polytechnic Institute in New York, before moving to Sweden in 2003. Her interests center around (language-based) software engineering, with particular focus on software libraries and reusable software.

Scientific host: Kasper Ĝsterbye. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org