Paper by Prof. Kai Li given ACM SIGOPS Hall of Fame Award