[Colloquium] Chandrasekhar Boyapati, MIT, April 11 2003

[Margery Ishmael]

----------------------------------------------------------------------------

DEPARTMENT OF COMPUTER SCIENCE - TALK

Friday, April 11, 2003 at 2:30 pm in Ryerson 251

----------------------------------------------------------------------------

Speaker: Chandrasekhar Boyapati
Massachusetts Institute of Technology
http://www.pmg.lcs.mit.edu/~chandra

Abstract
--------
Making software reliable is one of the most important challenges facing
computer science today. This talk presents a new type system that
addresses this problem by statically preventing several important classes
of programming errors. If a program type checks, our system guarantees at
compile time that the program does not contain any of those errors.
Specifically, our type system prevents data races and deadlocks in
multi threaded programs, prevents representation exposure in abstract data
types, enables safe lazy software upgrades in programs that use persistent
objects, and prevents memory errors in programs that use region-based
memory management. We have implemented several Java programs in our
system. We found that our type system is sufficiently expressive to
support common programming patterns, and requires little programming
overhead. Our type system thus offers a promising approach for improving
software reliability.

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Brief Biography: Chandra Boyapati is a PhD candidate at the Massachusetts
Institute of Technology, working with Prof. Martin Rinard. Chandra
received his Masters degree from MIT in September 1998, and his Bachelors
degree from Indian Institute of Technology (IIT) Madras in July 1996.
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

Host: David MacQueen

*The talk will be followed by refreshments in Ryerson 255*