Dhammika Elkaduwe
Dhammika Elkaduwe
University of Peradeniya (www.pdn.ac.lk)
Verified email at ce.pdn.ac.lk
Title
Cited by
Cited by
Year
seL4: Formal verification of an OS kernel
G Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
20932009
Verified protection model of the seL4 microkernel
D Elkaduwe, G Klein, K Elphinstone
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008
702008
Kernel design for isolation and assurance of physical memory
D Elkaduwe, P Derrin, K Elphinstone
Proceedings of the 1st Workshop on Isolation and Integration in Embedded …, 2008
392008
A memory allocation model for an embedded microkernel
D Elkaduwe, P Derrin, K Elphinstone
Proceedings of the 1st International Workshop on Microkernels for Embedded …, 2007
232007
To use or not to use: Graphics processing units (GPUs) for pattern matching algorithms
D Thambawita, R Ragel, D Elkaduwe
7th International Conference on Information and Automation for …, 2014
192014
seL4 reference manual
P Derrin, D Elkaduwe, K Elphinstone
NICTA-National Information and Communications Technology Australia, 2006
162006
A Principled approach to kernel memory management.
D Elkaduwe
University of New South Wales, Sydney, Australia, 2010
112010
Constant time encryption as a countermeasure against remote cache timing attacks
D Jayasinghe, R Ragel, D Elkaduwe
2012 IEEE 6th International Conference on Information and Automation for …, 2012
92012
Kernel data–first class citizens of the system
D Elkaduwe, P Derrin, K Elphinstone
Proceedings of the 2nd International Workshop on Object Systems and Software …, 2006
72006
seL4 Reference Manual. NICTA, 2006
P Derrin, D Elkaduwe, K Elphinstone
4
An optimized Parallel Failure-less Aho-Corasick algorithm for DNA sequence matching
D Thambawita, RG Ragel, D Elkaduwe
2016 IEEE International Conference on Information and Automation for …, 2016
22016
To use or not to use: Graphics processing units for pattern matching algorithms
V Thambawita, R Ragel, D Elkaduwe
arXiv preprint arXiv:1412.7789, 2014
22014
Power Aware Instruction Scheduling for Microcontrollers
K Samarasinghe, M Jayasekara, D Elkaduwe, RG Ragel
International Journal of Scientific and Research Publications 2 (10), 135-150, 2012
22012
User-friendly interface for GPGPU programming
DE Hasindu Gamaarachchi, Mohamed Fawsan, Fathima Fasna
In Technology and Management (NCTM), National Conference, 99-104, 2017
2017
To use or not to use: CPUs' cache optimization techniques on GPGPUs
D Thambawita, RG Ragel, D Elkaduwe
2016 IEEE International Conference on Information and Automation for …, 2016
2016
Strategy to design formally verified hardware/software implementation of network protocols on reconfigurable hardware
PT Abeyrathne, SD Dewasurendra, D Elkaduwa
2015 IEEE 10th International Conference on Industrial and Information …, 2015
2015
Setrans: A Machine Translator from English to Sinhala
H Herath, MZ Junaideen, D Elkaduwe
The University of Peradeniya, 2013
2013
Self-Learning Balancing System for A Rolling and Falling Disc
A Sivanathan, U Silva, D Elkaduwe
The University of Peradeniya, 2013
2013
Graphics Processing Units: To Use or Not to Use?
D Thambawita, NC Ellepola, RG Ragel, D Elkaduwe
The University of Peradeniya, 2013
2013
Eye Gaze Direction for Human-Computer Interaction
M Gunarathne, R Bandara, D Elkaduwe, R Ragel
University of Peradeniya, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20