Caleb Donovick

All Publications

• AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers ACM Transactions on Embedded Computing Systems Koul, K., Melchert, J., Sreedhar, K., Truong, L., Nyengele, G., Zhang, K., Liu, Q., Setter, J., Chen, P., Mei, Y., Strange, M., Daly, R., Donovick, C., Carsello, A., Kong, T., Feng, K., Huff, D., Nayak, A., Setaluri, R., Thomas, J., Bhagdikar, N., Durst, D., Myers, Z., Tsiskaridze, N., Richardson, S., et al 2023; 22 (2)

  View details for DOI 10.1145/3534933

• Smt-Switch: A Solver-Agnostic C plus plus API for SMT Solving Mann, M., Wilson, A., Zohar, Y., Stuntz, L., Irfan, A., Brown, K., Donovick, C., Guman, A., Tinelli, C., Barrett, C., Li, C. M., Manya, F. SPRINGER INTERNATIONAL PUBLISHING AG. 2021: 377-386

  View details for DOI 10.1007/978-3-030-80223-3_26

  View details for Web of Science ID 000709570900026

• EnsembleHMD: Accurate Hardware Malware Detectors with Specialized Ensemble Classifiers IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING Khasawneh, K. N., Ozsoy, M., Donovick, C., Abu-Ghazaleh, N., Ponomarev, D. 2020; 17 (3): 620–33

  View details for DOI 10.1109/TDSC.2018.2801858

  View details for Web of Science ID 000531423200013

• Creating an Agile Hardware Design Flow Bahr, R., Barrett, C., Bhagdikar, N., Carsello, A., Daly, R., Donovick, C., Durst, D., Fatahalian, K., Feng, K., Hanrahan, P., Hofstee, T., Horowitz, M., Huff, D., Kjolstad, F., Kong, T., Liu, Q., Mann, M., Melchert, J., Nayak, A., Niemetz, A., Nyengele, G., Raina, P., Richardson, S., Setaluri, R., Setter, J., Sreedhar, K., Strange, M., Thomas, J., Torng, C., Truong, L., Tsiskaridze, N., Zhang, K., IEEE IEEE. 2020

  View details for Web of Science ID 000628528400063

• fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components International Conference on Computer Aided Verification Truong, L., Herbst, S., Setaluri, R., Mann, M., Daly, R., Zhang, K., Donovick, C., Stanley, D., Horowitz, M., Barrett, C., Hanrahan, P. 2020

  View details for DOI 10.1007/978-3-030-53288-8_19

• Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks International Conference on ReConFigurable Computing and FPGAs Donovick, C., Mann, M., Barrett, C., Hanrahan, P. 2019

  View details for DOI 10.1109/ReConFig48160.2019.8994781

• Hardware-Based Malware Detection Using Low-Level Architectural Features IEEE TRANSACTIONS ON COMPUTERS Ozsoy, M., Khasawneh, K. N., Donovick, C., Gorelik, I., Abu-Ghazaleh, N., Ponomarev, D. 2016; 65 (11): 3332–44

  View details for DOI 10.1109/TC.2016.2540634

  View details for Web of Science ID 000388498000009

• Malware-Aware Processors: A Framework for Efficient Online Malware Detection Ozsoy, M., Donovick, C., Gorelik, I., Abu-Ghazaleh, N., Ponomarev, D., IEEE IEEE. 2015: 651–61

  View details for Web of Science ID 000380564900054

• Ensemble Learning for Low-Level Hardware-Supported Malware Detection International Symposium on Recent Advances in Intrusion Detection Khasawneh, K. N., Ozsoy, M., Donovick, C., Abu-Ghazaleh, N., Ponomarev, D. 2015: 3–25

  View details for DOI 10.1007/978-3-319-26362-5_1