Formal deadlock checking on high-level SystemC designs. - Chun-Nan Chou; Chang-Hong Hsu; Yueh-Tung Chao; Chung-Yang Huang (ICCAD, 2010)

A robust ECO engine by resource-constraint-aware technology mapping and incremental routing optimization. - Shao-Lun Huang; Chi-An Wu; Kai-Fu Tang; Chang-Hong Hsu; Chung-Yang Huang (ASP-DAC, 2011)

Verifying Curve25519 Software. - Yu-Fang Chen 001; Chang-Hong Hsu; Hsin-Hung Lin; Peter Schwabe; Ming-Hsien Tsai 001; Bow-Yaw Wang; Bo-Yin Yang; Shang-Yi Yang (CCS, 2014)

ArChiVED: Architectural checking via event digests for high performance validation. - Chang-Hong Hsu; Debapriya Chatterjee; Ronny Morad; Raviv Gal; Valeria Bertacco (DATE, 2014)

Adrenaline: Pinpointing and reining in tail queries with quick voltage boosting. - Chang-Hong Hsu; Yunqi Zhang; Michael A. Laurenzano; David Meisner; Thomas F. Wenisch; Jason Mars; Lingjia Tang; Ronald G. Dreslinski (HPCA, 2015)

Thermal time shifting: leveraging phase change materials to reduce cooling costs in warehouse-scale computers. - Matt Skach; Manish Arora; Chang-Hong Hsu; Qi Li; Dean M. Tullsen; Lingjia Tang; Jason Mars (ISCA, 2015)

Dynamo: Facebook's Data Center-Wide Power Management System. - Qiang Wu; Qingyuan Deng; Lakshmi Ganesh; Chang-Hong Hsu; Yun Jin; Sanjeev Kumar; Bin Li; Justin Meza; Yee Jiun Song (ISCA, 2016)

DeftNN: addressing bottlenecks for DNN execution on GPUs via synapse vector elimination and near-compute data fission. - Parker Hill; Animesh Jain; Mason Hill; Babak Zamirai; Chang-Hong Hsu; Michael A. Laurenzano; Scott A. Mahlke; Lingjia Tang; Jason Mars (MICRO, 2017)

Thermal Time Shifting: Decreasing Data Center Cooling Costs with Phase-Change Materials. - Matt Skach; Manish Arora; Chang-Hong Hsu; Qi Li; Dean M. Tullsen; Lingjia Tang; Jason Mars (IEEE Internet Comput., 2017)

Reining in Long Tails in Warehouse-Scale Computers with Quick Voltage Boosting Using Adrenaline. - Chang-Hong Hsu; Yunqi Zhang; Michael A. Laurenzano; David Meisner; Thomas F. Wenisch; Ronald G. Dreslinski; Jason Mars; Lingjia Tang (ACM Trans. Comput. Syst., 2017)

SmoothOperator: Reducing Power Fragmentation and Improving Power Utilization in Large-scale Datacenters. - Chang-Hong Hsu; Qingyuan Deng; Jason Mars; Lingjia Tang (ASPLOS, 2018)

The Architectural Implications of Autonomous Driving: Constraints and Acceleration. - Shih-Chieh Lin; Yunqi Zhang; Chang-Hong Hsu; Matt Skach; Md. Enamul Haque; Lingjia Tang; Jason Mars (ASPLOS, 2018)

Adasa: A Conversational In-Vehicle Digital Assistant for Advanced Driver Assistance Features. - Shih-Chieh Lin; Chang-Hong Hsu; Walter Talamonti; Yunqi Zhang; Steve Oney; Jason Mars; Lingjia Tang (UIST, 2018)

Towards Power- and Energy-Efficient Datacenters. - Chang-Hong Hsu (2018)