lines

Talk Abstract:
One way that programmers manage the complexi

ty of building and
maintaining software systems is by adhering to progra

mming
disciplines of various sorts. For example locking disciplines ar

e
used to prevent concurrency errors and ownership disciplines are
u

sed to enforce strong object encapsulation. While researchers
have sho

wn how to augment existing languages to statically enforce
particular d

isciplines language designers cannot anticipate all of the
disciplines

that programmers will want to employ. Therefore it is
desirable to all

ow programmers to define their own disciplines.

Over the past few ye

ars colleagues and I have pursued an approach
that allows programmers t

o specify desired disciplines enforce them
statically on programs and

validate these disciplines against intended
run-time invariants. In thi

s talk I will overview our approach and
illustrate it through three in

stantiations that we have built: the Clarity
framework for user-defined
type qualifiers in C; a theory of user-defined
effect systems; and t

he JavaCOP framework for pluggable type systems
in Java.

Speaker
Bio:
Todd Millstein is an Assistant Professor in the Computer Science D

ept.
at the University of California Los Angeles. Todd received his Ph

.D.
and M.S. from the University of Washington and his A.B. from Brown<

br>University all in Computer Science. He received an NSF CAREER
awar