ORCID as entered in ROS
https://orcid.org/0000-0002-7069-0831
Select Publications
Conference Papers
, 2011, 'Static Analysis of Device Drivers: We Can Do Better!', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, pp. 1 - 5, presented at
, 2011, 'Virtualizing embedded systems - Why bother?', in Proceedings - Design Automation Conference, Institute of Electrical and Electronics Engineers Inc.,, San Diego, CA, United states, pp. 901 - 905, presented at
, 2011, 'What If You Could Actually Trust Your Kernel?', in HotOS XIII: Proceedings of the 13th Workshop on Hot Topics in Operating Systems, USENIX, http://static.usenix.org/events/hotos11/tech/, pp. 1 - 5, presented at
, 2011, 'Improved device driver reliability through hardware verification reuse', in Proceedings of the 16th International Conference on Architectural Support for Programming, Association for Computing Machinery, New York, NY, United States, pp. 133 - 144, 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
, 2010, 'Dynamic Voltage and Frequency Scaling: The Laws of Diminishing Returns', ACM Digital Library, Vancouver, Canada, presented at
, 2010, 'Improvded device driver reliability through verification reuse', in Proceedings of the Sixth international conference on Hot topics in system dependability, ACM, ACM digital library, pp. 1 - 6, presented at
, 2010, 'Architecture Optimisation with Currawong', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at
, 2010, 'The case for active device drivers', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at
, 2010, 'The OKL4 Microvisor: Convergence Point of Microkernels and Hypervisors', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, pp. 19 - 24, presented at
, 2010, 'Slow down or sleep, that is the question', in Proceedings of the 2011 USENIX Annual Technical Conference, ISBN 978931971850, USENIX Association, Portland, OR, USA, pp. 217 - 222, presented at
, 2010, 'An Analysis of Power Consumption in a Smartphone', in Proceedings of the 2010 USENIX Annual Technical Conference, The USENIX Association, Boston, MA, USA, presented at
, 2009, 'Trusted ← trustworthy ← proof position paper', pp. 55 - 59, http://dx.doi.org/10.1007/978-3-8348-9324-6_6
, 2009, 'seL4: formal verification of an OS kernel', in Proceedings of SOSP`09, ACM, New York, NY, USA, presented at
, 2009, 'VNUMA: A Virtual Shared Memory Multiprocessor', in Proceedings of the 2009 USENIX Annual Technical Conference, The USENIX Association, Berkeley, CA, USA, pp. 349 - 362, presented at
, 2009, 'Koala a platform for OS-level power management', in PROCEEDINGS OF EUROSYS 2009, ACM, NEW YORK, presented at
, 2009, 'Hypervisors for consumer electronics', in 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009, IEEE, New Jersey, USA, presented at
, 2008, 'The role of virtualization in embedded systems', in IIES 2008 - Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, pp. 11 - 16, http://dx.doi.org/10.1145/1435458.1435461
, 2008, 'Pre-virtualization: Soft layering for virtual machines', in 13th IEEE Asia-Pacific Computer Systems Architecture Conference, ACSAC 2008, http://dx.doi.org/10.1109/APCSAC.2008.4625458
, 2008, 'Formalising device driver interfaces', in 4th workshop on programming languages and operating systems, Stevenson, WA, USA, presented at
, 2007, 'Accurate on-line prediction of processor and memoryenergy usage under voltage scaling', in EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software, pp. 84 - 93, http://dx.doi.org/10.1145/1289927.1289945
, 2007, 'Reboots are for hardware: challenges and solutions to updating an operating system on the fly', in 2007 USENIX annual technical conference, USENIX ASSOC, Santa Clara, CA, USA, pp. 337 - 350, presented at
, 2007, 'Accurate run-time prediction of performance degradation under frequency scaling', in National ICT Australia Technical Reports, OSPERT 2007 workshop on operating systems platforms for embedded real-time applications, Pisa, Italy, presented at
, 2007, 'Measurements or static analysis or both?', in 7th Workshop on worst-case execution-time analysis, 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, 'High-performance microkernels and virtualisation on ARM and segmented architectures', in National ICT Australia Technical Reports, 1st international workshop on microkernels for embedded systems MIKES 2007, Sydney, presented at
, 2005, 'OS verification - now!', in 10th workshop on hot topics in operating systems, 10th workshop on hot topics in operating systems, Santa Fe, NM, USA, presented at
, 2005, 'Implementing transparent shared memory on clusters using virtual machines', in 2005 USENIX annual technical conference, Anaheim, California, presented at
, 2005, 'Itanium - a system implementor`s tale', in 2005 USENIX annual technical conference, Anaheim, California, presented at
, 2005, 'Providing dynamic update in an operating system', in 2005 USENIX annual technical conference, Anaheim, California, presented at
, 2004, 'An Open GNSS Receiver Platfrm Architecture', in Journal of Global Positioning Systems, Electronic, CPGPS, P R China, presented at
, 2004, 'A Secure, Language Independent, High Performance Component Interface', in 1st International Workshop on Object Systems and Software Architectures, 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, presented at
, 2004, 'Encapsulated User-Level Device Drivers in the Mungi Operating System', in 1st International Workshop on Object Systems and Software Architectures, 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, presented at
, 2003, 'Implementation of Fast Address-Space Switching and TLB Sharing on the Strong ARM Processor', in 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, presented at
, 2003, 'Legba: Fast Hardware Support for Fine-Grained Protection', in 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, presented at
, 2003, 'Variable Radix Page Table: A Page for Modern Architecture', in 8th Asia-Pacific Conference, ACSAC 2003, 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, pp. 291 - 304, presented at
, 2002, 'Fault tolerance and avoidance in biomedical systems', in Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10, pp. 198 - 200, http://dx.doi.org/10.1145/1133373.1133413
, 2001, 'Secure OS extensibility needn't cost an arm and a leg', in Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS, pp. 168
, 2001, 'Position Summary: Secure OS Extensibiliy Needn`t Cost an Arm and a Leg', in Denise Williams A (ed.), 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Elmau, Germany, pp. 168 - 168, presented at
, 2001, 'Components + Security = OS Extensibility', in 6th Australasian Computer Systems Architecture Conference, Gold Coast, Qld, presented at
, 2000, 'Depletion-region recombination in silicon solar cells. When does mDR = 2?', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at
, 2000, 'Exciton-enhanced auger recombination in crystalline silicon under intermediate and high injection conditions', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at
, 2000, 'Simulating electron-beam-induced current across p-n junctions', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at
, 2000, 'The extraction of the surface recombination velocity of Si:P emitters using advanced silicon models', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at
, 2000, 'Fast Address-Space Switching on the StrongARM SA-1100 Processor', in 5th Australasian Computer Architecture Conference, Canberra, presented at
, 1999, 'Application of an improved band gap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters', in Tadashi Saitoh (ed.), 11th Photovoltaic Science and Engineering Conference, 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, pp. 289 - 290, presented at
, 1999, 'Numerical simulation of electron-beam-induced current Near a Silicon Grain Boundary and Impact of a pn-junction space charge region', in Tadashi Saitoh (ed.), 11th Photovoltaic Science and Engineering Conference, 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, pp. 289 - 290, presented at
, 1999, 'Application of a new bandgap narrowing model to the numerical simulation of saturation current densities of phosphorus doped silicon emitters', in 11th International photovoltaic science and engineering conference, 11th International photovoltaic science and engineering conference, Hokkaido, Japan, presented at
, 1999, 'Improvements in numerical modelling of highly injected crystalline silicon solar cells', in 11th International photovoltaic science and engineering conference, Hokkaido, Japan, presented at
Filter by type
https://orcid.org/0000-0002-7069-0831