[OT] David Musser talk at Drexel Friday afternoon

[Walt Mankowski <waltman@pobox.com>]

I'm flagging this as off-topic since it doesn't really have anything
to do with Perl, but I think some people on the list might be
interested in the talk anyway.  David Musser is one of the of the
originators of generic programming, and his research with Alexander
Stepanov led to the creation of the C++ Standard Template Library
(STL).

Walt

----- Forwarded message from David Breen <david@cs.drexel.edu> -----

From: David Breen <david@cs.drexel.edu>
Date: Sun, 22 Jan 2006 00:51:06 -0500
To: talks@cs.drexel.edu
Subject: [talks] CS Colloquium: D. Musser of RPI on 1/27

You are invited to the

Drexel University Computer Science Colloquium


Generic Programming in the STL and Beyond

David Musser
Department of Computer Science
Rensselaer Polytechnic Institute

Date:
Friday, January 27, 2006
2:30 PM

Location:
Hill Seminar Room, Lebow 240


Abstract:
Generic programming is largely an activity of ``lifting'' of
specific computer code to a more widely useful level, while
maintaining high standards of efficiency and other required
properties. This process is aided by conceptual classification of
software components according to rigorously-specified syntactic and
semantic requirements --- so much so that generic programming is
sometimes characterized as ``programming with concepts.'' The Standard
Template Library, STL, was the first generic software library to
achieve widespread use. In this talk we look primarily at the STL's
concept taxonomies, especially those for fundamental data-processing
algorithms, containers, and iterators. We also call attention to new
concepts found in other major generic libraries developed in the dozen
years since the STL was first published, such as the Boost Graph
Library and Computational Geometry Algorithms Library; to current
proposals to extend the C++ Standard with support for syntactic
concepts as first-class constructs in the language and library; and to
future research challenges in supporting semantic concepts in
compilers and verification tools.


For further information see http://www.cs.rpi.edu/~musser

Bio:
David R. Musser is a professor of computer science
at Rensselaer Polytechnic Institute. He previously served on the
computer science faculties of the universities of Texas and Wisconsin
and on the research staffs of Information Sciences Institute and
General Electric Research and Development Center. A central focus of
his current research is the development and application of generic
programming methodology, including methods of rigorous specification
and validation of generic software components. His earlier research
included discovery of the fundamental proof method known as
``inductionless induction'' or ``proof by consistency,'' which was
part of the basis of the Affirm, Affirm-85, and Tecton program
verification systems. His research on generic programming with
Alexander Stepanov provided the foundation for the Standard Template
Library, now part of the C++ Standard Library. He is co-author of STL
Tutorial and Reference Guide, Second Edition, Addison-Wesley, Reading,
MA, 2001 (First Edition: 1996).
_______________________________________________
Talks@cs.drexel.edu
https://mail.cs.drexel.edu/mailman/listinfo/talks

----- End forwarded message -----

Attachment: signature.asc
Description: Digital signature