Michael Kaminsky, Intel Labs