Gibbons Will Receive ACM's Kanellakis Award