Michael Van DeVanter, Sun Microsystems Labs