Derek Murray
September 2011: I have started a postdoc at
Microsoft Research
Silicon Valley.
Until 2011, I was a PhD student in the Computer Laboratory at the University of Cambridge. I am a member of the Networks and Operating Systems group, within the larger Systems Research Group.
Research
Under the supervision of Steve Hand, I am carrying out research into large-scale distributed computation. In particular, I am working on Skywriting, a new programming language for parallel, distributed computation on a cluster of machines. Skywriting scripts are turned into tasks, which run on the Ciel distributed execution engine. For more information, see the Ciel project page.
I previously worked on the XenSE and OpenTC projects. My role in both of these projects was concerned with improving the security characteristics of the Xen virtual machine monitor.
My particular focus was on domain-zero (dom0) disaggregation. At present, a Xen system is managed by dom0, a full instance of Linux, including various user-space tools, which has full access to every virtual machine on a physical host. Therefore, the whole of dom0 has to be trusted, in order to trust the platform. Alternatively, if an attacker gains root privileges in dom0, he may compromise the whole system. In my work, I looked at splitting the functionality of dom0 into two or more domains, each of which is given the least privilege necessary to carry out its respective role.
Publications
- Steno: automatic optimization of declarative queries
Derek G. Murray, Michael Isard and Yuan Yu
To appear in Proceedings of PLDI 2011, San Jose, CA, June 2011 - Non-deterministic parallelism considered useful
Derek G. Murray and Steven Hand
To appear in Proceedings of HotOS XIII, Napa, CA, May 2011
[PDF] - Condensing the cloud: running Ciel on many-core
Malte Schwarzkopf, Derek G. Murray and Steven Hand
in Proceedings of SFMA 2011, Salzburg, Austria, April 2011 - Ciel: a
universal execution engine for distributed data-flow
computing
Derek G. Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy and Steven Hand
in Proceedings of NSDI 2011, Boston, MA, March 2011
[PDF] [BibTeX] - The case for crowd computing
Derek G. Murray, Eiko Yoneki, Jon Crowcroft and Steven Hand
in Proceedings of MobiHeld 2010, New Delhi, India, August 2010
[ACM DL] - Scripting the cloud with Skywriting
Derek G. Murray and Steven Hand
in Proceedings of HotCloud 2010, Boston, MA, June 2010
[PDF] [ACM DL] [BibTeX] - Using Dust Clouds to Enhance Anonymous Communication
Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek G. Murray and Malte Schwarzkopf
in Proceedings of the Eighteenth International Workshop on Security Protocols, Cambridge, UK, March 2010 - Satori: Enlightened Page Sharing
Grzegorz Miłoś, Derek G. Murray, Steven Hand and Michael Fetterman
in Proceedings of the USENIX Annual Technical Conference, San Diego, CA, July 2009
[PDF] [BibTeX] -
Xen and the Beauty of Virtualization
Derek Murray and Keir Fraser
in Beautiful Architecture: Leading Thinkers Reveal the Hidden Beauty in Software Design (O'Reilly)
[Publisher] - Spread-spectrum computation
Derek G. Murray and Steven Hand
in Proceedings of HotDep 2008, San Diego, CA, December 2008
[PDF] [BibTeX] - Boxing clever with IOMMUs
Grzegorz Miłoś and Derek G. Murray
in Proceedings of VMSec 2008, Alexandria, VA, October 2008
[ACM DL] [BibTeX] - Privilege separation made easy
Derek G. Murray and Steven Hand
in Proceedings of EuroSec 2008, Glasgow, UK, April 2008
[PDF] [BibTeX] [ACM DL] - Improving Xen Security Through Disaggregation
Derek G. Murray, Grzegorz Miłoś and Steven Hand
in Proceedings of VEE 2008, Seattle, WA, March 2008
[PDF] [BibTeX] [ACM DL]
Conferences
I have been fortunate to attend many conferences in recent years. My collected notes on some of them are available here:
- SOSP 2007: day 1, day 2, day 3
- EuroSys 2008: day 1, day 2, day 3
- NSDI 2008: day 1, day 2, day 3
- HotDep 2008
- OSDI 2008: day 1, day 2, day 3
- NSDI 2009: day 1, day 2, day 3
- SOSP 2009: day 1, day 2, day 3
- SIGCOMM 2010: day 1, day 2, day 3
- OSDI 2010: day 1, day 2, day 3
Education
Before coming to Cambridge, I was awarded an MSc in High-Performance Computing by the University of Edinburgh. For my undergraduate studies, I recieved a BSc (Hons) in Computing Science from the University of Glasgow.
Teaching
In session 2009/10, I am supervising the following courses:
In previous years, I have also supervised:
- Advanced Systems Topics (2006/07, 2007/08, 2008/09)
- Computer Design (2007/08)
- Digital Electronics (2007/08, 2008/09)
- Distributed Systems (2006/07)
- Information Retrieval (2006/07)
If I am supervising you, you might be looking for my information for supervisees.
Contact Details
I work in office FN07, on the first floor of the William Gates Building. My email address is Forename.Surname@cl.cam.ac.uk. My office telephone number is +44 (0)1223 763741, and I can usually be reached between 9am and 5pm on weekdays.