Henry M. Levy
Orcid: 0009-0008-7786-8541Affiliations:
- University of Washington, Seattle, Washington, USA
According to our database1,
Henry M. Levy
authored at least 115 papers
between 1976 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1996, "For exceptional contributions to computer science research in operating systems and computer architecture, to education (through publications and students), and to the ACM.".
IEEE Fellow
IEEE Fellow 2002, "For contributions to multithreaded processor and operating system design.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
2023
Proceedings of the 29th Symposium on Operating Systems Principles, 2023
2022
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
2020
Making Distributed Mobile Applications SAFE: Enforcing User Privacy Policies on Untrusted Applications with Secure Application Flow Enforcement.
CoRR, 2020
Proceedings of the 2020 USENIX Annual Technical Conference, 2020
2018
Susan Eggers Receives Eckert-Mauchly Award for Outstanding Contributions to Computer Architecture.
IEEE Micro, 2018
2016
Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
2014
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
Thread Management for Shared-Memory Multiprocessors.
Proceedings of the Computing Handbook, 2014
2013
Proceedings of the 1st Workshop on Interactions of NVM/FLASH with Operating Systems and Workloads, 2013
2011
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011
Proceedings of the European Conference on Computer Systems, 2011
2010
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010
2009
Proceedings of the 18th USENIX Security Symposium, 2009
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009
2008
Proceedings of the 17th International Conference on World Wide Web, 2008
Proceedings of the 6th International Conference on Mobile Systems, 2008
2007
Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007, 2007
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007
Proceedings of the 6th International workshop on Peer-To-Peer Systems, 2007
Proceedings of the 6th ACM Workshop on Hot Topics in Networks, 2007
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007
2006
Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006
Proceedings of the Network and Distributed System Security Symposium, 2006
2005
ACM Trans. Comput. Syst., 2005
Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005
2004
Proceedings of the 13th international conference on World Wide Web, 2004
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004
2003
An evaluation of speculative instruction execution on simultaneous multithreaded processors.
ACM Trans. Comput. Syst., 2003
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003
Semantic Email: Adding Lightweight Data Manipulation Capabilities to the Email Habitat.
Proceedings of the International Workshop on Web and Databases, 2003
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003
Proceedings of the Semantic Web, 2003
Proceedings of the Ninth International Symposium on High-Performance Computer Architecture (HPCA'03), 2003
2002
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002
2001
Call for Nominations - ACM SIGOPS Mark Weiser Award.
ACM SIGOPS Oper. Syst. Rev., 2001
Proceedings of the 3rd USENIX Symposium on Internet Technologies and Systems, 2001
2000
Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service.
ACM Trans. Comput. Syst., 2000
Proceedings of the Distributed Computing, 14th International Conference, 2000
An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture.
Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000
1999
IEEE Trans. Parallel Distributed Syst., 1999
Int. J. Parallel Program., 1999
Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999
Potentials and Limitations of Fault-Based Markov Prefetching for Virtual Memory Pages.
Proceedings of the 1999 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1999
Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999
1998
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998
Implementing Cooperative Prefetching and Caching in a Globally-Managed Memory System.
Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1998
Proceedings of the 25 Years of the International Symposia on Computer Architecture (Selected Papers)., 1998
Proceedings of the 25 Years of the International Symposia on Computer Architecture (Selected Papers)., 1998
An Analysis of Database Workload Performance on Simultaneous Multithreaded Processors.
Proceedings of the 25th Annual International Symposium on Computer Architecture, 1998
1997
Converting Thread-Level Parallelism to Instruction-Level Parallelism via Simultaneous Multithreading.
ACM Trans. Comput. Syst., 1997
IEEE Micro, 1997
Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1997
Thread Management for Shared-Memory Multiprocessors.
Proceedings of the Computer Science and Engineering Handbook, 1997
1996
Perform. Evaluation, 1996
Exploiting Choice: Instruction Fetch and Issue on an Implementable Simultaneous Multithreading Processor.
Proceedings of the 23rd Annual International Symposium on Computer Architecture, 1996
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996
Proceedings of the ASPLOS-VII Proceedings, 1996
Proceedings of the ASPLOS-VII Proceedings, 1996
1995
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995
1994
ACM Trans. Comput. Syst., 1994
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994
A Comparison of Message Passing and Shared Memory Architectures for Data Parallel Programs.
Proceedings of the 21st Annual International Symposium on Computer Architecture. Chicago, 1994
Proceedings of the ASPLOS-VI Proceedings, 1994
Proceedings of the ASPLOS-VI Proceedings, 1994
1993
ACM Trans. Comput. Syst., 1993
ACM SIGOPS Oper. Syst. Rev., 1993
Proceedings of the Proceedings Fourth Workshop on Workstation Operating Systems, 1993
1992
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism.
ACM Trans. Comput. Syst., 1992
ACM SIGOPS Oper. Syst. Rev., 1992
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992
1991
ACM Trans. Comput. Syst., 1991
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991
Proceedings of the ASPLOS-IV Proceedings, 1991
1990
Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990
Proceedings of the Conference on Object-Oriented Programming Systems, 1990
1989
The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors.
IEEE Trans. Computers, 1989
Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989
Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, 1989
1988
Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988
Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988
1987
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987
Proceedings of the 14th Annual International Symposium on Computer Architecture. Pittsburgh, 1987
Proceedings of the Experiences with Distributed Systems, 1987
1986
Proceedings of the Conference on Object-Oriented Programming Systems, 1986
1985
Proceedings of the Tenth ACM Symposium on Operating System Principles, 1985
1984
1982
SIGARCH Comput. Archit. News, 1982
Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982
1981
Proceedings of the Eighth Symposium on Operating System Principles, 1981
Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981
1976
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 1976