| 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 | 2093 | 2009 |
| Verified protection model of the seL4 microkernel D Elkaduwe, G Klein, K Elphinstone Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008 | 70 | 2008 |
| 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 | 39 | 2008 |
| 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 | 23 | 2007 |
| 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 | 19 | 2014 |
| seL4 reference manual P Derrin, D Elkaduwe, K Elphinstone NICTA-National Information and Communications Technology Australia, 2006 | 16 | 2006 |
| A Principled approach to kernel memory management. D Elkaduwe University of New South Wales, Sydney, Australia, 2010 | 11 | 2010 |
| 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 | 9 | 2012 |
| 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 | 7 | 2006 |
| 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 | 2 | 2016 |
| 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 | 2 | 2014 |
| 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 | 2 | 2012 |
| 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 |
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
