| 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 | 202 | 2015 |
| 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 | 125 | 2015 |
| 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 | 104 | 2016 |
| 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 | 52 | 2018 |
| 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 | 31 | 2020 |
| 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 | 19 | 2020 |
| 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 | 18 | 2023 |
| 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 | 16 | 2021 |
| 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 | 14 | 2019 |
| 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 | 12 | 2021 |
| 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 | 10 | 2020 |
| 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 | 9 | 2022 |
| 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 | 8 | 2023 |
| Taeyoung Kong K Koul, J Melchert, K Sreedhar, L Truong, G Nyengele, K Zhang, Q Liu, ... Kathleen Feng, Dillon Huff, Ankita Nayak, Rajsekhar Setaluri, James Thomas …, 2023 | 7 | 2023 |
| 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, 2020 | 7 | 2020 |
| 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 | 3 | 2023 |
| Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection R Daly, C Donovick, C Terrill, J Melchert, P Raina, C Barrett, P Hanrahan arXiv preprint arXiv:2405.06127, 2024 | | 2024 |
| Enabling Agile Hardware Development With the Peak Programming Language C Donovick Stanford University, 2024 | | 2024 |
| 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 | | |
