Hasini Witharana

According to our database, Hasini Witharana authored at least 9 papers between 2018 and 2023.

Collaborative distances:

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

2023

Automated Generation of Security Assertions for RTL Models.

Hasini Witharana, Aruna Jayasena, Andrew Whigham, Prabhat Mishra

ACM J. Emerg. Technol. Comput. Syst., January, 2023

quAssert: Automatic Generation of Quantum Assertions.

Hasini Witharana, Daniel Volya, Prabhat Mishra

CoRR, 2023

Sequence-Based Incremental Concolic Testing of RTL Models.

Hasini Witharana, Aruna Jayasena, Prabhat Mishra

CoRR, 2023

Dynamic Refinement of Hardware Assertion Checkers.

Hasini Witharana, Sahan Sanjaya, Prabhat Mishra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

A Survey on Assertion-based Hardware Verification.

Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra

ACM Comput. Surv., January, 2022

Network-on-Chip Trust Validation Using Security Assertions.

Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana, Prabhat Mishra

J. Hardw. Syst. Secur., 2022

Speculative Load Forwarding Attack on Modern Processors.

Hasini Witharana, Prabhat Mishra

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

Directed Test Generation for Activation of Security Assertions in RTL Models.

Hasini Witharana, Yangdi Lyu, Prabhat Mishra

ACM Trans. Design Autom. Electr. Syst., 2021

2018

Domain Specific Intent Classification of Sinhala Speech Data.

Darshana Buddhika, Ranula Liyadipita, Sudeepa Nadeeshan, Hasini Witharana, Sanath Jayasena, Uthayasanker Thayasivam

Proceedings of the 2018 International Conference on Asian Language Processing, 2018