UTCS/Programming Languages: Todd Millstein/UCLA Enforcing and Validating User-Defined Programming Disciplines ACES 2.402 Friday February 1 2008 11:00 a.m.

Contact Name: 
Jenna Whitney
Feb 1, 2008 11:00am - 12:00pm

There is a sign up schedule for this event:

Type of Talk: UTCS Colloquium/Programming Languages


ffiliation: Todd Millstein/UCLA

Date/Time: Friday February 1 200

8 11:00 a.m.

Location: ACES 2.402

Host: Kathryn McKinley
Talk Title: Enforcing and Validating User-Defined Programming Discip


Talk Abstract:
One way that programmers manage the complexi

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

disciplines of various sorts. For example locking disciplines ar

used to prevent concurrency errors and ownership disciplines are

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

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.

Todd Millstein is an Assistant Professor in the Computer Science D

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

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

d in 2006.