Henry M. Levy

Orcid: 0009-0008-7786-8541

Affiliations:
  • University of Washington, Seattle, Washington, USA


According to our database1, Henry M. Levy authored at least 115 papers between 1976 and 2024.

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
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Wave: A Split OS Architecture for Application Engines.
CoRR, 2024

CC-NIC: a Cache-Coherent Interface to the NIC.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023
Lovelock: Towards Smart NIC-hosted Clusters.
CoRR, 2023

A Cloud-Scale Characterization of Remote Procedure Calls.
Proceedings of the 29th Symposium on Operating Systems Principles, 2023

2022
Carbink: Fault-Tolerant Far Memory.
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

End the Senseless Killing: Improving Memory Management for Mobile Operating Systems.
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
Customizable and Extensible Deployment for Mobile/Cloud Applications.
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
Computer security and the modern home.
Commun. ACM, 2013

Exploring storage class memory with key value stores.
Proceedings of the 1st Workshop on Interactions of NVM/FLASH with Operating Systems and Workloads, 2013

2011
Operating System Implications of Fast, Cheap, Non-Volatile Memory.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Keypad: an auditing file system for theft-prone devices.
Proceedings of the European Conference on Computer Systems, 2011

2010
Comet: An active distributed key-value store.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

The Architecture and Implementation of an Extensible Web Crawler.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

2009
Vanish: Increasing Data Privacy with Self-Destructing Data.
Proceedings of the 18th USENIX Security Symposium, 2009

CloudViews: Communal Data Sharing in Public Clouds.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

2008
Organizing and sharing distributed personal web-service data.
Proceedings of the 17th International Conference on World Wide Web, 2008

Flashproxy: transparently enabling rich web content via remote execution.
Proceedings of the 6th International Conference on Mobile Systems, 2008

2007
SpyProxy: Execution-based Detection of Malicious Web Content.
Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007, 2007

Homeviews: peer-to-peer middleware for personal data sharing applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

The Importance of History in a Media Delivery System.
Proceedings of the 6th International workshop on Peer-To-Peer Systems, 2007

Architectural Principles for Safe Web Programs.
Proceedings of the 6th ACM Workshop on Hot Topics in Networks, 2007

The development of the Emerald programming language.
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

2006
Recovering device drivers.
ACM Trans. Comput. Syst., 2006

A Safety-Oriented Platform for Web Applications.
Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

A Crawler-based Study of Spyware in the Web.
Proceedings of the Network and Distributed System Security Symposium, 2006

2005
Improving the reliability of commodity operating systems.
ACM Trans. Comput. Syst., 2005

Presence-Based Availability and P2P Systems.
Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

2004
Semantic email.
Proceedings of the 13th international conference on World Wide Web, 2004

Recovering Device Drivers (Awarded Best Paper!).
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Improving the Reliability of Internet Paths with One-hop Source Routing.
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Measurement and Analysis of Spyware in a University Environment.
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

Evolving the Semantic Web with Mangrove.
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

Measurement, modeling, and analysis of a peer-to-peer file-sharing workload.
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

Mangrove: Enticing Ordinary People onto the Semantic Web via Instant Gratification.
Proceedings of the Semantic Web, 2003

Mini-Threads: Increasing TLP on Small-Scale SMT Processors.
Proceedings of the Ninth International Symposium on High-Performance Computer Architecture (HPCA'03), 2003

2002
Nooks: an architecture for reliable device drivers.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

An Analysis of Internet Content Delivery Systems.
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

Measurement and Analysis of a Streaming Media Workload.
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

Optimistic Replication for Internet Data Services.
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
Software-Directed Register Deallocation for Simultaneous Multithreaded Processors.
IEEE Trans. Parallel Distributed Syst., 1999

Tuning Compiler Optimizations for Simultaneous Multithreading.
Int. J. Parallel Program., 1999

Organization-Based Analysis of Web-Object Sharing and Caching.
Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999

On the scale and performance of cooperative Web proxy caching.
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

Supporting Fine-Grained Synchronization on a Simultaneous Multithreading Processor.
Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999

1998
The Porcupine scalable mail server.
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

Simultaneous Multithreading: Maximizing On-Chip Parallelism.
Proceedings of the 25 Years of the International Symposia on Computer Architecture (Selected Papers)., 1998

Retrospective: Simultaneous Multithreading: Maximizing On-Chip Parallelism.
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

Simultaneous multithreading: a platform for next-generation processors.
IEEE Micro, 1997

Managing Server Load in Global Memory Systems.
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
Customer Delay in Very Large Multi-Queue Single-Server Systems.
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

Using Shared Memory for Read-Mostly RPC Services.
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

The Structure and Performance of Interpreters.
Proceedings of the ASPLOS-VII Proceedings, 1996

Reducing Network Latency Using Subpages in a Global Memory Environment.
Proceedings of the ASPLOS-VII Proceedings, 1996

1995
The Softbot Approach to OS Interfaces.
IEEE Softw., 1995

Implementing Global Memory Management in a Workstation Cluster.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994
Sharing and Protection in a Single-Address-Space Operating System.
ACM Trans. Comput. Syst., 1994

Integrating Coherency and Recoverability in Distributed Systems.
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

Separating Data and Control Transfer in Distributed Operating Systems.
Proceedings of the ASPLOS-VI Proceedings, 1994

Hardware and Software Support for Efficient Exception Handling.
Proceedings of the ASPLOS-VI Proceedings, 1994

1993
Limits to Low-Latency Communication on High-Speed Networks.
ACM Trans. Comput. Syst., 1993

Distribution in a Single Address Space Operating System.
ACM SIGOPS Oper. Syst. Rev., 1993

Some Issues for Single Address Space Systems.
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

Opal: A Single Address Space System for 64-Bit Architectures (Abstract).
ACM SIGOPS Oper. Syst. Rev., 1992

Distributed Shared Memory with Versioned Objects.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Lightweight Shared Objects in a 64-Bit Operating System.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

1991
User-Level Interprocess Communication for Shared Memory Multiprocessors.
ACM Trans. Comput. Syst., 1991

Emerald: A General-Purpose Programming Language.
Softw. Pract. Exp., 1991

Dynamic Node Reconfiguration in a Parallel-Distributed Environment.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

On the Validity of Trace-Driven Simulation for Multiprocessors.
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

An Architecture for Software-Controlled Data Prefetching.
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

The Interaction of Architecture and Operating System Design.
Proceedings of the ASPLOS-IV Proceedings, 1991

1990
Lightweight Remote Procedure Call.
ACM Trans. Comput. Syst., 1990

Techniques for Efficient Inline Tracing on a Shared-Memory Multiprocessor.
Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

The Performance of an Object-Oriented Threads Package.
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

A Compositional Model for Software Reuse.
Comput. J., 1989

The Amber System: Parallel Programming on a Network of Multiprocessors.
Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989

Organization and Performance of a Two-Level Virtual-Real Cache Hierarchy.
Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, 1989

1988
Fine-Grained Mobility in the Emerald System.
ACM Trans. Comput. Syst., 1988

PRESTO: A System for Object-oriented Parallel Programming.
Softw. Pract. Exp., 1988

A Remote Computation Facility for a Heterogeneous Environment.
Computer, 1988

Interconnecting Heterogeneous Computer Systems.
Commun. ACM, 1988

An Open Environment for Building Parallel Programming Systems.
Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

A Simulation Study of Two-Level Caches.
Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988

1987
Distribution and Abstract Types in Emerald.
IEEE Trans. Software Eng., 1987

Fine-Grained Mobility in the Emerald System (Extended Abstract).
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

An Evaluation of Branch Architectures
Proceedings of the 14th Annual International Symposium on Computer Architecture. Pittsburgh, 1987

Accommodating Heterogeneity.
Proceedings of the Experiences with Distributed Systems, 1987

1986
VAXclusters: A Closely-Coupled Distributed System.
ACM Trans. Comput. Syst., 1986

Object Structure in the Emerald System.
Proceedings of the Conference on Object-Oriented Programming Systems, 1986

1985
VAXclusters: A Closely-Coupled Distributed System (Abstract).
Proceedings of the Tenth ACM Symposium on Operating System Principles, 1985

1984
VAX Station: A General-Purpose Raster Graphics Architecture.
ACM Trans. Graph., 1984

1982
On the use of benchmarks for measuring system performance.
SIGARCH Comput. Archit. News, 1982

Virtual Memory Management in the VAX/VMS Operating System.
Computer, 1982

Measurement and analysis of instruction use in the VAX-11/780.
Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982

1981
The Architecture of the Eden System.
Proceedings of the Eighth Symposium on Operating System Principles, 1981

Segmented FIFO Page Replacement.
Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981

1976
Performance evaluation of IAS on the PDP-11/70.
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 1976


  Loading...