Malware-aware processors: A framework for efficient online malware detection. - Meltem Ozsoy; Caleb Donovick; Iakov Gorelik; Nael B. Abu-Ghazaleh; Dmitry V. Ponomarev (HPCA, 2015)

Ensemble Learning for Low-Level Hardware-Supported Malware Detection. - Khaled N. Khasawneh; Meltem Ozsoy; Caleb Donovick; Nael B. Abu-Ghazaleh; Dmitry V. Ponomarev (RAID, 2015)

Hardware-Based Malware Detection Using Low-Level Architectural Features. - Meltem Ozsoy; Khaled N. Khasawneh; Caleb Donovick; Iakov Gorelik; Nael B. Abu-Ghazaleh; Dmitry Ponomarev 001 (IEEE Trans. Computers, 2016)

Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks. - Caleb Donovick; Makai Mann; Clark W. Barrett; Pat Hanrahan (ReConFig, 2019)

fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components. - Lenny Truong; Steven Herbst; Rajsekhar Setaluri; Makai Mann; Ross G. Daly; Keyi Zhang; Caleb Donovick; Daniel Stanley; Mark Horowitz; Clark W. Barrett; Pat Hanrahan (CAV (1), 2020)

Creating an Agile Hardware Design Flow. - Rick Bahr; Clark W. Barrett; Nikhil Bhagdikar; Alex Carsello; Ross Daly; Caleb Donovick; David Durst; Kayvon Fatahalian; Kathleen Feng; Pat Hanrahan; Teguh Hofstee; Mark Horowitz; et al. (DAC, 2020)

EnsembleHMD: Accurate Hardware Malware Detectors with Specialized Ensemble Classifiers. - Khaled N. Khasawneh; Meltem Ozsoy; Caleb Donovick; Nael B. Abu-Ghazaleh; Dmitry Ponomarev 001 (IEEE Trans. Dependable Secur. Comput., 2020)

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. - Makai Mann; Amalee Wilson; Yoni Zohar; Lindsey Stuntz; Ahmed Irfan; Kristopher Brown; Caleb Donovick; Allison Guman; Cesare Tinelli; Clark W. Barrett (SAT, 2021)

Automated Design Space Exploration of CGRA Processing Element Architectures using Frequent Subgraph Analysis. - Jackson Melchert; Kathleen Feng; Caleb Donovick; Ross Daly; Clark W. Barrett; Mark Horowitz; Pat Hanrahan; Priyanka Raina (CoRR, 2021)

Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. - Ross Daly; Caleb Donovick; Jackson Melchert; Rajsekhar Setaluri; Nestan Tsiskaridze; Priyanka Raina; Clark W. Barrett; Pat Hanrahan (FMCAD, 2022)

APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis. - Jackson Melchert; Kathleen Feng; Caleb Donovick; Ross Daly; Ritvik Sharma; Clark W. Barrett; Mark A. Horowitz; Pat Hanrahan; Priyanka Raina (ASPLOS (3), 2023)

PEak: A Single Source of Truth for Hardware Design and Verification. - Caleb Donovick; Ross Daly; Jackson Melchert; Lenny Truong; Priyanka Raina; Pat Hanrahan; Clark W. Barrett (CoRR, 2023)

AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers. - Kalhan Koul; Jackson Melchert; Kavya Sreedhar; Leonard Truong; Gedeon Nyengele; Keyi Zhang; Qiaoyi Liu; Jeff Setter; Po-Han Chen; Yuchen Mei; Maxwell Strange; Ross Daly; et al. (ACM Trans. Embed. Comput. Syst., 2023)

Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection. - Ross Daly; Caleb Donovick; Caleb Terrill; Jackson Melchert; Priyanka Raina; Clark W. Barrett; Pat Hanrahan (FMCAD, 2024)