Henry M. Levy

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 6

Top Venues

OSDI

USENIX Annual Technical Conference

CoRR

SOSP

Publications

Henry N. Schuh, Arvind Krishnamurthy, David E. Culler, Henry M. Levy, Luigi Rizzo, Samira Manabi Khan, Brent E. Stephens
CC-NIC: a Cache-Coherent Interface to the NIC. ASPLOS (1) (2024)
Korakit Seemakhupt, Brent E. Stephens, Samira Manabi Khan, Sihang Liu, Hassan M. G. Wassel, Soheil Hassas Yeganeh, Alex C. Snoeren, Arvind Krishnamurthy, David E. Culler, Henry M. Levy
A Cloud-Scale Characterization of Remote Procedure Calls. SOSP (2023)
Yang Zhou, Hassan M. G. Wassel, Sihang Liu, Jiaqi Gao, James Mickens, Minlan Yu, Chris Kennelly, Paul Turner, David E. Culler, Henry M. Levy, Amin Vahdat
Carbink: Fault-Tolerant Far Memory. OSDI (2022)
Niel Lebeck, Arvind Krishnamurthy, Henry M. Levy, Irene Zhang
End the Senseless Killing: Improving Memory Management for Mobile Operating Systems. USENIX Annual Technical Conference (2020)
Adriana Szekeres, Irene Zhang, Katelin Bailey, Isaac Ackerman, Haichen Shen, Franziska Roesner, Dan R. K. Ports, Arvind Krishnamurthy, Henry M. Levy
Making Distributed Mobile Applications SAFE: Enforcing User Privacy Policies on Untrusted Applications with Secure Application Flow Enforcement. CoRR (2020)
Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, Henry M. Levy
Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications. OSDI (2016)
Irene Zhang, Adriana Szekeres, Dana Van Aken, Isaac Ackerman, Steven D. Gribble, Arvind Krishnamurthy, Henry M. Levy
Customizable and Extensible Deployment for Mobile/Cloud Applications. OSDI (2014)
Tamara Denning, Tadayoshi Kohno, Henry M. Levy
Computer security and the modern home. Commun. ACM 56 (1) (2013)
Katelin A. Bailey, Peter Hornyack, Luis Ceze, Steven D. Gribble, Henry M. Levy
Exploring storage class memory with key value stores. INFLOW@SOSP (2013)
Roxana Geambasu, John P. John, Steven D. Gribble, Tadayoshi Kohno, Henry M. Levy
Keypad: an auditing file system for theft-prone devices. EuroSys (2011)
Katelin Bailey, Luis Ceze, Steven D. Gribble, Henry M. Levy
Operating System Implications of Fast, Cheap, Non-Volatile Memory. HotOS (2011)
Jonathan M. Hsieh, Steven D. Gribble, Henry M. Levy
The Architecture and Implementation of an Extensible Web Crawler. NSDI (2010)
Roxana Geambasu, Amit A. Levy, Tadayoshi Kohno, Arvind Krishnamurthy, Henry M. Levy
Comet: An active distributed key-value store. OSDI (2010)
Roxana Geambasu, Tadayoshi Kohno, Amit A. Levy, Henry M. Levy
Vanish: Increasing Data Privacy with Self-Destructing Data. USENIX Security Symposium (2009)
Roxana Geambasu, Steven D. Gribble, Henry M. Levy
CloudViews: Communal Data Sharing in Public Clouds. HotCloud (2009)
Alexander Moshchuk, Steven D. Gribble, Henry M. Levy
Flashproxy: transparently enabling rich web content via remote execution. MobiSys (2008)
Roxana Geambasu, Cherie Cheung, Alexander Moshchuk, Steven D. Gribble, Henry M. Levy
Organizing and sharing distributed personal web-service data. WWW (2008)
Roxana Geambasu, Magdalena Balazinska, Steven D. Gribble, Henry M. Levy
Homeviews: peer-to-peer middleware for personal data sharing applications. SIGMOD Conference (2007)
Richard J. Dunn, Steven D. Gribble, Henry M. Levy
The Importance of History in a Media Delivery System. IPTPS (2007)
Alexander Moshchuk, Tanya Bragin, Damien Deville, Steven D. Gribble, Henry M. Levy
SpyProxy: Execution-based Detection of Malicious Web Content. USENIX Security Symposium (2007)
Andrew P. Black, Norman C. Hutchinson, Eric Jul, Henry M. Levy
The development of the Emerald programming language. HOPL (2007)
Charles Reis, Steven D. Gribble, Henry M. Levy
Architectural Principles for Safe Web Programs. HotNets (2007)
Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy
Recovering device drivers. ACM Trans. Comput. Syst. 24 (4) (2006)
Richard S. Cox, Steven D. Gribble, Henry M. Levy, Jacob Gorm Hansen
A Safety-Oriented Platform for Web Applications. IEEE Symposium on Security and Privacy (2006)
Alexander Moshchuk, Tanya Bragin, Steven D. Gribble, Henry M. Levy
A Crawler-based Study of Spyware in the Web. NDSS (2006)
Michael M. Swift, Brian N. Bershad, Henry M. Levy
Improving the reliability of commodity operating systems. ACM Trans. Comput. Syst. 23 (1) (2005)
Richard J. Dunn, John Zahorjan, Steven D. Gribble, Henry M. Levy
Presence-Based Availability and P2P Systems. Peer-to-Peer Computing (2005)
Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy
Recovering Device Drivers (Awarded Best Paper!). OSDI (2004)
Luke K. McDowell, Oren Etzioni, Alon Y. Halevy, Henry M. Levy
Semantic email. WWW (2004)
P. Krishna Gummadi, Harsha V. Madhyastha, Steven D. Gribble, Henry M. Levy, David Wetherall
Improving the Reliability of Internet Paths with One-hop Source Routing. OSDI (2004)
Stefan Saroiu, Steven D. Gribble, Henry M. Levy
Measurement and Analysis of Spyware in a University Environment. NSDI (2004)
Oren Etzioni, Alon Y. Halevy, Henry M. Levy, Luke K. McDowell
Semantic Email: Adding Lightweight Data Manipulation Capabilities to the Email Habitat. WebDB (2003)
Michael M. Swift, Brian N. Bershad, Henry M. Levy
Improving the reliability of commodity operating systems. SOSP (2003)
Joshua Redstone, Susan J. Eggers, Henry M. Levy
Mini-Threads: Increasing TLP on Small-Scale SMT Processors. HPCA (2003)
P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan
Measurement, modeling, and analysis of a peer-to-peer file-sharing workload. SOSP (2003)
Luke K. McDowell, Oren Etzioni, Steven D. Gribble, Alon Y. Halevy, Henry M. Levy, William Pentney, Deepak Verma, Stani Vlasseva
Evolving the Semantic Web with Mangrove. WWW (Posters) (2003)
Luke K. McDowell, Oren Etzioni, Steven D. Gribble, Alon Y. Halevy, Henry M. Levy, William Pentney, Deepak Verma, Stani Vlasseva
Mangrove: Enticing Ordinary People onto the Semantic Web via Instant Gratification. ISWC (2003)
Steven Swanson, Luke K. McDowell, Michael M. Swift, Susan J. Eggers, Henry M. Levy
An evaluation of speculative instruction execution on simultaneous multithreaded processors. ACM Trans. Comput. Syst. 21 (3) (2003)
Stefan Saroiu, P. Krishna Gummadi, Richard J. Dunn, Steven D. Gribble, Henry M. Levy
An Analysis of Internet Content Delivery Systems. OSDI (2002)
Michael M. Swift, Steven Martin, Henry M. Levy, Susan J. Eggers
Nooks: an architecture for reliable device drivers. ACM SIGOPS European Workshop (2002)
Henry M. Levy
Call for Nominations - ACM SIGOPS Mark Weiser Award. ACM SIGOPS Oper. Syst. Rev. 35 (3) (2001)
Maureen Chesire, Alec Wolman, Geoffrey M. Voelker, Henry M. Levy
Measurement and Analysis of a Streaming Media Workload. USITS (2001)
Yasushi Saito, Henry M. Levy
Optimistic Replication for Internet Data Services. DISC (2000)
Yasushi Saito, Brian N. Bershad, Henry M. Levy
Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service. ACM Trans. Comput. Syst. 18 (3) (2000)
Joshua Redstone, Susan J. Eggers, Henry M. Levy
An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture. ASPLOS (2000)
Alec Wolman, Geoffrey M. Voelker, Nitin Sharma, Neal Cardwell, Anna R. Karlin, Henry M. Levy
On the scale and performance of cooperative Web proxy caching. SOSP (1999)
Jack L. Lo, Susan J. Eggers, Henry M. Levy, Sujay S. Parekh, Dean M. Tullsen
Tuning Compiler Optimizations for Simultaneous Multithreading. Int. J. Parallel Program. 27 (6) (1999)
Dean M. Tullsen, Jack L. Lo, Susan J. Eggers, Henry M. Levy
Supporting Fine-Grained Synchronization on a Simultaneous Multithreading Processor. HPCA (1999)
Alec Wolman, Geoffrey M. Voelker, Nitin Sharma, Neal Cardwell, Molly Brown, Tashana Landray, Denise Pinnel, Anna R. Karlin, Henry M. Levy
Organization-Based Analysis of Web-Object Sharing and Caching. USENIX Symposium on Internet Technologies and Systems (1999)
Yasushi Saito, Brian N. Bershad, Henry M. Levy
Manageability, Availability and Performance in Porcupine: A Highly Scalable, Cluster-based Mail Service. SOSP (1999)
Jack L. Lo, Sujay S. Parekh, Susan J. Eggers, Henry M. Levy, Dean M. Tullsen
Software-Directed Register Deallocation for Simultaneous Multithreaded Processors. IEEE Trans. Parallel Distributed Syst. 10 (9) (1999)
Gretta Bartels, Anna R. Karlin, Darrell C. Anderson, Jeffrey S. Chase, Henry M. Levy, Geoffrey M. Voelker
Potentials and Limitations of Fault-Based Markov Prefetching for Virtual Memory Pages. SIGMETRICS (1999)
Dean M. Tullsen, Susan J. Eggers, Henry M. Levy
Simultaneous Multithreading: Maximizing On-Chip Parallelism. 25 Years ISCA: Retrospectives and Reprints (1998)
Geoffrey M. Voelker, Eric J. Anderson, Tracy Kimbrel, Michael J. Feeley, Jeffrey S. Chase, Anna R. Karlin, Henry M. Levy
Implementing Cooperative Prefetching and Caching in a Globally-Managed Memory System. SIGMETRICS (1998)
Yasushi Saito, Eric Hoffman, Brian N. Bershad, Henry M. Levy, David Becker, Bertil Folliot
The Porcupine scalable mail server. ACM SIGOPS European Workshop (1998)
Jack L. Lo, Luiz André Barroso, Susan J. Eggers, Kourosh Gharachorloo, Henry M. Levy, Sujay S. Parekh
An Analysis of Database Workload Performance on Simultaneous Multithreaded Processors. ISCA (1998)
Dean M. Tullsen, Susan J. Eggers, Henry M. Levy
Retrospective: Simultaneous Multithreading: Maximizing On-Chip Parallelism. 25 Years ISCA: Retrospectives and Reprints (1998)
Jack L. Lo, Susan J. Eggers, Henry M. Levy, Sujay S. Parekh, Dean M. Tullsen
Tuning Compiler Optimizations for Simultaneous Multithreading. MICRO (1997)
Jack L. Lo, Susan J. Eggers, Joel S. Emer, Henry M. Levy, Rebecca L. Stamm, Dean M. Tullsen
Converting Thread-Level Parallelism to Instruction-Level Parallelism via Simultaneous Multithreading. ACM Trans. Comput. Syst. 15 (3) (1997)
Geoffrey M. Voelker, Hervé A. Jamrozik, Mary K. Vernon, Henry M. Levy, Edward D. Lazowska
Managing Server Load in Global Memory Systems. SIGMETRICS (1997)
Susan J. Eggers, Joel S. Emer, Henry M. Levy, Jack L. Lo, Rebecca L. Stamm, Dean M. Tullsen
Simultaneous multithreading: a platform for next-generation processors. IEEE Micro 17 (5) (1997)
Dean M. Tullsen, Susan J. Eggers, Joel S. Emer, Henry M. Levy, Jack L. Lo, Rebecca L. Stamm
Exploiting Choice: Instruction Fetch and Issue on an Implementable Simultaneous Multithreading Processor. ISCA (1996)
Rene W. Schmidt, Henry M. Levy, Jeffrey S. Chase
Using Shared Memory for Read-Mostly RPC Services. HICSS (1) (1996)
C. A. LaPadula, Henry M. Levy
Customer Delay in Very Large Multi-Queue Single-Server Systems. Perform. Evaluation 26 (3) (1996)
Theodore H. Romer, Dennis Lee, Geoffrey M. Voelker, Alec Wolman, Wayne A. Wong, Jean-Loup Baer, Brian N. Bershad, Henry M. Levy
The Structure and Performance of Interpreters. ASPLOS (1996)
Hervé A. Jamrozik, Michael J. Feeley, Geoffrey M. Voelker, James Evans II, Anna R. Karlin, Henry M. Levy, Mary K. Vernon
Reducing Network Latency Using Subpages in a Global Memory Environment. ASPLOS (1996)
Michael J. Feeley, William E. Morgan, Frédéric H. Pighin, Anna R. Karlin, Henry M. Levy, Chandramohan A. Thekkath
Implementing Global Memory Management in a Workstation Cluster. SOSP (1995)
Oren Etzioni, Henry M. Levy, Richard Segal, Chandramohan A. Thekkath
The Softbot Approach to OS Interfaces. IEEE Softw. 12 (4) (1995)
Dean M. Tullsen, Susan J. Eggers, Henry M. Levy
Simultaneous Multithreading: Maximizing On-Chip Parallelism. ISCA (1995)
Michael J. Feeley, Jeffrey S. Chase, Vivek R. Narasayya, Henry M. Levy
Integrating Coherency and Recoverability in Distributed Systems. OSDI (1994)
Alexander C. Klaiber, Henry M. Levy
A Comparison of Message Passing and Shared Memory Architectures for Data Parallel Programs. ISCA (1994)
Chandramohan A. Thekkath, Henry M. Levy
Hardware and Software Support for Efficient Exception Handling. ASPLOS (1994)
Chandramohan A. Thekkath, Henry M. Levy, Edward D. Lazowska
Separating Data and Control Transfer in Distributed Operating Systems. ASPLOS (1994)
Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska
Sharing and Protection in a Single-Address-Space Operating System. ACM Trans. Comput. Syst. 12 (4) (1994)
Jeffrey S. Chase, Michael J. Feeley, Henry M. Levy
Some Issues for Single Address Space Systems. Workshop on Workstation Operating Systems (1993)
Chandramohan A. Thekkath, Henry M. Levy
Limits to Low-Latency Communication on High-Speed Networks. ACM Trans. Comput. Syst. 11 (2) (1993)
Jeffrey S. Chase, Valérie Issarny, Henry M. Levy
Distribution in a Single Address Space Operating System. ACM SIGOPS Oper. Syst. Rev. 27 (2) (1993)
Jeffrey S. Chase, Miche Baker-Harvey, Henry M. Levy, Edward D. Lazowska
Opal: A Single Address Space System for 64-Bit Architectures (Abstract). ACM SIGOPS Oper. Syst. Rev. 26 (2) (1992)
Jeffrey S. Chase, Valérie Issarny, Henry M. Levy
Distribution in a single address space operating system. ACM SIGOPS European Workshop (1992)
Jeffrey S. Chase, Henry M. Levy, Edward D. Lazowska, Miche Baker-Harvey
Lightweight Shared Objects in a 64-Bit Operating System. OOPSLA (1992)
Michael J. Feeley, Henry M. Levy
Distributed Shared Memory with Versioned Objects. OOPSLA (1992)
Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. ACM Trans. Comput. Syst. 10 (1) (1992)
Michael J. Feeley, Brian N. Bershad, Jeffrey S. Chase, Henry M. Levy
Dynamic Node Reconfiguration in a Parallel-Distributed Environment. PPOPP (1991)
Eric J. Koldinger, Susan J. Eggers, Henry M. Levy
On the Validity of Trace-Driven Simulation for Multiprocessors. ISCA (1991)
Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy
User-Level Interprocess Communication for Shared Memory Multiprocessors. ACM Trans. Comput. Syst. 9 (2) (1991)
Rajendra K. Raj, Ewan D. Tempero, Henry M. Levy, Andrew P. Black, Norman C. Hutchinson, Eric Jul
Emerald: A General-Purpose Programming Language. Softw. Pract. Exp. 21 (1) (1991)
Alexander C. Klaiber, Henry M. Levy
An Architecture for Software-Controlled Data Prefetching. ISCA (1991)
Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. SOSP (1991)
Thomas E. Anderson, Henry M. Levy, Brian N. Bershad, Edward D. Lazowska
The Interaction of Architecture and Operating System Design. ASPLOS (1991)
Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy
Lightweight Remote Procedure Call. ACM Trans. Comput. Syst. 8 (1) (1990)
John E. Faust, Henry M. Levy
The Performance of an Object-Oriented Threads Package. OOPSLA/ECOOP (1990)
Susan J. Eggers, David Keppel, Eric J. Koldinger, Henry M. Levy
Techniques for Efficient Inline Tracing on a Shared-Memory Multiprocessor. SIGMETRICS (1990)
Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy
The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors. SIGMETRICS (1989)
Wen-Hann Wang, Jean-Loup Baer, Henry M. Levy
Organization and Performance of a Two-Level Virtual-Real Cache Hierarchy. ISCA (1989)
Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy
The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors. IEEE Trans. Computers 38 (12) (1989)
Rajendra K. Raj, Henry M. Levy
A Compositional Model for Software Reuse. Comput. J. 32 (4) (1989)
Jeffrey S. Chase, Franz G. Amador, Edward D. Lazowska, Henry M. Levy, Richard J. Littlefield
The Amber System: Parallel Programming on a Network of Multiprocessors. SOSP (1989)
Rajendra K. Raj, Henry M. Levy
A Compositional Model for Software Reuse. ECOOP (1989)
Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy
Lightweight Remote Procedure Call. SOSP (1989)
Brian N. Bershad, Edward D. Lazowska, Henry M. Levy
PRESTO: A System for Object-oriented Parallel Programming. Softw. Pract. Exp. 18 (8) (1988)

Henry M. Levy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Henry M. Levy