UPenn, Cornell, Stanford immediate come to mind if you're looking to play at the top level. Look at proceedings of the POPL and PLDI conferences to get a sense of what people are doing and where they are doing it.
SCCS, the source motel! Programs check in and never check out! -- Ken Thompson