Suraj Singireddy

According to our database, Suraj Singireddy authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Equivalence Checking for Flow-Based Computing using Iterative SAT Solving.

Sven Thijssen, Muhammad Rashedul Haq Rashed, Md Rubel Ahmed, Suraj Singireddy, Sumit Kumar Jha, Rickard Ewetz

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

2023

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning.

Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez

CoRR, 2023

Input-Aware Flow-Based In-Memory Computing.

Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sven Thijssen, Rickard Ewetz, Sumit Kumar Jha

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

Verification of Flow-Based Computing Systems Using Bounded Model Checking.

Sven Thijssen, Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems.

Suraj Singireddy, Rickard Ewetz, Sumit Kumar Jha

Proceedings of the 4th IEEE International Conference on Artificial Intelligence Circuits and Systems, 2022