Dave Detlefs, Digital Equipment Corporation, Systems Research Center