The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
Galen Hunt
Distinguished Engineer
Publications
Publications by Year
-
-
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2017-16 | March 2017
Published by Microsoft
-
Challenges to Building Scalable Services: A Survey of Microsoft’s Internet Services
Galen Hunt, Steven Levi
MSR-TR-2015-29 | April 2015
-
Shielding applications from an untrusted cloud with Haven
Andrew Baumann, Marcus Peinado, Galen Hunt
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14) | October 2014
Best Paper Award
-
Secure execution of unmodified applications on an untrusted host
Andrew Baumann, Marcus Peinado, Galen Hunt, Krystof Zmudzinski, Carlos V. Rozas, Matthew Hoekstra
November 2013
SOSP'13: The 24th ACM Symposium on Operating Systems Principles
Composing OS extensions safely and efficiently with Bascule
Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jay Lorch, Barry Bond, Reuben Olinsky, Galen Hunt
Eurosys | April 2013
-
Rethinking the Library OS from the Top Down
Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen Hunt
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2011
-
User Experiences with Activity-Based Navigation on Mobile Devices
A.J. Brush, Amy Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen Hunt, Mike Sinclair, Kerry Hammil, Steven Levi
Proceedings of MobileHCI 2010 | September 2010
The Singularity System
Galen Hunt, Jim Larus
Communications of the ACM | August 2010, Vol 53(8): pp. 72-79
Living Dangerously: A Survey of Software Download Practices
Jon Howell, Galen Hunt, David Molnar, Donald E. Porter
MSR-TR-2010-51 | May 2010
-
Debugging in the (Very) Large: Ten Years of Implementation and Experience
Galen Hunt, Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle
Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP '09) | October 2009
Helios: Heterogeneous Multiprocessing with Satellite Kernels
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
-
Singularity: Rethinking the Software Stack
Galen Hunt, Jim Larus
ACM SIGOPS Operating Systems Review | April 2007, Vol 41(2): pp. 37-49
Sealing OS Processes to Improve Dependability and Safety
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
-
Deconstructing Process Isolation
Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Galen Hunt, Jim Larus
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness | October 2006
Language Support for Fast and Reliable Message-based Communication in Singularity OS
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper
Sealing OS Processes to Improve Dependability and Security
Galen Hunt, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2006-51 | April 2006
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
Michael Spear, Tom Roeder, Orion Hodson, Galen Hunt, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
-
Broad New OS Research: Challenges and Opportunities
Galen Hunt, Jim Larus, Ted Wobber, David Tarditi
Proceedings of Tenth Workshop on Hot Topics in Operating Systems (HotOs) | October 2005
An Overview of the Singularity Project
Galen Hunt, Jim Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2005-135 | October 2005
-
Singularity Design Motivation
Galen Hunt, Jim Larus
MSR-TR-2004-105 | November 2004
Singularity Design Note 0
-
High-Performance Distributed Objects over a System Area Network
Alessandro Forin, Galen Hunt, Li Li, Yi-Min Wang
Proceedings of the 3rd USENIX Windows NT Symposium | July 1999
High-Performance Distributed Objects over System Area Networks
Alessandro Forin, Galen Hunt, Li Li, Yi-Min Wang
Third USENIX Windows NT Symposium | July 1999
Component-based Operating System APIs: A Versioning and Distributed Resource Solution
Robert J. Stets, Galen Hunt, Michael L. Scott
IEEE Computer | July 1999, Vol 32: pp. 36
Detours: Binary Interception of Win32 Functions
Galen Hunt, Doug Brubacher
Third USENIX Windows NT Symposium | July 1999
Intercepting and Instrumenting COM Applications
Galen Hunt, Michael L. Scott
Fifth Conference on Object-Oriented Technologies and Systems (COOTS) | May 1999
The Coign Automatic Distributed Partitioning System
Galen Hunt, Michael L. Scott
Third Symposium on Operating System Design and Implementation (OSDI) | February 1999
-
A Guided Tour of the Coign Automatic Distributed Partitioning System
Galen Hunt, Michael L. Scott
Proceedings of the 2nd International Enterprise Distributed Object Computing Workshop (EDOC ’98) | November 1998
Technical Report CS-190, University of Rochester, Rochester, NY
-
CASHMERE-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network
Robert Stets, Sandhya Dwarkadas, Nikolaos Hardavellas, Galen Hunt, Leonidas Kontothanassis, Srinivasan Parthasarathy, Michael Scott
Sixteenth ACM Symposium on Operating System Principles (SOSP) | October 1997
Creating User-Mode Device Drivers with a Proxy
Proceedings of the First USENIX Windows NT Workshop | August 1997
VM-Based Shared Memory on Low-Latency, Remote-Memory-Access Networks
Leonidas Kontothanassis, Galen Hunt, Robert Stets, Nikolaos Hardavellas, Michal Cierniak, Srinivasan Parthasarathy, Wagner Meira, Sandhya Dwarkadas, Michael Scott
Twenty-fourth Annual International Symposium on Computer Architecture (ISCA) | June 1997
Coign: Efficient Instrumentation for Inter-Component Communication Analysis
Galen Hunt, Michael L. Scott
MSR-TR-1997-1 | February 1997
-
Lineal Feature Extraction by Parallel Stick Growing
Galen Hunt, Randal Nelson
Third International Workshop on Parallel Algorithms for Irregularly Structured Problems (IRREGULAR '96) | August 1996
Editor(s): Afonso Ferreira, Jose Rolim, Yousef Saad, Tao Yang
Using Peer Support to Reduce Fault-Tolerant Overhead in Distributed Shared Memories
Galen Hunt, Michael L. Scott
| June 1996
Publications by Research Area
-
Creating User-Mode Device Drivers with a Proxy
Proceedings of the First USENIX Windows NT Workshop | August 1997
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2017-16 | March 2017
Published by Microsoft
User Experiences with Activity-Based Navigation on Mobile Devices
A.J. Brush, Amy Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen Hunt, Mike Sinclair, Kerry Hammil, Steven Levi
Proceedings of MobileHCI 2010 | September 2010
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2017-16 | March 2017
Published by Microsoft
Shielding applications from an untrusted cloud with Haven
Andrew Baumann, Marcus Peinado, Galen Hunt
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14) | October 2014
Best Paper Award
-
Detours: Binary Interception of Win32 Functions
Galen Hunt, Doug Brubacher
Third USENIX Windows NT Symposium | July 1999
CASHMERE-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network
Robert Stets, Sandhya Dwarkadas, Nikolaos Hardavellas, Galen Hunt, Leonidas Kontothanassis, Srinivasan Parthasarathy, Michael Scott
Sixteenth ACM Symposium on Operating System Principles (SOSP) | October 1997
VM-Based Shared Memory on Low-Latency, Remote-Memory-Access Networks
Leonidas Kontothanassis, Galen Hunt, Robert Stets, Nikolaos Hardavellas, Michal Cierniak, Srinivasan Parthasarathy, Wagner Meira, Sandhya Dwarkadas, Michael Scott
Twenty-fourth Annual International Symposium on Computer Architecture (ISCA) | June 1997
Lineal Feature Extraction by Parallel Stick Growing
Galen Hunt, Randal Nelson
Third International Workshop on Parallel Algorithms for Irregularly Structured Problems (IRREGULAR '96) | August 1996
Editor(s): Afonso Ferreira, Jose Rolim, Yousef Saad, Tao Yang
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2017-16 | March 2017
Published by Microsoft
Shielding applications from an untrusted cloud with Haven
Andrew Baumann, Marcus Peinado, Galen Hunt
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14) | October 2014
Best Paper Award
Secure execution of unmodified applications on an untrusted host
Andrew Baumann, Marcus Peinado, Galen Hunt, Krystof Zmudzinski, Carlos V. Rozas, Matthew Hoekstra
November 2013
SOSP'13: The 24th ACM Symposium on Operating Systems Principles
Composing OS extensions safely and efficiently with Bascule
Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jay Lorch, Barry Bond, Reuben Olinsky, Galen Hunt
Eurosys | April 2013
Rethinking the Library OS from the Top Down
Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen Hunt
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2011
Living Dangerously: A Survey of Software Download Practices
Jon Howell, Galen Hunt, David Molnar, Donald E. Porter
MSR-TR-2010-51 | May 2010
Helios: Heterogeneous Multiprocessing with Satellite Kernels
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
Debugging in the (Very) Large: Ten Years of Implementation and Experience
Galen Hunt, Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle
Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP '09) | October 2009
Singularity: Rethinking the Software Stack
Galen Hunt, Jim Larus
ACM SIGOPS Operating Systems Review | April 2007, Vol 41(2): pp. 37-49
Sealing OS Processes to Improve Dependability and Safety
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
Deconstructing Process Isolation
Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Galen Hunt, Jim Larus
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness | October 2006
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
Michael Spear, Tom Roeder, Orion Hodson, Galen Hunt, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Sealing OS Processes to Improve Dependability and Security
Galen Hunt, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2006-51 | April 2006
Broad New OS Research: Challenges and Opportunities
Galen Hunt, Jim Larus, Ted Wobber, David Tarditi
Proceedings of Tenth Workshop on Hot Topics in Operating Systems (HotOs) | October 2005
An Overview of the Singularity Project
Galen Hunt, Jim Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2005-135 | October 2005
-
Component-based Operating System APIs: A Versioning and Distributed Resource Solution
Robert J. Stets, Galen Hunt, Michael L. Scott
IEEE Computer | July 1999, Vol 32: pp. 36
Detours: Binary Interception of Win32 Functions
Galen Hunt, Doug Brubacher
Third USENIX Windows NT Symposium | July 1999
Intercepting and Instrumenting COM Applications
Galen Hunt, Michael L. Scott
Fifth Conference on Object-Oriented Technologies and Systems (COOTS) | May 1999
The Coign Automatic Distributed Partitioning System
Galen Hunt, Michael L. Scott
Third Symposium on Operating System Design and Implementation (OSDI) | February 1999
Coign: Efficient Instrumentation for Inter-Component Communication Analysis
Galen Hunt, Michael L. Scott
MSR-TR-1997-1 | February 1997
Challenges to Building Scalable Services: A Survey of Microsoft’s Internet Services
Galen Hunt, Steven Levi
MSR-TR-2015-29 | April 2015
Language Support for Fast and Reliable Message-based Communication in Singularity OS
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper
Singularity Design Motivation
Galen Hunt, Jim Larus
MSR-TR-2004-105 | November 2004
Singularity Design Note 0
-
User Experiences with Activity-Based Navigation on Mobile Devices
A.J. Brush, Amy Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen Hunt, Mike Sinclair, Kerry Hammil, Steven Levi
Proceedings of MobileHCI 2010 | September 2010
-
Using Peer Support to Reduce Fault-Tolerant Overhead in Distributed Shared Memories
Galen Hunt, Michael L. Scott
| June 1996
The Singularity System
Galen Hunt, Jim Larus
Communications of the ACM | August 2010, Vol 53(8): pp. 72-79
-
High-Performance Distributed Objects over System Area Networks
Alessandro Forin, Galen Hunt, Li Li, Yi-Min Wang
Third USENIX Windows NT Symposium | July 1999
High-Performance Distributed Objects over a System Area Network
Alessandro Forin, Galen Hunt, Li Li, Yi-Min Wang
Proceedings of the 3rd USENIX Windows NT Symposium | July 1999
-
A Guided Tour of the Coign Automatic Distributed Partitioning System
Galen Hunt, Michael L. Scott
Proceedings of the 2nd International Enterprise Distributed Object Computing Workshop (EDOC ’98) | November 1998
Technical Report CS-190, University of Rochester, Rochester, NY
Publications by Type
-
Coign: Efficient Instrumentation for Inter-Component Communication Analysis
Galen Hunt, Michael L. Scott
MSR-TR-1997-1 | February 1997
Using Peer Support to Reduce Fault-Tolerant Overhead in Distributed Shared Memories
Galen Hunt, Michael L. Scott
| June 1996
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2020-41 | November 2020
Published by Microsoft
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Ed Nightingale
MSR-TR-2017-16 | March 2017
Published by Microsoft
Challenges to Building Scalable Services: A Survey of Microsoft’s Internet Services
Galen Hunt, Steven Levi
MSR-TR-2015-29 | April 2015
Living Dangerously: A Survey of Software Download Practices
Jon Howell, Galen Hunt, David Molnar, Donald E. Porter
MSR-TR-2010-51 | May 2010
Sealing OS Processes to Improve Dependability and Security
Galen Hunt, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2006-51 | April 2006
An Overview of the Singularity Project
Galen Hunt, Jim Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill
MSR-TR-2005-135 | October 2005
Singularity Design Motivation
Galen Hunt, Jim Larus
MSR-TR-2004-105 | November 2004
Singularity Design Note 0
-
High-Performance Distributed Objects over System Area Networks
Alessandro Forin, Galen Hunt, Li Li, Yi-Min Wang
Third USENIX Windows NT Symposium | July 1999
High-Performance Distributed Objects over a System Area Network
Alessandro Forin, Galen Hunt, Li Li, Yi-Min Wang
Proceedings of the 3rd USENIX Windows NT Symposium | July 1999
Detours: Binary Interception of Win32 Functions
Galen Hunt, Doug Brubacher
Third USENIX Windows NT Symposium | July 1999
Intercepting and Instrumenting COM Applications
Galen Hunt, Michael L. Scott
Fifth Conference on Object-Oriented Technologies and Systems (COOTS) | May 1999
The Coign Automatic Distributed Partitioning System
Galen Hunt, Michael L. Scott
Third Symposium on Operating System Design and Implementation (OSDI) | February 1999
A Guided Tour of the Coign Automatic Distributed Partitioning System
Galen Hunt, Michael L. Scott
Proceedings of the 2nd International Enterprise Distributed Object Computing Workshop (EDOC ’98) | November 1998
Technical Report CS-190, University of Rochester, Rochester, NY
CASHMERE-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network
Robert Stets, Sandhya Dwarkadas, Nikolaos Hardavellas, Galen Hunt, Leonidas Kontothanassis, Srinivasan Parthasarathy, Michael Scott
Sixteenth ACM Symposium on Operating System Principles (SOSP) | October 1997
Creating User-Mode Device Drivers with a Proxy
Proceedings of the First USENIX Windows NT Workshop | August 1997
VM-Based Shared Memory on Low-Latency, Remote-Memory-Access Networks
Leonidas Kontothanassis, Galen Hunt, Robert Stets, Nikolaos Hardavellas, Michal Cierniak, Srinivasan Parthasarathy, Wagner Meira, Sandhya Dwarkadas, Michael Scott
Twenty-fourth Annual International Symposium on Computer Architecture (ISCA) | June 1997
Lineal Feature Extraction by Parallel Stick Growing
Galen Hunt, Randal Nelson
Third International Workshop on Parallel Algorithms for Irregularly Structured Problems (IRREGULAR '96) | August 1996
Editor(s): Afonso Ferreira, Jose Rolim, Yousef Saad, Tao Yang
Shielding applications from an untrusted cloud with Haven
Andrew Baumann, Marcus Peinado, Galen Hunt
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14) | October 2014
Best Paper Award
Composing OS extensions safely and efficiently with Bascule
Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jay Lorch, Barry Bond, Reuben Olinsky, Galen Hunt
Eurosys | April 2013
Rethinking the Library OS from the Top Down
Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen Hunt
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2011
User Experiences with Activity-Based Navigation on Mobile Devices
A.J. Brush, Amy Karlson, James Scott, Raman Sarin, Andy Jacobs, Barry Bond, Oscar Murillo, Galen Hunt, Mike Sinclair, Kerry Hammil, Steven Levi
Proceedings of MobileHCI 2010 | September 2010
Helios: Heterogeneous Multiprocessing with Satellite Kernels
Edmund B Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt
Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09) | October 2009
Debugging in the (Very) Large: Ten Years of Implementation and Experience
Galen Hunt, Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle
Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP '09) | October 2009
Sealing OS Processes to Improve Dependability and Safety
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Jim Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Proceedings of the European Conference on Computer Systems (EuroSys) | March 2007
Deconstructing Process Isolation
Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Galen Hunt, Jim Larus
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness | October 2006
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
Michael Spear, Tom Roeder, Orion Hodson, Galen Hunt, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Language Support for Fast and Reliable Message-based Communication in Singularity OS
Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi
Proceedings of the EuroSys 2006 Conference | April 2006
Best Paper
Broad New OS Research: Challenges and Opportunities
Galen Hunt, Jim Larus, Ted Wobber, David Tarditi
Proceedings of Tenth Workshop on Hot Topics in Operating Systems (HotOs) | October 2005
-
Secure execution of unmodified applications on an untrusted host
Andrew Baumann, Marcus Peinado, Galen Hunt, Krystof Zmudzinski, Carlos V. Rozas, Matthew Hoekstra
November 2013
SOSP'13: The 24th ACM Symposium on Operating Systems Principles
-
Component-based Operating System APIs: A Versioning and Distributed Resource Solution
Robert J. Stets, Galen Hunt, Michael L. Scott
IEEE Computer | July 1999, Vol 32: pp. 36
The Singularity System
Galen Hunt, Jim Larus
Communications of the ACM | August 2010, Vol 53(8): pp. 72-79
Singularity: Rethinking the Software Stack
Galen Hunt, Jim Larus
ACM SIGOPS Operating Systems Review | April 2007, Vol 41(2): pp. 37-49