Follow
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
28772009
Verified protection model of the seL4 microkernel
D Elkaduwe, G Klein, K Elphinstone
Verified Software: Theories, Tools, Experiments: Second International …, 2008
872008
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
452008
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
302014
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
222007
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
212012
seL4 reference manual
P Derrin, D Elkaduwe, K Elphinstone
NICTA-National Information and Communications Technology Australia, 2006
182006
A principled approach to kernel memory management
KWH Elkaduwe
UNSW Sydney, 2010
112010
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
102016
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
Offloading specific performance-related kernel functions into an FPGA
PT Abeyrathne, SD Dewasurendra, D Elkaduwa
2021 IEEE 30th International Symposium on Industrial Electronics (ISIE), 1-6, 2021
42021
seL4 Reference Manual. NICTA, 2006
P Derrin, D Elkaduwe, K Elphinstone
4
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
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
12016
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
12015
TEMPORALLY AWARE MULTI-AGENT REINFORCEMENT LEARNING IN SPARSELY CONNECTED COOPERATIVE ENVIRONMENTS
P Pathmanathan, Y Sumanasekera, C Samarasinghe, D Elkaduwe, ...
2021
Generalizing Foreground Estimation Algorithms in Dynamic Background Conditions
G Jayatilaka, S Sritharan, H Weligampola, D Elkaduwe, R Godaliyadda, ...
Sri Lanka Technological campus-IRC, 2020
2020
User-friendly interface for GPGPU programming
DE Hasindu Gamaarachchi, Mohamed Fawsan, Fathima Fasna
In Technology and Management (NCTM), National Conference, 99-104, 2017
2017
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
The system can't perform the operation now. Try again later.
Articles 1–20