BDDMAP: A Technology Mapper Based on a New Covering Algorithm. - David S. Kung 001; Robert F. Damiano; Theresa A. Nix; David J. Geiger (DAC, 1992)

Hazard-non-increasing gate-level optimization algorithms. - David S. Kung 001 (ICCAD, 1992)

BooleDozer: Logic synthesis for ASICs. - Leon Stok; David S. Kung 001; Daniel Brand; Anthony D. Drumm; Andrew J. Sullivan; Lakshmi N. Reddy; Nathaniel Hieter; David J. Geiger; Han Hsun Chao; Peter J. Osler (IBM J. Res. Dev., 1996)

A Fast Fanout Optimization Algorithm for Near-Continuous Buffer Libraries. - David S. Kung 001 (DAC, 1998)

Gate-size selection for standard cell libraries. - Frederik Beeftink; Prabhakar Kudva; David S. Kung 001; Leon Stok (ICCAD, 1998)

Optimal P/N width ratio selection for standard cell libraries. - David S. Kung 001; Ruchir Puri (ICCAD, 1999)

Combinatorial cell design for CMOS libraries. - Frederik Beeftink; Prabhakar Kudva; David S. Kung 001; Ruchir Puri; Leon Stok (Integr., 2000)

Fast and accurate wire delay estimation for physical synthesis of large ASICs. - Ruchir Puri; David S. Kung 001; Anthony D. Drumm (ACM Great Lakes Symposium on VLSI, 2002)

Pushing ASIC performance in a power envelope. - Ruchir Puri; Leon Stok; John M. Cohn; David S. Kung 001; David Z. Pan; Dennis Sylvester; Ashish Srivastava; Sarvesh H. Kulkarni (DAC, 2003)

Timing closure for low-FO4 microprocessor design. - David S. Kung 001 (DAC, 2004)

An Integrated Environment for Technology Closure of Deep-Submicron IC Designs. - Louise Trevillyan; David S. Kung 001; Ruchir Puri; Lakshmi N. Reddy; Michael A. Kazda (IEEE Des. Test Comput., 2004)

Minimizing power with flexible voltage islands. - Ruchir Puri; David S. Kung 001; Leon Stok (ISCAS (1), 2005)

Improving run times by pruned application of synthesis transforms. - Renato Fernandes Hentschke; Jagannathan Narasimhan; David S. Kung 001 (SBCCI, 2005)

Sensitivity guided net weighting for placement-driven synthesis. - Haoxing Ren; David Zhigang Pan; David S. Kung 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

CAD challenges for 3D ICs. - David S. Kung 001; Ruchir Puri (ASP-DAC, 2009)

The fate of stacking. - David S. Kung 001 (IEEE Des. Test Comput., 2009)

Guest Editors' Introduction: Opportunities and Challenges of 3D Integration. - David S. Kung 001; Yuan Xie 001 (IEEE Des. Test Comput., 2009)

The Dawn of 22nm Era: Design and CAD Challenges. - Ruchir Puri; David S. Kung 001 (VLSI Design, 2010)

DYCE: A Resilient Shared Memory Paradigm for Heterogenous Distributed Systems without Memory Coherence. - Ulrich Finkler; Hubertus Franke; David S. Kung 001 (Conf. Computing Frontiers, 2017)

PowerAI DDL. - Minsik Cho; Ulrich Finkler; Sameer Kumar 001; David S. Kung 001; Vaibhav Saxena; Dheeraj Sreedhar (CoRR, 2017)

Distributed Deep Learning Strategies for Automatic Speech Recognition. - Wei Zhang 022; Xiaodong Cui; Ulrich Finkler; Brian Kingsbury; George Saon; David S. Kung 001; Michael Picheny (ICASSP, 2019)

A Highly Efficient Distributed Deep Learning System for Automatic Speech Recognition. - Wei Zhang 022; Xiaodong Cui; Ulrich Finkler; George Saon; Abdullah Kayi; Alper Buyuktosunoglu; Brian Kingsbury; David S. Kung 001; Michael Picheny (INTERSPEECH, 2019)

BlueConnect: Decomposing All-Reduce for Deep Learning on Heterogeneous Network Hierarchy. - Minsik Cho; Ulrich Finkler; David S. Kung 001; Hillery C. Hunter (SysML, 2019)

BlueConnect: Decomposing all-reduce for deep learning on heterogeneous network hierarchy. - Minsik Cho; Ulrich Finkler; Mauricio J. Serrano; David S. Kung 001; Hillery C. Hunter (IBM J. Res. Dev., 2019)

Improving Efficiency in Large-Scale Decentralized Distributed Training. - Wei Zhang 022; Xiaodong Cui; Abdullah Kayi; Mingrui Liu; Ulrich Finkler; Brian Kingsbury; George Saon; Youssef Mroueh; Alper Buyuktosunoglu; Payel Das; David S. Kung 001; Michael Picheny (ICASSP, 2020)

Map Generation from Large Scale Incomplete and Inaccurate Data Labels. - Rui Zhang; Conrad M. Albrecht; Wei Zhang 022; Xiaodong Cui; Ulrich Finkler; David S. Kung 001; Siyuan Lu 003 (KDD, 2020)

Distributed Training of Deep Neural Network Acoustic Models for Automatic Speech Recognition. - Xiaodong Cui; Wei Zhang 022; Ulrich Finkler; George Saon; Michael Picheny; David S. Kung 001 (CoRR, 2020)

Large Scale Neural Architecture Search with Polyharmonic Splines. - Ulrich Finkler; Michele Merler; Rameswar Panda; Mayoore S. Jaiswal; Hui Wu 009; Kandan Ramakrishnan; Chun-Fu Chen 001; Minsik Cho; David S. Kung 001; Rogério Feris; Bishwaranjan Bhattacharjee (CoRR, 2020)

Distributed Training of Deep Neural Network Acoustic Models for Automatic Speech Recognition: A comparison of current training strategies. - Xiaodong Cui; Wei Zhang 022; Ulrich Finkler; George Saon; Michael Picheny; David S. Kung 001 (IEEE Signal Process. Mag., 2020)

NASTransfer: Analyzing Architecture Transferability in Large Scale Neural Architecture Search. - Rameswar Panda; Michele Merler; Mayoore S. Jaiswal; Hui Wu 009; Kandan Ramakrishnan; Ulrich Finkler; Chun-Fu (Richard) Chen; Minsik Cho; Rogério Feris; David S. Kung 001; Bishwaranjan Bhattacharjee (AAAI, 2021)

CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. - Ruchir Puri; David S. Kung 001; Geert Janssen; Wei Zhang 022; Giacomo Domeniconi; Vladimir Zolotov; Julian Dolby; Jie Chen 007; Mihir R. Choudhury; Lindsey Decker; Veronika Thost; Luca Buratti; et al. (NeurIPS Datasets and Benchmarks, 2021)

Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. - Ruchir Puri; David S. Kung 001; Geert Janssen; Wei Zhang 022; Giacomo Domeniconi; Vladimir Zolotov; Julian Dolby; Jie Chen 007; Mihir R. Choudhury; Lindsey Decker; Veronika Thost; Luca Buratti; et al. (CoRR, 2021)

Asynchronous Decentralized Distributed Training of Acoustic Models. - Xiaodong Cui; Wei Zhang 022; Abdullah Kayi; Mingrui Liu; Ulrich Finkler; Brian Kingsbury; George Saon; David S. Kung 001 (IEEE ACM Trans. Audio Speech Lang. Process., 2021)