Publications
Export 11 results:
Author Title Type [ Year] Filters: Keyword is Operating systems [Clear All Filters]
1990. IPS-2: the second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems. 1(2):206-217.
1994. Dynamic program instrumentation for scalable performance tools. Scalable High-Performance Computing Conference, 1994., Proceedings of the. :841-850.
1997. MDL: a language and compiler for dynamic program instrumentation. , 1997 International Conference on Parallel Architectures and Compilation Techniques., 1997. Proceedings. :201-212.
1997. A secure and reliable bootstrap architecture. , 1997 IEEE Symposium on Security and Privacy, 1997. Proceedings. :65-71.
2004. Running on the bare metal with GeekOS. Proceedings of the 35th SIGCSE technical symposium on Computer science education. :315-319.
2005. Architecting and Implementing Versatile Dependability. Architecting Dependable Systems III. :212-231.
2006. Managing policy updates in security-typed languages. 19th IEEE Computer Security Foundations Workshop, 2006. :13pp.-216-13pp.-216.
2007. Ecotopia: An Ecological Framework for Change Management in Distributed Systems. Architecting Dependable Systems IV. :262-286.
2011. State transfer for clear and efficient runtime updates. 2011 IEEE 27th International Conference on Data Engineering Workshops (ICDEW). :179-184.