Follow
Ross Daly
Title
Cited by
Cited by
Year
Flipping bits in memory without accessing them: An experimental study of DRAM disturbance errors
Y Kim, R Daly, J Kim, C Fallin, JH Lee, D Lee, C Wilkerson, K Lai, O Mutlu
ACM SIGARCH Computer Architecture News 42 (3), 361-372, 2014
13932014
Rigel: Flexible multi-rate image processing hardware
J Hegarty, R Daly, Z DeVito, J Ragan-Kelley, M Horowitz, P Hanrahan
ACM transactions on graphics (TOG) 35 (4), 1-11, 2016
1022016
Type-directed scheduling of streaming accelerators
D Durst, M Feldman, D Huff, D Akeley, R Daly, GL Bernstein, M Patrignani, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
532020
Cosa: Integrated verification for agile hardware design
C Mattarei, M Mann, C Barrett, RG Daly, D Huff, P Hanrahan
2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018
352018
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
292020
Invoking and linking generators from multiple hardware languages using coreir
R Daly, L Truong, P Hanrahan
Proceedings of the 1st Workshop on Open-Source EDA Technology, 2018
182018
Rowhammer: Reliability analysis and security implications
Y Kim, R Daly, J Kim, C Fallin, JH Lee, D Lee, C Wilkerson, K Lai, O Mutlu
arXiv preprint arXiv:1603.00747, 2016
182016
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
152023
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
142020
CoSA: Integrated Verification for Agile Hardware Design. In 2018 Formal Methods in Computer Aided Design (FMCAD)
C Mattarei, M Mann, C Barrett, RG Daly, D Huff, P Hanrahan
IEEE, 1ś5, 2018
132018
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
92021
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
72022
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
72020
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, 1ś6, 2020
62020
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
52023
CoreIR: A simple LLVM-style hardware compiler
R Daly
52017
Type-Directed Scheduling of Streaming Accelerators–Technical Appendix
D Durst, M Feldman, D Huff, D Akeley, R Daly, G Bernstein, M Patrignani, ...
32020
What Are Semantics for Hardware?
G Bernstein, R Daly, J Ragan-Kelley, P Hanrahan
Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE), 2021
12021
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
2023
CNN Assisted Colorization of Gray-scale Images
R Daly, T Zhao
The system can't perform the operation now. Try again later.
Articles 1–20