Hasini Witharana

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Topics

Domain Specific

Parallel Hardware

Quantum Computation

Concurrent Programs

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

Hasini Witharana, Daniel Volya, Prabhat Mishra
QcAssert: Quantum Device Testing with Concurrent Assertions. ASPDAC (2024)
Hasini Witharana, Debapriya Chatterjee, Prabhat Mishra
Verifying Memory Confidentiality and Integrity of Intel TDX Trusted Execution Environments. HOST (2024)
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
Incremental Concolic Testing of Register-Transfer Level Designs. ACM Trans. Design Autom. Electr. Syst. 29 (3) (2024)
Hasini Witharana, Daniel Volya, Prabhat Mishra
quAssert: Automatic Generation of Quantum Assertions. CoRR (2023)
Hasini Witharana, Sahan Sanjaya, Prabhat Mishra
Dynamic Refinement of Hardware Assertion Checkers. DATE (2023)
Hasini Witharana, Aruna Jayasena, Andrew Whigham, Prabhat Mishra
Automated Generation of Security Assertions for RTL Models. ACM J. Emerg. Technol. Comput. Syst. 19 (1) (2023)
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
Sequence-Based Incremental Concolic Testing of RTL Models. CoRR (2023)
Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra
A Survey on Assertion-based Hardware Verification. ACM Comput. Surv. 54 (11s) (2022)
Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana, Prabhat Mishra
Network-on-Chip Trust Validation Using Security Assertions. J. Hardw. Syst. Secur. 6 (3-4) (2022)
Hasini Witharana, Prabhat Mishra
Speculative Load Forwarding Attack on Modern Processors. ICCAD (2022)
Hasini Witharana, Yangdi Lyu, Prabhat Mishra
Directed Test Generation for Activation of Security Assertions in RTL Models. ACM Trans. Design Autom. Electr. Syst. 26 (4) (2021)
Darshana Buddhika, Ranula Liyadipita, Sudeepa Nadeeshan, Hasini Witharana, Sanath Jayasena, Uthayasanker Thayasivam
Domain Specific Intent Classification of Sinhala Speech Data. IALP (2018)