Contact
CSE 570
206-543-9204
levy
cs.washington.edu

Areas of interest: Operating systems design, distributed systems and the Web, security and privacy, computer architecture
End the Senseless Killing: Improving Memory Management for Mobile Operating Systems
Usenix ATC, 2020.
, Diamond: Automating Data Management and Storage for Wide-area, Reactive Applications
USENIX Conference on Operating Systems Design and Implementation (OSDI), 2016.
, Customizable and Extensible Deployment for Mobile/Cloud Applications
Usenix Conference on Operating Systems Design and Implementation (OSDI), 2014.
, Computer Security and the Modern Home
Communications of the ACM 56:1, 2013.
, Keypad: An auditing file system for theft-prone devices
Proceedings of the 6th European Conference on Computer Systems (EuroSYS 11), 2011.
Best student paper award.
, Operating System Implications of Fast, Cheap, Non-Volatile Memory
USENIX Hot Topics on Operating Systems (HotOS), 2011.
, Comet: An active distributed key-value store
Proc. of the USENIX Conf. on Operating Systems Design and Implementation, 2010.
, The Architecture and Implementation of an Extensible Web Crawler
Proc. of the 7th Usenix Symposium on Networked Systems Design and Implementation (NSDI), 2010.
, Vanish: Increasing data privacy with self-destructing data
Proc. of the USENIX Security Symposium, 2009.
, Best Student Paper Award.
CloudViews: Communal Data Sharing in Public Clouds
Workshop on Hot Topics in Cloud Computing (HotCloud), 2009.
, Flashproxy: Transparently Enabling Rich Web Content via Remote Execution
Proc. of the Int. Conf. on Mobile Systems, Applications, and Services (MobiSys), 2008.
Honorable mention paper.
, Organizing and Sharing Personal Web-Service Data
17th International World Wide Web Conference, 2008.
, Using Processes to Improve the Reliability of Browser-based Applications
University of Washington Technical Report 07-12-01, 2007.
, Architectural Principles for Safe Web Programs
Sixth Workshop on Hot Topics in Networks, 2007.
, SpyProxy: Execution-based Detection of Malicious Web Content
the 16th USENIX Security Symposium, 2007.
, HomeViews: Peer-to-Peer Middleware for Personal Data Sharing Applications
2007 SIGMOD International Conference on Management of Data, 2007.
, The Importance of History in a Media Delivery System
6th International Workshop on Peer-to-Peer Systems, 2007.
, Recovering Device Drivers
ACM Transactions on Computer Systems 24:4, 2006.
, (Extended version of award paper that appeared in Proc. of the 6th OSDI Conference, December 2004.)
A Safety-Oriented Platform for Web Applications
IEEE Symp. on Security and Privacy, 2006.
Award paper.
, A Crawler-based Study of Spyware on the Web
13th Annual Network and Distributed System Security Symposium, 2006.
, Improving the Reliability of Internet Paths with One-hop Source Routing
Sixth ACM/USENIX Symposium on Operating Systems Design and Implementation, 2004.
, Improving the Reliability of Commodity Operating Systems
ACM Transactions on Computer Systems 22:4, 2004.
, (Extended version of award paper that appeared in 19th SOSP, October 2003)
Semantic Email
International World Wide Web Conference, 2004.
, Measurement and Analysis of Spyware in a University Environment
First Symposium on Networked Systems Design and Implementation, 2004.
, Mangrove: Enticing Ordinary People onto the Semantic Web via Instant Gratification
International Semantic Web Conference, 2003.
, Measurement, Modeling, and Analysis of a Peer-to-Peer File-Sharing Workload
19th ACM Symposium on Operating Systems Principles, 2003.
, Semantic Email: Adding Lightweight Data Manipulation Capabilities to the Email Habitat
International Workshop on the Web and Databases, 2003.
, An Analysis of Internet Content Delivery Systems
5th Symposium on Operating Systems Design and Implementation, 2002.
, Measurement and Analysis of a Streaming-Media Workload
3rd USENIX Symp. on Internet Technology and Systems , 2001.
, Award Paper.
Manageability, Availability and Performance in Porcupine: A Highly Scalable Cluster-Based Mail Service
ACM Transactions on Computer Systems 18:3, 2000.
, (Extended version of the award paper that appeared in the 17th SOSP, December 1999.)
On the scale and performance of cooperative Web proxy caching
17th ACM Symp. on Operating Systems Principles, 1999.
, Exploiting Choice: Instruction Fetch and Issue on an Implementable Simultaneous Multithreading Processor
Proc. of the 23rd International Symposium on Computer Architecture, 1996.
, (2011 SIGARCH/ISCA Test of Time Award.)
Simultaneous Multithreading: Maximizing On-Chip Parallelism
Proc. of the 22nd International Symposium on Computer Architecture, 1995.
, (2010 SIGARCH/ISCA Test of Time Award.)
VAXclusters: A Closely Coupled Distributed System
ACM Transactions on Computer Systems 4:2, 1986.
(1985 SOSP award paper and 2009 SIGOPS Hall of Fame award recipient.)
,