BIO
Dhammika Elkaduwe received his B.Sc (Eng) in 2002 from the Faculty of Engineering, University of Peradeniya
specializing in Electrical and Electronic Engineering. Soon after completing the Degree, he joined the Department of Computer Engineering, University of Peradeniya as a temporary lecturer. He received his PhD from University of New South Wales, Sydney Australia. During his PhD he was working on the seL4 kernel which is the worlds first formally verified operating system kernel. Dhammika is now serving the Department in the capacity of a Senior Lecturer. His primary expertise include operating systems, microkernel based systems, system security and virtualization.
Educational Qualifications:
- B.Sc. Eng. (Peradeniya)
- PhD (UNSW)
Research Interests:
- Operating Systems
- Embedded Systems
- Formal Verification
- GPU programming
Publications:
-
Offloading specific performance-related kernel functions into an FPGA
Pabudi T Abeyrathne, S. Devapriya Dewasurendra, Dhammika Elkaduwa,
2021 IEEE 30th International Symposium on Industrial Electronics (ISIE), 2021
doi: 10.1109/ISIE45552.2021.9576256
#Performance evaluation#Protocols#Profitability#Linux#Computer architecture#Software#Security
-
An optimized Parallel Failure-less Aho-Corasick algorithm for DNA sequence matching
DRVLB Thambawita, Roshan G Ragel, Dhammike Elkaduwe,
2016 IEEE International Conference on Information and Automation for Sustainability (ICIAfS), 2016
doi: 10.1109/ICIAFS.2016.7946533
#Pattern matching#DNA#Algorithm design and analysis#Kernel#Bioinformatics#Intrusion detection#Graphics processing units
-
An optimized Parallel Failure-less Aho-Corasick algorithm for DNA sequence matching
DRVLB Thambawita, Roshan G Ragel, Dhammike Elkaduwe,
2016 IEEE International Conference on Information and Automation for Sustainability (ICIAfS), 2016
doi: 10.1109/ICIAFS.2016.7946533
#Pattern matching#DNA#Algorithm design and analysis#Kernel#Bioinformatics#Intrusion detection#Graphics processing units
-
To use or not to use: CPUs' cache optimization techniques on GPGPUs
DRVLB Thambawita, Roshan G Ragel, Dhammike Elkaduwe,
2016 IEEE International Conference on Information and Automation for Sustainability (ICIAfS), 2016
doi: 10.1109/ICIAFS.2016.7946534
#Arrays#Optimization#Merging#Cache memory#Testing#Kernel#Throughput
-
Strategy to Design Formally Verified hardware/software implementation of Network Protocols on Reconfigurable Hardware
Pabudi T Abeyrathne, S.D. Dewasurendra, Dhammika Elkaduwa,
2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS), 2015
doi: 10.1109/ICIINFS.2015.7398980
#application specific integrated circuits#computer networks#field programmable gate arrays#financial data processing#hardware-software codesign#protocols#reconfigurable architectures
-
To use or not to use: Graphics processing units (GPUs) for pattern matching algorithms
DRVLB Thambawita, Roshan Ragel, Dhammika Elkaduwe,
7th International Conference on Information and Automation for Sustainability, 2014
doi: 10.1109/ICIAFS.2014.7069585
#Graphics processing units#Central Processing Unit#Pattern matching#Parallel processing#Algorithm design and analysis#Performance evaluation#Software algorithms
-
Constant time encryption as a countermeasure against remote cache timing attacks
Darshana Jayasinghe, Roshan Ragel, Dhammika Elkaduwe,
2012 IEEE 6th International Conference on Information and Automation for Sustainability, 2012
doi: 10.1109/ICIAFS.2012.6419893
#Encryption#Timing#Software#Hardware#Clocks#Computers
-
Using microkernel based virtualization for Byzantine fault tolerance
Asanka Senevirathna, Bhathiya Wasala, Buddhika Ranaweera, Dhammika Elkaduwe,
2011 6th International Conference on Industrial and Information Systems, 2011
doi: 10.1109/ICIINFS.2011.6038037
#Hardware#Kernel#Computer bugs#Information systems#USA Councils#Fault tolerant systems
Please note that here only contain the 'Publications' affiliated with the Department of Computer Engineering, which were submitted to the site. To see the full publication profile, visit the ResearchGate or Google Scholar profile.