| 2019 | When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans. | Xiaolong Guo, Huifeng Zhu, Yier Jin, Xuan Zhang |
| 2019 | Accelerating Itemset Sampling using Satisfiability Constraints on FPGA. | Mael Gueguen, Olivier Sentieys, Alexandre Termier |
| 2019 | Scaling up Network Centrality Computations | Alexander van der Grinten, Henning Meyerhenke |
| 2019 | Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs. | Aman Goel, Karem A. Sakallah |
| 2019 | Near-Data Acceleration of Privacy-Preserving Biomarker Search with 3D-Stacked Memory. | Alvin Oliver Glova, Itir Akgun, Shuangchen Li, Xing Hu, Yuan Xie |
| 2019 | Hardware-Accelerated Energy-Efficient Synchronization and Communication for Ultra-Low-Power Tightly Coupled Clusters. | Florian Glaser, Germain Haugou, Davide Rossi, Qiuting Huang, Luca Benini |
| 2019 | AXIOM: A Scalable, Efficient and Reconfigurable Embedded Platform. | Roberto Giorgi, Marco Procaccini, Farnam Khalili |
| 2019 | Review of Methodologies for Pre- and Post-Silicon Analog Verification in Mixed-Signal SOCs. | Georges G. E. Gielen, Nektar Xama, Karthik Ganesan, Subhasish Mitra |
| 2019 | Test Pattern Generation for Approximate Circuits Based on Boolean Satisfiability. | Anteneh Gebregiorgis, Mehdi Baradaran Tahoori |
| 2019 | Error-Shielded Register Renaming Sub-system for a Dynamically Scheduled Out-of-Order Core. | Ron Gabor, Yiannakis Sazeides, Arkady Bramnik, Alexandros Andreou, Chrysostomos Nicopoulos, Karyofyllis Patsidis, Dimitris Konstantinou, Giorgos Dimitrakopoulos |
| 2019 | Resource Manager for Scalable Performance in ROS Distributed Environments. | Daisuke Fukutomi, Takuya Azumi, Shinpei Kato, Nobuhiko Nishio |
| 2019 | One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing. | Saman Frhlich, Daniel Groe, Rolf Drechsler |
| 2019 | Towards Reliable and Secure Post-Quantum Co-Processors based on RISC-V. | Tim Fritzmann, Uzair Sharif, Daniel Mller-Gritschneder, Cezar Reinbrecht, Ulf Schlichtmann, Johanna Seplveda |
| 2019 | RDF: Reconfigurable Dataflow. | Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei |
| 2019 | Taming Data Caches for Predictable Execution on GPU-based SoCs. | Bjrn Forsberg, Luca Benini, Andrea Marongiu |
| 2019 | CoDAPT: A Concurrent Data And Power Transceiver for Fully Wireless 3D-ICs. | Benjamin J. Fletcher, Shidhartha Das, Terrence S. T. Mak |
| 2019 | Assembly-Related Chip/Package Co-Design of Heterogeneous Systems Manufactured by Micro-Transfer Printing. | Robert Fischbach, Tilman Horst, Jens Lienig |
| 2019 | Exploration and Design of Low-Energy Logic Cells for 1 kHz Always-on Systems. | Maxime Feyerick, Jaro De Roose, Marian Verhelst |
| 2019 | Tailoring SVM Inference for Resource-Efficient ECG-Based Epilepsy Monitors. | Lorenzo Ferretti, Giovanni Ansaloni, Laura Pozzi, Amir Aminifar, David Atienza, Leila Cammoun, Philippe Ryvlin |
| 2019 | CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs. | Benjamin Ferrell, Jun Duan, Kevin W. Hamlen |
| 2019 | A Methodology for Comparative Analysis of Collaborative Robots for Industry 4.0. | Federica Ferraguti, Andrea Pertosa, Cristian Secchi, Cesare Fantuzzi, Marcello Bonf |
| 2019 | Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots. | Nicole Fern, Kwang-Ting (Tim) Cheng |
| 2019 | Multicore Early Design Stage Guaranteed Performance Estimates for the Space Domain. | Mikel Fernndez, Gabriel Fernandez, Jaume Abella, Francisco J. Cazorla |
| 2019 | Guilty As Charged: Computational Reliability Threats Posed By Electrostatic Discharge-induced Soft Errors. | Keven Feng, Sandeep Vora, Rui Jiang, Elyse Rosenbaum, Shobha Vasudevan |
| 2019 | Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations. | Arash Fayyazi, Soheil Shababi, Pierluigi Nuzzo, Shahin Nazarian, Massoud Pedram |