Capability wrangling made easy: debugging on a microkernel with valgrind
Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
KAL: kernel-assisted non-invasive memory leak tolerance with a general-purpose memory allocator
Software—Practice & Experience
Message filters for hardening the Linux kernel
Software—Practice & Experience
mTags: augmenting microkernel messages with lightweight metadata
ACM SIGOPS Operating Systems Review
Debugging embedded multimedia application traces through periodic pattern mining
Proceedings of the tenth ACM international conference on Embedded software
| Hi-index | 0.01 |