Ayatallah Elakhras

Orcid: 0000-0001-9272-1566

According to our database1, Ayatallah Elakhras authored at least 14 papers between 2022 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026





Out with LSQs: Custom Circuits for Memory Access Reordering in Dynamic HLS.
Proceedings of the 2026 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2026

Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits.
Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025
Out with LSQs: Custom Circuits for Memory Access Reordering in Dynamic HLS.
Dataset, December, 2025



ElasticMiter: Formally Verified Dataflow Circuit Rewrites.
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024
Survival of the Fastest: Enabling More Out-of-Order Execution in Dataflow Circuits.
Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2024

2023
Straight to the Queue: Fast Load-Store Queue Allocation in Dataflow Circuits.
Proceedings of the 2023 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2023

2022
Unleashing Parallelism in Elastic Circuits with Faster Token Delivery.
Proceedings of the 32nd International Conference on Field-Programmable Logic and Applications, 2022


  Loading...