Sven Thijssen

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

1. 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.
2. 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

1. Thijssen, S., Rashed, M., Jha, S. K., & Ewetz, R. READ-based In-Memory Computing using Sentential Decision Diagrams. ASP-DAC 2024. (accepted)
2. 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)
3. 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)
4. 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)
5. 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)
6. 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)
7. 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).
8. 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).
9. 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.
10. 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).
11. 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).
12. 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).
13. 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

1. [DATE’21] Nominated for Best Paper Award
2. 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.