Ensemble Learning for Low-Level Hardware-Supported Malware Detection
Khaled N. Khasawneh , Meltem Ozsoy , Caleb Donovick , Nael Abu-Ghazaleh
recent advances in intrusion detection 3 -25
110
2015
Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks
Caleb Donovick , Makai Mann , Clark Barrett , Pat Hanrahan
2019 International Conference on ReConFigurable Computing and FPGAs (ReConFig) 1 -8
1
2019
Hardware-Based Malware Detection Using Low-Level Architectural Features
Meltem Ozsoy , Khaled N. Khasawneh , Caleb Donovick , Iakov Gorelik
IEEE Transactions on Computers 65 ( 11) 3332 -3344
84
2016
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
Lenny Truong , Steven Herbst , Rajsekhar Setaluri , Makai Mann
computer aided verification 403 -414
2020
Creating an Agile Hardware Design Flow
Rick Bahr , Clark Barrett , Nikhil Bhagdikar , Alex Carsello
design automation conference 1 -6
2
2020
Malware-aware processors: A framework for efficient online malware detection
Meltem Ozsoy , Caleb Donovick , Iakov Gorelik , Nael Abu-Ghazaleh
high-performance computer architecture 651 -661
86
2015
Aha: An agile approach to the design of coarse-grained reconfigurable accelerators and compilers
Kalhan Koul , Jackson Melchert , Kavya Sreedhar , Leonard Truong
ACM Transactions on Embedded Computing Systems 22 ( 2) 1 -34
18
2023
Automated design space exploration of cgra processing element architectures using frequent subgraph analysis
Jackson Melchert , Kathleen Feng , Caleb Donovick , Ross Daly
arXiv preprint arXiv:2104.14155
10
2021
Apex: A framework for automated processing element design space exploration using frequent subgraph analysis
Jackson Melchert , Kathleen Feng , Caleb Donovick , Ross Daly
33 -45
6
2023
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT.
Ross Daly , Caleb Donovick , Jackson Melchert , Rajsekhar Setaluri
FMCAD 139 -150
8
2022
PEak: A Single Source of Truth for Hardware Design and Verification
Caleb Donovick , Ross Daly , Jackson Melchert , Lenny Truong
arXiv preprint arXiv:2308.13106
2
2023
Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection
Ross Daly , Caleb Donovick , Caleb Terrill , Jackson Melchert
arXiv preprint arXiv:2405.06127
2024
EnsembleHMD: Accurate hardware malware detectors with specialized ensemble classifiers
Khaled N Khasawneh , Meltem Ozsoy , Caleb Donovick , Nael Abu-Ghazaleh
IEEE Transactions on Dependable and Secure Computing 17 ( 3) 620 -633
50
2018
Taeyoung Kong
Kalhan Koul , Jackson Melchert , Kavya Sreedhar , Leonard Truong
Kathleen Feng, Dillon Huff, Ankita Nayak, Rajsekhar Setaluri, James Thomas, Nikhil Bhagdikar, David Durst, Zachary Myers, Nestan Tsiskaridze, Stephen Richardson, Rick Bahr, Kayvon Fatahalian, Pat Hanrahan, Clark Barrett, Mark Horowitz, Christopher Torng, Fredrik Kjolstad, and Priyanka Raina
7
2023
SMT-switch: a solver-agnostic C++ API for SMT solving
Makai Mann , Amalee Wilson , Yoni Zohar , Lindsey Stuntz
Springer International Publishing 377 -386
16
2021
Connecting the Dots: Privacy Leakage via Write-Access Patterns to the Main Memory
Khaled N Khasawneh , Meltem Ozsoy , Caleb Donovick , Nael Abu-Ghazaleh
2018
Taeyoung Kong
Rick Bahr , Clark Barrett , Nikhil Bhagdikar , Alex Carsello
Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Raj Setaluri, Jeff Setter, Kavya Sreedhar, Maxwell Strange, James Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, and Keyi Zhang 1 -6
9
2020
Creating an agile hardware design flow. In 2020 57th ACM/IEEE Design Automation Conference (DAC)
Rick Bahr , Clark Barrett , Nikhil Bhagdikar , Alex Carsello
IEEE 1 -6
7
2020
Enabling Agile Hardware Development With the Peak Programming Language
Caleb Donovick
Stanford University
2024
Coalition formation in serial dictatorships
Ben Plaut , Caleb Donovick , Reyna Hulett