About me
Ph.D. student
Department of Computer Science
University of Central Florida
“Knowledge is in every country the surest basis of public happiness.”
– George Washington, First Annual Address, Friday, January 08, 1790

Advisors
Professor Ewetz at the University of Central Florida
Professor Jha at the Florida International University
Research
Emerging technologies, path-based computing (in-memory computing), flow-based computing (in-memory computing), technology mapping
Journal publications
- Rashed, M. R. H., Thijssen, S., Jha, S. K., Yao, F., & Ewetz, R. (2023). STREAM: Towards READ-based In-Memory Computing for Streaming Based Processing for Data-Intensive Applications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
- Thijssen, S., Jha, S. K., & Ewetz, R. (2021). COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter and Maximum Dimension. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Conference publications
- Thijssen, S., Rashed, M., Jha, S. K., & Ewetz, R. READ-based In-Memory Computing using Sentential Decision Diagrams. ASP-DAC 2024. (accepted)
- Thijssen, S., Rashed, M., Zheng, H., Jha, S. K., & Ewetz, R. Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms. ASP-DAC 2024. (accepted)
- Singiredy, S., Thijssen, S., Rashed, M., Ewetz, R., & Jha, S. K. Input-Aware Flow-Based In-Memory Computing, In IEEE 41st International Conference on Computer Design (ICCD) 2023. (accepted)
- Rashed, M., Thijssen, S., Zheng, H., Jha, S. K., & Ewetz, R. Path-based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications. In 42nd International Conference on Computer-Aided Design (ICCAD) 2023. (accepted)
- Thijssen, S., Rashed, M., Singireddy, S., Jha, S. K., & Ewetz, R. Verification of Flow-Based Computing Systems using Bounded Model Checking. In 42nd International Conference on Computer-Aided Design (ICCAD) 2023. (accepted)
- Rashed, M., Thijssen, S., Jha, S. K., & Ewetz, R. Automated Synthesis for In-Memory Computing. In 42nd International Conference on Computer-Aided Design (ICCAD) 2023. (accepted)
- Thijssen, S., Rashed, M., Jha, S. K., & Ewetz, R. UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance, In 59th Design Automation Conference (DAC), 2023 (accepted).
- Thijssen, S., Jha, S. K., & Ewetz, R. (2023, January). FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. In Proceedings of the 28th Asia and South Pacific Design Automation Conference (pp. 775-780).
- Thijssen, S., Jha, S. K., & Ewetz, R. (2022, October). Equivalence Checking for Flow-Based Computing. In 2022 IEEE 40th International Conference on Computer Design (ICCD) (pp. 656-663). IEEE.
- Thijssen, S., Jha, S. K., & Ewetz, R. (2022, July). Path: Evaluation of boolean logic using path-based in-memory computing. In Proceedings of the 59th ACM/IEEE Design Automation Conference (pp. 1129-1134).
- Rashed, M., Thijssen, S., Yao., F., Jha, S.K., & Ewetz, R. (2022). STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing. In 2022 Asia and South Pacific Design Automation Conference (ASP-DAC).
- Channamadhavuni, S., Thijssen, S., Jha, S. K., & Ewetz, R. (2021, June). Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities. In Proceedings of the 2021 on Great Lakes Symposium on VLSI (pp. 379-384).
- Thijssen, S., Jha, S. K., & Ewetz, R. (2021, February). COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. In 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (pp. 232-237). IEEE.
(BEST PAPER CANDIDATE)
Awards and nominations
- [DATE’21] Nominated for Best Paper Award
- ORC Fellowship
Education
Ph.D. in Computer Science University of Central Florida, Orlando, United States of America In progress | 2020 – 2024 |
Master of Computer Science University of Central Florida, Orlando, United States of America Master’s degree | 2020 – 2021 |
Master of Computer Science (Master of Engineering) KU Leuven, Leuven, Belgium Completed 9 courses | 2018 – 2019 |
Bachelor of Informatics (Bachelor of Science) KU Leuven, Leuven, Belgium Bachelor’s degree | 2015 – 2018 |
Bachelor of Engineering (Bachelor of Engineering) KU Leuven, Leuven, Belgium Completed 2 courses | 2014 – 2015 |
Software tools
- XSAT: The source code for the publication “Verification of Flow-Based Computing Systems using Bounded Model Checking” can be found on GitHub.
- FLOW-3D: The source code for the publication “FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter” can be found on GitHub.
- CHECK: The source code for the publication “Equivalence Checking for Flow-Based Computing” can be found on GitHub.
- PATH: The source code for the publication “PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing” can be found on GitHub.
- COMPACT: The source code for the publication “COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter” can be found on GitHub.