Dhammika Elkaduwe

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 2

Top Topics

Pattern Matching Algorithm

Cache Consistency

Memory Hierarchy

Top Venues

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Vajira Thambawita, Roshan G. Ragel, Dhammika Elkaduwe
An optimized Parallel Failure-less Aho-Corasick algorithm for DNA sequence matching. CoRR (2018)
Vajira Thambawita, Roshan G. Ragel, Dhammika Elkaduwe
To Use or Not to Use: CPUs' Cache Optimization Techniques on GPGPUs. CoRR (2018)
Vajira Thambawita, Roshan G. Ragel, Dhammika Elkaduwe
To Use or Not to Use: Graphics Processing Units for Pattern Matching Algorithms. CoRR (2014)
Darshana Jayasinghe, Roshan G. Ragel, Dhammika Elkaduwe
Constant time encryption as a countermeasure against remote cache timing attacks. CoRR (2014)
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an operating-system kernel. Commun. ACM 53 (6) (2010)
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
seL4: formal verification of an OS kernel. SOSP (2009)
Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone
Verified Protection Model of the seL4 Microkernel. VSTTE (2008)
Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone
Kernel design for isolation and assurance of physical memory. IIES@EuroSys (2008)