Caleb Donovick

Orcid: 0000-0001-9336-1267

According to our database1, Caleb Donovick authored at least 13 papers between 2015 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers.
ACM Trans. Embed. Comput. Syst., March, 2023

PEak: A Single Source of Truth for Hardware Design and Verification.
CoRR, 2023

APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021
Automated Design Space Exploration of CGRA Processing Element Architectures using Frequent Subgraph Analysis.
CoRR, 2021

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020
EnsembleHMD: Accurate Hardware Malware Detectors with Specialized Ensemble Classifiers.
IEEE Trans. Dependable Secur. Comput., 2020


fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks.
Proceedings of the 2019 International Conference on ReConFigurable Computing and FPGAs, 2019

2016
Hardware-Based Malware Detection Using Low-Level Architectural Features.
IEEE Trans. Computers, 2016

2015
Ensemble Learning for Low-Level Hardware-Supported Malware Detection.
Proceedings of the Research in Attacks, Intrusions, and Defenses, 2015

Malware-aware processors: A framework for efficient online malware detection.
Proceedings of the 21st IEEE International Symposium on High Performance Computer Architecture, 2015


  Loading...