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.
Research interests:
- Operating systems
- Formal verification
- GPU programming
Educational Qualifications:
- B.Sc. Eng. (Peradeniya)
- PhD (UNSW)
Publications:
2015 - 2020
2010 - 2015
2005 - 2010
2000 - 2005
1995 - 2000
1990 - 1995
2015 - 2020
-
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)
-
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)
-
User-friendly interface for GPGPU programming
Dhammika Elkaduwe Hasindu Gamaarachchi, Mohamed Fawsan, Fathima Fasna,
In Technology and Management (NCTM), National Conference
2010 - 2015
-
Byzantine Fault Tolerance using a Microkernel
WMPB Wasala, D Elkaduwe, SGMAB Senavirathna, BA Ranaweera,
The Institution of Engineers: Colombo
-
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
-
Low Cost Telepresence Robot
Vajira Thambawita, Kalindu Herath, Roshan Ragel, Dhammika Elkaduwe,
University of Peradeniya
-
Eye Gaze Direction for Human-Computer Interaction
M Gunarathne, R Bandara, D Elkaduwe, R Ragel,
University of Peradeniya
-
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
-
Power Aware Instruction Scheduling for Microcontrollers
KBRGT Samarasinghe, MMNN Jayasekara, D Elkaduwe, RG Ragel,
International Journal of Scientific and Research Publications
-
Graphics Processing Units: To Use or Not to Use?
DRVLB Thambawita, NC Ellepola, RG Ragel, D Elkaduwe,
The University of Peradeniya
-
Self-Learning Balancing System for A Rolling and Falling Disc
Arunan Sivanathan, Uditha de Silva, Dhammika Elkaduwe,
The University of Peradeniya
-
Setrans: A Machine Translator from English to Sinhala
HMPU Herath, MZ Junaideen, D Elkaduwe,
The University of Peradeniya
-
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
-
To use or not to use: Graphics processing units for pattern matching algorithms
Vajira Thambawita, Roshan Ragel, Dhammika Elkaduwe,
arXiv preprint arXiv:1412.7789
-
Strategy to design formally verified hardware/software implementation of network protocols on reconfigurable hardware
Pabudi T Abeyrathne, SD Dewasurendra, Dhammika Elkaduwa,
2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS)
2005 - 2010
-
seL4 Reference Manual. NICTA, 2006
Philip Derrin, Dhammika Elkaduwe, Kevin Elphinstone
-
Accelerating Virus Scanning With GPU
Thipakar Sabapathipillai, Sinthuja Kopalakirushnan, Dhammika Elkaduwe, Roshan Ragel
-
International Review Panel
Waranatha Abeygunasekara, Saranga Abeygunawardane, Sunil Abeyratne, Nilanga Abeywickrama, Mr Oluwole Adeuyi, Mr Avinash Aithal, Janaka Alawatugoda, Eliathamby Ambikairajah, Sakthivel Arunprasanth, Ajantha Atukorale, Tayyaba Azim, Arjuna Balasuriya, Nelanga Bandara, Vidarshana Bandara, Asitha Bandaranayake, Dakshika Bandaranayake, Prabath Binduhewa, HA Caldera, Mr Ruwan Chandrasena, Charith Chitraranjan, Wasantha Daundasekera, Chathura de Silva, Kasun De Zoysa, Mr Sampath Deegalla, Shirley Dewasurendra, Chathurika Dharmagunawardhana, Prathapasinghe Dharmawansa, Gamini Dissanayake, Maheshi Dissanayake, Sinisa Djurovic, Chandima Ekanayake, Janaka Ekanayake, Parakrarna Ekanayake, Nimal Ekanayake, Ms Sithumini Ekanayake, Dhammika Elkaduwe, Meghdad Fazeli, MGNAS Fernando, UK CardiffUniversity
-
Kernel data–first class citizens of the system
Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone,
Proceedings of the 2nd International Workshop on Object Systems and Software Architectures
-
seL4 reference manual
Philip Derrin, Dhammika Elkaduwe, Kevin Elphinstone,
NICTA-National Information and Communications Technology Australia
-
A memory allocation model for an embedded microkernel
Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone,
Proceedings of the 1st International Workshop on Microkernels for Embedded Systems
-
Kernel design for isolation and assurance of physical memory
Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone,
Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems
-
Verified protection model of the seL4 microkernel
Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone,
Working Conference on Verified Software: Theories, Tools, and Experiments
-
seL4: Formal verification of an OS kernel
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood,
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
-
A principled approach to kernel memory management
Dhammika Elkaduwe
2000 - 2005
1995 - 2000
1990 - 1995