Sealing OS processes to improve dependability and safety
A theory of type qualifiers
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007 - EuroSys ’07
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation - PLDI ’99
James Larus
Alexander Aiken
Galen Hunt
Ted Wobber
Jeffrey S. Foster
David Tarditi
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods
Using a Multi-Tasking VM for Mobile Applications