Ross Daly

Orcid: 0000-0002-4938-5250

Affiliations:
  • Stanford University, CA, USA


According to our database1, Ross Daly authored at least 12 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers.
ACM Trans. Embed. Comput. Syst., March, 2023

PEak: A Single Source of Truth for Hardware Design and Verification.
CoRR, 2023

APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021
Automated Design Space Exploration of CGRA Processing Element Architectures using Frequent Subgraph Analysis.
CoRR, 2021

2020
Type-directed scheduling of streaming accelerators.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020


fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018
CoSA: Integrated Verification for Agile Hardware Design.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2016
Rigel: flexible multi-rate image processing hardware.
ACM Trans. Graph., 2016

RowHammer: Reliability Analysis and Security Implications.
CoRR, 2016

2014
Flipping bits in memory without accessing them: An experimental study of DRAM disturbance errors.
Proceedings of the ACM/IEEE 41st International Symposium on Computer Architecture, 2014


  Loading...