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 the University of New South Wales, Sydney, Australia. During
his PhD, he was working on the seL4 kernel, which is the world's first formally verified operating
system kernel. Dhammika is now serving the Department in the capacity of a Senior Lecturer. His
primary expertise includes operating systems, microkernel-based systems, system security, and
virtualization.
Educational Qualifications:
- B.Sc. Eng. (Peradeniya)
- PhD (UNSW)
Research projects supervised by :
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
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.