Chaff: Engineering an Efficient SAT Solver. - Matthew W. Moskewicz; Conor F. Madigan; Ying Zhao; Lintao Zhang; Sharad Malik (DAC, 2001)

Efficient Conflict Driven Learning in Boolean Satisfiability Solver. - Lintao Zhang; Conor F. Madigan; Matthew W. Moskewicz; Sharad Malik (ICCAD, 2001)

Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem. - Ying Zhao; Sharad Malik; Albert R. Wang; Matthew W. Moskewicz; Conor F. Madigan (ICCD, 2001)

Accelerating boolean satisfiability through application specific processing. - Ying Zhao; Sharad Malik; Matthew W. Moskewicz; Conor F. Madigan (ISSS, 2001)

Developing Architectural Platforms: A Disciplined Approach. - Andrew Mihal; Chidamber Kulkarni; Matthew W. Moskewicz; Mel M. Tsai; Niraj Shah; Scott J. Weber; Yujia Jin; Kurt Keutzer; Christian Sauer 001; Kees A. Vissers; Sharad Malik (IEEE Des. Test Comput., 2002)

CAMA: A Multi-Valued Satisfiability Solver. - Cong Liu; Andreas Kuehlmann; Matthew W. Moskewicz (ICCAD, 2003)

Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures. - Scott J. Weber; Matthew W. Moskewicz; Matthias Gries; Christian Sauer 001; Kurt Keutzer (CODES+ISSS, 2004)

DenseNet: Implementing Efficient ConvNet Descriptor Pyramids. - Forrest N. Iandola; Matthew W. Moskewicz; Sergey Karayev; Ross B. Girshick; Trevor Darrell; Kurt Keutzer (CoRR, 2014)

libHOG: Energy-Efficient Histogram of Oriented Gradient Computation. - Forrest N. Iandola; Matthew W. Moskewicz; Kurt Keutzer (ITSC, 2015)

Audio-Based Multimedia Event Detection with DNNs and Sparse Sampling. - Khalid Ashraf; Benjamin Elizalde; Forrest N. Iandola; Matthew W. Moskewicz; Julia Bernd; Gerald Friedland; Kurt Keutzer (ICMR, 2015)

FireCaffe: Near-Linear Acceleration of Deep Neural Network Training on Compute Clusters. - Forrest N. Iandola; Matthew W. Moskewicz; Khalid Ashraf; Kurt Keutzer (CVPR, 2016)

Boda-RTC: Productive generation of portable, efficient code for convolutional neural networks on mobile computing platforms. - Matthew W. Moskewicz; Forrest N. Iandola; Kurt Keutzer (WiMob, 2016)

SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and <1MB model size. - Forrest N. Iandola; Matthew W. Moskewicz; Khalid Ashraf; Song Han 003; William J. Dally; Kurt Keutzer (CoRR, 2016)

A Metaprogramming and Autotuning Framework for Deploying Deep Learning Applications. - Matthew W. Moskewicz; Ali Jannesari; Kurt Keutzer (CoRR, 2016)

Boda: A Holistic Approach for Implementing Neural Network Computations. - Matthew W. Moskewicz; Ali Jannesari; Kurt Keutzer (Conf. Computing Frontiers, 2017)

Shallow Networks for High-accuracy Road Object-detection. - Khalid Ashraf; Bichen Wu; Forrest N. Iandola; Matthew W. Moskewicz; Kurt Keutzer (VEHITS, 2017)

Implementing Efficient, Portable Computations for Machine Learning. - Matthew W. Moskewicz (2017)

DSCnet: Replicating Lidar Point Clouds With Deep Sensor Cloning. - Paden Tomasello; Sammy Sidhu; Anting Shen; Matthew W. Moskewicz; Nobie Redmon; Gayatri Joshi; Romi Phadte; Paras Jain 001; Forrest N. Iandola (CVPR Workshops, 2019)

Enhancing the Programmability and Performance Portability of GPU Tensor Operations. - Arya Mazaheri; Johannes Schulte; Matthew W. Moskewicz; Felix Wolf 001; Ali Jannesari (Euro-Par, 2019)

Accelerating winograd convolutions using symbolic computation and meta-programming. - Arya Mazaheri; Tim Beringer; Matthew W. Moskewicz; Felix Wolf 001; Ali Jannesari (EuroSys, 2020)