| 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 | 2835 | 2009 |
| Verified protection model of the seL4 microkernel D Elkaduwe, G Klein, K Elphinstone Verified Software: Theories, Tools, Experiments: Second International …, 2008 | 85 | 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 | 45 | 2008 |
| 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 | 30 | 2014 |
| 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 | 22 | 2007 |
| 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 | 21 | 2012 |
| seL4 reference manual P Derrin, D Elkaduwe, K Elphinstone NICTA-National Information and Communications Technology Australia, 2006 | 18 | 2006 |
| A principled approach to kernel memory management KWH Elkaduwe UNSW Sydney, 2010 | 11 | 2010 |
| 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 | 9 | 2016 |
| 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 | |
| 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 | 3 | 2021 |
| 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 |
| 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 | 1 | 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 | 1 | 2015 |
| 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 |
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
