The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
作者：Microsoft
Galen Hunt
Distinguished Engineer
论文与出版物
-
-
-
-
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2017-16 | March 2017
作者：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, 第 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, 第 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, 第 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
编辑: 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
-
-
-
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, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
作者：Microsoft
-
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2017-16 | March 2017
作者：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, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
作者：Microsoft
-
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2017-16 | March 2017
作者：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
编辑: Afonso Ferreira, Jose Rolim, Yousef Saad, Tao Yang
-
The Seven Properties of Highly Secured Devices (2nd Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
作者：Microsoft
-
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2017-16 | March 2017
作者：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
-
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, 第 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
-
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
-
-
-
Detours: Binary Interception of Win32 Functions
Galen Hunt, Doug Brubacher
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, 第 32 卷: pp. 36
-
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, 第 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
-
-
-
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, Edmund B Nightingale
MSR-TR-2020-41 | November 2020
作者：Microsoft
-
The Seven Properties of Highly Secure Devices (1st Edition)
Galen Hunt, George Letey, Edmund B Nightingale
MSR-TR-2017-16 | March 2017
作者：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
编辑: 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
-
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
-
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
-
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
-
-
-
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, 第 32 卷: pp. 36
-
The Singularity System
Galen Hunt, Jim Larus
Communications of the ACM | August 2010, 第 53 卷(8): pp. 72-79
-
Singularity: Rethinking the Software Stack
Galen Hunt, Jim Larus
ACM SIGOPS Operating Systems Review | April 2007, 第 41 卷(2): pp. 37-49
-