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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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