| 2019 | Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis. | Junchen Zhao, Ian G. Harris |
| 2019 | Exploiting Wavelength Division Multiplexing for Optical Logic Synthesis. | Zheng Zhao, Derong Liu, Zhoufeng Ying, Biying Xu, Chenghao Feng, Ray T. Chen, David Z. Pan |
| 2019 | An Efficient Mapping Approach to Large-Scale DNNs on Multi-FPGA Architectures. | Wentai Zhang, Jiaxi Zhang, Minghua Shen, Guojie Luo, Nong Xiao |
| 2019 | Aging-aware Lifetime Enhancement for Memristor-based Neuromorphic Computing. | Shuhang Zhang, Grace Li Zhang, Bing Li, Hai Helen Li, Ulf Schlichtmann |
| 2019 | Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. | Haitao Zhang, Ayang Tuo, Guoqiang Li |
| 2019 | Adaptive Transient Leakage-Aware Linearised Model for Thermal Analysis of 3-D ICs. | Chao Zhang, Milan Mihajlovic, Vasilis F. Pavlidis |
| 2019 | Bayesian Optimization Approach for Analog Circuit Synthesis Using Neural Network. | Shuhan Zhang, Wenlong Lyu, Fan Yang, Changhao Yan, Dian Zhou, Xuan Zeng |
| 2019 | Semantic Integration Platform for Cyber-Physical System Design. | Qishen Zhang, Tams Kecsks, Ted Bapty, Janos Sztipanovits |
| 2019 | Generation of a Reconfigurable Probabilistic Decision-Making Engine based on Decision Networks: UAV Case Study (Interactive Presentation). | Sara Zermani, Catherine Dezan |
| 2019 | Fault-Tolerance by Graceful Degradation for Car Platoons. | M. Baha E. Zarrouki, Verena Kls, Markus Grabowski, Sabine Glesner |
| 2019 | Time-division Multiplexing Automata Processor. | Jintao Yu, Hoang Anh Du Nguyen, Muath Abu Lebdeh, Mottaqiallah Taouil, Said Hamdioui |
| 2019 | Transfer and Online Reinforcement Learning in STT-MRAM Based Embedded Systems for Autonomous Drones. | Insik Yoon, Malik Aqeel Anwar, Titash Rakshit, Arijit Raychowdhury |
| 2019 | Effect of Device Variation on Mapping Binary Neural Network to Memristor Crossbar Array. | Wooseok Yi, Yulhwa Kim, Jae-Joon Kim |
| 2019 | Litho-GPA: Gaussian Process Assurance for Lithography Hotspot Detection. | Wei Ye, Mohamed Baker Alawieh, Meng Li, Yibo Lin, David Z. Pan |
| 2019 | Single-Event Double-Upset Self-Recoverable and Single-Event Transient Pulse Filterable Latch Design for Low Power Applications. | Aibin Yan, Yuanjie Hu, Jie Song, Xiaoqing Wen |
| 2019 | Reducing Write Amplification for Inodes of Journaling File System using Persistent Memory. | Chaoshu Yang, Duo Liu, Xianzhang Chen, Runyu Zhang, Wenbin Wang, Moming Duan, Yujuan Tan |
| 2019 | CARS: A Multi-layer Conflict-Aware Request Scheduler for NVMe SSDs. | Tianming Yang, Ping Huang, Weiying Zhang, Haitao Wu, Longxin Lin |
| 2019 | An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. | Beyazit Yalcinkaya, Mitra Nasri, Bjrn B. Brandenburg |
| 2019 | ACDC: An Accuracy- and Congestion-aware Dynamic Traffic Control Method for Networks-on-Chip. | Siyuan Xiao, Xiaohang Wang, Maurizio Palesi, Amit Kumar Singh, Terrence S. T. Mak |
| 2019 | Wafer-Level Adaptive Vmin Calibration Seed Forecasting. | Constantinos Xanthopoulos, Deepika Neethirajan, Sirish Boddikurapati, Amit Nahar, Yiorgos Makris |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2019 | HotR: Alleviating Read/Write Interference with Hot Read Data Replication for Flash Storage. | Suzhen Wu, Weiwei Zhang, Bo Mao, Hong Jiang |
| 2019 | Towards Cross-Platform Inference on Edge Devices with Emerging Neuromorphic Architecture. | Shangyu Wu, Yi Wang, Amelie Chi Zhou, Rui Mao, Zili Shao, Tao Li |
| 2019 | Data Locality Optimization of Depthwise Separable Convolutions for CNN Inference Accelerators. | Hao-Ning Wu, Chih-Tsun Huang |
| 2019 | Queue Based Memory Management Unit for Heterogeneous MPSoCs. | Robert Wittig, Mattis Hasler, Emil Mats, Gerhard P. Fettweis |