[Colloquium] TODAY: Feng/Dissertation Defense/5-4-05

[Margaret Jaffey]

This is a reminder about Songyan Feng's Dissertation Defense this  
afternoon.

-----------------------------------------
	Department of Computer Science/The University of Chicago

			***  Dissertation Defense ***


Candidate:  Songyan (Tiger) Feng

Date:  Wednesday, May 4, 2005

Time and Location:  3:00 p.m. in Ryerson 251

Title:  Implementation of Contracts in Wrapper Generation Tools

Abstract:
Reliability is an important issue in software development. Using
contracts, esp. by the term of Design by Contract, is a classical  
approach
to build reliable software. Contract programming uses rules, normally in
the form of assertions (called contracts), as specifications that  
enforce
a correct program behavior. Although contracts/assertions are widely  
used
in various implementations, there is little contract support in wrapper
generation. As many legacy applicatons (such as native C/C++ code) do  
not
have contracts and many developers are reusing legacy code by putting
wrappers on it, it would make sense to put contracts in the wrappers,
which are extra code that sit between legacy application and new
environment. Our approach fills this gap by adding contracts to  
interfaces
while binding existing non-reliable code using our wrapper generator  
SWIG.
In this way, we can wrap the original object with contracts written by
clients or third parties without modification of the original code, so
that contracts do not need to be hard-coded in the original module with
the same language and by the same author.

Candidate's Advisor:  Prof. David Beazley

------------------------------------------------------------------------ 
----------------
A draft copy of Mr. Feng's dissertation is available soon in Ry 161A.
------------------------------------------------------------------------ 
----------------

--  
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Margaret P. Jaffey				margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 161A)		(773) 702-6011
The University of Chicago		http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-