Select Publications
Conference Papers
, 2019, 'Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs', in Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, pp. 188 - 200, http://dx.doi.org/10.1109/DSN.2019.00031
, 2017, 'A performance evaluation of rump kernels as a multi-server OS building block on seL4', in Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017, Mumbai, India, presented at
, 2015, 'Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware', in European Dependable Computing Conference, IEEE, Paris France, pp. 155 - 166, presented at
, 2015, 'For a Microkernel, a Big Lock Is Fine', in APSys '15 Proceedings of the 6th Asia-Pacific Workshop on Systems, ACM, Tokyo, Japan, presented at
, 2013, 'From L3 to seL4: What have we learnt in 20 years of L4 microkernels?', in SOSP 2013 - Proceedings of the 24th ACM Symposium on Operating Systems Principles, pp. 133 - 150, http://dx.doi.org/10.1145/2517349.2522720
, 2010, 'Towards proving security in the presence of large untrusted components', in Proceedings of the 5th International Workshop on Systems Software Verification (SSV 2010), USENIX, online, presented at
, 2010, 'The road to trustworthy systems', in Proceedings of the ACM Conference on Computer and Communications Security 2010, ACM, New York, pp. 3 - 9, Chicago, IL, 04 October 2010 - 08 October 2010, http://dx.doi.org/10.1145/1867635.1867638
, 2009, 'seL4: formal verification of an OS kernel', in Proceedings of SOSP`09, ACM, New York, NY, USA, presented at
, 2009, 'Experience report: seL4: formally verifying a high-performance microkernel', in Proceedings of the International Conference on Functional Programming, ACM, Edinburgh, Scotland, presented at
, 2009, 'Towards Real Multi-criticality Scheduling', in Proceedings of the 15th IEEE International Conference on embedded and Real-time Computing Systems and Application, IEEE Computer Society, Beijing, China, presented at
, 2008, 'Verified protection model of the seL4 microkernel', in Proceedings of Verified Software: Theories, Tools and Experiments, 2008, Toronto, Canada, presented at
, 2008, 'Kernel design for isolation and assurance of physical memory', in 1st workshop on isolation and integration in embedded systems, Glasgow, Scotland, presented at
, 2007, 'Lazy queuing and direct process switch---merit of myths?', in National ICT Australia Technical Reports, OSPERT 2007 workshop on operating systems platforms for embedded real-time applications, Pisa, Italy, presented at
, 2007, 'Hype and Virtue', in 11th Workshop on Hot Topics in Operating Systems Proceedings - HotOS X1, San Diego, Californa, USA, presented at
, 2007, 'Towards a practical, verified kernel', in 11th Workshop on Hot Topics in Operating Systems Proceedings - HotOS X1, San Diego, Californa, USA, presented at
, 2007, 'A memory allocation model for an embedded microkernel', in National ICT Australia Technical Reports, 1st international workshop on microkernels for embedded systems MIKES 2007, Sydney, presented at
, 2006, 'Running the manual: an approach to high-assurance microkernel development', in 2006 ACM SIGPLAN Haskell workshop, Portland, Oregon, USA, presented at
, 2004, 'Initial Evaluation of a User-level Device Driver Framework', in 9th Asia-Pacific Computer System Architecture Conference (ACSAC04), Beijing, China, presented at
, 2003, 'User-Level Management of Kernel Memory', in 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, presented at
, 2001, 'The Saw Mill Framework of VM Density', in 6th Australasian Computer Systems Architecture Conference, 6th Australasian Computer Systems Architecture Conference, Gold Coast, Qld, presented at
, 2001, 'The SawMill framework for virtual memory diversity', in Proceedings of the Australasian Computer Systems Architecture Conference, ACSAC, pp. 3 - 10, http://dx.doi.org/10.1109/ACAC.2001.903345
, 2000, 'Preliminary thoughts on memory-bus scheduling', in Proceedings of the 9th Workshop on ACM SIGOPS European Workshop: Beyond the PC: New Challenges for the Operating System, EW 2000, pp. 207 - 210, http://dx.doi.org/10.1145/566726.566768
, 2000, 'Synchronous IPC over transparent monitors', in Proceedings of the 9th Workshop on ACM SIGOPS European Workshop: Beyond the PC: New Challenges for the Operating System, EW 2000, pp. 189 - 194, http://dx.doi.org/10.1145/566726.566765
, 2000, 'The SawMill multiserver approach', in Proceedings of the 9th Workshop on ACM SIGOPS European Workshop: Beyond the PC: New Challenges for the Operating System, EW 2000, pp. 109 - 114, http://dx.doi.org/10.1145/566726.566751
, 1999, 'Flexible access control using IPC redirection', in Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, pp. 191 - 196
, 1999, 'How to schedule unlimited memory pinning of untrusted processes or provisional ideas about service-neutrality', in Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, pp. 153 - 159
, 1997, 'Supporting Persistent Object Systems in a Single Address Space', in 7th International Workshop on Persistent Object Systems, San Francisco, California USA, presented at
, 1997, 'Achieved IPC performance', in Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, pp. 28 - 31
, 1997, 'Achieved IPC Performance (Still the Foundation for Efficiency)', in 6th Workshop on Hot Topics in Operating Systems (HotOS), I E E E, COMPUTER SOC PRESS, Cape Cod, MA, USA, pp. 28 - 31, presented at
, 1996, 'Protection domain extensions in Mungi', in International Workshop on Object Orientation in Operating Systems 1996, Seattle, Washington, USA, pp. 161 - 165, presented at
, 1992, 'Distribution + persistence = global virtual memory', in Proceedings - 2nd International Workshop on Object Orientation in Operating Systems, IWOOOS 1992, pp. 96 - 99, http://dx.doi.org/10.1109/IWOOOS.1992.252993