Caleb Donovick

17 papers A* 2A 2B 2Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
PEak: A Single Source of Truth for Hardware Design and Verification.
ACM Trans. Embed. Comput. Syst.
Caleb Donovick, Jackson Melchert, Ross Daly, Lenny Truong, Priyanka Raina, Pat Hanrahan, Clark W. Barrett
2024 B conf
Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection.
FMCAD
Ross Daly, Caleb Donovick, Caleb Terrill, Jackson Melchert, Priyanka Raina, Clark W. Barrett, Pat Hanrahan
2024 J jnl
Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection.
CoRR
Ross Daly, Caleb Donovick, Caleb Terrill, Jackson Melchert, Priyanka Raina, Clark W. Barrett, Pat Hanrahan
2023 J jnl
AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers.
ACM Trans. Embed. Comput. Syst.
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, Caleb Donovick, Alex Carsello, Taeyoung Kong, Kathleen Feng, Dillon Huff, Ankita Nayak, Rajsekhar Setaluri, James Thomas, Nikhil Bhagdikar, David Durst, Zachary A. Myers, Nestan Tsiskaridze, Stephen Richardson, Rick Bahr, Kayvon Fatahalian, Pat Hanrahan, Clark W. Barrett, Mark Horowitz, Christopher Torng, Fredrik Kjolstad, Priyanka Raina
2023 — conf
APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis.
ASPLOS (3)
Jackson Melchert, Kathleen Feng, Caleb Donovick, Ross Daly, Ritvik Sharma, Clark W. Barrett, Mark A. Horowitz, Pat Hanrahan, Priyanka Raina
2023 J jnl
PEak: A Single Source of Truth for Hardware Design and Verification.
CoRR
Caleb Donovick, Ross Daly, Jackson Melchert, Lenny Truong, Priyanka Raina, Pat Hanrahan, Clark W. Barrett
2022 B conf
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT.
FMCAD
Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan
2021 J jnl
Automated Design Space Exploration of CGRA Processing Element Architectures using Frequent Subgraph Analysis.
CoRR
Jackson Melchert, Kathleen Feng, Caleb Donovick, Ross Daly, Clark W. Barrett, Mark Horowitz, Pat Hanrahan, Priyanka Raina
2021 A conf
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving.
SAT
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett
2020 A* conf
Creating an Agile Hardware Design Flow.
DAC
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, Dillon Huff, Fredrik Kjolstad, Taeyoung Kong, Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Rajsekhar Setaluri, Jeff Setter, Kavya Sreedhar, Maxwell Strange, James Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, Keyi Zhang
2020 J jnl
EnsembleHMD: Accurate Hardware Malware Detectors with Specialized Ensemble Classifiers.
IEEE Trans. Dependable Secur. Comput.
Khaled N. Khasawneh, Meltem Ozsoy, Caleb Donovick, Nael B. Abu-Ghazaleh, Dmitry Ponomarev
2020 J jnl
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components.
CoRR
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan
2020 — conf
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.
CAV (1)
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan
2019 — conf
Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks.
ReConFig
Caleb Donovick, Makai Mann, Clark W. Barrett, Pat Hanrahan
2016 J jnl
Hardware-Based Malware Detection Using Low-Level Architectural Features.
IEEE Trans. Computers
Meltem Ozsoy, Khaled N. Khasawneh, Caleb Donovick, Iakov Gorelik, Nael B. Abu-Ghazaleh, Dmitry Ponomarev
2015 A conf
Ensemble Learning for Low-Level Hardware-Supported Malware Detection.
RAID
Khaled N. Khasawneh, Meltem Ozsoy, Caleb Donovick, Nael B. Abu-Ghazaleh, Dmitry V. Ponomarev
2015 A* conf
Malware-aware processors: A framework for efficient online malware detection.
HPCA
Meltem Ozsoy, Caleb Donovick, Iakov Gorelik, Nael B. Abu-Ghazaleh, Dmitry V. Ponomarev