He contributed to IBM's Logic Synthesis System and led the development of IBM's Physical Synthesis System, which are deployed for every IBM's mainframe and Power server microprocessors for the past decades. He then led the effort to accelerate Deep Learning applications, especially through massively parallel distributed computing over GPUs. His current research activity is AI for Code. David was the recipient of the Corporate Award, and four Outstanding Technical Achievement Awards from IBM. He was the Chair of the Design Automation Technical Committee and on the executive committee of the International Conference on Computer Aided Design. He has about 30 U.S. patents and more than 40 publications.