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 projects supervised by Dr. Dhammika Elkaduwe:
Please note that here only contain the 'Projects' which were
submitted to the
projects.ce.pdn.ac.lk
as Final Year Research
Projects. The actual list of projects supervised by Dr. Dhammika Elkaduwe may be longer than this.
Research Interests:
- Operating Systems
- Embedded Systems
- Formal Verification
- GPU programming
Publications:
-
Offloading specific performance-related kernel functions into an FPGA
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
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
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
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
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
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
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
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.
