Follow
Caleb Donovick
Caleb Donovick
Verified email at cs.stanford.edu
Title
Cited by
Cited by
Year
Malware-aware processors: A framework for efficient online malware detection
M Ozsoy, C Donovick, I Gorelik, N Abu-Ghazaleh, D Ponomarev
2015 IEEE 21st International Symposium on High Performance Computer …, 2015
1882015
Ensemble learning for low-level hardware-supported malware detection
KN Khasawneh, M Ozsoy, C Donovick, N Abu-Ghazaleh, D Ponomarev
International Symposium on Recent Advances in Intrusion Detection, 3-25, 2015
1172015
Hardware-based malware detection using low-level architectural features
M Ozsoy, KN Khasawneh, C Donovick, I Gorelik, N Abu-Ghazaleh, ...
IEEE Transactions on Computers 65 (11), 3332-3344, 2016
1032016
EnsembleHMD: Accurate hardware malware detectors with specialized ensemble classifiers
KN Khasawneh, M Ozsoy, C Donovick, N Abu-Ghazaleh, D Ponomarev
IEEE Transactions on Dependable and Secure Computing 17 (3), 620-633, 2018
492018
Creating an agile hardware design flow
R Bahr, C Barrett, N Bhagdikar, A Carsello, R Daly, C Donovick, D Durst, ...
2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020
292020
Aha: An agile approach to the design of coarse-grained reconfigurable accelerators and compilers
K Koul, J Melchert, K Sreedhar, L Truong, G Nyengele, K Zhang, Q Liu, ...
ACM Transactions on Embedded Computing Systems 22 (2), 1-34, 2023
152023
SMT-switch: a solver-agnostic C++ API for SMT solving
M Mann, A Wilson, Y Zohar, L Stuntz, A Irfan, K Brown, C Donovick, ...
International Conference on Theory and Applications of Satisfiability …, 2021
152021
fault: A python embedded domain-specific language for metaprogramming portable hardware verification components
L Truong, S Herbst, R Setaluri, M Mann, R Daly, K Zhang, C Donovick, ...
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
142020
Agile smt-based mapping for cgras with restricted routing networks
C Donovick, M Mann, C Barrett, P Hanrahan
2019 International Conference on ReConFigurable Computing and FPGAs …, 2019
132019
Automated design space exploration of cgra processing element architectures using frequent subgraph analysis
J Melchert, K Feng, C Donovick, R Daly, C Barrett, M Horowitz, ...
arXiv preprint arXiv:2104.14155, 2021
92021
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT.
R Daly, C Donovick, J Melchert, R Setaluri, N Tsiskaridze, P Raina, ...
FMCAD, 139-150, 2022
72022
Taeyoung Kong
R Bahr, C Barrett, N Bhagdikar, A Carsello, R Daly, C Donovick, D Durst, ...
Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon …, 2020
72020
Creating an agile hardware design flow. In 2020 57th ACM/IEEE Design Automation Conference (DAC)
R Bahr, C Barrett, N Bhagdikar, A Carsello, R Daly, C Donovick, D Durst, ...
IEEE, 1ś6, 2020
62020
Apex: A framework for automated processing element design space exploration using frequent subgraph analysis
J Melchert, K Feng, C Donovick, R Daly, R Sharma, C Barrett, ...
Proceedings of the 28th ACM International Conference on Architectural …, 2023
52023
PEak: A Single Source of Truth for Hardware Design and Verification
C Donovick, R Daly, J Melchert, L Truong, P Raina, P Hanrahan, C Barrett
arXiv preprint arXiv:2308.13106, 2023
2023
Connecting the Dots: Privacy Leakage via Write-Access Patterns to the Main Memory
KN Khasawneh, M Ozsoy, C Donovick, N Abu-Ghazaleh, D Ponomarev
2018
Coalition formation in serial dictatorships
B Plaut, C Donovick, R Hulett
The system can't perform the operation now. Try again later.
Articles 1–17