PLDI 2002: ACM SIGPLAN Conf on Programming Language Design and Implementation