Technical Reports Sorted by Author
Abrahamson, Jenny
2013-03-01 Unifying FSM-Inference Algorithms through Declarative Specification UW-CSE-13-03-01.PDF
Abreu, Rui
2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf
Ackerman, Isaac
2014-03-01 Dynamic Analysis of Aproximate Program Quality UW-CSE-14-03-01.PDF
Adhikari, Ronojoy
2008-11-01 Quantitative Evidence for Possible Linguistic Structure in the Indus Script UW-CSE-08-11-01.PDF
2008-11-02 A Markov Model of the 4500-year-old Indus Script UW-CSE-08-11-02.PDF
Adl-Tabatabai, Ali-Reza
2007-11-01 Towards a Lock-based Semantics for Java STM UW-CSE-07-11-01.pdf
Agarwala, Aseem
2009-03-02 A Consistent Segmentation Approach to Image-based Rendering UW-CSE-09-03-02.PDF
Aggarwal, Amit
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Agrawal, Rakesh
2003-02-05 Building the Semantic Web by Mass Collaboration UW-CSE-03-02-05.pdf
Agrawala, Maneesh
2004-03-02 The Office of the Past: Document Discovery and Tracking from Video UW-CSE-04-03-02.pdf
2009-03-02 A Consistent Segmentation Approach to Image-based Rendering UW-CSE-09-03-02.PDF
Ahmad, Maaz Bin Safeer
2018-01-02 Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications UW-CSE-18-01-02.pdf
Aho, Alfred V.
1996-03-03 Emerging Opportunities for Theoretical Computer Science UW-CSE-96-03-03.pdf
Ahrens, James P.
1995-04-02 Cost-Effective Data-Parallel Load Balancing UW-CSE-95-04-02.pdf
Akella, Aditya
2018-09-03 Design and Verification of Software Middleboxes using Gravel UW-CSE-18-09-03.pdf
Akers, John
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Alaghi, Armin
2017-03-02 QAPPA: A Framework for Navigating Quality-Energy Tradeoffs with Arbitrary Quantization UW-CSE-17-03-02.pdf
2017-05-01 MATIC: Adaptation and In-Situ Canaries for Energy-Efficient Neural Network Acceleration UW-CSE-17-05-01.pdf
Aldrich, Jonathan
2000-10-01 Comprehensive Synchronization Elimination for Java UW-CSE-00-10-01.pdf
2000-11-10 Evaluating Module Systems for Crosscutting Concerns UW-CSE-00-11-10.pdf
2002-04-01 Architectural Reasoning in ArchJava UW-CSE-02-04-01.pdf
2002-11-01 Alias Annotations for Program Understanding UW-CSE-02-11-01.pdf
Alemany, Juan
1997-02-02 Random Striping News on Demand Servers UW-CSE-97-02-02.pdf
AlSayyad, Yusra
2011-04-03 Towards Efficient and Precise Queries Over Ten Million Asteroid Trajectory Models UW-CSE-11-04-03.PDF
Alverson, Gail A.
1993-12-09 Abstractions for Portable, Scalable Parallel Programming UW-CSE-93-12-09.pdf
Amon, Tod
1992-11-01 Timing Analysis of Concurrent Systems: An Algorithm for Determining Time Separation of Events UW-CSE-92-11-01.pdf
1993-07-02 Specification, Simulation, and Verification of Timing Behavior UW-CSE-93-07-02.pdf
1994-02-02 An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems UW-CSE-94-02-02.pdf
Anderson, Corin R.
2002-10-02 Name that Link: Intelligent Link Anchor Generation UW-CSE-02-10-02.pdf
Anderson, Craig
1994-05-02 Design and Evaluation of a Subblock Cache Coherence Protocol for Bus-Based Multiprocessors UW-CSE-94-05-02.pdf
1995-12-01 On the Performance of a Bus-based Multiprocessor Cluster Architecture UW-CSE-95-12-01.pdf
Anderson, Eric
1999-02-01 On the Performance Potential of Dynamic Cache Line Sizes UW-CSE-99-02-01.pdf
Anderson, Nathan
1998-09-01 Improving the Security, Scalability, Manageability and Performance of System Services for Network Computing UW-CSE-98-09-01.pdf
Anderson, Richard
1996-05-01 The Indigo Algorithm UW-CSE-96-05-01.pdf
Anderson, Richard J
2006-10-02 A Study of Digital Ink Student Artifacts to Inform the Scaling of a Classroom Interaction System UW-CSE-06-10-02.pdf
Anderson, Richard J.
1996-04-02 Model Checking Large Software Specifications UW-CSE-96-04-02.pdf
1998-01-03 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements UW-CSE-98-01-03.pdf
1998-09-02 Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts UW-CSE-98-09-02.pdf
2002-12-02 Promoting Interaction in Large Lecture Classes with a Computer-Mediated Feedback System UW-CSE-02-12-02.pdf
Anderson, Ruth
2006-10-02 A Study of Digital Ink Student Artifacts to Inform the Scaling of a Classroom Interaction System UW-CSE-06-10-02.pdf
Anderson, Ruth E.
1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf
1998-08-02 Cascaded Execution: Speeding Up Unparallelized Execution on Multiprocessor Systems UW-CSE-98-08-02.pdf
Anderson, Sean
1994-01-07 Interactive Pen-and-Ink Illustration UW-CSE-94-01-07b.pdf
Anderson, Thomas
1998-10-04 Active Names: Programmable Location and Transport of Wide-Area Resources UW-CSE-98-10-04.pdf
2004-06-02 Interdomain Routing with Negotiation UW-CSE-04-06-02.pdf
2006-11-01 LiveSwarms: Adapting BitTorrent for end host multicast UW-CSE-06-11-01.pdf
2006-11-02 Do incentives build robustness in BitTorrent? UW-CSE-06-11-02.pdf
2007-10-02 Studying Blackholes in the Internet with Hubble UW-CSE-07-10-02.pdf
2008-02-01 Consensus Routing: the Internet as a Distributed System UW-CSE-08-02-01.PDF
2012-09-04 An Internet Architecture Based on the Principle of Least Privilege UW-CSE-12-09-04.PDF
2012-09-05 F10: A Fault-Tolerant Engineered Network UW-CSE-12-09-05.PDF
2013-05-03 freedom.js: an Architecture for Serverless Web Applications UW-CSE-13-05-03.pdf
2013-07-01 Transit as Service UW-CSE-13-07-01.PDF
2013-10-01 Arrakis: The Operating System is the Control Plane UW-CSE-13-10-01.PDF
2013-11-01 Radiatus: Strong User Isolation for Scalable Web Applications UW-CSE-13-11-01.PDF
2014-05-02 MetaSync: File Synchronization Across Multiple Untrusted Storage Services UW-CSE-14-05-02.PDF
2014-06-01 Blocking-Resistant Network Services using Unblock UW-CSE-14-06-01.pdf
2014-09-01 Subways: A Case for Redundant, Inexpensive Data Center Edge Links UW-CSE-14-09-01.pdf
2018-09-06 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network UW-CSE-18-09-06.pdf
Anderson, Tom
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
1999-03-01 Reducing Startup Latency in Web and Desktop Applications UW-CSE-99-03-01.pdf
Anderson
1992-10-04 A Multi-Level Hierarchical Cache Coherence Protocol for Multiprocessors UW-CSE-92-10-04.tar.Z
1995-10-02 Improving Performance of Bus-based Multiprocessors UW-CSE-95-10-02.PS.gz
1996-01-02 A Resolution-Independent Representation for Pen-and-Ink Illustration UW-CSE-96-01-02.d
Anderson Thomas
2016-11-01 Talek: a Private Publish-Subscribe Protocol UW-CSE-16-11-01.pdf
Andrews, Max
2009-01-02 The International Criminal Tribunal for Rwanda Information Heritage Project (aka Voices of the Rwanda Tribunal): Integrity Verification Arhcitecture UW-CSE-09-01-02.PDF
Appelbaum, Jacob
2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF
Armstrong, Katherine
1990-09-05 Extending the Mach External Pager Interface To Accommodate User-Level Page Replacement Policies UW-CSE-90-09-05.pdf
Arnstein, Larry
2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf
Ashok, Immaneni
1993-04-01 Adhara: Runtime Support for Dynamic Space-Based Applications on Distributed Memory MIMD Multiprocessors UW-CSE-93-04-01.pdf
1994-12-03 Runtime Support for Dynamic Space-Based Applications on Distributed Memory Multiprocessors UW-CSE-94-12-03.pdf
Augusto, Felipe
2017-03-02 QAPPA: A Framework for Navigating Quality-Energy Tradeoffs with Arbitrary Quantization UW-CSE-17-03-02.pdf
Auslander, Joel
1997-01-03 Realistic Facial Animation Using Image Based 3d Morphing UW-CSE-97-01-03.pdf
Azuma, Daniel
2001-10-01 Interactive Rendering of Surface Light Fields UW-CSE-01-10-01.pdf
2001-10-02 View-dependent Refinement of Multiresolution Meshes with Subdivision Connectivity UW-CSE-01-10-02.pdf
Badros, Greg J.
1997-04-06 An Empirical Analysis of C Preprocessor Use UW-CSE-97-04-06.pdf
1998-06-04 The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation UW-CSE-98-06-04.pdf
1998-08-04 A Framework for Preprocessor-Aware C Source Code Analyses UW-CSE-98-08-04.pdf
2000-08-04 A Constraint Extension to Scalable Vector Graphics UW-CSE-00-08-04.pdf
Baer, Jean-Loup
1991-04-01 On Synchronization Patterns in Parallel Programs UW-CSE-91-04-01.pdf
1992-01-02 A Performance Study of Memory Consistency Models UW-CSE-92-01-02.pdf
1992-06-03 Reducing memory latency via non-blocking and prefetching caches UW-CSE-92-06-03.pdf
1994-01-04 A Parallel Trace-driven Simulator: Implementation and Performance UW-CSE-94-01-04.pdf
1994-05-02 Design and Evaluation of a Subblock Cache Coherence Protocol for Bus-Based Multiprocessors UW-CSE-94-05-02.pdf
1994-10-03 Optimistic Trace-driven Simulation UW-CSE-94-10-03.pdf
1994-10-04 A Comparative Study of Conservative and Optimistic Trace-driven Simulation UW-CSE-94-10-04.pdf
1995-12-01 On the Performance of a Bus-based Multiprocessor Cluster Architecture UW-CSE-95-12-01.pdf
1996-07-02 On the Use and Performance of Explicit Communication Primitives in Cache-coherent Multiprocessor Systems UW-CSE-96-07-02.pdf
1997-01-02 A Performance Evaluation of Cluster-based Architectures UW-CSE-97-01-02.pdf
1997-03-04 DRAM Caching UW-CSE-97-03-04.pdf
1997-06-02 On the Effectiveness of Code Reordering Algorithms for theAlpha and IA32 Architectures UW-CSE-97-06-02.pdf
1999-02-01 On the Performance Potential of Dynamic Cache Line Sizes UW-CSE-99-02-01.pdf
1999-03-01 Reducing Startup Latency in Web and Desktop Applications UW-CSE-99-03-01.pdf
2002-06-03 The Impact of Timeliness for Hardware-based Prefetching from Main Memory UW-CSE-02-06-03.pdf
2005-02-02 A Packet Classification Algorithm for Multiple Look-up Engines UW-CSE-05-02-02.pdf
Baer
1992-10-04 A Multi-Level Hierarchical Cache Coherence Protocol for Multiprocessors UW-CSE-92-10-04.tar.Z
Baixo, Andre
2015-01-01 ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing UW-CSE-15-01-01.pdf
Baker, Chris L.
2003-06-02 The Trajectory Mixture Model for Learning Collections of Nonlinear unctions UW-CSE-03-06-02.pdf
2004-07-02 Probabilistic Gaze Imitation and Saliency UW-CSE-04-07-02.pdf
Baker, John L.
1970-02-10 Acceptors from van Wijngaarden grammars: an application of 'Programming languages for automata' UW-CSE-70-02-10.PDF
Baker, Marla J.
1997-04-03 Cooperative Interaction Techniques for Graphical Objects in a Collaborative Activity UW-CSE-97-04-03.pdf
1998-09-03 Colt: A System for Developing Software that Supports Synchronous Collaborative Activities UW-CSE-98-09-03.pdf
Baker, Simon
2009-08-01 Occlusion Reasoning for Temporal Interpolation using Optical Flow UW-CSE-09-08-01.PDF
Baker, T.P.
1986-09-06 A Lace for Ada's Corset UW-CSE-86-09-06.PDF
Baker-Harvey, Miche
1992-03-02 How to Use a 64-Bit Virtual Address Space UW-CSE-92-03-02.pdf
1992-03-09 Lightweight Shared Objects in a 64-Bit Operating System UW-CSE-92-03-09.pdf
Balasubramanian, Aruna
2013-11-02 EfficiRunning Continuous Monitoring Applications on Mobile Devices using Sensor Hubs UW-CSE-13-11-02.PDF
2013-11-03 Improving Power Efficiency Using Sensor Hubs Without Re-Coding Mobile Apps UW-CSE-13-11-03.PDF
Balasubramanian, Niranjan
2013-12-02 "Out of the Box" Information Extraction: a Case Study using Bio-Medical Texts UW-CSE-13-12-02.PDF
Balazinska, Magdalena
2006-07-01 Moirae: History-Enhanced Monitoring UW-CSE-06-07-01.pdf
2006-07-02 Capability-Based Access Control for Peer-to-Peer Data Sharing UW-CSE-06-07-02.pdf
2006-10-03 Challenges for Pervasive RFID-based Infrastructures UW-CSE-06-10-03.pdf
2007-03-01 Probabilistic RFID Data Management UW-CSE-07-03-01.pdf
2007-05-01 Identifying Similar Past Events in a Continuous Monitoring System UW-CSE-07-05-01.pdf
2007-11-02 PEEX: Extracting Probabilistic Events from RFID Data UW-CSE-07-11-02.pdf
2008-07-01 Access Methods for Markovian Streams UW-CSE-08-07-01.PDF
2008-12-01 Believe it or not: Adding belief annotations to databases UW-CSE-08-12-01.PDF
2009-03-03 LaharOLAP: Supporting OLAP Queeries on Markovian Streams UW-CSE-09-03-03.PDF
2009-06-01 Scalable Clustering Algorithm for N-Body Simulations in a Shared-Nothing Cluster UW-CSE-09-06-01.PDF
2009-07-01 Toward A Progress Indicator for Parallel Queries UW-CSE-09-07-01.PDF
2009-07-03 Approximation Trade-Offs in a Markovian Stream Warehouse: An Empirical Study UW-CSE-09-07-03.PDF
2009-12-02 ParaTimer: A Progress Indicator for MapReduce DAGs UW-CSE-09-12-02.PDF
2011-04-02 SQB: Session-based Query Browsing for More Effective Query Reuse UW-CSE-11-04-02.PDF
2011-04-03 Towards Efficient and Precise Queries Over Ten Million Asteroid Trajectory Models UW-CSE-11-04-03.PDF
2011-05-04 How to Price Shared Optmizations in the Cloud UW-CSE-11-05-04.PDF
2012-03-02 Query-Based Data Pricing UW-CSE-12-03-02.PDF
2012-03-03 SkewTune: Mitigating Skew in MapReduce Applications UW-CSE-12-03-03.PDF
2012-06-01 Hadoop's Adolescence: A Comparative Workload Analysis from Three Research Clusters UW-CSE-12-06-01.PDF
2012-08-01 A Measurement Study of Two Web-based Collaborative Visual Analytics Systems UW-CSE-12-08-01.PDF
2012-09-01 Toward Supporting the Data Enthusiast: Unlocking the Potential of Data for Analysis UW-CSE-12-09-01.PDF
2013-04-02 Masses of Visualizations: An Analysis of Usage Patterns on Many Eyes and Tableau Public UW-CSE-13-04-02.PDF
2015-06-01 Efficient Iterative Processing in the SciDB Parallel Array Engine UW-CSE-15-06-01.pdf
Balensiefer, Steven
2007-11-01 Towards a Lock-based Semantics for Java STM UW-CSE-07-11-01.pdf
Banko, Michele
2006-04-02 Relational Web Search UW-CSE-06-04-02.pdf
Bansal, Gagan
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Bansal, Nikhil
2005-10-01 How well can Priceline sell airline tickets? UW-CSE-05-10-01.pdf
Barnes, Greg
1991-06-02 Deterministic Algorithms for Undirected s-t Connectivity Using Polynomial Time and Sublinear Space UW-CSE-91-06-02.pdf
1992-03-05 A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity UW-CSE-92-03-05.pdf
1994-12-07 Wait-Free Algorithms for Heaps UW-CSE-94-12-07.pdf
Barnes, Gregory
1992-10-02 Time-Space Tradeoffs for Graph s-t Connectivity UW-CSE-92-10-02.pdf
Barrett, Anthony
1992-05-01 Partial-Order Planning: Evaluating Possible Efficiency Gains UW-CSE-92-05-01a.pdf
1993-09-06 The UCPOP User's Manual UW-CSE-93-09-06.pdf
Barrett, Michael T.
2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf
Barros, Paulo
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
2015-05-01 Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents UW-CSE-15-05-01.pdf
2015-08-01 Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version) UW-CSE-15-08-01.pdf
Bart, Robert
2013-12-02 "Out of the Box" Information Extraction: a Case Study using Bio-Medical Texts UW-CSE-13-12-02.PDF
Bartell
1994-01-09 Multiresolution Painting and Compositing UW-CSE-94-01-09b.d
Barton-Davis, Paul
1992-08-03 Adding Scheduler Activations to Mach 3.0 UW-CSE-92-08-03.pdf
Barzel, Ronen
1994-01-07 Interactive Pen-and-Ink Illustration UW-CSE-94-01-07b.pdf
Bauer, Aaron
2018-09-01 Practicum: a scalable online system for faded worked examples in CS1 UW-CSE-18-09-01.pdf
Beall, Jonathan
2007-09-01 Discovering and Representing Logical Structure in Code Change UW-CSE-07-09-01.PDF
Beame, Paul
1993-02-01 Time-Space Tradeoffs for Undirected Graph Traversal UW-CSE-93-02-01.pdf
1996-04-02 Model Checking Large Software Specifications UW-CSE-96-04-02.pdf
1997-09-02 On Searching Sorted Lists: A Near Optimal Lower Bound UW-CSE-97-09-02.pdf
1998-01-03 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements UW-CSE-98-01-03.pdf
1998-09-02 Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts UW-CSE-98-09-02.pdf
Becker, David
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Becker, Hila
2013-11-05 SolocoRank: Using Social Signals for Local Place Quality UW-CSE-13-11-05.pdf
Bedichek, Robert
1993-09-05 The Meerkat Multicomputer UW-CSE-93-09-05.pdf
Bedichek, Robert C.
1994-06-06 The Meerkat Multicomputer: Tradeoffs in Multicomputer Architecture UW-CSE-94-06-06.pdf
Bennett, Cynthia
2015-09-04 Contributing During the Commute: Why Transit Riders Submit Information About Bus Stops with StopInfo UW-CSE-15-09-04.pdf
Berg, Sidney
2015-06-02 Satellite: Observations of the Internet's Stars UW-CSE-15-06-02.pdf
Berg, Stefan G.
2002-02-04 Cache Prefetching UW-CSE-02-02-04.pdf
Bergan, Tom
2013-08-01 Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts UW-CSE-13-08-01.PDF
Berman, Andrew P.
1994-03-02 A New Data Structure For Fast Approximate Matching UW-CSE-94-03-02.pdf
Berman
1994-01-09 Multiresolution Painting and Compositing UW-CSE-94-01-09b.d
Bernardelli, Carlo E.
1998-03-01 Extensibility in a Visual Language for Web-based Interpersonal Communication UW-CSE-98-03-01.pdf
1998-04-02 The Design and Implementation of Vedo-Vedi, A Visual Language for Human Communication in the Internet UW-CSE-98-04-02.pdf
Bernheim Brush, Alice Jane
2002-09-02 Annotating Digital Documents for Asynchronous Collaboration UW-CSE-02-09-02.pdf
Bernstein, Philip A.
2003-02-03 Merging Models Based on Given Correspondences UW-CSE-03-02-03.pdf
Bershad, Brian
1995-04-01 Mobisaic - An Information System for a Mobile Wireless Computing Environment UW-CSE-95-04-01.PS.gz
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
1999-03-01 Reducing Startup Latency in Web and Desktop Applications UW-CSE-99-03-01.pdf
2004-01-03 Dealing with Cheaters in Anonymous Peer-to-Peer Networks UW-CSE-04-01-03.pdf
2007-12-01 Using Processes to Improve the Reliability of Browser-based Applications UW-CSE-07-12-01.pdf
Bershad, Brian N.
1990-09-04 Dynamic Node Reconfiguration in a Parallel-Distributed Environment UW-CSE-90-09-04.pdf
1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf
1994-04-02 A Group Structuring Mechanism for a Distributed Object-oriented Language UW-CSE-94-04-02.pdf
1997-09-01 Strands: An Efficient and Extensible Thread Management Architecture UW-CSE-97-09-01.pdf
1997-11-01 Access Control for Extensible Systems UW-CSE-97-11-01.pdf
1998-02-02 Providing Policy-Neutral and Transparent Access Control in Extensible Systems UW-CSE-98-02-02.pdf
1998-08-01 SPINE: An Operating System for Intelligent Network Adapters UW-CSE-98-08-01.pdf
1998-09-01 Improving the Security, Scalability, Manageability and Performance of System Services for Network Computing UW-CSE-98-09-01.pdf
Beschastnikh, Ivan
2013-03-01 Unifying FSM-Inference Algorithms through Declarative Specification UW-CSE-13-03-01.PDF
Bhat, Pravin
2008-04-01 Enhancing and Experiencing Spacetime Resolution with Videos and Stills UW-CSE-08-04-01.pdf
2008-06-02 A Perceptually-Motivated Optimization-Framework for Image and Video Processing UW-CSE-08-06-02.PDF
Bhorasak, Ravi
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
Binding, Carl
1985-12-05 Research in Real-Time Systems UW-CSE-85-12-05.PDF
Bleckner, Colin
2002-07-05 Modular Typechecking for Hierarchically Extensible Datatypes and Functions UW-CSE-02-07-05.pdf
Blount, Patricia L.
2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf
Bo, Liefeng
2013-05-01 Toward Unconstrained Gesture and Language Interfaces UW-CSE-13-05-01.PDF
Boehm, Hans
2009-07-04 Conflict Exceptions: Providing Simple Parallel Language Semantics with Precise Hardware Exceptions UW-CSE-09-07-04.PDF
Bolding, Kevin
1991-04-04 Mesh and Torus Chaotic Routing UW-CSE-91-04-04.pdf
1992-07-07 Non-Uniformities Introduced by Virtual Channel Deadlock Prevention UW-CSE-92-07-07.pdf
1993-12-03 Multicomputer Interconnection Network Channel Design UW-CSE-93-12-03.pdf
1994-02-04 The Case for Chaotic Adaptive Routing UW-CSE-94-02-04.pdf
Bonnar, Caitlin
2015-09-04 Contributing During the Commute: Why Transit Riders Submit Information About Bus Stops with StopInfo UW-CSE-15-09-04.pdf
Bornholt, James
2016-03-01 A Taxonomy of Approximate Computing Techniques UW-CSE-16-03-01.pdf
2016-06-01 Disciplined Inconsistency UW-CSE-16-06-01.pdf
2016-10-01 Synthesizing Memory Models from Litmus Tests UW-CSE-16-10-01.pdf
2019-10-01 A note on verifying information flow control systems with Nickel UW-CSE-19-10-01.pdf
Borning, Alan
1992-07-01 Multi-Garnet: Integrating Multi-Way Constraints with Garnet UW-CSE-92-07-01.pdf
1992-07-05 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm UW-CSE-92-07-05a.pdf
1993-01-02 Hierarchical Constraint Logic Programming UW-CSE-93-01-02a.pdf
1993-09-04 Kaleidoscope: A Constraint Imperative Programming Language UW-CSE-93-09-04.pdf
1994-03-07 Constraints and Object Identity UW-CSE-94-03-07.pdf
1994-07-07 Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine UW-CSE-94-07-07.pdf
1996-05-01 The Indigo Algorithm UW-CSE-96-05-01.pdf
1997-06-01 Solving Linear Arithmetic Constraints for User Interface Applications: Algorithm Details UW-CSE-97-06-01.pdf
1998-06-04 The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation UW-CSE-98-06-04.pdf
2000-08-04 A Constraint Extension to Scalable Vector Graphics UW-CSE-00-08-04.pdf
2000-12-01 An Extensible, Modular Architecture for Simulating Urban Development, Transportation, and Environmental Impacts UW-CSE-00-12-01.pdf
2002-12-01 Value Sensitive Design: Theory and Methods UW-CSE-02-12-01.pdf
2013-06-01 A Fine-Grained Sharing of Sensed Physical Activity: A Value Sensitive Approach UW-CSE-13-06-01.PDF
2015-09-04 Contributing During the Commute: Why Transit Riders Submit Information About Bus Stops with StopInfo UW-CSE-15-09-04.pdf
Borodin, Allan
1993-02-01 Time-Space Tradeoffs for Undirected Graph Traversal UW-CSE-93-02-01.pdf
Borriello, Gaetano
1992-11-01 Timing Analysis of Concurrent Systems: An Algorithm for Determining Time Separation of Events UW-CSE-92-11-01.pdf
1994-02-02 An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems UW-CSE-94-02-02.pdf
1994-03-04 Interface Timing Verification with Combined Max and Linear Constraints UW-CSE-94-03-04.pdf
1994-03-06 Testing Asynchrounous Circuits: A Survey UW-CSE-94-03-06.pdf
1994-04-01 Pin Assignment for Multi-FPGA Systems UW-CSE-94-04-01.pdf
1994-06-02 Experiences with the UWTester in Computer Science and Engineering Education UW-CSE-94-06-02.pdf
1994-06-04 Automatic Synthesis of Device Drivers for Hardware/Software Co-design UW-CSE-94-06-04.pdf
1994-09-04 Scheduling Issues in the Co-Synthesis of Reactive Real-Time Systems UW-CSE-94-09-04.pdf
1995-03-04 The Chinook Hardware/Software Co-Synthesis System UW-CSE-95-03-04.pdf
1995-04-04 Achieving High-Latency, Low-Bandwidth Communication: Logic Emulation Interfaces UW-CSE-95-04-04.pdf
2000-02-02 SpotON: An Indoor 3D Location Sensing Technology Based on RF Signal Strength UW-CSE-00-02-02.pdf
2001-07-01 Location Sensing Techniques UW-CSE-01-07-01.pdf
2001-08-03 A Survey and Taxonomy of Location Systems for Ubiquitous Computing UW-CSE-01-08-03.pdf
2002-02-02 A Comparison of Large-Scale Overlay Management Techniques UW-CSE-02-02-02.pdf
2002-04-03 The Unigesture Approach: One-Handed Text Entry for Small Devices UW-CSE-02-04-03.pdf
2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf
2002-07-02 Touch-Aware Communication for Portable Devices UW-CSE-02-07-02.pdf
2003-06-04 Exploiting mobility for energy efficient data collection in wireless sensor networks UW-CSE-03-06-04.pdf
2003-07-01 The Location Stack UW-CSE-03-07-01.pdf
2003-12-06 Integration and Configuration of Small Wireless Sensors into Ubiquitous Computing Environments UW-CSE-03-12-06.pdf
2006-10-03 Challenges for Pervasive RFID-based Infrastructures UW-CSE-06-10-03.pdf
Bourassa, Virgil
1995-02-01 Implementing Lightweight Remote Procedure Calls in the Mach 3 Operating System UW-CSE-95-02-01.pdf
Bradlee, David Gordon
1991-08-07 Retargetable Instruction Scheduling for Pipelined Processors UW-CSE-91-08-07.pdf
Bragin, Tanya
2007-02-01 Measurement Study of the Web Through a Spam Lens UW-CSE-07-02-01.pdf
Brajkovic, Vjekoslav
2008-10-02 EPC RFID Tags in Security Applications: Passport Cards, Enhanced Drivers Licenses, and Beyond UW-CSE-08-10-02.PDF
Brand, Whitaker
2018-09-01 Practicum: a scalable online system for faded worked examples in CS1 UW-CSE-18-09-01.pdf
Bricker, Lauren J.
1995-04-03 Multiplayer Activities that Develop Mathematical Coordination UW-CSE-95-04-03.pdf
1997-04-03 Cooperative Interaction Techniques for Graphical Objects in a Collaborative Activity UW-CSE-97-04-03.pdf
1998-09-03 Colt: A System for Developing Software that Supports Synchronous Collaborative Activities UW-CSE-98-09-03.pdf
Briggs, Preston
2014-02-01 Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications UW-CSE-14-02-01.PDF
Brinkley, James
2006-06-02 A Performant XQuery to SQL Translator UW-CSE-06-06-02.pdf
Brown, Curtis
1993-09-05 The Meerkat Multicomputer UW-CSE-93-09-05.pdf
Brown, Lindsay
1999-02-01 On the Performance Potential of Dynamic Cache Line Sizes UW-CSE-99-02-01.pdf
Brun, Yuriy
2010-03-01 Speculative Identification of Merge Conflicts and Non-Conflicts UW-CSE-10-03-01.PDF
2012-03-04 Traffic Routing for Evaluating Self-Adaptation UW-CSE-12-03-04.PDF
2013-03-01 Unifying FSM-Inference Algorithms through Declarative Specification UW-CSE-13-03-01.PDF
Brunette, Waylon
2003-06-04 Exploiting mobility for energy efficient data collection in wireless sensor networks UW-CSE-03-06-04.pdf
2006-10-03 Challenges for Pervasive RFID-based Infrastructures UW-CSE-06-10-03.pdf
Bryan, Matthew
2014-07-01 A Direct Brain-to-Brain Interface in Humans UW-CSE-14-07-01.pdf
Buettner, Michael
2009-10-02 A Flexible Software Radio Transceiver for UHF RFID Experimentation UW-CSE-09-10-02.PDF
Bunton, Suzanne
1994-11-03 A Characterization of the "Dynamic Markov Compression" FSM with Finite Conditioning Contexts UW-CSE-94-11-03.pdf
1997-01-10 A Generalization and Improvement to PPM's "Blending" UW-CSE-97-01-10.pdf
1997-02-05 An Executable Taxonomy of On-Line Modeling Algorithms UW-CSE-97-02-05.pdf
1997-02-06 A Percolating State Selector for Suffix-Tree Context Models UW-CSE-97-02-06.pdf
1997-03-02 On-Line Stochastic Processes in Data Compression UW-CSE-97-03-02.pdf
Burns, Steve
1992-11-01 Timing Analysis of Concurrent Systems: An Algorithm for Determining Time Separation of Events UW-CSE-92-11-01.pdf
1996-04-02 Model Checking Large Software Specifications UW-CSE-96-04-02.pdf
Burns, Steven M.
1994-02-02 An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems UW-CSE-94-02-02.pdf
1994-03-06 Testing Asynchrounous Circuits: A Survey UW-CSE-94-03-06.pdf
Buss, Jonathan F.
1992-03-05 A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity UW-CSE-92-03-05.pdf
Butler, Eric
2017-10-02 Synthesizing Optimal Domain Models for Educational Applications UW-CSE-17-10-02.pdf
2018-09-01 Practicum: a scalable online system for faded worked examples in CS1 UW-CSE-18-09-01.pdf
Cadamuro, Gabriel
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Cafarella, Michael J.
2006-04-02 Relational Web Search UW-CSE-06-04-02.pdf
Cakmak, Maya
2016-10-02 Autonomous Question Answering with Mobile Robots in Human-Populated Environments UW-CSE-16-10-02.pdf
Callison, H. Rebecca
1993-05-02 A Periodic Object Model for Real-Time Systems UW-CSE-93-05-02.pdf
Callison
1995-08-03 Time-Sensitive Objects: A Data Oriented View of Real-Time Systems UW-CSE-95-08-03.d
Campbell, Meg
2015-09-04 Contributing During the Commute: Why Transit Riders Submit Information About Bus Stops with StopInfo UW-CSE-15-09-04.pdf
Campos, Jose
2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf
Cano, Ignacio
2018-09-04 ADARES: Adaptive Resource Management for Virtual Machines UW-CSE-18-09-04.pdf
Cao, Pei
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
Capell, Steve
2002-04-02 A Multiresolution Framework for Dynamic Deformations UW-CSE-02-04-02.pdf
Cardwell, Neal
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Cary, Matthew
2004-10-04 Floodlight Illumination of Infinite Wedges UW-CSE-04-10-04.pdf
2005-04-02 On the Hardness of Embeddings Between Two Finite Metrics UW-CSE-05-04-02.pdf
Cascaval, Calin
2012-09-02 Automatic Discovery of Performance and Energy Pitfalls in HTML and CSS UW-CSE-12-09-02.PDF
Castro-Karney, Bruno
2019-10-01 A note on verifying information flow control systems with Nickel UW-CSE-19-10-01.pdf
Ceze, Luis
2008-05-01 DMP: Deterministic Shared Memory Multiprocessing UW-CSE-08-05-01.PDF
2009-05-02 Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs UW-CSE-09-05-02.PDF
2009-07-04 Conflict Exceptions: Providing Simple Parallel Language Semantics with Precise Hardware Exceptions UW-CSE-09-07-04.PDF
2012-04-01 RADISH: Always-On Sound and Complete Race Detection in Software and Hardware UW-CSE-12-04-01.PDF
2012-07-02 Quality of Service Profiling and Autotuning for Energy-Aware Approximate Programming UW-CSE-12-07-02.PDF
2012-09-02 Automatic Discovery of Performance and Energy Pitfalls in HTML and CSS UW-CSE-12-09-02.PDF
2013-08-01 Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts UW-CSE-13-08-01.PDF
2014-02-01 Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications UW-CSE-14-02-01.PDF
2014-03-01 Dynamic Analysis of Aproximate Program Quality UW-CSE-14-03-01.PDF
2014-03-02 Probabilistic Assertions: Extended Semantics and Proof UW-CSE-14-03-02.PDF
2014-05-01 Approximate Computing on Programmable SoCs via Neural Acceleration UW-CSE-14-05-01.PDF
2014-10-01 Radish: Compiling Efficient Query Plans for Distributed Shared Memory UW-CSE-14-10-01.pdf
2015-01-01 ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing UW-CSE-15-01-01.pdf
2016-03-01 A Taxonomy of Approximate Computing Techniques UW-CSE-16-03-01.pdf
2016-05-01 Paperscope: Chronicling the History of Computer Architecture Research UW-CSE-16-05-01.pdf
2016-06-01 Disciplined Inconsistency UW-CSE-16-06-01.pdf
2017-03-02 QAPPA: A Framework for Navigating Quality-Energy Tradeoffs with Arbitrary Quantization UW-CSE-17-03-02.pdf
2017-05-01 MATIC: Adaptation and In-Situ Canaries for Energy-Efficient Neural Network Acceleration UW-CSE-17-05-01.pdf
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
Chamberlain, Bradford L.
1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf
1997-04-04 A Compiler Abstraction for Machine Independent Parallel Communication Generation UW-CSE-97-04-04.pdf
1997-12-02 ZPLs WYSIWYG Performance Model UW-CSE-97-12-02.pdf
1998-10-02 Regions: An Abstraction for Expressing Array Computation UW-CSE-98-10-02.pdf
1998-11-01 A Region-based Approach for Sparse Parallel Computing UW-CSE-98-11-01.pdf
1998-11-02 Array Language Support for Wavefront and Pipelined Computations UW-CSE-98-11-02.pdf
2005-11-01 On the Sensitivity of Parallel Programming Languages to the Number and Arrangement of Processors UW-CSE-05-11-01.pdf
Chamberlain
1995-05-02 Fast Rendering of Complex Environments Using a Spatial Hierarchy UW-CSE-95-05-02.d
1998-10-03 Graph Partitioning Algorithms for Distributing Workloads of Parallel Computations UW-CSE-98-10-03.d
Chambers, Craig
1993-03-05 The Cecil Language: Specification and Rational UW-CSE-93-03-05.pdf
1993-05-05 Training Compilers to Make Better Inlining Decisions UW-CSE-93-05-05.pdf
1994-02-05 Identifying Profitable Specialization in Object-Oriented Languages UW-CSE-94-02-05.pdf
1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf
1994-03-05 Measurement and Application of Dynamic Receiver Class Distributions UW-CSE-94-03-05.pdf
1994-09-07 A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies UW-CSE-94-09-07.pdf
1994-12-01 Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis UW-CSE-94-12-01.pdf
1995-08-05 Typechecking and Modules for Multi-Methods UW-CSE-95-08-05.pdf
1996-06-02 Whole-Program Optimization of Object-Oriented Languages UW-CSE-96-06-02.pdf
1996-11-02 Frameworks for Intra- and Interprocedural Dataflow Analysis UW-CSE-96-11-02.pdf
1996-12-02 BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing UW-CSE-96-12-02.pdf
1997-03-03 DyC: An Expressive Annotation-Directed Dynamic Compiler for C UW-CSE-97-03-03.pdf
1997-07-02 Fast Interprocedural Class Analysis UW-CSE-97-07-02.pdf
1998-01-01 Constraint-Based Polymorphism in Cecil UW-CSE-98-01-01.pdf
1998-07-01 Modular Statically Typed Multimethods (Superceded by 99-03-02) (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/1999/03/UW-CSE-99-03-02.PS.Z
1998-12-02 Efficient Predicate Dispatching UW-CSE-98-12-02.pdf
1999-03-02 Modular Statically Typed Multimethods UW-CSE-99-03-02.pdf
2000-10-01 Comprehensive Synchronization Elimination for Java UW-CSE-00-10-01.pdf
2001-07-02 Modular Typechecking for Hierarchically Extensible Datatypes and Functions (Superceded by 02-07-05) UW-CSE-01-07-02.pdf
2001-11-01 Composing Dataflow Analyses and Transformations UW-CSE-01-11-01.pdf
2002-04-01 Architectural Reasoning in ArchJava UW-CSE-02-04-01.pdf
2002-07-05 Modular Typechecking for Hierarchically Extensible Datatypes and Functions UW-CSE-02-07-05.pdf
2002-11-01 Alias Annotations for Program Understanding UW-CSE-02-11-01.pdf
2002-11-02 Automatically Proving the Correctness of Compiler Optimizations UW-CSE-02-11-02.pdf
2002-11-03 Constraint-Bounded Polymorphism UW-CSE-02-11-03.d
2006-10-01 A Theory of Implementation-Dependent Low-Level Software UW-CSE-06-10-01.pdf
Chan, William
1996-04-02 Model Checking Large Software Specifications UW-CSE-96-04-02.pdf
1998-01-03 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements UW-CSE-98-01-03.pdf
1998-09-02 Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts UW-CSE-98-09-02.pdf
Chandra, Ramesh
2018-09-04 ADARES: Adaptive Resource Management for Virtual Machines UW-CSE-18-09-04.pdf
Chase, Jeffrey S.
1990-09-04 Dynamic Node Reconfiguration in a Parallel-Distributed Environment UW-CSE-90-09-04.pdf
1992-03-02 How to Use a 64-Bit Virtual Address Space UW-CSE-92-03-02.pdf
1992-03-09 Lightweight Shared Objects in a 64-Bit Operating System UW-CSE-92-03-09.pdf
1992-03-10 Architectural Support for Single Address Space Operating Systems UW-CSE-92-03-10.pdf
1993-02-03 User-Level Threads and Interprocess Communication UW-CSE-93-02-03.pdf
1993-04-02 Sharing and Protection in a Single Address Space Operating System UW-CSE-93-04-02.pdf
1994-09-12 Integrating Coherency and Recoverability in Distributed Systems UW-CSE-94-09-12.pdf
1995-08-06 An Operating System Structure for Wide-Address Architectures UW-CSE-95-08-06.pdf
Cheah, Chern
2018-09-04 ADARES: Adaptive Resource Management for Virtual Machines UW-CSE-18-09-04.pdf
Chen, Christine
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Chen, Ning
2005-10-01 How well can Priceline sell airline tickets? UW-CSE-05-10-01.pdf
Chen, Quanze
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Chen, Tianqi
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
2018-09-04 ADARES: Adaptive Resource Management for Virtual Machines UW-CSE-18-09-04.pdf
Chen, Tien-Fu
1992-06-03 Reducing memory latency via non-blocking and prefetching caches UW-CSE-92-06-03.pdf
1993-07-01 Data Prefetching for High-Performance Processors UW-CSE-93-07-01.pdf
Chen, Weimin
1998-12-02 Efficient Predicate Dispatching UW-CSE-98-12-02.pdf
Cheng, Raymond
2013-05-03 freedom.js: an Architecture for Serverless Web Applications UW-CSE-13-05-03.pdf
2013-11-01 Radiatus: Strong User Isolation for Scalable Web Applications UW-CSE-13-11-01.PDF
2013-11-05 SolocoRank: Using Social Signals for Local Place Quality UW-CSE-13-11-05.pdf
2014-06-01 Blocking-Resistant Network Services using Unblock UW-CSE-14-06-01.pdf
2016-11-01 Talek: a Private Publish-Subscribe Protocol UW-CSE-16-11-01.pdf
Chernievsky, Neva
2005-10-01 How well can Priceline sell airline tickets? UW-CSE-05-10-01.pdf
2007-05-02 Grammar-based Compression of DNA Sequences UW-CSE-07-05-02.pdf
Cheung, Alvin
2016-02-01 Leveraging Lock Contention to Improve OLTP Application Performance UW-CSE-16-02-01.pdf
2018-01-02 Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications UW-CSE-18-01-02.pdf
Cheung, Cherie
2007-10-01 The organization and sharing of Web-service objects with Menagerie UW-CSE-07-10-01.pdf
Chevalier, Aline
2002-10-01 A Study of Automated Web Site Evaluation Tools UW-CSE-02-10-01.pdf
Chilton, Lydia
2012-11-02 Cascade: Crowdscourcing Taxonomy Criteria UW-CSE-12-11-02.PDF
Chinn, Donald D.
1992-12-01 Bounds on Sample Space Size for Matrix Product Verification UW-CSE-92-12-01.pdf
1994-07-03 Minimal Adaptive Routing on the Mesh with Bounded Queue Size UW-CSE-94-07-03.pdf
1995-03-06 Packet Routing in Multiprocessor Networks UW-CSE-95-03-06.pdf
Choi, Sung-Eun
1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf
1995-11-06 An Overview of Compiler Techniques for Interprocedural Array Section Analysis UW-CSE-95-11-06.pdf
1997-04-04 A Compiler Abstraction for Machine Independent Parallel Communication Generation UW-CSE-97-04-04.pdf
1997-04-05 Quantifying the Effects of Communication Optimizations UW-CSE-97-04-05.pdf
1997-12-02 ZPLs WYSIWYG Performance Model UW-CSE-97-12-02.pdf
Chou, Pai
1994-09-04 Scheduling Issues in the Co-Synthesis of Reactive Real-Time Systems UW-CSE-94-09-04.pdf
1995-03-04 The Chinook Hardware/Software Co-Synthesis System UW-CSE-95-03-04.pdf
Chow, Kingsum
1996-03-01 Semi-automatic Update of Applications in Response to Library Changes UW-CSE-96-03-01.pdf
Christensen, Per H.
1994-10-01 Global Illumination of Glossy Environments using Wavelets and Importance UW-CSE-94-10-01.pdf
Christensen, Per Henrik
1995-07-04 Hierarchical Techniques for Glossy Global Illumination UW-CSE-95-07-04.pdf
Christensen
1994-01-05 Importance-Driven Wavelet Radiance (Preempted by TR 94-10-01) (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/1994/10/UW-CSE-94-10-01.PS.Z
1995-01-07 Clustering for Glossy Global Illumination UW-CSE-95-01-07.d
Chuang, Yung-Yu
2004-04-02 Animating Pictures with Stochastic Motion Textures UW-CSE-04-04-02.pdf
Chung, Michael Jae-Yoon
2013-11-04 A Developmental Approach to Goal-Based Imitation Learning in Robots UW-CSE-13-11-04.PDF
2016-10-02 Autonomous Question Answering with Mobile Robots in Human-Populated Environments UW-CSE-16-10-02.pdf
Cmelik, Robert F.
1993-06-06 Shade: A Fast Instruction-Set Simulator for Execution Profiling UW-CSE-93-06-06.pdf
Cockrell
1998-08-03 Dynamically Discovering Likely Program Invariants to Support Program Evolution (Technical Report Withdrawn) Superceded by: http://www.cs.washington.edu/homes/mernst/pubs/invariants-icse99.ps
Cohen, Michael
1997-04-01 View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data UW-CSE-97-04-01.pdf
2007-04-02 Changes in Webpage Structure over Time UW-CSE-07-04-02.pdf
2007-04-03 Relations, Cards, and Search Templates: UserGuided Web Data Integration and Layout UW-CSE-07-04-03.pdf
2008-04-01 Enhancing and Experiencing Spacetime Resolution with Videos and Stills UW-CSE-08-04-01.pdf
2008-06-02 A Perceptually-Motivated Optimization-Framework for Image and Video Processing UW-CSE-08-06-02.PDF
2009-03-02 A Consistent Segmentation Approach to Image-based Rendering UW-CSE-09-03-02.PDF
Cohen, Paul
1993-06-05 Benchmarks, Testbeds, Controlled Experimentation, and the Design of Agent Architectures UW-CSE-93-06-05.pdf
Cohen
2002-12-07 Tiling Layered Depth Images (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/2004/06/UW-CSE-04-06-06.pdf
Cohn, David
1992-12-08 Theory and Practice of Vector Quantizers Trained on Small Training Sets UW-CSE-92-12-08.pdf
Colburn, Alex
2009-03-02 A Consistent Segmentation Approach to Image-based Rendering UW-CSE-09-03-02.PDF
Collins, Andy
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Colwell, Brien
2008-10-03 A Study of Early Stage Game Design and Prototyping UW-CSE-08-10-03.PDF
Condon, Anne
1993-10-02 Complexity of Sub-Bus Mesh Computations UW-CSE-93-10-02.pdf
Connolly, Andrew
2015-06-01 Efficient Iterative Processing in the SciDB Parallel Array Engine UW-CSE-15-06-01.pdf
Connolly, Andrew J
2011-04-03 Towards Efficient and Precise Queries Over Ten Million Asteroid Trajectory Models UW-CSE-11-04-03.PDF
Craig, Travis S.
1993-02-02 Building FIFO and Priority-Queuing Spin Locks from Atomic Swap UW-CSE-93-02-02.pdf
Cronquist, Darren C.
1995-03-01 Simultaneous Place and Route for Wire-Constrained FPGAs UW-CSE-95-03-01.pdf
1996-11-03 RaPiD - A Configurable Computing Architecture for Compute-Intensive Applications UW-CSE-96-11-03.pdf
Culler, David E.
1998-08-01 SPINE: An Operating System for Intelligent Network Adapters UW-CSE-98-08-01.pdf
Curless, Brian
2001-10-02 View-dependent Refinement of Multiresolution Meshes with Subdivision Connectivity UW-CSE-01-10-02.pdf
2002-04-02 A Multiresolution Framework for Dynamic Deformations UW-CSE-02-04-02.pdf
2004-04-02 Animating Pictures with Stochastic Motion Textures UW-CSE-04-04-02.pdf
2004-05-03 Shape and Spatially-Varying BRDFs From Photometric Stereo UW-CSE-04-05-03.pdf
2007-04-01 Interactive Video Object Annotation UW-CSE-07-04-01.pdf
2008-04-01 Enhancing and Experiencing Spacetime Resolution with Videos and Stills UW-CSE-08-04-01.pdf
2008-06-02 A Perceptually-Motivated Optimization-Framework for Image and Video Processing UW-CSE-08-06-02.PDF
2009-03-02 A Consistent Segmentation Approach to Image-based Rendering UW-CSE-09-03-02.PDF
Czeskis, Alexei
2009-01-02 The International Criminal Tribunal for Rwanda Information Heritage Project (aka Voices of the Rwanda Tribunal): Integrity Verification Arhcitecture UW-CSE-09-01-02.PDF
2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF
2017-06-01 The Transfer Access Protocol - Moving to New Authenticators in the FIDO Ecosystem UW-CSE-17-06-01.pdf
Dahlin, Michael
1998-10-04 Active Names: Programmable Location and Transport of Wide-Area Resources UW-CSE-98-10-04.pdf
Dahlquist, Bradley
2002-07-02 Touch-Aware Communication for Portable Devices UW-CSE-02-07-02.pdf
Dalvi, Nilesh
2004-01-01 Indexing Heterogeneous Data UW-CSE-04-01-01.pdf
2004-03-04 Efficient Query Evaluation on Probabilistic Databases UW-CSE-04-03-04.pdf
2004-06-05 Probabilistic Methods For Querying Global Information Systems UW-CSE-04-06-05.pdf
2005-06-03 Probabilistic Query Answering Using Views UW-CSE-05-06-03.pdf
2010-03-02 Computing Query Probability with Incidence Algebras UW-CSE-10-03-02.PDF
Davis, K M
2006-10-02 A Study of Digital Ink Student Artifacts to Inform the Scaling of a Classroom Interaction System UW-CSE-06-10-02.pdf
Davis, Richard C.
2008-10-03 A Study of Early Stage Game Design and Prototyping UW-CSE-08-10-03.PDF
Dean, Jeffrey
1993-05-05 Training Compilers to Make Better Inlining Decisions UW-CSE-93-05-05.pdf
1994-02-05 Identifying Profitable Specialization in Object-Oriented Languages UW-CSE-94-02-05.pdf
1994-03-05 Measurement and Application of Dynamic Receiver Class Distributions UW-CSE-94-03-05.pdf
1994-09-07 A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies UW-CSE-94-09-07.pdf
1994-12-01 Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis UW-CSE-94-12-01.pdf
1996-06-02 Whole-Program Optimization of Object-Oriented Languages UW-CSE-96-06-02.pdf
1996-11-02 Frameworks for Intra- and Interprocedural Dataflow Analysis UW-CSE-96-11-02.pdf
Dean
1996-11-05 Whole-Program Optimization of Object-Oriented Languages UW-CSE-96-11-05.PS.gz
DeFouw, Greg
1997-07-02 Fast Interprocedural Class Analysis UW-CSE-97-07-02.pdf
Deisenroth, Marc Peter
2010-06-01 A Practical and Conceptual Framework for Learning in Control UW-CSE-10-06-01.PDF
Deitz, Steven J.
2003-12-04 Renewed Hope for Data Parallelism: Unintegrated Support for Task Parallelism in ZPL UW-CSE-03-12-04.pdf
2005-11-01 On the Sensitivity of Parallel Programming Languages to the Number and Arrangement of Processors UW-CSE-05-11-01.pdf
Delrow, Jeff
2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf
Denning, Tamara
2009-09-03 PANCAKE: A Central Management Authority for Coordinating a Personal Area Network and Controlling External Access UW-CSE-09-09-03.PDF
2012-07-01 Control-Alt-Hack(TM): A Card Game for Computer Security Outreach, Education, and Fun UW-CSE-12-07-01.PDF
DeRose, Tony
1993-01-01 Mesh Optimization UW-CSE-93-01-01.pdf
DeRose, Tony D.
1987-08-07 The Triangle: A Multiprocessor Architecture for Fast Curve and Surface Generation UW-CSE-87-08-07.PDF
1989-09-16 Coordinate-Free Geometric Programming UW-CSE-89-09-16.PDF
1991-12-03 Surface Reconstruction from Unorganized Points UW-CSE-91-12-03.d
1993-10-05 Multiresolution Analysis for Surfaces of Arbitrary Topological Type UW-CSE-93-10-05.pdf
1994-01-01 Piecewise Smooth Surface Reconstruction UW-CSE-94-01-01.d
1994-01-05 Importance-Driven Wavelet Radiance (Preempted by TR 94-10-01) (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/1994/10/UW-CSE-94-10-01.PS.Z
1994-09-11 Wavelets for Computer Graphics: A Primer UW-CSE-94-09-11.pdf
1994-10-01 Global Illumination of Glossy Environments using Wavelets and Importance UW-CSE-94-10-01.pdf
1995-01-02 Multiresolution Analysis of Arbitrary Meshes UW-CSE-95-01-02.d
1995-05-02 Fast Rendering of Complex Environments Using a Spatial Hierarchy UW-CSE-95-05-02.d
1996-01-06 Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments UW-CSE-96-01-06.d
Detwiler, Landon
2008-06-03 Integrating and Ranking Uncertain Scientic Data UW-CSE-08-06-03.pdf
Deussen, Oliver
2008-04-01 Enhancing and Experiencing Spacetime Resolution with Videos and Stills UW-CSE-08-04-01.pdf
Devietti, Joseph
2008-05-01 DMP: Deterministic Shared Memory Multiprocessing UW-CSE-08-05-01.PDF
2009-05-02 Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs UW-CSE-09-05-02.PDF
2012-04-01 RADISH: Always-On Sound and Complete Race Detection in Software and Hardware UW-CSE-12-04-01.PDF
Dietl, Werner
2013-04-01 JavaUI: Effects for Controlling UI Object Access (Extended Version) UW-CSE-13-04-01.PDF
2015-05-01 Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents UW-CSE-15-05-01.pdf
2015-08-01 Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version) UW-CSE-15-08-01.pdf
Dietl, Werner M.
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
Dion, David
1996-11-01 A User-Level Unix Server for the SPIN Operating System UW-CSE-96-11-01.pdf
DiVerdi, Stephen
2018-10-01 Comparing Spatial Interaction Modalities for 2D-Widgets in Productivity Applications in Virtual Reality UW-CSE-18-10-01.pdf
Dixon, Colin
2006-11-01 LiveSwarms: Adapting BitTorrent for end host multicast UW-CSE-06-11-01.pdf
Domingos, Pedro
2000-01-02 A Uni ed Bias-Variance Decomposition UW-CSE-00-01-02.pdf
2003-02-04 Building large knowledge bases by mass collaboration UW-CSE-03-02-04.pdf
2003-02-05 Building the Semantic Web by Mass Collaboration UW-CSE-03-02-05.pdf
Dong, Xin
2003-12-05 Containment of Nested XML Queries UW-CSE-03-12-05.pdf
2006-06-03 Answering Structured Queries on Unstructured Data UW-CSE-06-06-03.pdf
Dontcheva, Mira
2004-05-04 How to Resolve IP Aliases UW-CSE-04-05-04.pdf
2007-04-02 Changes in Webpage Structure over Time UW-CSE-07-04-02.pdf
2007-04-03 Relations, Cards, and Search Templates: UserGuided Web Data Integration and Layout UW-CSE-07-04-03.pdf
2008-04-01 Enhancing and Experiencing Spacetime Resolution with Videos and Stills UW-CSE-08-04-01.pdf
Doorenbos, Robert B.
1996-01-03 A Scalable Comparison-Shopping Agent for the World-Wide Web UW-CSE-96-01-03.pdf
Downey, Doug
2004-05-01 Learning Text Patterns for Web Information Extraction and Assessment UW-CSE-04-05-01.pdf
Drapeau, Ryan
2015-09-04 Contributing During the Commute: Why Transit Riders Submit Information About Bus Stops with StopInfo UW-CSE-15-09-04.pdf
Draper, Denise
1993-12-04 Probabilistic Planning with Information Gathering and Contingent Execution UW-CSE-93-12-04.pdf
Drucker, Steven
2007-04-02 Changes in Webpage Structure over Time UW-CSE-07-04-02.pdf
2007-04-03 Relations, Cards, and Search Templates: UserGuided Web Data Integration and Layout UW-CSE-07-04-03.pdf
Du, Hao
2009-09-02 Multi-Paxos: An Implementation and Evaluation UW-CSE-09-09-02.PDF
2011-02-02 Interactive Dense 3D Modeling of Indoor Environments UW-CSE-11-02-02.PDF
Duchamp, Tom
1993-01-01 Mesh Optimization UW-CSE-93-01-01.pdf
1997-04-01 View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data UW-CSE-97-04-01.pdf
2001-10-02 View-dependent Refinement of Multiresolution Meshes with Subdivision Connectivity UW-CSE-01-10-02.pdf
2002-04-02 A Multiresolution Framework for Dynamic Deformations UW-CSE-02-04-02.pdf
Duchamp
1991-12-03 Surface Reconstruction from Unorganized Points UW-CSE-91-12-03.d
1994-01-01 Piecewise Smooth Surface Reconstruction UW-CSE-94-01-01.d
1995-01-02 Multiresolution Analysis of Arbitrary Meshes UW-CSE-95-01-02.d
Dymond, Patrick W.
1993-03-06 Pointers versus Arithmetic in PRAMs UW-CSE-93-03-06.pdf
Dymond
1997-02-03 Parallel RAMs with Owned Global Memory and Deterministic Context-Free Language Recognition UW-CSE-97-02-03.PS.Z
Eager, Derek L.
1992-04-04 A Performance Analysis of Network I/O in Shared-Memory Multiprocessors UW-CSE-92-04-04.PDF
Ebeling, Carl
1992-08-01 MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging UW-CSE-92-08-01.pdf
1992-10-08 The UW MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging UW-CSE-92-10-08.pdf
1993-05-03 The Practical Application of Retiming to the Design of High-Performance Systems UW-CSE-93-05-03.pdf
1993-05-04 Minimizing the Effect of Clock Skew Via Circuit Retiming UW-CSE-93-05-04.pdf
1994-06-02 Experiences with the UWTester in Computer Science and Engineering Education UW-CSE-94-06-02.pdf
1995-04-04 Achieving High-Latency, Low-Bandwidth Communication: Logic Emulation Interfaces UW-CSE-95-04-04.pdf
1996-11-03 RaPiD - A Configurable Computing Architecture for Compute-Intensive Applications UW-CSE-96-11-03.pdf
2002-06-01 Compiling to Coarse-Grained Adaptable Architectures UW-CSE-02-06-01.pdf
2002-06-02 The General Rapid Architecture Description UW-CSE-02-06-02.pdf
2002-07-06 RaPiD-C Manual UW-CSE-02-07-06.pdf
Ebeling
1991-10-01 Optimal Retiming of Multi-Phase Level-Clocked Circuits UW-CSE-91-10-01.PS.Z
1992-10-07 Practical Issues in Retiming Latch-Based Circuits (Superceded by 93-05-03 and 93-05-04) (Technical Report Withdrawn)
Eck
1995-01-02 Multiresolution Analysis of Arbitrary Meshes UW-CSE-95-01-02.d
Edge, Darren
2012-11-02 Cascade: Crowdscourcing Taxonomy Criteria UW-CSE-12-11-02.PDF
Effinger-Dean, Laura
2011-02-01 Modular Metatheory for Memory Consistency Models UW-CSE-11-02-01.PDF
Eggers, Susan
1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf
2000-04-02 Thread-Sensitive Scheduling for SMT Processors UW-CSE-00-04-02.pdf
Eggers, Susan J.
1991-11-04 A Case for Runtime Code Generation UW-CSE-91-11-04.pdf
1992-03-10 Architectural Support for Single Address Space Operating Systems UW-CSE-92-03-10.pdf
1993-10-04 Impact of Sharing-Based Thread Placement on Multithreaded Architectures UW-CSE-93-10-04.pdf
1993-11-02 Evaluating Runtime-Compiled Value-Specific Optimizations UW-CSE-93-11-02.pdf
1994-09-01 The PRESTO Application Suite UW-CSE-94-09-01.pdf
1994-09-05 Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations UW-CSE-94-09-05.pdf
1997-03-03 DyC: An Expressive Annotation-Directed Dynamic Compiler for C UW-CSE-97-03-03.pdf
1997-04-02 Simultaneous Multithreading: A Platform for Next-Generation Processors UW-CSE-97-04-02.pdf
1997-12-01 Software-Directed Register Deallocation for Simultaneous Multithreaded Processors UW-CSE-97-12-01.pdf
1998-06-02 Supporting Fine-Grained Synchronization on a Simultaneous Multithreaded Processor UW-CSE-98-06-02.pdf
2000-10-01 Comprehensive Synchronization Elimination for Java UW-CSE-00-10-01.pdf
Ellenbogen, Paul
2013-11-01 Radiatus: Strong User Isolation for Scalable Web Applications UW-CSE-13-11-01.PDF
Emer, Joel
1997-04-02 Simultaneous Multithreading: A Platform for Next-Generation Processors UW-CSE-97-04-02.pdf
Enright Jerger, Natalie
2016-03-01 A Taxonomy of Approximate Computing Techniques UW-CSE-16-03-01.pdf
Epstein, Daniel A.
2013-06-01 A Fine-Grained Sharing of Sensed Physical Activity: A Value Sensitive Approach UW-CSE-13-06-01.PDF
Erickson, K. Bruce
1994-09-02 Optimizing Static Calendar Queues UW-CSE-94-09-02.pdf
Ernst, Michael
2021-02-01 Verifying Determinism in Sequential Programs (Extended Version) UW-CSE-21-02-01.pdf
Ernst, Michael D.
1997-04-06 An Empirical Analysis of C Preprocessor Use UW-CSE-97-04-06.pdf
1998-08-03 Dynamically Discovering Likely Program Invariants to Support Program Evolution (Technical Report Withdrawn) Superceded by: http://www.cs.washington.edu/homes/mernst/pubs/invariants-icse99.ps
2010-02-01 Inference of Field Initialization UW-CSE-10-02-01.PDF
2010-03-01 Speculative Identification of Merge Conflicts and Non-Conflicts UW-CSE-10-03-01.PDF
2011-05-02 CBCD: Cloned Buggy Code Detector UW-CSE-11-05-02.PDF
2011-10-01 Static Lock Capabilities for Deadlock Freedom UW-CSE-11-10-01.PDF
2013-03-01 Unifying FSM-Inference Algorithms through Declarative Specification UW-CSE-13-03-01.PDF
2013-03-02 Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version) UW-CSE-13-03-02.PDF
2013-04-01 JavaUI: Effects for Controlling UI Object Access (Extended Version) UW-CSE-13-04-01.PDF
2014-01-01 Empirically Revisting the Test Independence Assumption UW-CSE-14-01-01.PDF
2014-02-02 Are mutants a valid substitute for real faults in software testing? UW-CSE-14-02-02.PDF
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
2015-03-01 When Tests Collide: Evaluating and Coping with the Impact of Test Dependence UW-CSE-15-03-01.pdf
2015-05-01 Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents UW-CSE-15-05-01.pdf
2015-08-01 Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version) UW-CSE-15-08-01.pdf
2015-09-01 Semantics for Locking Specifications UW-CSE-15-09-01.pdf
2015-09-02 Locking discipline inference and checking UW-CSE-15-09-02.pdf
2015-09-03 Boolean Formulas for the Static Identification of Injection Attacks in Java UW-CSE-15-09-03.pdf
2016-01-01 Bagpipe: Verified BGP Configuration Checking UW-CSE-16-01-01.pdf
2016-08-01 Formal Semantics & Verification for the Border Gateway Protocol UW-CSE-16-08-01.pdf
2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf
2016-11-02 SpaceSearch: A Library for Building and Verifying Solver-Aided Tools UW-CSE-16-11-02.pdf
2017-03-01 Program Synthesis from Natural Language Using Recurrent Neural Networks UW-CSE-17-03-01.pdf
2024-09-01 Evaluation of Version Control Merge Tools (Appendix) UW-CSE-24-09-01.pdf
Esmaeilzadeh, Hadi
2014-05-01 Approximate Computing on Programmable SoCs via Neural Acceleration UW-CSE-14-05-01.PDF
Etzioni, Oren
1991-09-02 A Structural Theory of Explanation-Based Learning UW-CSE-91-09-02.pdf
1992-04-01 Acquiring Search-Control Knowledge via Static Analysis UW-CSE-92-04-01.pdf
1993-04-04 OS Agents: Using AI Techniques in the Operating System Environment UW-CSE-93-04-04.pdf
1993-09-01 Building Softbots for UNIX (preliminary report) UW-CSE-93-09-01.pdf
1995-02-02 Sound and Efficient Closed-World Reasoning for Planning UW-CSE-95-02-02.pdf
1996-01-03 A Scalable Comparison-Shopping Agent for the World-Wide Web UW-CSE-96-01-03.pdf
1997-03-01 Adaptive Sites: Automatically Learning from User Access Patterns UW-CSE-97-03-01.pdf
1998-02-01 Privacy Interfaces for Information Management UW-CSE-98-02-01.pdf
1998-06-01 Experiments with Collaborative Index Enhancement UW-CSE-98-06-01.pdf
2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf
2004-05-01 Learning Text Patterns for Web Information Extraction and Assessment UW-CSE-04-05-01.pdf
2006-04-02 Relational Web Search UW-CSE-06-04-02.pdf
2009-04-02 Evaluating Lemmatic Communication UW-CSE-09-04-02.PDF
2013-12-02 "Out of the Box" Information Extraction: a Case Study using Bio-Medical Texts UW-CSE-13-12-02.PDF
Evans II, James
1996-07-03 Reducing Network Latency Using Subpages in a Global Memory Environment UW-CSE-96-07-03.pdf
Everitt, Katherine
2009-04-02 Evaluating Lemmatic Communication UW-CSE-09-04-02.PDF
Faglia, Giovanni
1992-09-01 Double Exponential Inseparability Of Robinson Subsystem Q+ From the Unsatisfiable Sentences In The Language Of Addition UW-CSE-92-09-01.pdf
Fasulo, Daniel
2001-03-02 An Analysis of Recent Work on Clustering Algorithms UW-CSE-01-03-02.pdf
Featherman, Ryan
2024-09-01 Evaluation of Version Control Merge Tools (Appendix) UW-CSE-24-09-01.pdf
Feeley, Michael J.
1990-09-04 Dynamic Node Reconfiguration in a Parallel-Distributed Environment UW-CSE-90-09-04.pdf
1992-03-01 Distributed Shared Memory with Versioned Objects UW-CSE-92-03-01.pdf
1993-02-03 User-Level Threads and Interprocess Communication UW-CSE-93-02-03.pdf
1993-04-02 Sharing and Protection in a Single Address Space Operating System UW-CSE-93-04-02.pdf
1994-09-12 Integrating Coherency and Recoverability in Distributed Systems UW-CSE-94-09-12.pdf
1995-08-07 Implementing Global Memory Management in a Workstation Cluster UW-CSE-95-08-07.pdf
1996-07-03 Reducing Network Latency Using Subpages in a Global Memory Environment UW-CSE-96-07-03.pdf
Felten, Edward
2000-12-02 Informed Consent Online: A Conceptual Model and Design Principles UW-CSE-00-12-02.pdf
2000-12-03 Cookies and Web Browser Design: Toward Realizing Informed Consent Online UW-CSE-00-12-03.pdf
Felten, Edward W.
1991-03-09 Issues in the implementation of a Remote Paging System UW-CSE-91-03-09.pdf
1992-03-11 The Case for Application-Specific Communication Protocols UW-CSE-92-03-11.pdf
1992-09-07 Improving the Performance of Message-Passing Applications by Multithreading UW-CSE-92-09-07.pdf
1992-11-02 Improving Cache Performance by Eliminating Transfers of Dead Data UW-CSE-92-11-02.pdf
1993-04-09 Building Counting Networks from Larger Balancers UW-CSE-93-04-09.pdf
1993-09-09 Protocol Compilation: High Performance Communication for Parallel Programs UW-CSE-93-09-09.pdf
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
Fich, Faith
1997-09-02 On Searching Sorted Lists: A Near Optimal Lower Bound UW-CSE-97-09-02.pdf
Fich, Faith E.
1993-03-06 Pointers versus Arithmetic in PRAMs UW-CSE-93-03-06.pdf
Finkelstein, Adam
1994-01-06 Multiresolution Curves UW-CSE-94-01-06b.pdf
Finkelstein
1995-01-06 Fast Multiresolution Image Querying UW-CSE-95-01-06.d
1996-01-01 Multiresolution Video UW-CSE-96-01-01.d
Fischer, Michael J.
1979-06-08 Data Structures for Efficient Implementation of Sticky Pointers in Text Editors UW-CSE-79-06-08.PDF
Fisher, Chris
1996-11-03 RaPiD - A Configurable Computing Architecture for Compute-Intensive Applications UW-CSE-96-11-03.pdf
Fiuczynski, Marc E.
1998-08-01 SPINE: An Operating System for Intelligent Network Adapters UW-CSE-98-08-01.pdf
Fix, James D.
1994-11-01 Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array UW-CSE-94-11-01.pdf
1996-09-02 Sorting by Parallel Insertion on a One-Dimensional Sub-Bus Array UW-CSE-96-09-02.pdf
Floyd, Benjamin
2016-09-01 Combining Bug Detection and Test Case Generation UW-CSE-16-09-01.pdf
Fogarty, James
2008-04-02 iLearn on the iPhone: Real-Time Human Activity Classification on Commodity Mobile Phones UW-CSE-08-04-02.PDF
2012-11-01 Crowd-Logic: Implementing and Optimizing Human Computation Algorithms using Logic Programming UW-CSE-12-11-01.PDF
2013-06-01 A Fine-Grained Sharing of Sensed Physical Activity: A Value Sensitive Approach UW-CSE-13-06-01.PDF
Foncesa, Pedro
2018-09-04 ADARES: Adaptive Resource Management for Virtual Machines UW-CSE-18-09-04.pdf
Forbush, Lesley
2002-10-02 Name that Link: Intelligent Link Anchor Generation UW-CSE-02-10-02.pdf
Forman, George
1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf
Forman, George H.
1993-11-03 The Challenges of Mobile Computing UW-CSE-93-11-03.pdf
1998-01-05 Obtaining Responsiveness in Resource-Variable Environments UW-CSE-98-01-05.pdf
Forrest, Stephanie
2016-09-01 Combining Bug Detection and Test Case Generation UW-CSE-16-09-01.pdf
Fox, Dieter
2001-08-02 KLD-Sampling: Adaptive Particle Filters and Mobile Robot Localization UW-CSE-01-08-02.pdf
2003-07-01 The Location Stack UW-CSE-03-07-01.pdf
2011-02-02 Interactive Dense 3D Modeling of Indoor Environments UW-CSE-11-02-02.PDF
2013-05-01 Toward Unconstrained Gesture and Language Interfaces UW-CSE-13-05-01.PDF
2013-11-04 A Developmental Approach to Goal-Based Imitation Learning in Robots UW-CSE-13-11-04.PDF
2014-05-03 Autonomous Scene Exploration with RGB-D Cameras UW-CSE-14-05-03.PDF
2016-10-02 Autonomous Question Answering with Mobile Robots in Human-Populated Environments UW-CSE-16-10-02.pdf
Fraley, Chris
2001-04-02 Model-based Clustering and Data Transformations for Gene Expression Data UW-CSE-01-04-02.pdf
Franklin, Paul
1996-11-03 RaPiD - A Configurable Computing Architecture for Compute-Intensive Applications UW-CSE-96-11-03.pdf
Fraser, Gordon
2014-02-02 Are mutants a valid substitute for real faults in software testing? UW-CSE-14-02-02.PDF
2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf
Freeman-Benson, Bjorn
1992-07-05 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm UW-CSE-92-07-05a.pdf
1993-09-04 Kaleidoscope: A Constraint Imperative Programming Language UW-CSE-93-09-04.pdf
1994-03-07 Constraints and Object Identity UW-CSE-94-03-07.pdf
1994-07-07 Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine UW-CSE-94-07-07.pdf
1996-05-01 The Indigo Algorithm UW-CSE-96-05-01.pdf
Freier, Nathan G.
2003-04-03 Coding Manual for Children's Interactions with Aibo, the Robotic Dog - The Preschool Study UW-CSE-03-04-03.pdf
Friedman, Batya
2000-12-02 Informed Consent Online: A Conceptual Model and Design Principles UW-CSE-00-12-02.pdf
2000-12-03 Cookies and Web Browser Design: Toward Realizing Informed Consent Online UW-CSE-00-12-03.pdf
2002-12-01 Value Sensitive Design: Theory and Methods UW-CSE-02-12-01.pdf
2003-04-03 Coding Manual for Children's Interactions with Aibo, the Robotic Dog - The Preschool Study UW-CSE-03-04-03.pdf
2009-01-02 The International Criminal Tribunal for Rwanda Information Heritage Project (aka Voices of the Rwanda Tribunal): Integrity Verification Arhcitecture UW-CSE-09-01-02.PDF
Friesen, Abe
2009-07-01 Toward A Progress Indicator for Parallel Queries UW-CSE-09-07-01.PDF
Froehlich, Jon
2008-04-02 iLearn on the iPhone: Real-Time Human Activity Classification on Commodity Mobile Phones UW-CSE-08-04-02.PDF
2009-02-01 Promoting Energy Efficient Behaviors in the Home through Feedback: The Role of Human-Computer Interaction UW-CSE-09-02-01.PDF
Fujioka, Emi
1998-09-03 Colt: A System for Developing Software that Supports Synchronous Collaborative Activities UW-CSE-98-09-03.pdf
Fulgham, Melanie L.
1993-06-01 A Study of Chaotic Routing with Nonuniform Traffic UW-CSE-93-06-01.pdf
1994-02-04 The Case for Chaotic Adaptive Routing UW-CSE-94-02-04.pdf
1996-01-11 Triplex Router: A Versatile Torus Routing Algorithm UW-CSE-96-01-11.pdf
1996-06-01 A Comparison of Input and Output Driven Routers UW-CSE-96-06-01.pdf
1997-11-02 Multicomputer Routing Techniques UW-CSE-97-11-02.pdf
Gardner, Jeffrey P.
2009-06-01 Scalable Clustering Algorithm for N-Body Simulations in a Shared-Nothing Cluster UW-CSE-09-06-01.PDF
Gardner, Paul
2011-08-01 New Directions for Self-Destructing Data Systems UW-CSE-11-08-01.PDF
Garrett, Charles D.
1994-03-05 Measurement and Application of Dynamic Receiver Class Distributions UW-CSE-94-03-05.pdf
Gatterbauer, Wolfgang
2008-06-03 Integrating and Ranking Uncertain Scientic Data UW-CSE-08-06-03.pdf
2008-12-01 Believe it or not: Adding belief annotations to databases UW-CSE-08-12-01.PDF
2009-12-01 Why so? or Why no? Functional Causality for Explaining Query Answers UW-CSE-09-12-01.PDF
2011-04-02 SQB: Session-based Query Browsing for More Effective Query Reuse UW-CSE-11-04-02.PDF
Gauthier, Paul
2004-01-03 Dealing with Cheaters in Anonymous Peer-to-Peer Networks UW-CSE-04-01-03.pdf
Geambasu, Roxana
2006-07-02 Capability-Based Access Control for Peer-to-Peer Data Sharing UW-CSE-06-07-02.pdf
2007-10-01 The organization and sharing of Web-service objects with Menagerie UW-CSE-07-10-01.pdf
2011-08-01 New Directions for Self-Destructing Data Systems UW-CSE-11-08-01.PDF
Gershony, Ori
1997-06-02 On the Effectiveness of Code Reordering Algorithms for theAlpha and IA32 Architectures UW-CSE-97-06-02.pdf
Gibson, Garth A.
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
Golden, Keith
1993-09-06 The UCPOP User's Manual UW-CSE-93-09-06.pdf
1995-02-02 Sound and Efficient Closed-World Reasoning for Planning UW-CSE-95-02-02.pdf
1997-11-05 Planning and Knowledge Representation for Softbots UW-CSE-97-11-05.pdf
Goldman, Dan B
2004-04-02 Animating Pictures with Stochastic Motion Textures UW-CSE-04-04-02.pdf
2004-05-03 Shape and Spatially-Varying BRDFs From Photometric Stereo UW-CSE-04-05-03.pdf
2007-04-01 Interactive Video Object Annotation UW-CSE-07-04-01.pdf
2011-02-02 Interactive Dense 3D Modeling of Indoor Environments UW-CSE-11-02-02.PDF
Goldstein, Jonathan
2019-12-01 Hercules: A Multi-View Cache for Real-Time Interactive Apps (TR Not Available On-Line)
Gordon, Colin S.
2011-10-01 Static Lock Capabilities for Deadlock Freedom UW-CSE-11-10-01.PDF
2013-03-02 Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version) UW-CSE-13-03-02.PDF
2013-04-01 JavaUI: Effects for Controlling UI Object Access (Extended Version) UW-CSE-13-04-01.PDF
Gorla, Alessandra
2012-03-04 Traffic Routing for Evaluating Self-Adaptation UW-CSE-12-03-04.PDF
Grant, Brian
1997-03-03 DyC: An Expressive Annotation-Directed Dynamic Compiler for C UW-CSE-97-03-03.pdf
Green, Seth
2002-04-02 A Multiresolution Framework for Dynamic Deformations UW-CSE-02-04-02.pdf
Greenlaw, Raymond
1991-05-01 A Compendium of Problems Complete for P UW-CSE-91-05-01.pdf
Gregory, Arthur J.
1998-09-01 Improving the Security, Scalability, Manageability and Performance of System Services for Network Computing UW-CSE-98-09-01.pdf
Grey, Nell Carden
2009-01-02 The International Criminal Tribunal for Rwanda Information Heritage Project (aka Voices of the Rwanda Tribunal): Integrity Verification Arhcitecture UW-CSE-09-01-02.PDF
Gribble, Steven D.
2001-06-02 A Measurement Study of Peer-To-Peer File Sharing Systems UW-CSE-01-06-02.pdf
2002-02-01 Denali: Lightweight Virtual Machines for Distributed and Networked Applications UW-CSE-02-02-01.pdf
2002-02-02 A Comparison of Large-Scale Overlay Management Techniques UW-CSE-02-02-02.pdf
2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf
2004-01-03 Dealing with Cheaters in Anonymous Peer-to-Peer Networks UW-CSE-04-01-03.pdf
2004-04-01 Managing Change in Large-Scale Data Sharing Systems UW-CSE-04-04-01.pdf
2006-07-02 Capability-Based Access Control for Peer-to-Peer Data Sharing UW-CSE-06-07-02.pdf
2007-10-01 The organization and sharing of Web-service objects with Menagerie UW-CSE-07-10-01.pdf
2007-12-01 Using Processes to Improve the Reliability of Browser-based Applications UW-CSE-07-12-01.pdf
2008-10-01 Studying Spamming Botnets Using Botlab UW-CSE-08-10-01.PDF
2014-04-01 Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency UW-CSE-14-04-01.PDF
Grimes, David B.
2002-09-03 A Bilinear Model for Sparse Coding UW-CSE-02-09-03.pdf
2003-06-02 The Trajectory Mixture Model for Learning Collections of Nonlinear unctions UW-CSE-03-06-02.pdf
2004-01-02 Bilinear Sparse Coding for Invariant Vision UW-CSE-04-01-02.pdf
2004-07-02 Probabilistic Gaze Imitation and Saliency UW-CSE-04-07-02.pdf
2005-01-01 A Bayesian Active Vision Architecture for Shared Attention UW-CSE-05-01-01.pdf
Grimes, D.B.
2003-06-01 Probabilistic Bilinear Models for Appearance-Based Vision UW-CSE-03-06-01.pdf
Grimm, Robert
1997-11-01 Access Control for Extensible Systems UW-CSE-97-11-01.pdf
1998-02-02 Providing Policy-Neutral and Transparent Access Control in Extensible Systems UW-CSE-98-02-02.pdf
1998-09-01 Improving the Security, Scalability, Manageability and Performance of System Services for Network Computing UW-CSE-98-09-01.pdf
2000-04-01 Revisiting Structured Storage: A Transactional Record Store UW-CSE-00-04-01.pdf
2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf
Griswold, William G.
1993-12-09 Abstractions for Portable, Scalable Parallel Programming UW-CSE-93-12-09.pdf
Griswold
1998-08-03 Dynamically Discovering Likely Program Invariants to Support Program Evolution (Technical Report Withdrawn) Superceded by: http://www.cs.washington.edu/homes/mernst/pubs/invariants-icse99.ps
Grochow, Keith
2005-06-02 Gaussian Process CCA for Image Synthesis and Robotic Imitation UW-CSE-05-06-02.pdf
Grossman, Dan
2004-07-03 Type Safety and Erasure Proofs for "A Type System for Coordinated Data Structures" UW-CSE-04-07-03.pdf
2006-04-01 Strong Atomicity for Java Without Virtual-Machine Support UW-CSE-06-04-01.pdf
2006-05-01 Strong Atomicity for Java Without Virtual-Machine Support UW-CSE-06-05-01.pdf
2006-10-01 A Theory of Implementation-Dependent Low-Level Software UW-CSE-06-10-01.pdf
2009-05-02 Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs UW-CSE-09-05-02.PDF
2009-07-01 Toward A Progress Indicator for Parallel Queries UW-CSE-09-07-01.PDF
2009-12-02 ParaTimer: A Progress Indicator for MapReduce DAGs UW-CSE-09-12-02.PDF
2011-02-01 Modular Metatheory for Memory Consistency Models UW-CSE-11-02-01.PDF
2011-10-01 Static Lock Capabilities for Deadlock Freedom UW-CSE-11-10-01.PDF
2012-04-01 RADISH: Always-On Sound and Complete Race Detection in Software and Hardware UW-CSE-12-04-01.PDF
2012-07-02 Quality of Service Profiling and Autotuning for Energy-Aware Approximate Programming UW-CSE-12-07-02.PDF
2012-08-01 A Measurement Study of Two Web-based Collaborative Visual Analytics Systems UW-CSE-12-08-01.PDF
2012-09-01 Toward Supporting the Data Enthusiast: Unlocking the Potential of Data for Analysis UW-CSE-12-09-01.PDF
2013-03-02 Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version) UW-CSE-13-03-02.PDF
2013-04-01 JavaUI: Effects for Controlling UI Object Access (Extended Version) UW-CSE-13-04-01.PDF
2013-04-02 Masses of Visualizations: An Analysis of Usage Patterns on Many Eyes and Tableau Public UW-CSE-13-04-02.PDF
2013-08-01 Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts UW-CSE-13-08-01.PDF
2014-03-01 Dynamic Analysis of Aproximate Program Quality UW-CSE-14-03-01.PDF
2014-03-02 Probabilistic Assertions: Extended Semantics and Proof UW-CSE-14-03-02.PDF
Grove, David
1994-02-05 Identifying Profitable Specialization in Object-Oriented Languages UW-CSE-94-02-05.pdf
1994-03-05 Measurement and Application of Dynamic Receiver Class Distributions UW-CSE-94-03-05.pdf
1994-09-07 A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies UW-CSE-94-09-07.pdf
1994-12-01 Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis UW-CSE-94-12-01.pdf
1996-06-02 Whole-Program Optimization of Object-Oriented Languages UW-CSE-96-06-02.pdf
1996-11-02 Frameworks for Intra- and Interprocedural Dataflow Analysis UW-CSE-96-11-02.pdf
1997-07-02 Fast Interprocedural Class Analysis UW-CSE-97-07-02.pdf
2001-11-01 Composing Dataflow Analyses and Transformations UW-CSE-01-11-01.pdf
Guestrin, Carlos
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
Gummadi, P. Krishna
2001-06-02 A Measurement Study of Peer-To-Peer File Sharing Systems UW-CSE-01-06-02.pdf
Gupta, Ankit
2008-04-01 Enhancing and Experiencing Spacetime Resolution with Videos and Stills UW-CSE-08-04-01.pdf
2013-11-04 A Developmental Approach to Goal-Based Imitation Learning in Robots UW-CSE-13-11-04.PDF
Gupta, Karan
2018-09-02 iPipe: A Framework for Building Datacenter Applications Using In-networking UW-CSE-18-09-02.pdf
2018-09-04 ADARES: Adaptive Resource Management for Virtual Machines UW-CSE-18-09-04.pdf
Gupta, Sidhant
2013-05-02 AirWave: Non-Contact Haptic Feedback Using Air Vortex Rings UW-CSE-13-05-02.PDF
Haddawy, Peter
1993-06-04 Utility Models for Goal-Directored Decision-Theoretic Planners UW-CSE-93-06-04.pdf
Halevy, Alon
2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf
2006-06-03 Answering Structured Queries on Unstructured Data UW-CSE-06-06-03.pdf
2012-08-01 A Measurement Study of Two Web-based Collaborative Visual Analytics Systems UW-CSE-12-08-01.PDF
Halevy, Alon Y.
2003-12-05 Containment of Nested XML Queries UW-CSE-03-12-05.pdf
2004-04-01 Managing Change in Large-Scale Data Sharing Systems UW-CSE-04-04-01.pdf
Halperin, Daniel
2012-09-05 F10: A Fault-Tolerant Engineered Network UW-CSE-12-09-05.PDF
2014-10-01 Radish: Compiling Efficient Query Plans for Distributed Shared Memory UW-CSE-14-10-01.pdf
Han, Seungyeop
2011-04-01 These Aren't the Droids You're Looking For: Retrofitting Android to Protect Data from Imperious Applications UW-CSE-11-04-01.PDF
2012-03-01 A Study of Third-Party Tracking by Mobile Apps in the Wild UW-CSE-12-03-01.PDF
2012-09-04 An Internet Architecture Based on the Principle of Least Privilege UW-CSE-12-09-04.PDF
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
2014-05-02 MetaSync: File Synchronization Across Multiple Untrusted Storage Services UW-CSE-14-05-02.PDF
Hanks, Steve
1993-06-03 An Algorithm for Probabilistic Planning UW-CSE-93-06-03.pdf
1993-06-04 Utility Models for Goal-Directored Decision-Theoretic Planners UW-CSE-93-06-04.pdf
1993-06-05 Benchmarks, Testbeds, Controlled Experimentation, and the Design of Agent Architectures UW-CSE-93-06-05.pdf
1993-06-09 A Beginner's Guide to the Truckworld Simulator UW-CSE-93-06-09.pdf
1993-06-10 Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning about Change UW-CSE-93-06-10.pdf
1993-12-04 Probabilistic Planning with Information Gathering and Contingent Execution UW-CSE-93-12-04.pdf
Hansen, Charles D.
1995-04-02 Cost-Effective Data-Parallel Load Balancing UW-CSE-95-04-02.pdf
Hartung, Carl
2006-12-06 Devices That Tell On You: The Nike+iPod Sport Kit UW-CSE-06-12-06.pdf
Hauck, Scott
1993-05-07 Asynchronous Design Methodologies: An Overview UW-CSE-93-05-07.pdf
1994-04-01 Pin Assignment for Multi-FPGA Systems UW-CSE-94-04-01.pdf
1995-04-04 Achieving High-Latency, Low-Bandwidth Communication: Logic Emulation Interfaces UW-CSE-95-04-04.pdf
Haynor, David R.
2000-01-01 Validating Clustering for Gene Expression Data UW-CSE-00-01-01.pdf
Henry, Peter
2011-02-02 Interactive Dense 3D Modeling of Indoor Environments UW-CSE-11-02-02.PDF
Henry, Robert R.
1991-11-04 A Case for Runtime Code Generation UW-CSE-91-11-04.pdf
1993-11-02 Evaluating Runtime-Compiled Value-Specific Optimizations UW-CSE-93-11-02.pdf
Herbst, Evan
2009-08-01 Occlusion Reasoning for Temporal Interpolation using Optical Flow UW-CSE-09-08-01.PDF
2014-05-03 Autonomous Scene Exploration with RGB-D Cameras UW-CSE-14-05-03.PDF
Hertzmann, Aaron
2004-05-03 Shape and Spatially-Varying BRDFs From Photometric Stereo UW-CSE-04-05-03.pdf
2005-06-02 Gaussian Process CCA for Image Synthesis and Robotic Imitation UW-CSE-05-06-02.pdf
2018-10-01 Comparing Spatial Interaction Modalities for 2D-Widgets in Productivity Applications in Virtual Reality UW-CSE-18-10-01.pdf
Heule, Stefan
2016-11-02 SpaceSearch: A Library for Building and Verifying Solver-Aided Tools UW-CSE-16-11-02.pdf
Hightower, Jeffrey
2000-02-02 SpotON: An Indoor 3D Location Sensing Technology Based on RF Signal Strength UW-CSE-00-02-02.pdf
2001-07-01 Location Sensing Techniques UW-CSE-01-07-01.pdf
2001-08-03 A Survey and Taxonomy of Location Systems for Ubiquitous Computing UW-CSE-01-08-03.pdf
2003-07-01 The Location Stack UW-CSE-03-07-01.pdf
Hindman, Benjamin
2006-04-01 Strong Atomicity for Java Without Virtual-Machine Support UW-CSE-06-04-01.pdf
2006-05-01 Strong Atomicity for Java Without Virtual-Machine Support UW-CSE-06-05-01.pdf
Hoene, Albrecht
1991-02-02 Monotonic Enumerations of Complete Sets UW-CSE-91-02-02.pdf
Hoffman, Eric
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Hoffman, Matthew W.
2004-07-02 Probabilistic Gaze Imitation and Saliency UW-CSE-04-07-02.pdf
2005-01-01 A Bayesian Active Vision Architecture for Shared Attention UW-CSE-05-01-01.pdf
Holman, Thomas J.
1987-08-07 The Triangle: A Multiprocessor Architecture for Fast Curve and Surface Generation UW-CSE-87-08-07.PDF
Holmes, Mark D.
2006-06-01 Learning to Predict Cortical Potentials using Simultaneous Transcranial Recording UW-CSE-06-06-01.pdf
Holmes, Reid
2010-03-01 Speculative Identification of Merge Conflicts and Non-Conflicts UW-CSE-10-03-01.PDF
2014-02-02 Are mutants a valid substitute for real faults in software testing? UW-CSE-14-02-02.PDF
Holt, Brandon
2014-02-01 Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications UW-CSE-14-02-01.PDF
2016-06-01 Disciplined Inconsistency UW-CSE-16-06-01.pdf
Hood, Lee
2000-08-01 Bayesian Classification of DNA Array Expression Data UW-CSE-00-08-01.pdf
Hoover, H. James
1991-05-01 A Compendium of Problems Complete for P UW-CSE-91-05-01.pdf
Hoppe, Hugues
1993-01-01 Mesh Optimization UW-CSE-93-01-01.pdf
1997-04-01 View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data UW-CSE-97-04-01.pdf
Hoppe
1991-12-03 Surface Reconstruction from Unorganized Points UW-CSE-91-12-03.d
1994-01-01 Piecewise Smooth Surface Reconstruction UW-CSE-94-01-01.d
1994-06-01 Surface Reconstruction from Unorganized Points UW-CSE-94-06-01.PS.gz
1995-01-02 Multiresolution Analysis of Arbitrary Meshes UW-CSE-95-01-02.d
Hornyack, Peter
2011-04-01 These Aren't the Droids You're Looking For: Retrofitting Android to Protect Data from Imperious Applications UW-CSE-11-04-01.PDF
Howe, Bill
2009-06-01 Scalable Clustering Algorithm for N-Body Simulations in a Shared-Nothing Cluster UW-CSE-09-06-01.PDF
2011-04-03 Towards Efficient and Precise Queries Over Ten Million Asteroid Trajectory Models UW-CSE-11-04-03.PDF
2012-03-02 Query-Based Data Pricing UW-CSE-12-03-02.PDF
2012-03-03 SkewTune: Mitigating Skew in MapReduce Applications UW-CSE-12-03-03.PDF
2012-06-01 Hadoop's Adolescence: A Comparative Workload Analysis from Three Research Clusters UW-CSE-12-06-01.PDF
2014-10-01 Radish: Compiling Efficient Query Plans for Distributed Shared Memory UW-CSE-14-10-01.pdf
2016-02-02 Compiling queries for high-performance computing UW-CSE-16-02-02.pdf
Howe, Patrick
2017-03-02 QAPPA: A Framework for Navigating Quality-Energy Tradeoffs with Arbitrary Quantization UW-CSE-17-03-02.pdf
2017-05-01 MATIC: Adaptation and In-Situ Canaries for Energy-Efficient Neural Network Acceleration UW-CSE-17-05-01.pdf
Hsu, Li
2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf
Hu, Wei-laung
1985-12-05 Research in Real-Time Systems UW-CSE-85-12-05.PDF
Hu, Yuwei
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
Huang, Yanping
2013-10-02 Neurons as Monte Carlo Samplers: Bayesian Inference and Learning in Spiking Networks UW-CSE-13-10-02.PDF
2015-06-03 ChirpCast: Data Transmission via Audio UW-CSE-15-06-03.pdf
Hudson, Richard L.
2007-11-01 Towards a Lock-based Semantics for Java STM UW-CSE-07-11-01.pdf
Hughes
1997-01-01 Orientable Textures for Image-Based Pen-and-Ink Illustration UW-CSE-97-01-01.PS.gz
Hulgaard, Henrik
1992-11-01 Timing Analysis of Concurrent Systems: An Algorithm for Determining Time Separation of Events UW-CSE-92-11-01.pdf
1994-02-02 An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems UW-CSE-94-02-02.pdf
1994-03-06 Testing Asynchrounous Circuits: A Survey UW-CSE-94-03-06.pdf
Hung, Chia-Yang
2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf
Hutama, Danny C.
1995-04-03 Multiplayer Activities that Develop Mathematical Coordination UW-CSE-95-04-03.pdf
Iannacci, Francis
2015-06-03 ChirpCast: Data Transmission via Audio UW-CSE-15-06-03.pdf
Inozemtseva, Laura
2014-02-02 Are mutants a valid substitute for real faults in software testing? UW-CSE-14-02-02.PDF
Isdal, Tomas
2006-11-02 Do incentives build robustness in BitTorrent? UW-CSE-06-11-02.pdf
Ives, Zachary G.
2000-05-02 Efficient Evaluation of Regular Path Expressions on Streaming XML Data UW-CSE-00-05-02.pdf
Ivory, Melody Y.
2002-10-01 A Study of Automated Web Site Evaluation Tools UW-CSE-02-10-01.pdf
Jacobs
1995-01-06 Fast Multiresolution Image Querying UW-CSE-95-01-06.d
1996-01-01 Multiresolution Video UW-CSE-96-01-01.d
Jahanian, Farnam
1992-09-03 Monitoring Timing Constraints in Distributed Real-time Systems UW-CSE-92-09-03.pdf
Jain, Ankur
2007-08-02 Rapid and Efficient Detection of Distributed Anomalous Aggregates UW-CSE-07-08-02.PDF
Jain, Sushant
2002-02-02 A Comparison of Large-Scale Overlay Management Techniques UW-CSE-02-02-02.pdf
2003-06-03 Energy Aware Communication in Ad-hoc networks UW-CSE-03-06-03.pdf
2003-06-04 Exploiting mobility for energy efficient data collection in wireless sensor networks UW-CSE-03-06-04.pdf
Jakobovits, Rex
1997-12-03 Persistent Programming Languages: The Best of Both Worlds UW-CSE-97-12-03.pdf
1997-12-05 Integrating Heterogeneous Autonomous Information Sources UW-CSE-97-12-05.pdf
Jakobovits, Rex M.
1997-12-04 The Design and Implementation of a Data Environment for Vision Research UW-CSE-97-12-04.pdf
Jalali, Darioush
2014-01-01 Empirically Revisting the Test Independence Assumption UW-CSE-14-01-01.PDF
2014-02-02 Are mutants a valid substitute for real faults in software testing? UW-CSE-14-02-02.PDF
Jamrozik, Herve A.
1996-07-03 Reducing Network Latency Using Subpages in a Global Memory Environment UW-CSE-96-07-03.pdf
Javed, Umar
2013-07-01 Transit as Service UW-CSE-13-07-01.PDF
Jeffay, Kevin
1985-12-05 Research in Real-Time Systems UW-CSE-85-12-05.PDF
1986-09-06 A Lace for Ada's Corset UW-CSE-86-09-06.PDF
1987-10-03 Concurrent Programming with Time UW-CSE-87-10-03.PDF
1988-01-01 Software Engineering of Real-Time Operating Systems UW-CSE-88-01-01.PDF
1988-10-03 On Optimal, Non-Preemptive Scheduling of Periodic Tasts UW-CSE-88-10-03.PDF
1989-09-15 The Real-Time Producer/Consumer Paradigm: Towards Verifiable Real-Time Computations UW-CSE-89-09-15.PDF
Jeremiassen, Tor E.
1994-09-05 Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations UW-CSE-94-09-05.pdf
Jha, Abhay
2008-01-01 Query Evaluation with Soft Key Constraints UW-CSE-08-01-01.pdf
2010-01-01 Bridging the Gap Between Intensional and Extensional Query Evaluation in Probabilistic Databases UW-CSE-10-01-01.PDF
Jiang, Ziheng
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
Jin, Xin
2018-12-01 Pegasus: Load-Aware Selective Replication with an In-Network Coherence Directory UW-CSE-18-12-01.pdf
Jin, Yuchen
2018-09-05 Nexus: A GPU Cluster for Accelerating Neural Networks for Video Analysis UW-CSE-18-09-05.pdf
Jin
1994-01-01 Piecewise Smooth Surface Reconstruction UW-CSE-94-01-01.d
Joglekar, Hrishikesh
2008-11-01 Quantitative Evidence for Possible Linguistic Structure in the Indus Script UW-CSE-08-11-01.PDF
2008-11-02 A Markov Model of the 4500-year-old Indus Script UW-CSE-08-11-02.PDF
John, John P.
2007-10-02 Studying Blackholes in the Internet with Hubble UW-CSE-07-10-02.pdf
2008-02-01 Consensus Routing: the Internet as a Distributed System UW-CSE-08-02-01.PDF
2008-10-01 Studying Spamming Botnets Using Botlab UW-CSE-08-10-01.PDF
Johnson, David S.
1996-03-03 Emerging Opportunities for Theoretical Computer Science UW-CSE-96-03-03.pdf
Johnson, Dylan
2017-08-02 Porting Hyperkernel to the ARM Architecture UW-CSE-17-08-02.pdf
Jones, David H.
1998-09-02 Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts UW-CSE-98-09-02.pdf
Jones, Lynne
2011-04-03 Towards Efficient and Precise Queries Over Ten Million Asteroid Trajectory Models UW-CSE-11-04-03.PDF
Juels, Ari
2008-10-02 EPC RFID Tags in Security Applications: Passport Cards, Enhanced Drivers Licenses, and Beyond UW-CSE-08-10-02.PDF
Jung, Jaeyeon
2011-04-01 These Aren't the Droids You're Looking For: Retrofitting Android to Protect Data from Imperious Applications UW-CSE-11-04-01.PDF
2012-03-01 A Study of Third-Party Tracking by Mobile Apps in the Wild UW-CSE-12-03-01.PDF
Just, Rene
2014-02-02 Are mutants a valid substitute for real faults in software testing? UW-CSE-14-02-02.PDF
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
2015-05-01 Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents UW-CSE-15-05-01.pdf
2015-08-01 Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version) UW-CSE-15-08-01.pdf
2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf
Kahan, Simon
1991-01-01 Parallel Quicksand: Fast Sorting on the Sequent UW-CSE-91-01-01.PDF
2014-02-01 Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications UW-CSE-14-02-01.PDF
Kahn, Jr., Peter H.
2002-12-01 Value Sensitive Design: Theory and Methods UW-CSE-02-12-01.pdf
2003-04-03 Coding Manual for Children's Interactions with Aibo, the Robotic Dog - The Preschool Study UW-CSE-03-04-03.pdf
Kalet, Ira J.
1993-09-03 Prism: A Case Study in Behavioral Entity-Relationship Modeling and Design UW-CSE-93-09-03.pdf
Kang, Jong Hee
2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf
2003-12-06 Integration and Configuration of Small Wireless Sensors into Ubiquitous Computing Environments UW-CSE-03-12-06.pdf
Karlin, Anna R.
1995-08-07 Implementing Global Memory Management in a Workstation Cluster UW-CSE-95-08-07.pdf
1996-01-10 Near-Optimal Parallel Prefetching and Caching UW-CSE-96-01-10.pdf
1996-07-03 Reducing Network Latency Using Subpages in a Global Memory Environment UW-CSE-96-07-03.pdf
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
1999-02-01 On the Performance Potential of Dynamic Cache Line Sizes UW-CSE-99-02-01.pdf
Karp, Richard M.
1996-03-03 Emerging Opportunities for Theoretical Computer Science UW-CSE-96-03-03.pdf
Katz-Bassett, Ethan
2007-10-02 Studying Blackholes in the Internet with Hubble UW-CSE-07-10-02.pdf
2008-02-01 Consensus Routing: the Internet as a Distributed System UW-CSE-08-02-01.PDF
Keller, Andrew D.
2000-08-01 Bayesian Classification of DNA Array Expression Data UW-CSE-00-08-01.pdf
Keller, Benjamin
2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf
Kellogg, Martin
2016-09-01 Combining Bug Detection and Test Case Generation UW-CSE-16-09-01.pdf
Keppel, David
1991-08-01 Register Windows and User-Space Threads on the SPARC UW-CSE-91-08-01.pdf
1991-11-04 A Case for Runtime Code Generation UW-CSE-91-11-04.pdf
1993-04-06 Fast Data Breakpoints UW-CSE-93-04-06.pdf
1993-05-06 Tools and Techniques for Building Fast Portable Threads Packages UW-CSE-93-05-06.pdf
1993-06-02 Managing Abstraction-Induced Complexity UW-CSE-93-06-02.pdf
1993-06-06 Shade: A Fast Instruction-Set Simulator for Execution Profiling UW-CSE-93-06-06.pdf
1993-11-02 Evaluating Runtime-Compiled Value-Specific Optimizations UW-CSE-93-11-02.pdf
1993-12-08 Faster Dynamic Linking for SPARC V8 and System V.4 UW-CSE-93-12-08.pdf
Kerns, Daniel R.
1992-11-03 Balanced Scheduling: Instruction Scheduling When Memory Latency is Uncertain UW-CSE-92-11-03.pdf
Khoussainova, Nodira
2007-03-01 Probabilistic RFID Data Management UW-CSE-07-03-01.pdf
2007-11-02 PEEX: Extracting Probabilistic Events from RFID Data UW-CSE-07-11-02.pdf
2008-12-01 Believe it or not: Adding belief annotations to databases UW-CSE-08-12-01.PDF
2011-04-02 SQB: Session-based Query Browsing for More Effective Query Reuse UW-CSE-11-04-02.PDF
Kildall, Gary A.
1970-09-04 APL\B5500: The Language and Its Implementation UW-CSE-70-09-04.PDF
Kim, Jiwon
2004-03-02 The Office of the Past: Document Discovery and Tracking from Video UW-CSE-04-03-02.pdf
Kim, Miryung
2007-09-01 Discovering and Representing Logical Structure in Code Change UW-CSE-07-09-01.PDF
Kim, Sung
2017-05-01 MATIC: Adaptation and In-Situ Canaries for Energy-Efficient Neural Network Acceleration UW-CSE-17-05-01.pdf
Kim, Taesoo
2014-05-02 MetaSync: File Synchronization Across Multiple Untrusted Storage Services UW-CSE-14-05-02.PDF
Kimbrel, Tracy
1991-08-06 A Probabilistic Algorithm for Verifying Matrix Products Using $O(n^2)$ Time and $log_{2}n + O(1)$ Random Bits UW-CSE-91-08-06.pdf
1996-01-10 Near-Optimal Parallel Prefetching and Caching UW-CSE-96-01-10.pdf
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
1996-12-01 Interleaving sequences to maximize the minimum prefix sum UW-CSE-96-12-01.pdf
1997-07-03 Parallel Prefetching and Caching UW-CSE-97-07-03.pdf
Klaiber, Alexander C.
1994-09-09 Architectural Support for Compiler-Generated Data-Parallel Programs UW-CSE-94-09-09.pdf
Kleven, Koos
2009-09-04 blami: Externalized Parallelism for a Serial Web Server UW-CSE-09-09-04.PDF
Kohno, Tadayoshi
2006-12-06 Devices That Tell On You: The Nike+iPod Sport Kit UW-CSE-06-12-06.pdf
2008-06-01 Challenges and Directions for Monitoring P2P File Sharing Networks, or Why My Printer Received a DMCA Takedown Notice UW-CSE-08-06-01.PDF
2008-10-02 EPC RFID Tags in Security Applications: Passport Cards, Enhanced Drivers Licenses, and Beyond UW-CSE-08-10-02.PDF
2009-01-02 The International Criminal Tribunal for Rwanda Information Heritage Project (aka Voices of the Rwanda Tribunal): Integrity Verification Arhcitecture UW-CSE-09-01-02.PDF
2011-08-01 New Directions for Self-Destructing Data Systems UW-CSE-11-08-01.PDF
2012-07-01 Control-Alt-Hack(TM): A Card Game for Computer Security Outreach, Education, and Fun UW-CSE-12-07-01.PDF
2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF
2015-03-03 Rook: Using Video Games for Low-Bandwidth Censorship Resistant Communications UW-CSE-15-03-03.pdf
2015-12-01 Rethinking Mobile Money Security for Developing Regions UW-CSE-15-12-01.pdf
2017-01-01 Securing Vulnerable Home IoT Devices with an In-Hub Security Manager UW-CSE-17-01-01.pdf
2017-06-01 The Transfer Access Protocol - Moving to New Authenticators in the FIDO Ecosystem UW-CSE-17-06-01.pdf
Koldinger, Eric J.
1992-03-10 Architectural Support for Single Address Space Operating Systems UW-CSE-92-03-10.pdf
1992-11-02 Improving Cache Performance by Eliminating Transfers of Dead Data UW-CSE-92-11-02.pdf
Kong, Bingyu
2018-09-05 Nexus: A GPU Cluster for Accelerating Neural Networks for Video Analysis UW-CSE-18-09-05.pdf
Korry, Richard
1986-10-03 A Work Sharing Algorithm for a Workstation Environment UW-CSE-86-10-03.PDF
Kosara, Robert
2012-08-01 A Measurement Study of Two Web-based Collaborative Visual Analytics Systems UW-CSE-12-08-01.PDF
2013-04-02 Masses of Visualizations: An Analysis of Usage Patterns on Many Eyes and Tableau Public UW-CSE-13-04-02.PDF
Kosaraju, S. Rao
1996-03-03 Emerging Opportunities for Theoretical Computer Science UW-CSE-96-03-03.pdf
Koscher, Karl
2008-10-02 EPC RFID Tags in Security Applications: Passport Cards, Enhanced Drivers Licenses, and Beyond UW-CSE-08-10-02.PDF
2009-01-02 The International Criminal Tribunal for Rwanda Information Heritage Project (aka Voices of the Rwanda Tribunal): Integrity Verification Arhcitecture UW-CSE-09-01-02.PDF
2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
Kostadinov, Valentin
2002-11-01 Alias Annotations for Program Understanding UW-CSE-02-11-01.pdf
Koutris, Paraschos
2011-03-01 Parallel Evaluation of Conjunctive Queries UW-CSE-11-03-01.PDF
2012-03-02 Query-Based Data Pricing UW-CSE-12-03-02.PDF
Krishnamurthy, Arvind
2006-11-01 LiveSwarms: Adapting BitTorrent for end host multicast UW-CSE-06-11-01.pdf
2006-11-02 Do incentives build robustness in BitTorrent? UW-CSE-06-11-02.pdf
2007-10-02 Studying Blackholes in the Internet with Hubble UW-CSE-07-10-02.pdf
2008-02-01 Consensus Routing: the Internet as a Distributed System UW-CSE-08-02-01.PDF
2008-06-01 Challenges and Directions for Monitoring P2P File Sharing Networks, or Why My Printer Received a DMCA Takedown Notice UW-CSE-08-06-01.PDF
2008-10-01 Studying Spamming Botnets Using Botlab UW-CSE-08-10-01.PDF
2011-08-01 New Directions for Self-Destructing Data Systems UW-CSE-11-08-01.PDF
2012-09-04 An Internet Architecture Based on the Principle of Least Privilege UW-CSE-12-09-04.PDF
2012-09-05 F10: A Fault-Tolerant Engineered Network UW-CSE-12-09-05.PDF
2013-03-01 Unifying FSM-Inference Algorithms through Declarative Specification UW-CSE-13-03-01.PDF
2013-05-03 freedom.js: an Architecture for Serverless Web Applications UW-CSE-13-05-03.pdf
2013-07-01 Transit as Service UW-CSE-13-07-01.PDF
2013-10-01 Arrakis: The Operating System is the Control Plane UW-CSE-13-10-01.PDF
2013-11-01 Radiatus: Strong User Isolation for Scalable Web Applications UW-CSE-13-11-01.PDF
2014-05-02 MetaSync: File Synchronization Across Multiple Untrusted Storage Services UW-CSE-14-05-02.PDF
2014-06-01 Blocking-Resistant Network Services using Unblock UW-CSE-14-06-01.pdf
2014-09-01 Subways: A Case for Redundant, Inexpensive Data Center Edge Links UW-CSE-14-09-01.pdf
2014-12-01 Building Consistent Transactions with Inconsistent Replication UW-CSE-14-12-01.pdf
2015-06-02 Satellite: Observations of the Internet's Stars UW-CSE-15-06-02.pdf
2016-01-01 Bagpipe: Verified BGP Configuration Checking UW-CSE-16-01-01.pdf
2016-08-01 Formal Semantics & Verification for the Border Gateway Protocol UW-CSE-16-08-01.pdf
2016-11-01 Talek: a Private Publish-Subscribe Protocol UW-CSE-16-11-01.pdf
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
2018-09-02 iPipe: A Framework for Building Datacenter Applications Using In-networking UW-CSE-18-09-02.pdf
2018-09-03 Design and Verification of Software Middleboxes using Gravel UW-CSE-18-09-03.pdf
2018-09-04 ADARES: Adaptive Resource Management for Virtual Machines UW-CSE-18-09-04.pdf
2018-09-05 Nexus: A GPU Cluster for Accelerating Neural Networks for Video Analysis UW-CSE-18-09-05.pdf
2018-09-06 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network UW-CSE-18-09-06.pdf
2019-04-01 End the Senseless Killing: Improving Memory Management for Mobile Operating Systems UW-CSE-19-04-01.pdf
2019-11-02 Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle UW-CSE-19-11-02.pdf
Krughoff, K. Simon
2011-04-03 Towards Efficient and Precise Queries Over Ten Million Asteroid Trajectory Models UW-CSE-11-04-03.PDF
Krughoff, Simon
2015-06-01 Efficient Iterative Processing in the SciDB Parallel Array Engine UW-CSE-15-06-01.pdf
Kuchta, Nathan
2006-07-01 Moirae: History-Enhanced Monitoring UW-CSE-06-07-01.pdf
Kumar, Akhil
1993-03-02 A Performance Study of a New Grid Protocol and General Grid Structures for Replicated Data UW-CSE-93-03-02.pdf
Kumar, Vijay
2004-08-01 Approximation Algorithms for Wavelength Assignment UW-CSE-04-08-01.pdf
Kunen, Isaac K.
2002-11-04 A Scalable Algorithm for Query Minimization UW-CSE-02-11-04.pdf
Kushmerick, Nicholas
1993-06-03 An Algorithm for Probabilistic Planning UW-CSE-93-06-03.pdf
1997-11-04 Wrapper Induction for Information Extraction UW-CSE-97-11-04.pdf
Kwok
1996-01-04 Planning for Information Gathering UW-CSE-96-01-04.PS.gz
Kwon, YongChul
2006-07-01 Moirae: History-Enhanced Monitoring UW-CSE-06-07-01.pdf
2007-05-01 Identifying Similar Past Events in a Continuous Monitoring System UW-CSE-07-05-01.pdf
2009-06-01 Scalable Clustering Algorithm for N-Body Simulations in a Shared-Nothing Cluster UW-CSE-09-06-01.PDF
2011-04-02 SQB: Session-based Query Browsing for More Effective Query Reuse UW-CSE-11-04-02.PDF
2012-03-03 SkewTune: Mitigating Skew in MapReduce Applications UW-CSE-12-03-03.PDF
2012-06-01 Hadoop's Adolescence: A Comparative Workload Analysis from Three Research Clusters UW-CSE-12-06-01.PDF
Ladner, Richard
1983-07-03 Efficient Algorithms for Reporting Intersections UW-CSE-83-07-03.PDF
1992-12-08 Theory and Practice of Vector Quantizers Trained on Small Training Sets UW-CSE-92-12-08.pdf
1993-04-09 Building Counting Networks from Larger Balancers UW-CSE-93-04-09.pdf
2007-05-02 Grammar-based Compression of DNA Sequences UW-CSE-07-05-02.pdf
Ladner, Richard E.
1979-06-08 Data Structures for Efficient Implementation of Sticky Pointers in Text Editors UW-CSE-79-06-08.PDF
1993-10-02 Complexity of Sub-Bus Mesh Computations UW-CSE-93-10-02.pdf
1994-09-02 Optimizing Static Calendar Queues UW-CSE-94-09-02.pdf
1994-11-01 Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array UW-CSE-94-11-01.pdf
1996-02-03 The Influence of Caches on the Performance of Heaps UW-CSE-96-02-03.pdf
1996-09-02 Sorting by Parallel Insertion on a One-Dimensional Sub-Bus Array UW-CSE-96-09-02.pdf
1996-10-01 The Influence of Caches on the Performance of Sorting UW-CSE-96-10-01.pdf
Lam, Wing
2014-01-01 Empirically Revisting the Test Independence Assumption UW-CSE-14-01-01.PDF
2015-03-01 When Tests Collide: Evaluating and Coping with the Impact of Test Dependence UW-CSE-15-03-01.pdf
LaMarca, Anthony
1993-04-09 Building Counting Networks from Larger Balancers UW-CSE-93-04-09.pdf
1994-09-02 Optimizing Static Calendar Queues UW-CSE-94-09-02.pdf
1996-02-03 The Influence of Caches on the Performance of Heaps UW-CSE-96-02-03.pdf
1996-10-01 The Influence of Caches on the Performance of Sorting UW-CSE-96-10-01.pdf
2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf
2013-11-02 EfficiRunning Continuous Monitoring Applications on Mobile Devices using Sensor Hubs UW-CSE-13-11-02.PDF
2013-11-03 Improving Power Efficiency Using Sensor Hubs Without Re-Coding Mobile Apps UW-CSE-13-11-03.PDF
Lampe, Jordan
1993-10-02 Complexity of Sub-Bus Mesh Computations UW-CSE-93-10-02.pdf
Lan
1995-08-01 An Empirical Study of Static Call Graph Extractors UW-CSE-95-08-01.html
Landay, James A.
2008-04-02 iLearn on the iPhone: Real-Time Human Activity Classification on Commodity Mobile Phones UW-CSE-08-04-02.PDF
2008-10-03 A Study of Early Stage Game Design and Prototyping UW-CSE-08-10-03.PDF
2012-11-02 Cascade: Crowdscourcing Taxonomy Criteria UW-CSE-12-11-02.PDF
Lau, Tessa
1998-02-01 Privacy Interfaces for Information Management UW-CSE-98-02-01.pdf
1999-01-01 A Contextual Inquiry-Based Critique of the Strudel Web Site Maintenance System UW-CSE-99-01-01.pdf
Lazowska, Edward D.
1992-03-02 How to Use a 64-Bit Virtual Address Space UW-CSE-92-03-02.pdf
1992-03-09 Lightweight Shared Objects in a 64-Bit Operating System UW-CSE-92-03-09.pdf
1992-04-04 A Performance Analysis of Network I/O in Shared-Memory Multiprocessors UW-CSE-92-04-04.PDF
1992-08-03 Adding Scheduler Activations to Mach 3.0 UW-CSE-92-08-03.pdf
1992-09-08 Techniques for File System Simulation UW-CSE-92-09-08.pdf
1993-02-03 User-Level Threads and Interprocess Communication UW-CSE-93-02-03.pdf
1993-03-01 Implementing Network Protocols at User Level UW-CSE-93-03-01.pdf
1993-04-02 Sharing and Protection in a Single Address Space Operating System UW-CSE-93-04-02.pdf
1993-04-03 Efficient Support for Multicomputing on ATM Networks UW-CSE-93-04-03.pdf
1994-07-04 Separating Data and Control Transfer in Distributed Operating Systems UW-CSE-94-07-04.pdf
Leavens, Gary T.
1995-08-05 Typechecking and Modules for Multi-Methods UW-CSE-95-08-05.pdf
1996-12-02 BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing UW-CSE-96-12-02.pdf
Lebeck, Kiron
2015-12-01 Rethinking Mobile Money Security for Developing Regions UW-CSE-15-12-01.pdf
Lebeck, Niel
2019-04-01 End the Senseless Killing: Improving Memory Management for Mobile Operating Systems UW-CSE-19-04-01.pdf
2019-12-01 Hercules: A Multi-View Cache for Real-Time Interactive Apps (TR Not Available On-Line)
Lee, Dennis
1997-06-02 On the Effectiveness of Code Reordering Algorithms for theAlpha and IA32 Architectures UW-CSE-97-06-02.pdf
1999-03-01 Reducing Startup Latency in Web and Desktop Applications UW-CSE-99-03-01.pdf
2006-07-01 Moirae: History-Enhanced Monitoring UW-CSE-06-07-01.pdf
Lee, J. William
1993-12-05 Concord: Re-Thinking the Division of Labor in a Distributed Shared Memory System UW-CSE-93-12-05.pdf
1993-12-06 Performance of User-Level Communication on Distributed-Memory Multiprocessors with an Optimistic Protocol UW-CSE-93-12-06.pdf
Lee, Vincent T.
2016-05-01 Paperscope: Chronicling the History of Computer Architecture Research UW-CSE-16-05-01.pdf
Lei, Jinna
2013-11-04 A Developmental Approach to Goal-Based Imitation Learning in Robots UW-CSE-13-11-04.PDF
Leighton, Tom
1994-07-03 Minimal Adaptive Routing on the Mesh with Bounded Queue Size UW-CSE-94-07-03.pdf
Lerner, Adam
2012-09-04 An Internet Architecture Based on the Principle of Least Privilege UW-CSE-12-09-04.PDF
Lerner, Sorin
2001-11-01 Composing Dataflow Analyses and Transformations UW-CSE-01-11-01.pdf
2002-11-02 Automatically Proving the Correctness of Compiler Optimizations UW-CSE-02-11-02.pdf
Lesh, Neal
1993-09-01 Building Softbots for UNIX (preliminary report) UW-CSE-93-09-01.pdf
Lester, Jonathan
2006-12-06 Devices That Tell On You: The Nike+iPod Sport Kit UW-CSE-06-12-06.pdf
2008-04-02 iLearn on the iPhone: Real-Time Human Activity Classification on Commodity Mobile Phones UW-CSE-08-04-02.PDF
Letchner, Julie
2008-07-01 Access Methods for Markovian Streams UW-CSE-08-07-01.PDF
2009-03-03 LaharOLAP: Supporting OLAP Queeries on Markovian Streams UW-CSE-09-03-03.PDF
2009-07-03 Approximation Trade-Offs in a Markovian Stream Warehouse: An Empirical Study UW-CSE-09-07-03.PDF
Leung, Shun-Tak
1992-10-05 Improving the Performance of Runtime Parallelization UW-CSE-92-10-05.pdf
1992-12-07 Reordering Iterations in Runtime Loop Parallelization UW-CSE-92-12-07.pdf
1994-02-01 Restructuring Arrays for Efficient Parallel Loop Execution UW-CSE-94-02-01.pdf
1995-01-08 Extending the Applicability and Improving the Performance of Runtime Parallelization UW-CSE-95-01-08.pdf
1995-09-01 Optimizing Data Locality by Array Restructuring UW-CSE-95-09-01.pdf
Leung, Shun-Tak A.
1996-08-01 Array Restructuring for Cache Locality UW-CSE-96-08-01.pdf
Levy, Alon Y.
2000-05-02 Efficient Evaluation of Regular Path Expressions on Streaming XML Data UW-CSE-00-05-02.pdf
Levy, Amit
2011-08-01 New Directions for Self-Destructing Data Systems UW-CSE-11-08-01.PDF
Levy, Henry
2000-04-02 Thread-Sensitive Scheduling for SMT Processors UW-CSE-00-04-02.pdf
2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf
2011-08-01 New Directions for Self-Destructing Data Systems UW-CSE-11-08-01.PDF
Levy, Henry M.
1990-09-04 Dynamic Node Reconfiguration in a Parallel-Distributed Environment UW-CSE-90-09-04.pdf
1992-03-01 Distributed Shared Memory with Versioned Objects UW-CSE-92-03-01.pdf
1992-03-02 How to Use a 64-Bit Virtual Address Space UW-CSE-92-03-02.pdf
1992-03-09 Lightweight Shared Objects in a 64-Bit Operating System UW-CSE-92-03-09.pdf
1992-04-04 A Performance Analysis of Network I/O in Shared-Memory Multiprocessors UW-CSE-92-04-04.PDF
1993-04-02 Sharing and Protection in a Single Address Space Operating System UW-CSE-93-04-02.pdf
1993-04-03 Efficient Support for Multicomputing on ATM Networks UW-CSE-93-04-03.pdf
1993-04-04 OS Agents: Using AI Techniques in the Operating System Environment UW-CSE-93-04-04.pdf
1994-07-04 Separating Data and Control Transfer in Distributed Operating Systems UW-CSE-94-07-04.pdf
1994-07-05 Hardware and Software Support for Efficient Exception Handling UW-CSE-94-07-05.pdf
1994-09-12 Integrating Coherency and Recoverability in Distributed Systems UW-CSE-94-09-12.pdf
1995-08-07 Implementing Global Memory Management in a Workstation Cluster UW-CSE-95-08-07.pdf
1996-07-03 Reducing Network Latency Using Subpages in a Global Memory Environment UW-CSE-96-07-03.pdf
1997-04-02 Simultaneous Multithreading: A Platform for Next-Generation Processors UW-CSE-97-04-02.pdf
1997-12-01 Software-Directed Register Deallocation for Simultaneous Multithreaded Processors UW-CSE-97-12-01.pdf
1998-06-02 Supporting Fine-Grained Synchronization on a Simultaneous Multithreaded Processor UW-CSE-98-06-02.pdf
2000-04-01 Revisiting Structured Storage: A Transactional Record Store UW-CSE-00-04-01.pdf
2006-07-02 Capability-Based Access Control for Peer-to-Peer Data Sharing UW-CSE-06-07-02.pdf
2007-10-01 The organization and sharing of Web-service objects with Menagerie UW-CSE-07-10-01.pdf
2007-12-01 Using Processes to Improve the Reliability of Browser-based Applications UW-CSE-07-12-01.pdf
2019-04-01 End the Senseless Killing: Improving Memory Management for Mobile Operating Systems UW-CSE-19-04-01.pdf
Lewis, E Christopher
1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf
1997-12-02 ZPLs WYSIWYG Performance Model UW-CSE-97-12-02.pdf
1998-09-05 Support for Software Assisted Speculative Execution UW-CSE-98-09-05.pdf
1998-10-02 Regions: An Abstraction for Expressing Array Computation UW-CSE-98-10-02.pdf
1998-11-01 A Region-based Approach for Sparse Parallel Computing UW-CSE-98-11-01.pdf
1998-11-02 Array Language Support for Wavefront and Pipelined Computations UW-CSE-98-11-02.pdf
Li, Jialin
2013-10-01 Arrakis: The Operating System is the Control Plane UW-CSE-13-10-01.PDF
2014-04-01 Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency UW-CSE-14-04-01.PDF
2016-09-02 Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering (Extended Version) UW-CSE-16-09-02.pdf
2017-10-01 Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control (Extended Version) UW-CSE-17-10-01.pdf
2018-12-01 Pegasus: Load-Aware Selective Replication with an In-Network Coherence Directory UW-CSE-18-12-01.pdf
2019-11-02 Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle UW-CSE-19-11-02.pdf
Li, Jingyue
2011-05-02 CBCD: Cloned Buggy Code Detector UW-CSE-11-05-02.PDF
Li, Kai
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
Liao, Lin
2003-12-07 Stock Option Pricing Using Bayes Filters UW-CSE-03-12-07.pdf
Liao, Wei-Ting
2011-04-02 SQB: Session-based Query Browsing for More Effective Query Reuse UW-CSE-11-04-02.PDF
Lim, Christopher
2009-04-02 Evaluating Lemmatic Communication UW-CSE-09-04-02.PDF
Lin, Calvin
1993-12-09 Abstractions for Portable, Scalable Parallel Programming UW-CSE-93-12-09.pdf
1994-10-06 ZPL Language Reference Manual UW-CSE-94-10-06.pdf
1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf
1997-12-02 ZPLs WYSIWYG Performance Model UW-CSE-97-12-02.pdf
1998-10-02 Regions: An Abstraction for Expressing Array Computation UW-CSE-98-10-02.pdf
Lin, Lucy
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Lin, Xi Victoria
2017-03-01 Program Synthesis from Natural Language Using Recurrent Neural Networks UW-CSE-17-03-01.pdf
Lischinski, Dani
1997-01-03 Realistic Facial Animation Using Image Based 3d Morphing UW-CSE-97-01-03.pdf
Lischinski
1995-01-07 Clustering for Glossy Global Illumination UW-CSE-95-01-07.d
1995-05-02 Fast Rendering of Complex Environments Using a Spatial Hierarchy UW-CSE-95-05-02.d
1996-01-02 A Resolution-Independent Representation for Pen-and-Ink Illustration UW-CSE-96-01-02.d
1996-01-06 Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments UW-CSE-96-01-06.d
Little, Greg
2012-11-02 Cascade: Crowdscourcing Taxonomy Criteria UW-CSE-12-11-02.PDF
Litvinov, Vassily
1998-01-01 Constraint-Based Polymorphism in Cecil UW-CSE-98-01-01.pdf
Litvinov
2002-11-03 Constraint-Bounded Polymorphism UW-CSE-02-11-03.d
Liu, Hongqiang Harry
2018-09-06 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network UW-CSE-18-09-06.pdf
Liu, Jing
2006-06-03 Answering Structured Queries on Unstructured Data UW-CSE-06-06-03.pdf
Liu, Ming
2018-09-02 iPipe: A Framework for Building Datacenter Applications Using In-networking UW-CSE-18-09-02.pdf
Liu, Vincent
2012-09-04 An Internet Architecture Based on the Principle of Least Privilege UW-CSE-12-09-04.PDF
2012-09-05 F10: A Fault-Tolerant Engineered Network UW-CSE-12-09-05.PDF
2014-09-01 Subways: A Case for Redundant, Inexpensive Data Center Edge Links UW-CSE-14-09-01.pdf
Lo, Jack
2000-04-02 Thread-Sensitive Scheduling for SMT Processors UW-CSE-00-04-02.pdf
Lo, Jack L.
1997-04-02 Simultaneous Multithreading: A Platform for Next-Generation Processors UW-CSE-97-04-02.pdf
1997-12-01 Software-Directed Register Deallocation for Simultaneous Multithreaded Processors UW-CSE-97-12-01.pdf
1998-06-02 Supporting Fine-Grained Synchronization on a Simultaneous Multithreaded Processor UW-CSE-98-06-02.pdf
Lockyear, Brian
1993-05-03 The Practical Application of Retiming to the Design of High-Performance Systems UW-CSE-93-05-03.pdf
1993-05-04 Minimizing the Effect of Clock Skew Via Circuit Retiming UW-CSE-93-05-04.pdf
Lockyear
1991-10-01 Optimal Retiming of Multi-Phase Level-Clocked Circuits UW-CSE-91-10-01.PS.Z
1992-10-07 Practical Issues in Retiming Latch-Based Circuits (Superceded by 93-05-03 and 93-05-04) (Technical Report Withdrawn)
Loebman, Sarah
2009-06-01 Scalable Clustering Algorithm for N-Body Simulations in a Shared-Nothing Cluster UW-CSE-09-06-01.PDF
Lopez, Gus
1993-09-04 Kaleidoscope: A Constraint Imperative Programming Language UW-CSE-93-09-04.pdf
1994-03-07 Constraints and Object Identity UW-CSE-94-03-07.pdf
1994-07-07 Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine UW-CSE-94-07-07.pdf
Lopez
1997-04-08 The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language UW-CSE-97-04-08.d
Louie, Brent
2008-06-03 Integrating and Ranking Uncertain Scientic Data UW-CSE-08-06-03.pdf
Lounsbery, Michael
1993-10-05 Multiresolution Analysis for Surfaces of Arbitrary Topological Type UW-CSE-93-10-05.pdf
Lounsbery
1995-01-02 Multiresolution Analysis of Arbitrary Meshes UW-CSE-95-01-02.d
1997-04-07 Hierarchical Editing and Rendering of Subdivision Surfaces UW-CSE-97-04-07.d
Lovato, Alberto
2015-09-02 Locking discipline inference and checking UW-CSE-15-09-02.pdf
2015-09-03 Boolean Formulas for the Static Identification of Injection Attacks in Java UW-CSE-15-09-03.pdf
Low, Douglas
2005-02-02 A Packet Classification Algorithm for Multiple Look-up Engines UW-CSE-05-02-02.pdf
Lu, Hao
2012-11-01 Crowd-Logic: Implementing and Optimizing Human Computation Algorithms using Logic Programming UW-CSE-12-11-01.PDF
Lucia, Brandon
2008-05-01 DMP: Deterministic Shared Memory Multiprocessing UW-CSE-08-05-01.PDF
2009-07-04 Conflict Exceptions: Providing Simple Parallel Language Semantics with Precise Hardware Exceptions UW-CSE-09-07-04.PDF
Lyubomirksy, Steven
2016-11-02 SpaceSearch: A Library for Building and Verifying Solver-Aided Tools UW-CSE-16-11-02.pdf
Macedonio, Damiano
2015-09-01 Semantics for Locking Specifications UW-CSE-15-09-01.pdf
2015-09-02 Locking discipline inference and checking UW-CSE-15-09-02.pdf
2015-09-03 Boolean Formulas for the Static Identification of Injection Attacks in Java UW-CSE-15-09-03.pdf
Mackinlay, Jock
2012-08-01 A Measurement Study of Two Web-based Collaborative Visual Analytics Systems UW-CSE-12-08-01.PDF
2012-09-01 Toward Supporting the Data Enthusiast: Unlocking the Potential of Data for Analysis UW-CSE-12-09-01.PDF
2013-04-02 Masses of Visualizations: An Analysis of Usage Patterns on Many Eyes and Tableau Public UW-CSE-13-04-02.PDF
Madani, Omid
1998-12-01 Models for Decision Making in Dynamic and Uncertain Domains UW-CSE-98-12-01.pdf
1999-04-01 On Constraints on the Search Path of Policy Iteration UW-CSE-99-04-01.pdf
Madhyastha, Harsha V.
2007-10-02 Studying Blackholes in the Internet with Hubble UW-CSE-07-10-02.pdf
Maeda, Chris
1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf
Mah, David
2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF
Mahadevan, Iravatham
2008-11-01 Quantitative Evidence for Possible Linguistic Structure in the Indus Script UW-CSE-08-11-01.PDF
2008-11-02 A Markov Model of the 4500-year-old Indus Script UW-CSE-08-11-02.PDF
Mahajan, Ratul
2002-02-02 A Comparison of Large-Scale Overlay Management Techniques UW-CSE-02-02-02.pdf
2004-06-01 Encouraging Cooperation in Multi-hop Wireless Networks UW-CSE-04-06-01.pdf
2004-06-02 Interdomain Routing with Negotiation UW-CSE-04-06-02.pdf
2005-12-02 Practical and Efficient Internet Routing with Competing Interests UW-CSE-05-12-02.pdf
Malhotra, Mark
2012-09-03 Relative Entropy and Free Energy Dualities: Connections to Path Integral Control and Applications to Tendon Driven Systems UW-CSE-12-09-03.PDF
Maloney, John
1992-07-05 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm UW-CSE-92-07-05a.pdf
Mann
1992-11-06 Surface Approximation using Geometric Hermite Patches UW-CSE-92-11-06.tar
Marinov, Darko
2004-01-05 Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests UW-CSE-04-01-05.pdf
2004-10-02 Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution UW-CSE-04-10-02.pdf
2004-10-03 Detecting Redundant Unit Tests for AspectJ Programs UW-CSE-04-10-03.pdf
Marriott, Kim
1997-06-01 Solving Linear Arithmetic Constraints for User Interface Applications: Algorithm Details UW-CSE-97-06-01.pdf
Martin, Richard P.
1998-08-01 SPINE: An Operating System for Intelligent Network Adapters UW-CSE-98-08-01.pdf
Martin, Steve
2002-10-02 Name that Link: Intelligent Link Anchor Generation UW-CSE-02-10-02.pdf
Matuszek, Cynthia
2013-05-01 Toward Unconstrained Gesture and Language Interfaces UW-CSE-13-05-01.PDF
Mausam
2004-03-03 Solving Concurrent Markov Decision Processes UW-CSE-04-03-03.pdf
2013-12-02 "Out of the Box" Information Extraction: a Case Study using Bio-Medical Texts UW-CSE-13-12-02.PDF
McCann, Catherine M.
1995-07-03 Processor Allocation Policies for Message-Passing Parallel Computers UW-CSE-95-07-03.pdf
McCann, Cathy
1993-11-01 Processor Allocation Policies for Message-Passing Parallel Computers UW-CSE-93-11-01.pdf
1994-10-05 Scheduling Memory Constrained Jobs on Distributed Memory Parallel Computers UW-CSE-94-10-05.pdf
McDermott, Drew
1993-06-10 Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning about Change UW-CSE-93-06-10.pdf
McDonald, John
1993-01-01 Mesh Optimization UW-CSE-93-01-01.pdf
Mcdonald
1991-12-03 Surface Reconstruction from Unorganized Points UW-CSE-91-12-03.d
1994-01-01 Piecewise Smooth Surface Reconstruction UW-CSE-94-01-01.d
McDowell, Luke
2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf
McElroy, Ryan
2009-09-05 Paxos Made Experimentally UW-CSE-09-09-05.PDF
McGeoch, Catherine C.
1996-03-03 Emerging Opportunities for Theoretical Computer Science UW-CSE-96-03-03.pdf
McKenzie, Neil
1989-12-01 The UW VLSI Chip Tester UW-CSE-89-12-01.pdf
1992-08-01 MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging UW-CSE-92-08-01.pdf
1992-10-08 The UW MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging UW-CSE-92-10-08.pdf
1994-06-02 Experiences with the UWTester in Computer Science and Engineering Education UW-CSE-94-06-02.pdf
McKenzie, Neil R.
1997-02-04 The Cranium Network Interface Architecture: Support for Message Passing on Adaptive Packet Routing Networks UW-CSE-97-02-04.pdf
McKinley, Kathryn
2014-03-02 Probabilistic Assertions: Extended Semantics and Proof UW-CSE-14-03-02.PDF
McMurchie, Larry
1992-10-08 The UW MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging UW-CSE-92-10-08.pdf
1994-06-02 Experiences with the UWTester in Computer Science and Engineering Education UW-CSE-94-06-02.pdf
McNamee, Dylan
1990-09-05 Extending the Mach External Pager Interface To Accommodate User-Level Page Replacement Policies UW-CSE-90-09-05.pdf
1992-08-03 Adding Scheduler Activations to Mach 3.0 UW-CSE-92-08-03.pdf
1992-09-07 Improving the Performance of Message-Passing Applications by Multithreading UW-CSE-92-09-07.pdf
1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf
Meila, Marina
2003-05-01 Comparison of Spectral Methods UW-CSE-03-05-01.pdf
2004-10-01 Comparing Subspace Clusterings UW-CSE-04-10-01.pdf
2005-06-05 Spectral Clustering for Microsoft Netscan Data UW-CSE-05-06-05.pdf
Meliou, Alexandra
2009-12-01 Why so? or Why no? Functional Causality for Explaining Query Answers UW-CSE-09-12-01.PDF
Meltzoff, Andrew N.
2013-11-04 A Developmental Approach to Goal-Based Imitation Learning in Robots UW-CSE-13-11-04.PDF
Menon, Vijay
2007-11-01 Towards a Lock-based Semantics for Java STM UW-CSE-07-11-01.pdf
Merro, Massimo
2015-09-01 Semantics for Locking Specifications UW-CSE-15-09-01.pdf
Meyers, David
1993-12-02 Multiresolution Tiling UW-CSE-93-12-02.pdf
Miao, Xu
2003-12-01 Learning the Lie Groups of Visual Invariance UW-CSE-03-12-01.pdf
Michael, Ellis
2016-08-02 Providing Stable Storage for the Diskless Crash-Recovery Failure Model UW-CSE-16-08-02.pdf
2016-09-02 Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering (Extended Version) UW-CSE-16-09-02.pdf
2017-08-01 Recovering Shared Objects Without Stable Storage (Extended Version) UW-CSE-17-08-01.pdf
2017-10-01 Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control (Extended Version) UW-CSE-17-10-01.pdf
Michail, Amir
1997-05-01 Teaching Binary Tree Algorithms through Visual Programming UW-CSE-97-05-01.pdf
1997-05-02 Visual Programming without Procedures UW-CSE-97-05-02.pdf
1998-05-01 Illustrating Object-Oriented Library Reuse by Example: A Tool-Based Approach UW-CSE-98-05-01.pdf
1998-05-02 Using Relaxed Class Diagram Intersection to Ease Object-Oriented Library Selection UW-CSE-98-05-02.pdf
1998-08-05 Assessing Software Libraries by Browsing Similar Classes, Functions, and Relationships UW-CSE-98-08-05.pdf
1998-08-06 Imitation: An Alternative to Generalization in Programming by Demonstration Systems UW-CSE-98-08-06.pdf
Michalowski, Brian
1998-06-03 A Constraint-Based Specification for Box Layout in CSS2 UW-CSE-98-06-03.pdf
Michelson, Ken
2003-01-01 WaveScalar UW-CSE-03-01-01.pdf
Miller, Kai J.
2006-06-01 Learning to Predict Cortical Potentials using Simultaneous Transcranial Recording UW-CSE-06-06-01.pdf
Millett, Lynette I.
2000-12-02 Informed Consent Online: A Conceptual Model and Design Principles UW-CSE-00-12-02.pdf
2000-12-03 Cookies and Web Browser Design: Toward Realizing Informed Consent Online UW-CSE-00-12-03.pdf
Millstein, Suzanne
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
2015-05-01 Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents UW-CSE-15-05-01.pdf
2015-08-01 Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version) UW-CSE-15-08-01.pdf
2021-02-01 Verifying Determinism in Sequential Programs (Extended Version) UW-CSE-21-02-01.pdf
Millstein, Todd
1999-03-02 Modular Statically Typed Multimethods UW-CSE-99-03-02.pdf
2001-07-02 Modular Typechecking for Hierarchically Extensible Datatypes and Functions (Superceded by 02-07-05) UW-CSE-01-07-02.pdf
2002-07-05 Modular Typechecking for Hierarchically Extensible Datatypes and Functions UW-CSE-02-07-05.pdf
2002-11-02 Automatically Proving the Correctness of Compiler Optimizations UW-CSE-02-11-02.pdf
Millstein
1998-07-01 Modular Statically Typed Multimethods (Superceded by 99-03-02) (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/1999/03/UW-CSE-99-03-02.PS.Z
Mitchell
2002-12-07 Tiling Layered Depth Images (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/2004/06/UW-CSE-04-06-06.pdf
Mock, Markus
1997-03-03 DyC: An Expressive Annotation-Directed Dynamic Compiler for C UW-CSE-97-03-03.pdf
Modugno, Francesmary
1996-04-02 Model Checking Large Software Specifications UW-CSE-96-04-02.pdf
Montesinos, Pablo
2012-09-02 Automatic Discovery of Performance and Energy Pitfalls in HTML and CSS UW-CSE-12-09-02.PDF
Moore, Katherine F.
2009-12-01 Why so? or Why no? Functional Causality for Explaining Query Answers UW-CSE-09-12-01.PDF
Moreau, Thierry
2014-05-01 Approximate Computing on Programmable SoCs via Neural Acceleration UW-CSE-14-05-01.PDF
2015-01-01 ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing UW-CSE-15-01-01.pdf
2016-03-01 A Taxonomy of Approximate Computing Techniques UW-CSE-16-03-01.pdf
2017-03-02 QAPPA: A Framework for Navigating Quality-Energy Tradeoffs with Arbitrary Quantization UW-CSE-17-03-02.pdf
2017-05-01 MATIC: Adaptation and In-Situ Canaries for Energy-Efficient Neural Network Acceleration UW-CSE-17-05-01.pdf
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
Morgan, William E.
1995-08-07 Implementing Global Memory Management in a Workstation Cluster UW-CSE-95-08-07.pdf
Mork, Peter
2004-04-01 Managing Change in Large-Scale Data Sharing Systems UW-CSE-04-04-01.pdf
Morris, Dan
2013-05-02 AirWave: Non-Contact Haptic Feedback Using Air Vortex Rings UW-CSE-13-05-02.PDF
Morton, Kristi
2009-07-01 Toward A Progress Indicator for Parallel Queries UW-CSE-09-07-01.PDF
2009-12-02 ParaTimer: A Progress Indicator for MapReduce DAGs UW-CSE-09-12-02.PDF
2012-08-01 A Measurement Study of Two Web-based Collaborative Visual Analytics Systems UW-CSE-12-08-01.PDF
2012-09-01 Toward Supporting the Data Enthusiast: Unlocking the Potential of Data for Analysis UW-CSE-12-09-01.PDF
2013-04-02 Masses of Visualizations: An Analysis of Usage Patterns on Many Eyes and Tableau Public UW-CSE-13-04-02.PDF
Moscaritolo, Vinnie
2011-08-01 New Directions for Self-Destructing Data Systems UW-CSE-11-08-01.PDF
Moshchuk, Alexander
2007-10-01 The organization and sharing of Web-service objects with Menagerie UW-CSE-07-10-01.pdf
2008-10-01 Studying Spamming Botnets Using Botlab UW-CSE-08-10-01.PDF
Moy, Evelyn
1993-03-01 Implementing Network Protocols at User Level UW-CSE-93-03-01.pdf
Mudduluru, Rashmi
2021-02-01 Verifying Determinism in Sequential Programs (Extended Version) UW-CSE-21-02-01.pdf
Mulcaire, Phoebe
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Murphy, Gail C.
1993-09-02 The Interaction Between Static Typing and Frameworks UW-CSE-93-09-02.pdf
Murphy
1994-09-03 Reflecting Source Code Relations in Higher-Level Models of Software Systems UW-CSE-94-09-03.TXT
1995-02-03 Lightweight Source Model Extraction UW-CSE-95-02-03.TXT
1995-03-02 Software Reflexion Models: Bridging the Gap Between Source and High-Level Models UW-CSE-95-03-02.TXT
1995-08-01 An Empirical Study of Static Call Graph Extractors UW-CSE-95-08-01.html
1996-07-01 Assisting an Experimental Reengineering of Excel with Reflexion Models UW-CSE-96-07-01.TXT
Murua, Alejandro
2001-04-02 Model-based Clustering and Data Transformations for Gene Expression Data UW-CSE-01-04-02.pdf
Muslu, Kivanc
2013-07-02 Test Dependence: Theory and Manifestation UW-CSE-13-07-02.PDF
2014-01-01 Empirically Revisting the Test Independence Assumption UW-CSE-14-01-01.PDF
Myers, Brandon
2014-02-01 Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications UW-CSE-14-02-01.PDF
2014-10-01 Radish: Compiling Efficient Query Plans for Distributed Shared Memory UW-CSE-14-10-01.pdf
2016-02-02 Compiling queries for high-performance computing UW-CSE-16-02-02.pdf
Mytkowicz, Todd
2014-03-02 Probabilistic Assertions: Extended Semantics and Proof UW-CSE-14-03-02.PDF
Nandakumar, Rajalakshmi
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Narasayya, Vivek R.
1994-09-12 Integrating Coherency and Recoverability in Distributed Systems UW-CSE-94-09-12.pdf
Nelson, Jacob
2014-02-01 Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications UW-CSE-14-02-01.PDF
2014-05-01 Approximate Computing on Programmable SoCs via Neural Acceleration UW-CSE-14-05-01.PDF
2014-10-01 Radish: Compiling Efficient Query Plans for Distributed Shared Memory UW-CSE-14-10-01.pdf
2018-12-01 Pegasus: Load-Aware Selective Replication with an In-Network Coherence Directory UW-CSE-18-12-01.pdf
Nelson, Luke
2019-10-01 A note on verifying information flow control systems with Nickel UW-CSE-19-10-01.pdf
2019-11-01 Developing security monitors on RISC-V UW-CSE-19-11-01.pdf
Neuman, Barry Clifford
1992-06-04 The Virtual System Model: A Scalable Approach to Organizing Large Systems UW-CSE-92-06-04.pdf
Neuman, B. Clifford
1989-01-07 The Virtual System Model for Large Distributed Operating Systems UW-CSE-89-01-07.pdf
1989-10-10 Workstations and the Virtual System Model UW-CSE-89-10-10.pdf
1990-05-01 The Virtual System Model: A Scalable Approach to Organizing Large Systems; A Thesis Proposal UW-CSE-90-05-01.pdf
1991-02-01 Proxy-Based Authorization and Accounting for Distributed Systems UW-CSE-91-02-01.pdf
Neuman, Clifford
1987-12-07 Adding Packet Radio to the Ultrix Kernel UW-CSE-87-12-07.pdf
Ngo, Ton A.
1993-06-08 Data Locality On Shared Memory Computers Under Two Programming Models UW-CSE-93-06-08.pdf
Nguyen, Dat
1993-06-09 A Beginner's Guide to the Truckworld Simulator UW-CSE-93-06-09.pdf
Nguyen, Thu D.
1993-03-01 Implementing Network Protocols at User Level UW-CSE-93-03-01.pdf
1995-09-02 Maximizing Speedup Through Self-Tuning of Processor Allocation UW-CSE-95-09-02.pdf
1995-10-01 Using Runtime Measured Workload Characteristics in Parallel Processor Scheduling UW-CSE-95-10-01.pdf
1997-11-03 Distributed Scheduling Policies to Support 3D Multimedia Applications UW-CSE-97-11-03.pdf
1998-08-02 Cascaded Execution: Speeding Up Unparallelized Execution on Multiprocessor Systems UW-CSE-98-08-02.pdf
Nichols, Jeff
2000-08-04 A Constraint Extension to Scalable Vector Graphics UW-CSE-00-08-04.pdf
Nishimura, Naomi
1993-03-06 Pointers versus Arithmetic in PRAMs UW-CSE-93-03-06.pdf
Nita, Marius
2006-10-01 A Theory of Implementation-Dependent Low-Level Software UW-CSE-06-10-01.pdf
2012-05-02 Editing Text Versions With Layers UW-CSE-12-05-02.PDF
Noth, Michael
2000-12-01 An Extensible, Modular Architecture for Simulating Urban Development, Transportation, and Environmental Impacts UW-CSE-00-12-01.pdf
Notkin, David
1993-09-02 The Interaction Between Static Typing and Frameworks UW-CSE-93-09-02.pdf
1993-09-03 Prism: A Case Study in Behavioral Entity-Relationship Modeling and Design UW-CSE-93-09-03.pdf
1993-12-09 Abstractions for Portable, Scalable Parallel Programming UW-CSE-93-12-09.pdf
1994-09-03 Reflecting Source Code Relations in Higher-Level Models of Software Systems UW-CSE-94-09-03.TXT
1995-02-03 Lightweight Source Model Extraction UW-CSE-95-02-03.TXT
1995-03-02 Software Reflexion Models: Bridging the Gap Between Source and High-Level Models UW-CSE-95-03-02.TXT
1995-07-02 Using C++ Templates to Implement Role-Based Design UW-CSE-95-07-02.pdf
1995-08-01 An Empirical Study of Static Call Graph Extractors UW-CSE-95-08-01.html
1996-03-01 Semi-automatic Update of Applications in Response to Library Changes UW-CSE-96-03-01.pdf
1996-04-01 Using Role Components to Implement Collaboration-Based Designs UW-CSE-96-04-01.pdf
1996-04-02 Model Checking Large Software Specifications UW-CSE-96-04-02.pdf
1996-07-01 Assisting an Experimental Reengineering of Excel with Reflexion Models UW-CSE-96-07-01.TXT
1997-04-06 An Empirical Analysis of C Preprocessor Use UW-CSE-97-04-06.pdf
1998-01-03 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements UW-CSE-98-01-03.pdf
1998-05-01 Illustrating Object-Oriented Library Reuse by Example: A Tool-Based Approach UW-CSE-98-05-01.pdf
1998-05-02 Using Relaxed Class Diagram Intersection to Ease Object-Oriented Library Selection UW-CSE-98-05-02.pdf
1998-08-03 Dynamically Discovering Likely Program Invariants to Support Program Evolution (Technical Report Withdrawn) Superceded by: http://www.cs.washington.edu/homes/mernst/pubs/invariants-icse99.ps
1998-08-04 A Framework for Preprocessor-Aware C Source Code Analyses UW-CSE-98-08-04.pdf
1998-08-05 Assessing Software Libraries by Browsing Similar Classes, Functions, and Relationships UW-CSE-98-08-05.pdf
1998-09-02 Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts UW-CSE-98-09-02.pdf
2002-04-01 Architectural Reasoning in ArchJava UW-CSE-02-04-01.pdf
2002-12-03 An Empirical Study of Java Dynamic Call Graph Extractors UW-CSE-02-12-03.pdf
2002-12-04 Checking Inside the Black Box: Regression Fault Exposure and Localization Based on Value Spectra Differences UW-CSE-02-12-04.pdf
2003-04-02 Exploiting Synergy Between Testing and Inferred Partial Specifications UW-CSE-03-04-02.pdf
2004-01-05 Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests UW-CSE-04-01-05.pdf
2004-05-05 Automatic Extraction of Object-Oriented Observer UW-CSE-04-05-05.pdf
2004-08-02 Automatic Extraction of Sliced Object State Machines for Component Interfaces UW-CSE-04-08-02.pdf
2004-08-03 Automatically Identifying Special and Common Unit Tests Based on UW-CSE-04-08-03.pdf
2004-09-01 Supporting Ease of Change in the Context of Code UW-CSE-04-09-01.pdf
2004-10-02 Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution UW-CSE-04-10-02.pdf
2004-10-03 Detecting Redundant Unit Tests for AspectJ Programs UW-CSE-04-10-03.pdf
2007-09-01 Discovering and Representing Logical Structure in Code Change UW-CSE-07-09-01.PDF
2010-03-01 Speculative Identification of Merge Conflicts and Non-Conflicts UW-CSE-10-03-01.PDF
2013-07-02 Test Dependence: Theory and Manifestation UW-CSE-13-07-02.PDF
2014-01-01 Empirically Revisting the Test Independence Assumption UW-CSE-14-01-01.PDF
Nunley, Dylan
2009-06-01 Scalable Clustering Algorithm for N-Body Simulations in a Shared-Nothing Cluster UW-CSE-09-06-01.PDF
Ojemann, Jeffrey G.
2006-06-01 Learning to Predict Cortical Potentials using Simultaneous Transcranial Recording UW-CSE-06-06-01.pdf
Olteanu, Dan
2010-01-01 Bridging the Gap Between Intensional and Extensional Query Evaluation in Probabilistic Databases UW-CSE-10-01-01.PDF
Oluwafemi, Temitope
2015-12-01 Rethinking Mobile Money Security for Developing Regions UW-CSE-15-12-01.pdf
O'Rourke, Eleanor
2018-09-01 Practicum: a scalable online system for faded worked examples in CS1 UW-CSE-18-09-01.pdf
Ortega, Ross
1995-03-04 The Chinook Hardware/Software Co-Synthesis System UW-CSE-95-03-04.pdf
Oskin, Mark
2003-01-01 WaveScalar UW-CSE-03-01-01.pdf
2008-05-01 DMP: Deterministic Shared Memory Multiprocessing UW-CSE-08-05-01.PDF
2014-02-01 Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications UW-CSE-14-02-01.PDF
2014-10-01 Radish: Compiling Efficient Query Plans for Distributed Shared Memory UW-CSE-14-10-01.pdf
2015-01-01 ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing UW-CSE-15-01-01.pdf
2016-02-02 Compiling queries for high-performance computing UW-CSE-16-02-02.pdf
2016-05-01 Paperscope: Chronicling the History of Computer Architecture Research UW-CSE-16-05-01.pdf
2016-06-01 Disciplined Inconsistency UW-CSE-16-06-01.pdf
Ostendorf, Mari
2006-06-06 A Machine Learning Approach to Reading Level Assessment UW-CSE-06-06-06.pdf
Otero, Daniel
2009-09-04 blami: Externalized Parallelism for a Serial Web Server UW-CSE-09-09-04.PDF
Panchekha, Pavel
2014-03-02 Probabilistic Assertions: Extended Semantics and Proof UW-CSE-14-03-02.PDF
Pang, Deric
2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf
2017-03-01 Program Synthesis from Natural Language Using Recurrent Neural Networks UW-CSE-17-03-01.pdf
Papadimitriou, Christos H.
1996-03-03 Emerging Opportunities for Theoretical Computer Science UW-CSE-96-03-03.pdf
Pardyak, Przemyslaw
1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf
1994-04-02 A Group Structuring Mechanism for a Distributed Object-oriented Language UW-CSE-94-04-02.pdf
1997-09-01 Strands: An Efficient and Extensible Thread Management Architecture UW-CSE-97-09-01.pdf
Parekh, Sujay
2000-04-02 Thread-Sensitive Scheduling for SMT Processors UW-CSE-00-04-02.pdf
Parekh, Sujay S.
1997-12-01 Software-Directed Register Deallocation for Simultaneous Multithreaded Processors UW-CSE-97-12-01.pdf
Parno, Bryan
2016-11-01 Talek: a Private Publish-Subscribe Protocol UW-CSE-16-11-01.pdf
Partridge, Kurt
2002-07-02 Touch-Aware Communication for Portable Devices UW-CSE-02-07-02.pdf
Patel, Shwetak
2013-05-02 AirWave: Non-Contact Haptic Feedback Using Air Vortex Rings UW-CSE-13-05-02.PDF
Patel, Shwetak N.
2017-01-01 Securing Vulnerable Home IoT Devices with an In-Hub Security Manager UW-CSE-17-01-01.pdf
Patrikainen, Anne
2004-10-01 Comparing Subspace Clusterings UW-CSE-04-10-01.pdf
2005-06-05 Spectral Clustering for Microsoft Netscan Data UW-CSE-05-06-05.pdf
Patterson, Hugo
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
Pearson, Spencer
2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf
Penberthy, Scott
1993-09-06 The UCPOP User's Manual UW-CSE-93-09-06.pdf
Pentney, William
2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf
Perkowitz, Mike
1997-03-01 Adaptive Sites: Automatically Learning from User Access Patterns UW-CSE-97-03-01.pdf
Pernsteiner, Stuart
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
Peter, Simon
2013-07-01 Transit as Service UW-CSE-13-07-01.PDF
2013-10-01 Arrakis: The Operating System is the Control Plane UW-CSE-13-10-01.PDF
2014-09-01 Subways: A Case for Redundant, Inexpensive Data Center Edge Links UW-CSE-14-09-01.pdf
2018-09-02 iPipe: A Framework for Building Datacenter Applications Using In-networking UW-CSE-18-09-02.pdf
Petersen, Sarah E.
2006-06-06 A Machine Learning Approach to Reading Level Assessment UW-CSE-06-06-06.pdf
Pevzner, Pavel
1996-03-03 Emerging Opportunities for Theoretical Computer Science UW-CSE-96-03-03.pdf
Philipose, Matthai
1997-03-03 DyC: An Expressive Annotation-Directed Dynamic Compiler for C UW-CSE-97-03-03.pdf
2008-07-01 Access Methods for Markovian Streams UW-CSE-08-07-01.PDF
2009-03-03 LaharOLAP: Supporting OLAP Queeries on Markovian Streams UW-CSE-09-03-03.PDF
2009-07-03 Approximation Trade-Offs in a Markovian Stream Warehouse: An Empirical Study UW-CSE-09-07-03.PDF
2018-09-05 Nexus: A GPU Cluster for Accelerating Neural Networks for Video Analysis UW-CSE-18-09-05.pdf
Piatek, Michael
2006-11-01 LiveSwarms: Adapting BitTorrent for end host multicast UW-CSE-06-11-01.pdf
2006-11-02 Do incentives build robustness in BitTorrent? UW-CSE-06-11-02.pdf
2008-06-01 Challenges and Directions for Monitoring P2P File Sharing Networks, or Why My Printer Received a DMCA Takedown Notice UW-CSE-08-06-01.PDF
Pighin, Frederic
1997-01-03 Realistic Facial Animation Using Image Based 3d Morphing UW-CSE-97-01-03.pdf
Pighin, Frederic H.
1995-08-07 Implementing Global Memory Management in a Workstation Cluster UW-CSE-95-08-07.pdf
Pincheira, Ricardo
1994-05-07 A Self-Accelerating Packet Service Discipline for Low-Delay Service to Bursty Flows UW-CSE-94-05-07.pdf
Pollack, Martha
1993-06-05 Benchmarks, Testbeds, Controlled Experimentation, and the Design of Agent Architectures UW-CSE-93-06-05.pdf
Pool, Jonathan
2009-04-02 Evaluating Lemmatic Communication UW-CSE-09-04-02.PDF
Popovic, Zoran
2002-04-02 A Multiresolution Framework for Dynamic Deformations UW-CSE-02-04-02.pdf
Popović, Zoran
2017-10-02 Synthesizing Optimal Domain Models for Educational Applications UW-CSE-17-10-02.pdf
Portnoy, Will
2000-08-04 A Constraint Extension to Scalable Vector Graphics UW-CSE-00-08-04.pdf
Ports, Dan
2016-06-01 Disciplined Inconsistency UW-CSE-16-06-01.pdf
2019-11-02 Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle UW-CSE-19-11-02.pdf
Ports, Dan R. K.
2013-10-01 Arrakis: The Operating System is the Control Plane UW-CSE-13-10-01.PDF
2014-04-01 Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency UW-CSE-14-04-01.PDF
2014-12-01 Building Consistent Transactions with Inconsistent Replication UW-CSE-14-12-01.pdf
2016-08-02 Providing Stable Storage for the Diskless Crash-Recovery Failure Model UW-CSE-16-08-02.pdf
2016-09-02 Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering (Extended Version) UW-CSE-16-09-02.pdf
2017-08-01 Recovering Shared Objects Without Stable Storage (Extended Version) UW-CSE-17-08-01.pdf
2017-10-01 Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control (Extended Version) UW-CSE-17-10-01.pdf
2018-12-01 Pegasus: Load-Aware Selective Replication with an In-Network Coherence Directory UW-CSE-18-12-01.pdf
Pottinger, Rachel A.
2003-02-03 Merging Models Based on Given Correspondences UW-CSE-03-02-03.pdf
Prat, Chantel
2014-07-01 A Direct Brain-to-Brain Interface in Humans UW-CSE-14-07-01.pdf
Prince, Craig
2006-10-02 A Study of Digital Ink Student Artifacts to Inform the Scaling of a Classroom Interaction System UW-CSE-06-10-02.pdf
Pronobis, Andrezj
2016-10-02 Autonomous Question Answering with Mobile Robots in Human-Populated Environments UW-CSE-16-10-02.pdf
Pulli, Kari
1995-01-01 TRIBORS: A Triplet-Based Object Recognition System UW-CSE-95-01-01.pdf
1996-03-02 Fast Rendering of Subdivision Surfaces UW-CSE-96-03-02.pdf
1997-04-01 View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data UW-CSE-97-04-01.pdf
Pulli
1997-04-07 Hierarchical Editing and Rendering of Subdivision Surfaces UW-CSE-97-04-07.d
Qadeer, Shaz
2009-07-04 Conflict Exceptions: Providing Simple Parallel Language Semantics with Precise Hardware Exceptions UW-CSE-09-07-04.PDF
2012-04-01 RADISH: Always-On Sound and Complete Race Detection in Software and Hardware UW-CSE-12-04-01.PDF
Qin, Xiaohan
1994-01-04 A Parallel Trace-driven Simulator: Implementation and Performance UW-CSE-94-01-04.pdf
1994-10-03 Optimistic Trace-driven Simulation UW-CSE-94-10-03.pdf
1994-10-04 A Comparative Study of Conservative and Optimistic Trace-driven Simulation UW-CSE-94-10-04.pdf
1996-07-02 On the Use and Performance of Explicit Communication Primitives in Cache-coherent Multiprocessor Systems UW-CSE-96-07-02.pdf
1997-01-02 A Performance Evaluation of Cluster-based Architectures UW-CSE-97-01-02.pdf
Rabinovich, Michael
1993-03-02 A Performance Study of a New Grid Protocol and General Grid Structures for Replicated Data UW-CSE-93-03-02.pdf
Rabinovich, Peter S.
2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf
Raftery, Adrian E.
2001-04-02 Model-based Clustering and Data Transformations for Gene Expression Data UW-CSE-01-04-02.pdf
Ragde, Prabhakar
1993-03-06 Pointers versus Arithmetic in PRAMs UW-CSE-93-03-06.pdf
Raghavan, Prabhakar
1993-02-01 Time-Space Tradeoffs for Undirected Graph Traversal UW-CSE-93-02-01.pdf
Rajkumar, Ragunathan
1992-09-03 Monitoring Timing Constraints in Distributed Real-time Systems UW-CSE-92-09-03.pdf
Raju, Sitaram C.V.
1992-09-03 Monitoring Timing Constraints in Distributed Real-time Systems UW-CSE-92-09-03.pdf
1992-10-03 A Prototyping Environment for Specifying, Executing and Checking Communicating Real-time State Machines UW-CSE-92-10-03.pdf
1993-04-08 An Automatic Verification Technique for Communicating Real-Time State Machines UW-CSE-93-04-08.pdf
Ramaswamy, Jonathan
2012-03-04 Traffic Routing for Evaluating Self-Adaptation UW-CSE-12-03-04.PDF
Ransford, Benjamin
2015-01-01 ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing UW-CSE-15-01-01.pdf
Rao, Rajesh
2005-02-01 Graphical Models for Planning and Imitation in Uncertain Environments UW-CSE-05-02-01.pdf
Rao, Rajesh P.N.
2002-07-03 Temporal Sequence Learning With Dynamic Synapses UW-CSE-02-07-03.pdf
2002-07-04 Bayesian Computation in Recurrent Cortical Circuits UW-CSE-02-07-04.pdf
2002-09-03 A Bilinear Model for Sparse Coding UW-CSE-02-09-03.pdf
2003-06-02 The Trajectory Mixture Model for Learning Collections of Nonlinear unctions UW-CSE-03-06-02.pdf
2003-12-01 Learning the Lie Groups of Visual Invariance UW-CSE-03-12-01.pdf
2004-01-02 Bilinear Sparse Coding for Invariant Vision UW-CSE-04-01-02.pdf
2004-07-02 Probabilistic Gaze Imitation and Saliency UW-CSE-04-07-02.pdf
2005-01-01 A Bayesian Active Vision Architecture for Shared Attention UW-CSE-05-01-01.pdf
2005-06-02 Gaussian Process CCA for Image Synthesis and Robotic Imitation UW-CSE-05-06-02.pdf
2006-06-01 Learning to Predict Cortical Potentials using Simultaneous Transcranial Recording UW-CSE-06-06-01.pdf
2008-11-01 Quantitative Evidence for Possible Linguistic Structure in the Indus Script UW-CSE-08-11-01.PDF
2008-11-02 A Markov Model of the 4500-year-old Indus Script UW-CSE-08-11-02.PDF
2013-10-02 Neurons as Monte Carlo Samplers: Bayesian Inference and Learning in Spiking Networks UW-CSE-13-10-02.PDF
2013-11-04 A Developmental Approach to Goal-Based Imitation Learning in Robots UW-CSE-13-11-04.PDF
2014-07-01 A Direct Brain-to-Brain Interface in Humans UW-CSE-14-07-01.pdf
2016-10-02 Autonomous Question Answering with Mobile Robots in Human-Populated Environments UW-CSE-16-10-02.pdf
Rao, R.P.N.
2003-06-01 Probabilistic Bilinear Models for Appearance-Based Vision UW-CSE-03-06-01.pdf
Rasmussen, Carl Edward
2010-06-01 A Practical and Conceptual Framework for Learning in Control UW-CSE-10-06-01.PDF
Rastogi, Vibhor
2008-01-01 Query Evaluation with Soft Key Constraints UW-CSE-08-01-01.pdf
Razmov, Valentin
2006-10-02 A Study of Digital Ink Student Artifacts to Inform the Scaling of a Classroom Interaction System UW-CSE-06-10-02.pdf
Re, Christopher
2006-06-02 A Performant XQuery to SQL Translator UW-CSE-06-06-02.pdf
2007-03-02 Materialized Views in Probabilistic Databases For Information Exchange and Query Optimization UW-CSE-07-03-02.pdf
2008-07-01 Access Methods for Markovian Streams UW-CSE-08-07-01.PDF
2009-03-03 LaharOLAP: Supporting OLAP Queeries on Markovian Streams UW-CSE-09-03-03.PDF
2009-07-03 Approximation Trade-Offs in a Markovian Stream Warehouse: An Empirical Study UW-CSE-09-07-03.PDF
Redstone, Joshua
1998-12-04 Algorithms for Ordering DNA Probes on Chromosomes UW-CSE-98-12-04.pdf
Redstone, Joshua Abram
2002-12-05 An Analysis of Software Interface Issues for SMT Processors UW-CSE-02-12-05.pdf
Reed, Eric
2015-03-02 Patina: A Formalization of the Rust Programming Language UW-CSE-15-03-02.pdf
Reese, Jon
1996-04-02 Model Checking Large Software Specifications UW-CSE-96-04-02.pdf
Reges, Stuart
2018-09-01 Practicum: a scalable online system for faded worked examples in CS1 UW-CSE-18-09-01.pdf
Reid, Brian J.
2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf
Reis, Charles
2007-12-01 Using Processes to Improve the Reliability of Browser-based Applications UW-CSE-07-12-01.pdf
Ren, Kai
2012-06-01 Hadoop's Adolescence: A Comparative Workload Analysis from Three Research Clusters UW-CSE-12-06-01.PDF
Ren, Xiaofeng
2011-02-02 Interactive Dense 3D Modeling of Indoor Environments UW-CSE-11-02-02.PDF
Rennie, Kevin B.
2001-06-06 Investigation of a Digital Camera Imaging Pipeline on the RaPiD Array UW-CSE-01-06-06.pdf
Rice, Erika
2006-06-04 Automatic Inference of Data UW-CSE-06-06-04.pdf
Richardson, Matthew
2002-08-01 Data Compression of Neural Signaling in an Implantable Microchip UW-CSE-02-08-01.pdf
2003-02-04 Building large knowledge bases by mass collaboration UW-CSE-03-02-04.pdf
2003-02-05 Building the Semantic Web by Mass Collaboration UW-CSE-03-02-05.pdf
2003-10-01 Learning in First-Order Probabilistic Representations UW-CSE-03-10-01.pdf
Ringenburg, Michael F.
2004-07-03 Type Safety and Erasure Proofs for "A Type System for Coordinated Data Structures" UW-CSE-04-07-03.pdf
2012-07-02 Quality of Service Profiling and Autotuning for Energy-Aware Approximate Programming UW-CSE-12-07-02.PDF
2014-03-01 Dynamic Analysis of Aproximate Program Quality UW-CSE-14-03-01.PDF
Riskin, Eve A.
1992-12-08 Theory and Practice of Vector Quantizers Trained on Small Training Sets UW-CSE-92-12-08.pdf
Roberts, Ben R.
2024-09-01 Evaluation of Version Control Merge Tools (Appendix) UW-CSE-24-09-01.pdf
Rockett, Matthew
2018-09-06 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network UW-CSE-18-09-06.pdf
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Rodrig, Maya
2004-05-04 How to Resolve IP Aliases UW-CSE-04-05-04.pdf
2004-06-01 Encouraging Cooperation in Multi-hop Wireless Networks UW-CSE-04-06-01.pdf
Roesner, Franziska
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
2015-12-01 Rethinking Mobile Money Security for Developing Regions UW-CSE-15-12-01.pdf
2017-01-01 Securing Vulnerable Home IoT Devices with an In-Hub Security Manager UW-CSE-17-01-01.pdf
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Rolia, Jerome
2012-03-03 SkewTune: Mitigating Skew in MapReduce Applications UW-CSE-12-03-03.PDF
Rombokas, Eric
2012-09-03 Relative Entropy and Free Energy Dualities: Connections to Path Integral Control and Applications to Tendon Driven Systems UW-CSE-12-09-03.PDF
Romer, Theodore Haynes
1998-05-03 Using Virtual Memory to Improve Cache and TLB Performance UW-CSE-98-05-03.pdf
Roscoe, Timothy
2013-10-01 Arrakis: The Operating System is the Control Plane UW-CSE-13-10-01.PDF
Rothenberg, Alex I.
1995-04-03 Multiplayer Activities that Develop Mathematical Coordination UW-CSE-95-04-03.pdf
Roy, Sumit
2003-06-04 Exploiting mobility for energy efficient data collection in wireless sensor networks UW-CSE-03-06-04.pdf
Rudra, Atri
2004-08-01 Approximation Algorithms for Wavelength Assignment UW-CSE-04-08-01.pdf
2004-10-04 Floodlight Illumination of Infinite Wedges UW-CSE-04-10-04.pdf
2005-04-02 On the Hardness of Embeddings Between Two Finite Metrics UW-CSE-05-04-02.pdf
2005-10-01 How well can Priceline sell airline tickets? UW-CSE-05-10-01.pdf
Rupp, Douglas
1996-05-02 Real-Time Programming With Time-Stamped Event Histories UW-CSE-96-05-02.pdf
Russell, Stephen
1993-12-08 Faster Dynamic Linking for SPARC V8 and System V.4 UW-CSE-93-12-08.pdf
Ruzzo, Walter L.
1991-01-01 Parallel Quicksand: Fast Sorting on the Sequent UW-CSE-91-01-01.PDF
1991-05-01 A Compendium of Problems Complete for P UW-CSE-91-05-01.pdf
1991-06-02 Deterministic Algorithms for Undirected s-t Connectivity Using Polynomial Time and Sublinear Space UW-CSE-91-06-02.pdf
1992-03-05 A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity UW-CSE-92-03-05.pdf
1993-02-01 Time-Space Tradeoffs for Undirected Graph Traversal UW-CSE-93-02-01.pdf
1993-03-06 Pointers versus Arithmetic in PRAMs UW-CSE-93-03-06.pdf
1998-12-04 Algorithms for Ordering DNA Probes on Chromosomes UW-CSE-98-12-04.pdf
2000-01-01 Validating Clustering for Gene Expression Data UW-CSE-00-01-01.pdf
2000-08-01 Bayesian Classification of DNA Array Expression Data UW-CSE-00-08-01.pdf
2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf
2000-11-03 An Empirical Study on Principal Component Analysis for Clustering Gene Expression Data UW-CSE-00-11-03.pdf
2001-04-02 Model-based Clustering and Data Transformations for Gene Expression Data UW-CSE-01-04-02.pdf
Ruzzo
1997-02-03 Parallel RAMs with Owned Global Memory and Deterministic Context-Free Language Recognition UW-CSE-97-02-03.PS.Z
Sabharwal, Ashish
2004-10-04 Floodlight Illumination of Infinite Wedges UW-CSE-04-10-04.pdf
2005-04-02 On the Hardness of Embeddings Between Two Finite Metrics UW-CSE-05-04-02.pdf
Saha, Bratin
2007-11-01 Towards a Lock-based Semantics for Java STM UW-CSE-07-11-01.pdf
Salesin, David
1994-01-05 Importance-Driven Wavelet Radiance (Preempted by TR 94-10-01) (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/1994/10/UW-CSE-94-10-01.PS.Z
1994-01-07 Interactive Pen-and-Ink Illustration UW-CSE-94-01-07b.pdf
1994-01-08 Computer-Generated Pen-and-Ink Illustration UW-CSE-94-01-08b.d
1994-01-09 Multiresolution Painting and Compositing UW-CSE-94-01-09b.d
1995-01-06 Fast Multiresolution Image Querying UW-CSE-95-01-06.d
1995-01-07 Clustering for Glossy Global Illumination UW-CSE-95-01-07.d
1995-05-02 Fast Rendering of Complex Environments Using a Spatial Hierarchy UW-CSE-95-05-02.d
1996-01-01 Multiresolution Video UW-CSE-96-01-01.d
1996-01-02 A Resolution-Independent Representation for Pen-and-Ink Illustration UW-CSE-96-01-02.d
1996-01-05 Rendering Free-Form Surfaces in Pen-and-Ink UW-CSE-96-01-05.d
1996-01-06 Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments UW-CSE-96-01-06.d
1997-01-01 Orientable Textures for Image-Based Pen-and-Ink Illustration UW-CSE-97-01-01.PS.gz
2007-04-01 Interactive Video Object Annotation UW-CSE-07-04-01.pdf
2007-04-02 Changes in Webpage Structure over Time UW-CSE-07-04-02.pdf
2007-04-03 Relations, Cards, and Search Templates: UserGuided Web Data Integration and Layout UW-CSE-07-04-03.pdf
2009-03-02 A Consistent Segmentation Approach to Image-based Rendering UW-CSE-09-03-02.PDF
Salesin, David H.
1994-01-06 Multiresolution Curves UW-CSE-94-01-06b.pdf
1994-09-11 Wavelets for Computer Graphics: A Primer UW-CSE-94-09-11.pdf
1994-10-01 Global Illumination of Glossy Environments using Wavelets and Importance UW-CSE-94-10-01.pdf
1997-01-03 Realistic Facial Animation Using Image Based 3d Morphing UW-CSE-97-01-03.pdf
2001-10-02 View-dependent Refinement of Multiresolution Meshes with Subdivision Connectivity UW-CSE-01-10-02.pdf
2004-04-02 Animating Pictures with Stochastic Motion Textures UW-CSE-04-04-02.pdf
Salisbury, Mike
1994-01-07 Interactive Pen-and-Ink Illustration UW-CSE-94-01-07b.pdf
Salisbury
1996-01-02 A Resolution-Independent Representation for Pen-and-Ink Illustration UW-CSE-96-01-02.d
1997-01-01 Orientable Textures for Image-Based Pen-and-Ink Illustration UW-CSE-97-01-01.PS.gz
Sampson, Adrian
2012-07-02 Quality of Service Profiling and Autotuning for Energy-Aware Approximate Programming UW-CSE-12-07-02.PDF
2012-09-02 Automatic Discovery of Performance and Energy Pitfalls in HTML and CSS UW-CSE-12-09-02.PDF
2014-03-01 Dynamic Analysis of Aproximate Program Quality UW-CSE-14-03-01.PDF
2014-03-02 Probabilistic Assertions: Extended Semantics and Proof UW-CSE-14-03-02.PDF
2014-05-01 Approximate Computing on Programmable SoCs via Neural Acceleration UW-CSE-14-05-01.PDF
2015-01-01 ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing UW-CSE-15-01-01.pdf
2016-03-01 A Taxonomy of Approximate Computing Techniques UW-CSE-16-03-01.pdf
Sandoval, Omar
2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF
Sandys, Sean David
1998-12-03 Requirement Specifications for Real-Time Communication UW-CSE-98-12-03.pdf
San Miguel, Joshua
2016-03-01 A Taxonomy of Approximate Computing Techniques UW-CSE-16-03-01.pdf
Sannella, Michael
1992-07-01 Multi-Garnet: Integrating Multi-Way Constraints with Garnet UW-CSE-92-07-01.pdf
1992-07-02 The SkyBlue Constraint Solver UW-CSE-92-07-02.pdf
1992-07-05 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm UW-CSE-92-07-05a.pdf
Saponas, T. Scott
2006-12-06 Devices That Tell On You: The Nike+iPod Sport Kit UW-CSE-06-12-06.pdf
2008-04-02 iLearn on the iPhone: Real-Time Human Activity Classification on Commodity Mobile Phones UW-CSE-08-04-02.PDF
Sarma, Devapratim
2014-07-01 A Direct Brain-to-Brain Interface in Humans UW-CSE-14-07-01.pdf
Saroiu, Stefan
2001-06-02 A Measurement Study of Peer-To-Peer File Sharing Systems UW-CSE-01-06-02.pdf
Sarvadevabhatla, Ravi Kiran
2006-11-04 Predicting terrain traversability from visual and accelerometric feature correlation UW-CSE-06-11-04.pdf
Sathe, Visvesh
2017-05-01 MATIC: Adaptation and In-Situ Canaries for Energy-Efficient Neural Network Acceleration UW-CSE-17-05-01.pdf
Savage, Stefan
1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Sazawal, Vibha
2002-04-03 The Unigesture Approach: One-Handed Text Entry for Small Devices UW-CSE-02-04-03.pdf
2004-09-01 Supporting Ease of Change in the Context of Code UW-CSE-04-09-01.pdf
Schechter, Stuart
2011-04-01 These Aren't the Droids You're Looking For: Retrofitting Android to Protect Data from Imperious Applications UW-CSE-11-04-01.PDF
Schesch, Benedikt
2024-09-01 Evaluation of Version Control Merge Tools (Appendix) UW-CSE-24-09-01.pdf
Schieber, Baruch
1992-03-05 A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity UW-CSE-92-03-05.pdf
2005-10-01 How well can Priceline sell airline tickets? UW-CSE-05-10-01.pdf
Schmidt, Rene W.
1994-06-03 Exploiting Shared Memory for Protected Services UW-CSE-94-06-03.pdf
Schnaitter, Karl
2010-03-02 Computing Query Probability with Incidence Algebras UW-CSE-10-03-02.PDF
Schneier, Bruce
2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF
Schoenmackers, Stefan
2007-01-01 Exploring the Relationship of Information Retrieval and Information Extraction UW-CSE-07-01-01.pdf
Schueppert, Michael
2013-11-05 SolocoRank: Using Social Signals for Local Place Quality UW-CSE-13-11-05.pdf
Schulte, Wolfram
2004-10-02 Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution UW-CSE-04-10-02.pdf
Schummer, MIchael
2000-08-01 Bayesian Classification of DNA Array Expression Data UW-CSE-00-08-01.pdf
Schweitzer
1996-08-02 Analysis and Application of Subdivision Surfaces UW-CSE-96-08-02.PS.gz
Scott, Colin
2012-05-01 LIFEGUARD: Locating Internet Failure Events and Generating Usable Alternate Routes Dynamically UW-CSE-12-05-01.PDF
Scott, Will
2013-11-01 Radiatus: Strong User Isolation for Scalable Web Applications UW-CSE-13-11-01.PDF
2014-06-01 Blocking-Resistant Network Services using Unblock UW-CSE-14-06-01.pdf
2015-06-02 Satellite: Observations of the Internet's Stars UW-CSE-15-06-02.pdf
Scott, William
2013-05-03 freedom.js: an Architecture for Serverless Web Applications UW-CSE-13-05-03.pdf
2016-11-01 Talek: a Private Publish-Subscribe Protocol UW-CSE-16-11-01.pdf
Segal, Mark
1996-03-02 Fast Rendering of Subdivision Surfaces UW-CSE-96-03-02.pdf
Segal, Richard
1993-09-01 Building Softbots for UNIX (preliminary report) UW-CSE-93-09-01.pdf
Segal, Richard B.
1993-04-04 OS Agents: Using AI Techniques in the Operating System Environment UW-CSE-93-04-04.pdf
Seitz, Steve
2004-05-03 Shape and Spatially-Varying BRDFs From Photometric Stereo UW-CSE-04-05-03.pdf
2009-08-01 Occlusion Reasoning for Temporal Interpolation using Optical Flow UW-CSE-09-08-01.PDF
Seitz, Steven M.
2004-03-02 The Office of the Past: Document Discovery and Tracking from Video UW-CSE-04-03-02.pdf
2007-04-01 Interactive Video Object Annotation UW-CSE-07-04-01.pdf
2011-02-02 Interactive Dense 3D Modeling of Indoor Environments UW-CSE-11-02-02.PDF
Selberg, Erik
1998-06-01 Experiments with Collaborative Index Enhancement UW-CSE-98-06-01.pdf
Sengupta, Rimli
2000-08-03 Quality Control in Manufacturing Oligo Arrays: A Combinatorial Design Approach UW-CSE-00-08-03.pdf
Severson, Rachel
2003-04-03 Coding Manual for Children's Interactions with Aibo, the Robotic Dog - The Preschool Study UW-CSE-03-04-03.pdf
Shade, Jonathan
2002-12-06 Approximating the Plenoptic Function UW-CSE-02-12-06.pdf
Shade, Jonathan Ward
2004-06-06 View-Dependent Image-Based Techniques for Fast Rendering of Complex Environments UW-CSE-04-06-06.pdf
Shade
1996-01-06 Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments UW-CSE-96-01-06.d
2002-12-07 Tiling Layered Depth Images (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/2004/06/UW-CSE-04-06-06.pdf
Shah, Rahul C.
2003-06-04 Exploiting mobility for energy efficient data collection in wireless sensor networks UW-CSE-03-06-04.pdf
Shapiro, Linda
1997-04-01 View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data UW-CSE-97-04-01.pdf
Sharma, Naveen
2019-11-02 Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle UW-CSE-19-11-02.pdf
Sharma, Naveen Kr.
2014-04-01 Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency UW-CSE-14-04-01.PDF
2014-12-01 Building Consistent Transactions with Inconsistent Replication UW-CSE-14-12-01.pdf
2016-08-02 Providing Stable Storage for the Diskless Crash-Recovery Failure Model UW-CSE-16-08-02.pdf
2016-09-02 Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering (Extended Version) UW-CSE-16-09-02.pdf
2017-08-01 Recovering Shared Objects Without Stable Storage (Extended Version) UW-CSE-17-08-01.pdf
Shaw, Alan
1985-12-05 Research in Real-Time Systems UW-CSE-85-12-05.PDF
1988-01-01 Software Engineering of Real-Time Operating Systems UW-CSE-88-01-01.PDF
1996-05-02 Real-Time Programming With Time-Stamped Event Histories UW-CSE-96-05-02.pdf
1998-12-03 Requirement Specifications for Real-Time Communication UW-CSE-98-12-03.pdf
Shaw, Alan C.
1992-10-03 A Prototyping Environment for Specifying, Executing and Checking Communicating Real-time State Machines UW-CSE-92-10-03.pdf
1993-08-01 A (More) Formal Definition of Communicating Real-Time State Machines UW-CSE-93-08-01.pdf
1994-02-03 On Scalable State-Based Specifications for Real-Time Systems UW-CSE-94-02-03.pdf
Shaw, Marianne
2002-02-01 Denali: Lightweight Virtual Machines for Distributed and Networked Applications UW-CSE-02-02-01.pdf
Shen, Haichen
2013-11-03 Improving Power Efficiency Using Sensor Hubs Without Re-Coding Mobile Apps UW-CSE-13-11-03.PDF
2014-05-02 MetaSync: File Synchronization Across Multiple Untrusted Storage Services UW-CSE-14-05-02.PDF
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
2018-09-05 Nexus: A GPU Cluster for Accelerating Neural Networks for Video Analysis UW-CSE-18-09-05.pdf
Shon, Aaron P.
2002-07-03 Temporal Sequence Learning With Dynamic Synapses UW-CSE-02-07-03.pdf
2003-06-02 The Trajectory Mixture Model for Learning Collections of Nonlinear unctions UW-CSE-03-06-02.pdf
2004-07-02 Probabilistic Gaze Imitation and Saliency UW-CSE-04-07-02.pdf
2005-01-01 A Bayesian Active Vision Architecture for Shared Attention UW-CSE-05-01-01.pdf
2005-06-02 Gaussian Process CCA for Image Synthesis and Robotic Imitation UW-CSE-05-06-02.pdf
2006-06-01 Learning to Predict Cortical Potentials using Simultaneous Transcranial Recording UW-CSE-06-06-01.pdf
Shon, A.P.
2003-06-01 Probabilistic Bilinear Models for Appearance-Based Vision UW-CSE-03-06-01.pdf
Shostack, Adam
2012-07-01 Control-Alt-Hack(TM): A Card Game for Computer Security Outreach, Education, and Fun UW-CSE-12-07-01.PDF
Shpeisman, Tatiana
2007-11-01 Towards a Lock-based Semantics for Java STM UW-CSE-07-11-01.pdf
Sigurbjarnarson, Helgi
2019-10-01 A note on verifying information flow control systems with Nickel UW-CSE-19-10-01.pdf
Sigurdsson, Stefan B.
2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf
Simko, Lucy
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Simon, Beth
2006-10-02 A Study of Digital Ink Student Artifacts to Inform the Scaling of a Classroom Interaction System UW-CSE-06-10-02.pdf
Simpson, Anna Kornfeld
2017-01-01 Securing Vulnerable Home IoT Devices with an In-Hub Security Manager UW-CSE-17-01-01.pdf
Sinha, Rakesh
1993-10-02 Complexity of Sub-Bus Mesh Computations UW-CSE-93-10-02.pdf
Sinha, Rakesh K.
1992-12-01 Bounds on Sample Space Size for Matrix Product Verification UW-CSE-92-12-01.pdf
1993-03-02 A Performance Study of a New Grid Protocol and General Grid Structures for Replicated Data UW-CSE-93-03-02.pdf
Sinha, Rakesh Kumar
1991-08-06 A Probabilistic Algorithm for Verifying Matrix Products Using $O(n^2)$ Time and $log_{2}n + O(1)$ Random Bits UW-CSE-91-08-06.pdf
1995-08-02 Some topics in Parallel Computation and Branching Programs UW-CSE-95-08-02.pdf
Sirer, Emin Gun
1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf
1997-09-01 Strands: An Efficient and Extensible Thread Management Architecture UW-CSE-97-09-01.pdf
1998-09-01 Improving the Security, Scalability, Manageability and Performance of System Services for Network Computing UW-CSE-98-09-01.pdf
2000-10-01 Comprehensive Synchronization Elimination for Java UW-CSE-00-10-01.pdf
Smith, David E.
1998-09-06 Incremental Graphplan UW-CSE-98-09-06.pdf
Smith, Ian
2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF
Snell, John
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Snyder, Lawrence
1986-06-01 An Investigation into the Design Costs of a Single Chip Multigauge Machine UW-CSE-86-06-01.PDF
1991-04-04 Mesh and Torus Chaotic Routing UW-CSE-91-04-04.pdf
1993-06-01 A Study of Chaotic Routing with Nonuniform Traffic UW-CSE-93-06-01.pdf
1993-06-08 Data Locality On Shared Memory Computers Under Two Programming Models UW-CSE-93-06-08.pdf
1993-12-09 Abstractions for Portable, Scalable Parallel Programming UW-CSE-93-12-09.pdf
1994-02-04 The Case for Chaotic Adaptive Routing UW-CSE-94-02-04.pdf
1995-05-02 Fast Rendering of Complex Environments Using a Spatial Hierarchy UW-CSE-95-05-02.d
1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf
1996-01-06 Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments UW-CSE-96-01-06.d
1996-01-11 Triplex Router: A Versatile Torus Routing Algorithm UW-CSE-96-01-11.pdf
1996-06-01 A Comparison of Input and Output Driven Routers UW-CSE-96-06-01.pdf
1997-04-04 A Compiler Abstraction for Machine Independent Parallel Communication Generation UW-CSE-97-04-04.pdf
1997-04-05 Quantifying the Effects of Communication Optimizations UW-CSE-97-04-05.pdf
1997-12-02 ZPLs WYSIWYG Performance Model UW-CSE-97-12-02.pdf
1998-10-02 Regions: An Abstraction for Expressing Array Computation UW-CSE-98-10-02.pdf
1998-11-01 A Region-based Approach for Sparse Parallel Computing UW-CSE-98-11-01.pdf
1998-11-02 Array Language Support for Wavefront and Pipelined Computations UW-CSE-98-11-02.pdf
2005-11-01 On the Sensitivity of Parallel Programming Languages to the Number and Arrangement of Processors UW-CSE-05-11-01.pdf
Soderland, Stephen
1991-02-03 Evaluating Nonlinear Planning UW-CSE-91-02-03.PDF
2004-05-01 Learning Text Patterns for Web Information Extraction and Assessment UW-CSE-04-05-01.pdf
2009-04-02 Evaluating Lemmatic Communication UW-CSE-09-04-02.PDF
2013-12-02 "Out of the Box" Information Extraction: a Case Study using Bio-Medical Texts UW-CSE-13-12-02.PDF
Soroush, Emad
2015-06-01 Efficient Iterative Processing in the SciDB Parallel Array Engine UW-CSE-15-06-01.pdf
Spiridon, Ciprian
2015-09-03 Boolean Formulas for the Static Identification of Injection Attacks in Java UW-CSE-15-09-03.pdf
Spoto, Fausto
2010-02-01 Inference of Field Initialization UW-CSE-10-02-01.PDF
2015-09-01 Semantics for Locking Specifications UW-CSE-15-09-01.pdf
2015-09-02 Locking discipline inference and checking UW-CSE-15-09-02.pdf
2015-09-03 Boolean Formulas for the Static Identification of Injection Attacks in Java UW-CSE-15-09-03.pdf
Spring, Neil
2004-05-04 How to Resolve IP Aliases UW-CSE-04-05-04.pdf
Staczek, Jason
1999-01-01 A Contextual Inquiry-Based Critique of the Strudel Web Site Maintenance System UW-CSE-99-01-01.pdf
Stamm, Rebecca
1997-04-02 Simultaneous Multithreading: A Platform for Next-Generation Processors UW-CSE-97-04-02.pdf
St. Hilaire, David J.
2009-09-02 Multi-Paxos: An Implementation and Evaluation UW-CSE-09-09-02.PDF
Stocco, Andrea
2014-07-01 A Direct Brain-to-Brain Interface in Humans UW-CSE-14-07-01.pdf
Stollnitz, Eric J.
1994-09-11 Wavelets for Computer Graphics: A Primer UW-CSE-94-09-11.pdf
1994-10-01 Global Illumination of Glossy Environments using Wavelets and Importance UW-CSE-94-10-01.pdf
Stollnitz
1994-01-05 Importance-Driven Wavelet Radiance (Preempted by TR 94-10-01) (Technical Report Withdrawn) Superceded by: ftp://ftp.cs.washington.edu/tr/1994/10/UW-CSE-94-10-01.PS.Z
1995-01-07 Clustering for Glossy Global Illumination UW-CSE-95-01-07.d
Strauss, Karin
2009-07-04 Conflict Exceptions: Providing Simple Parallel Language Semantics with Precise Hardware Exceptions UW-CSE-09-07-04.PDF
2012-04-01 RADISH: Always-On Sound and Complete Race Detection in Software and Hardware UW-CSE-12-04-01.PDF
Stuckey, Peter
1997-06-01 Solving Linear Arithmetic Constraints for User Interface Applications: Algorithm Details UW-CSE-97-06-01.pdf
Stuetzle, Werner
1993-01-01 Mesh Optimization UW-CSE-93-01-01.pdf
1997-04-01 View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data UW-CSE-97-04-01.pdf
2001-10-02 View-dependent Refinement of Multiresolution Meshes with Subdivision Connectivity UW-CSE-01-10-02.pdf
Stuetzle
1991-12-03 Surface Reconstruction from Unorganized Points UW-CSE-91-12-03.d
1994-01-01 Piecewise Smooth Surface Reconstruction UW-CSE-94-01-01.d
1995-01-02 Multiresolution Analysis of Arbitrary Meshes UW-CSE-95-01-02.d
Su, Jing
2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf
Suarez Gracia, Dario
2012-09-02 Automatic Discovery of Performance and Energy Pitfalls in HTML and CSS UW-CSE-12-09-02.PDF
Suciu, Dan
2002-11-04 A Scalable Algorithm for Query Minimization UW-CSE-02-11-04.pdf
2004-01-01 Indexing Heterogeneous Data UW-CSE-04-01-01.pdf
2004-03-04 Efficient Query Evaluation on Probabilistic Databases UW-CSE-04-03-04.pdf
2005-06-03 Probabilistic Query Answering Using Views UW-CSE-05-06-03.pdf
2006-06-02 A Performant XQuery to SQL Translator UW-CSE-06-06-02.pdf
2007-03-01 Probabilistic RFID Data Management UW-CSE-07-03-01.pdf
2007-03-02 Materialized Views in Probabilistic Databases For Information Exchange and Query Optimization UW-CSE-07-03-02.pdf
2007-11-02 PEEX: Extracting Probabilistic Events from RFID Data UW-CSE-07-11-02.pdf
2008-01-01 Query Evaluation with Soft Key Constraints UW-CSE-08-01-01.pdf
2008-06-03 Integrating and Ranking Uncertain Scientic Data UW-CSE-08-06-03.pdf
2008-12-01 Believe it or not: Adding belief annotations to databases UW-CSE-08-12-01.PDF
2009-12-01 Why so? or Why no? Functional Causality for Explaining Query Answers UW-CSE-09-12-01.PDF
2010-01-01 Bridging the Gap Between Intensional and Extensional Query Evaluation in Probabilistic Databases UW-CSE-10-01-01.PDF
2010-03-02 Computing Query Probability with Incidence Algebras UW-CSE-10-03-02.PDF
2011-03-01 Parallel Evaluation of Conjunctive Queries UW-CSE-11-03-01.PDF
2011-04-02 SQB: Session-based Query Browsing for More Effective Query Reuse UW-CSE-11-04-02.PDF
2011-05-04 How to Price Shared Optmizations in the Cloud UW-CSE-11-05-04.PDF
2012-03-02 Query-Based Data Pricing UW-CSE-12-03-02.PDF
Sullivan, Kevin
1993-09-03 Prism: A Case Study in Behavioral Entity-Relationship Modeling and Design UW-CSE-93-09-03.pdf
Sullivan, Kevin J.
1994-08-01 Mediators: Easing the Design and Evolution of Integrated Systems UW-CSE-94-08-01.pdf
Sullivan
1994-09-03 Reflecting Source Code Relations in Higher-Level Models of Software Systems UW-CSE-94-09-03.TXT
1995-03-02 Software Reflexion Models: Bridging the Gap Between Source and High-Level Models UW-CSE-95-03-02.TXT
Sun, Ying
1995-01-04 Automated Bargaining Agents (Preliminary Results) UW-CSE-95-01-04.pdf
Sundaram, Ravi
2018-09-05 Nexus: A GPU Cluster for Accelerating Neural Networks for Video Analysis UW-CSE-18-09-05.pdf
Sviridenko, Maxim
2005-10-01 How well can Priceline sell airline tickets? UW-CSE-05-10-01.pdf
Swanson, Steven
2003-01-01 WaveScalar UW-CSE-03-01-01.pdf
Swart, Garret
1983-07-03 Efficient Algorithms for Reporting Intersections UW-CSE-83-07-03.PDF
Swift, Michael M.
2000-04-01 Revisiting Structured Storage: A Transactional Record Store UW-CSE-00-04-01.pdf
Szekeres, Adriana
2014-12-01 Building Consistent Transactions with Inconsistent Replication UW-CSE-14-12-01.pdf
2016-08-02 Providing Stable Storage for the Diskless Crash-Recovery Failure Model UW-CSE-16-08-02.pdf
2016-09-02 Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering (Extended Version) UW-CSE-16-09-02.pdf
2017-08-01 Recovering Shared Objects Without Stable Storage (Extended Version) UW-CSE-17-08-01.pdf
2019-11-02 Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle UW-CSE-19-11-02.pdf
Szeliski, Richard
1997-01-03 Realistic Facial Animation Using Image Based 3d Morphing UW-CSE-97-01-03.pdf
2004-04-02 Animating Pictures with Stochastic Motion Textures UW-CSE-04-04-02.pdf
Takakuwa, Alex
2017-06-01 The Transfer Access Protocol - Moving to New Authenticators in the FIDO Ecosystem UW-CSE-17-06-01.pdf
Tan, Desney
2013-05-02 AirWave: Non-Contact Haptic Feedback Using Air Vortex Rings UW-CSE-13-05-02.PDF
Tanimoto, Steven L.
1995-03-05 Fast Median Filtering Algorithms for Mesh Computers UW-CSE-95-03-05.pdf
1995-04-03 Multiplayer Activities that Develop Mathematical Coordination UW-CSE-95-04-03.pdf
1997-04-03 Cooperative Interaction Techniques for Graphical Objects in a Collaborative Activity UW-CSE-97-04-03.pdf
1997-07-01 Representation and Learnability in Visual Languages for Web-based Interpersonal Communication UW-CSE-97-07-01.pdf
1998-03-01 Extensibility in a Visual Language for Web-based Interpersonal Communication UW-CSE-98-03-01.pdf
1998-04-02 The Design and Implementation of Vedo-Vedi, A Visual Language for Human Communication in the Internet UW-CSE-98-04-02.pdf
1998-09-03 Colt: A System for Developing Software that Supports Synchronous Collaborative Activities UW-CSE-98-09-03.pdf
1998-09-04 Towards an Ontology for Alternative Assessment in Education UW-CSE-98-09-04.pdf
Tarczy-Hornoch, Peter
2008-06-03 Integrating and Ranking Uncertain Scientic Data UW-CSE-08-06-03.pdf
Tatarinov, Igor
2003-12-05 Containment of Nested XML Queries UW-CSE-03-12-05.pdf
Tatlock, Zachary
2016-01-01 Bagpipe: Verified BGP Configuration Checking UW-CSE-16-01-01.pdf
2016-08-01 Formal Semantics & Verification for the Border Gateway Protocol UW-CSE-16-08-01.pdf
2016-11-02 SpaceSearch: A Library for Building and Verifying Solver-Aided Tools UW-CSE-16-11-02.pdf
Thaine, Javier
2015-09-02 Locking discipline inference and checking UW-CSE-15-09-02.pdf
Thakur, Mayur
2013-11-05 SolocoRank: Using Social Signals for Local Place Quality UW-CSE-13-11-05.pdf
Thathachar, Jayram S.
1996-09-03 On the Limitations of Ordered Representations of Functions UW-CSE-96-09-03.pdf
1997-02-01 On the Limitations of Ordered Representations of Functions (Revised Version) UW-CSE-97-02-01.pdf
1997-02-02 Random Striping News on Demand Servers UW-CSE-97-02-02.pdf
Thayer, Kyle
2018-09-01 Practicum: a scalable online system for faded worked examples in CS1 UW-CSE-18-09-01.pdf
The DSH Team
2007-08-01 The Digital StudyHall UW-CSE-07-08-01.PDF
Thekkath, Chandramohan A.
1992-04-04 A Performance Analysis of Network I/O in Shared-Memory Multiprocessors UW-CSE-92-04-04.PDF
1992-09-08 Techniques for File System Simulation UW-CSE-92-09-08.pdf
1993-03-01 Implementing Network Protocols at User Level UW-CSE-93-03-01.pdf
1993-03-03 Latency Analysis of TCP on an ATM Network UW-CSE-93-03-03.pdf
1993-04-03 Efficient Support for Multicomputing on ATM Networks UW-CSE-93-04-03.pdf
1993-04-04 OS Agents: Using AI Techniques in the Operating System Environment UW-CSE-93-04-04.pdf
1994-07-02 System Support for Efficient Network Communication UW-CSE-94-07-02.pdf
1994-07-04 Separating Data and Control Transfer in Distributed Operating Systems UW-CSE-94-07-04.pdf
1994-07-05 Hardware and Software Support for Efficient Exception Handling UW-CSE-94-07-05.pdf
1995-08-07 Implementing Global Memory Management in a Workstation Cluster UW-CSE-95-08-07.pdf
Thekkath, Radhika
1993-10-04 Impact of Sharing-Based Thread Placement on Multithreaded Architectures UW-CSE-93-10-04.pdf
1994-09-01 The PRESTO Application Suite UW-CSE-94-09-01.pdf
Theodorou, Evangelos A.
2012-09-03 Relative Entropy and Free Energy Dualities: Connections to Path Integral Control and Applications to Tendon Driven Systems UW-CSE-12-09-03.PDF
Thomas, Chris
1993-06-09 A Beginner's Guide to the Truckworld Simulator UW-CSE-93-06-09.pdf
Thomas, Gregory S.
1991-04-02 Parallel Simulation of Performance Petri Nets: Extending the Domain of Parallel Simulation UW-CSE-91-04-02.PDF
Thomas, Gregory Scott
1991-05-05 Parallel Simulation of Petri Nets UW-CSE-91-05-05.PDF
Todorov, Emo
2012-09-03 Relative Entropy and Free Energy Dualities: Connections to Path Integral Control and Applications to Tendon Driven Systems UW-CSE-12-09-03.PDF
Toman, John
2018-01-01 CodeStats: Big Stats for Big Code UW-CSE-18-01-01.pdf
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Tomkins, Andrew R.
1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf
Tompa, Martin
1991-07-05 Lecture Notes on Probabilistic Algorithms and Pseudorandom Generators UW-CSE-91-07-05.pdf
1993-02-01 Time-Space Tradeoffs for Undirected Graph Traversal UW-CSE-93-02-01.pdf
1994-06-05 Lecture Notes on Message Routing in Parallel Machines UW-CSE-94-06-05.pdf
1994-07-03 Minimal Adaptive Routing on the Mesh with Bounded Queue Size UW-CSE-94-07-03.pdf
2000-06-01 Lecture Notes on Biological Sequence Analysis UW-CSE-00-06-01.pdf
2000-08-03 Quality Control in Manufacturing Oligo Arrays: A Combinatorial Design Approach UW-CSE-00-08-03.pdf
Torlak, Emina
2016-01-01 Bagpipe: Verified BGP Configuration Checking UW-CSE-16-01-01.pdf
2016-10-01 Synthesizing Memory Models from Litmus Tests UW-CSE-16-10-01.pdf
2016-11-02 SpaceSearch: A Library for Building and Verifying Solver-Aided Tools UW-CSE-16-11-02.pdf
2017-10-02 Synthesizing Optimal Domain Models for Educational Applications UW-CSE-17-10-02.pdf
2019-10-01 A note on verifying information flow control systems with Nickel UW-CSE-19-10-01.pdf
Tullsen, Dean M.
1997-04-02 Simultaneous Multithreading: A Platform for Next-Generation Processors UW-CSE-97-04-02.pdf
1997-12-01 Software-Directed Register Deallocation for Simultaneous Multithreaded Processors UW-CSE-97-12-01.pdf
1998-06-02 Supporting Fine-Grained Synchronization on a Simultaneous Multithreaded Processor UW-CSE-98-06-02.pdf
Tung, Ying-Chao
2018-10-01 Comparing Spatial Interaction Modalities for 2D-Widgets in Productivity Applications in Virtual Reality UW-CSE-18-10-01.pdf
Upadhyaya, Prasang
2011-05-04 How to Price Shared Optmizations in the Cloud UW-CSE-11-05-04.PDF
2012-03-02 Query-Based Data Pricing UW-CSE-12-03-02.PDF
Vahdat, Amin
1998-10-04 Active Names: Programmable Location and Transport of Wide-Area Resources UW-CSE-98-10-04.pdf
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Vahia, Mayank N.
2008-11-01 Quantitative Evidence for Possible Linguistic Structure in the Indus Script UW-CSE-08-11-01.PDF
2008-11-02 A Markov Model of the 4500-year-old Indus Script UW-CSE-08-11-02.PDF
VanDeGrift, Tammy
2002-12-02 Promoting Interaction in Large Lecture Classes with a Computer-Mediated Feedback System UW-CSE-02-12-02.pdf
VanHilst, Michael
1995-07-02 Using C++ Templates to Implement Role-Based Design UW-CSE-95-07-02.pdf
1996-04-01 Using Role Components to Implement Collaboration-Based Designs UW-CSE-96-04-01.pdf
Van Vleet, Peter
1999-02-01 On the Performance Potential of Dynamic Cache Line Sizes UW-CSE-99-02-01.pdf
Vaswani, Raj
1992-08-03 Adding Scheduler Activations to Mach 3.0 UW-CSE-92-08-03.pdf
1992-11-02 Improving Cache Performance by Eliminating Transfers of Dead Data UW-CSE-92-11-02.pdf
1995-09-02 Maximizing Speedup Through Self-Tuning of Processor Allocation UW-CSE-95-09-02.pdf
1995-10-01 Using Runtime Measured Workload Characteristics in Parallel Processor Scheduling UW-CSE-95-10-01.pdf
Vee, Erik
2004-10-04 Floodlight Illumination of Infinite Wedges UW-CSE-04-10-04.pdf
Veisch, Alireza
2002-07-02 Touch-Aware Communication for Portable Devices UW-CSE-02-07-02.pdf
Venkataramani, Arun
2006-11-02 Do incentives build robustness in BitTorrent? UW-CSE-06-11-02.pdf
2008-02-01 Consensus Routing: the Internet as a Distributed System UW-CSE-08-02-01.PDF
Verma, Deepak
2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf
2003-05-01 Comparison of Spectral Methods UW-CSE-03-05-01.pdf
2005-02-01 Graphical Models for Planning and Imitation in Uncertain Environments UW-CSE-05-02-01.pdf
Vernon, Mary K.
1996-07-03 Reducing Network Latency Using Subpages in a Global Memory Environment UW-CSE-96-07-03.pdf
Vines, Paul
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
2015-03-03 Rook: Using Video Games for Low-Bandwidth Censorship Resistant Communications UW-CSE-15-03-03.pdf
2015-05-01 Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents UW-CSE-15-05-01.pdf
2015-08-01 Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version) UW-CSE-15-08-01.pdf
Vlasseva, Stani
2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf
Voelker, Geoff
1993-03-03 Latency Analysis of TCP on an ATM Network UW-CSE-93-03-03.pdf
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
Voelker, Geoffrey M.
1996-07-03 Reducing Network Latency Using Subpages in a Global Memory Environment UW-CSE-96-07-03.pdf
Voelker
1995-04-01 Mobisaic - An Information System for a Mobile Wireless Computing Environment UW-CSE-95-04-01.PS.gz
Vu, Kevin
2017-03-01 Program Synthesis from Natural Language Using Recurrent Neural Networks UW-CSE-17-03-01.pdf
Waataja, Jason
2021-02-01 Verifying Determinism in Sequential Programs (Extended Version) UW-CSE-21-02-01.pdf
Waddell, Paul
2000-12-01 An Extensible, Modular Architecture for Simulating Urban Development, Transportation, and Environmental Impacts UW-CSE-00-12-01.pdf
Walkup, Elizabeth
1994-03-04 Interface Timing Verification with Combined Max and Linear Constraints UW-CSE-94-03-04.pdf
1994-06-04 Automatic Synthesis of Device Drivers for Hardware/Software Co-design UW-CSE-94-06-04.pdf
1994-09-04 Scheduling Issues in the Co-Synthesis of Reactive Real-Time Systems UW-CSE-94-09-04.pdf
Walkup, Elizabeth A.
1996-05-04 Optimization of Linear Max-Plus Systems with Application to Timing Analysis UW-CSE-96-05-04.pdf
Wang, Chenglong
2017-03-01 Program Synthesis from Natural Language Using Recurrent Neural Networks UW-CSE-17-03-01.pdf
Wang, Leyuan
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
Wang, Xi
2018-09-03 Design and Verification of Software Middleboxes using Gravel UW-CSE-18-09-03.pdf
2019-10-01 A note on verifying information flow control systems with Nickel UW-CSE-19-10-01.pdf
2019-11-01 Developing security monitors on RISC-V UW-CSE-19-11-01.pdf
Want, Roy
2000-02-02 SpotON: An Indoor 3D Location Sensing Technology Based on RF Signal Strength UW-CSE-00-02-02.pdf
2002-04-03 The Unigesture Approach: One-Handed Text Entry for Small Devices UW-CSE-02-04-03.pdf
Warner, William E.
1998-09-02 Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts UW-CSE-98-09-02.pdf
Warren, Joe
1993-10-05 Multiresolution Analysis for Surfaces of Arbitrary Topological Type UW-CSE-93-10-05.pdf
Watson, Terri
1994-11-08 Wit: An Infrastructure for Wireless Palmtop Computing UW-CSE-94-11-08.pdf
Weathersby, W. Derrick
1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf
1997-12-02 ZPLs WYSIWYG Performance Model UW-CSE-97-12-02.pdf
Weimer, Westley
2016-09-01 Combining Bug Detection and Test Case Generation UW-CSE-16-09-01.pdf
Weitz, Konstantin
2016-01-01 Bagpipe: Verified BGP Configuration Checking UW-CSE-16-01-01.pdf
2016-08-01 Formal Semantics & Verification for the Border Gateway Protocol UW-CSE-16-08-01.pdf
2016-11-02 SpaceSearch: A Library for Building and Verifying Solver-Aided Tools UW-CSE-16-11-02.pdf
Welbourne, Evan
2006-10-03 Challenges for Pervasive RFID-based Infrastructures UW-CSE-06-10-03.pdf
Welc, Adam
2007-11-01 Towards a Lock-based Semantics for Java STM UW-CSE-07-11-01.pdf
Weld, Daniel
1993-06-03 An Algorithm for Probabilistic Planning UW-CSE-93-06-03.pdf
1993-09-06 The UCPOP User's Manual UW-CSE-93-09-06.pdf
Weld, Daniel S.
1991-02-03 Evaluating Nonlinear Planning UW-CSE-91-02-03.PDF
1992-05-01 Partial-Order Planning: Evaluating Possible Efficiency Gains UW-CSE-92-05-01a.pdf
1993-12-04 Probabilistic Planning with Information Gathering and Contingent Execution UW-CSE-93-12-04.pdf
1995-01-04 Automated Bargaining Agents (Preliminary Results) UW-CSE-95-01-04.pdf
1995-02-02 Sound and Efficient Closed-World Reasoning for Planning UW-CSE-95-02-02.pdf
1996-01-03 A Scalable Comparison-Shopping Agent for the World-Wide Web UW-CSE-96-01-03.pdf
1996-01-04 Planning for Information Gathering UW-CSE-96-01-04.PS.gz
1998-02-01 Privacy Interfaces for Information Management UW-CSE-98-02-01.pdf
1998-09-06 Incremental Graphplan UW-CSE-98-09-06.pdf
1998-10-01 Recent Advances in AI Planning UW-CSE-98-10-01.pdf
2000-05-02 Efficient Evaluation of Regular Path Expressions on Streaming XML Data UW-CSE-00-05-02.pdf
2004-03-03 Solving Concurrent Markov Decision Processes UW-CSE-04-03-03.pdf
2004-05-01 Learning Text Patterns for Web Information Extraction and Assessment UW-CSE-04-05-01.pdf
2012-11-02 Cascade: Crowdscourcing Taxonomy Criteria UW-CSE-12-11-02.PDF
Wetherall, David
2002-02-02 A Comparison of Large-Scale Overlay Management Techniques UW-CSE-02-02-02.pdf
2004-05-04 How to Resolve IP Aliases UW-CSE-04-05-04.pdf
2004-06-01 Encouraging Cooperation in Multi-hop Wireless Networks UW-CSE-04-06-01.pdf
2004-06-02 Interdomain Routing with Negotiation UW-CSE-04-06-02.pdf
2007-08-02 Rapid and Efficient Detection of Distributed Anomalous Aggregates UW-CSE-07-08-02.PDF
2007-10-02 Studying Blackholes in the Internet with Hubble UW-CSE-07-10-02.pdf
2009-10-02 A Flexible Software Radio Transceiver for UHF RFID Experimentation UW-CSE-09-10-02.PDF
2011-04-01 These Aren't the Droids You're Looking For: Retrofitting Android to Protect Data from Imperious Applications UW-CSE-11-04-01.PDF
2012-03-01 A Study of Third-Party Tracking by Mobile Apps in the Wild UW-CSE-12-03-01.PDF
2013-11-02 EfficiRunning Continuous Monitoring Applications on Mobile Devices using Sensor Hubs UW-CSE-13-11-02.PDF
2013-11-03 Improving Power Efficiency Using Sensor Hubs Without Re-Coding Mobile Apps UW-CSE-13-11-03.PDF
2014-05-02 MetaSync: File Synchronization Across Multiple Untrusted Storage Services UW-CSE-14-05-02.PDF
Whitaker, Andrew
2002-02-01 Denali: Lightweight Virtual Machines for Distributed and Networked Applications UW-CSE-02-02-01.pdf
Whittaker, Michael
2019-11-02 Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle UW-CSE-19-11-02.pdf
Wilkes, John
1992-09-08 Techniques for File System Simulation UW-CSE-92-09-08.pdf
Wille, Robert
1992-12-03 A High-Speed Channel Controller for the Chaos Router UW-CSE-92-12-03.pdf
Williamson
1996-06-03 A Value-directed Approach to Planning UW-CSE-96-06-03.PS.gz
Wilson, Molly
1993-01-02 Hierarchical Constraint Logic Programming UW-CSE-93-01-02a.pdf
Wilson, Molly Ann
1993-05-01 Hierarchical Constraint Logic Programming UW-CSE-93-05-01.pdf
Winkenbach
1994-01-08 Computer-Generated Pen-and-Ink Illustration UW-CSE-94-01-08b.d
1996-01-05 Rendering Free-Form Surfaces in Pen-and-Ink UW-CSE-96-01-05.d
Wobbrock, Jacob O.
2018-10-01 Comparing Spatial Interaction Modalities for 2D-Widgets in Productivity Applications in Virtual Reality UW-CSE-18-10-01.pdf
Wolfman, Steven A.
2002-12-02 Promoting Interaction in Large Lecture Classes with a Computer-Mediated Feedback System UW-CSE-02-12-02.pdf
Wolman, Alec
1993-03-03 Latency Analysis of TCP on an ATM Network UW-CSE-93-03-03.pdf
Wong, Tina H.
1995-04-03 Multiplayer Activities that Develop Mathematical Coordination UW-CSE-95-04-03.pdf
Wong, Wayne A.
1997-03-04 DRAM Caching UW-CSE-97-03-04.pdf
2002-06-03 The Impact of Timeliness for Hardware-based Prefetching from Main Memory UW-CSE-02-06-03.pdf
Wong
1997-01-01 Orientable Textures for Image-Based Pen-and-Ink Illustration UW-CSE-97-01-01.PS.gz
Wood, Benjamin P.
2009-05-02 Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs UW-CSE-09-05-02.PDF
2012-04-01 RADISH: Always-On Sound and Complete Race Detection in Software and Hardware UW-CSE-12-04-01.PDF
Wood, Daniel N.
2001-10-02 View-dependent Refinement of Multiresolution Meshes with Subdivision Connectivity UW-CSE-01-10-02.pdf
Woos, Doug
2016-01-01 Bagpipe: Verified BGP Configuration Checking UW-CSE-16-01-01.pdf
2016-08-01 Formal Semantics & Verification for the Border Gateway Protocol UW-CSE-16-08-01.pdf
Wu, Edward X.
2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF
Wu, Joseph
2014-07-01 A Direct Brain-to-Brain Interface in Humans UW-CSE-14-07-01.pdf
Wu, Tongshuang
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Wuttke, Jochen
2012-03-04 Traffic Routing for Evaluating Self-Adaptation UW-CSE-12-03-04.PDF
2013-07-02 Test Dependence: Theory and Manifestation UW-CSE-13-07-02.PDF
2014-01-01 Empirically Revisting the Test Independence Assumption UW-CSE-14-01-01.PDF
Wyse, Mark
2016-03-01 A Taxonomy of Approximate Computing Techniques UW-CSE-16-03-01.pdf
Xiao, Yi
1997-06-01 Solving Linear Arithmetic Constraints for User Interface Applications: Algorithm Details UW-CSE-97-06-01.pdf
Xie, Tao
2002-12-03 An Empirical Study of Java Dynamic Call Graph Extractors UW-CSE-02-12-03.pdf
2002-12-04 Checking Inside the Black Box: Regression Fault Exposure and Localization Based on Value Spectra Differences UW-CSE-02-12-04.pdf
2003-04-02 Exploiting Synergy Between Testing and Inferred Partial Specifications UW-CSE-03-04-02.pdf
2004-01-05 Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests UW-CSE-04-01-05.pdf
2004-05-05 Automatic Extraction of Object-Oriented Observer UW-CSE-04-05-05.pdf
2004-08-02 Automatic Extraction of Sliced Object State Machines for Component Interfaces UW-CSE-04-08-02.pdf
2004-08-03 Automatically Identifying Special and Common Unit Tests Based on UW-CSE-04-08-03.pdf
2004-10-02 Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution UW-CSE-04-10-02.pdf
2004-10-03 Detecting Redundant Unit Tests for AspectJ Programs UW-CSE-04-10-03.pdf
Xu, Guiping
2007-05-01 Identifying Similar Past Events in a Continuous Monitoring System UW-CSE-07-05-01.pdf
Yadav, Nisha
2008-11-01 Quantitative Evidence for Possible Linguistic Structure in the Indus Script UW-CSE-08-11-01.PDF
2008-11-02 A Markov Model of the 4500-year-old Indus Script UW-CSE-08-11-02.PDF
Yamamoto, Wayne
1987-12-07 Adding Packet Radio to the Ultrix Kernel UW-CSE-87-12-07.pdf
Yan, Cong
2016-02-01 Leveraging Lock Contention to Improve OLTP Application Performance UW-CSE-16-02-01.pdf
Yan, Eddie
2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf
Yang, Chyan
1986-06-01 An Investigation into the Design Costs of a Single Chip Multigauge Machine UW-CSE-86-06-01.PDF
Yang, Kenneth J.
2024-09-01 Evaluation of Version Control Merge Tools (Appendix) UW-CSE-24-09-01.pdf
Yasuhara, Ken
2002-12-02 Promoting Interaction in Large Lecture Classes with a Computer-Mediated Feedback System UW-CSE-02-12-02.pdf
Yazdani, Nathaniel
2018-01-01 CodeStats: Big Stats for Big Code UW-CSE-18-01-01.pdf
Yeung, Ka Yee
2000-01-01 Validating Clustering for Gene Expression Data UW-CSE-00-01-01.pdf
2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf
2000-11-03 An Empirical Study on Principal Component Analysis for Clustering Gene Expression Data UW-CSE-00-11-03.pdf
2001-04-02 Model-based Clustering and Data Transformations for Gene Expression Data UW-CSE-01-04-02.pdf
Yip, Joshua
2015-01-01 ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing UW-CSE-15-01-01.pdf
Yost, William
1995-03-03 Cost Effective Fault Tolerance for Network Routing UW-CSE-95-03-03.pdf
Young, Paul
1992-09-01 Double Exponential Inseparability Of Robinson Subsystem Q+ From the Unsatisfiable Sentences In The Language Of Addition UW-CSE-92-09-01.pdf
1993-03-07 How Reductions to Sparse Sets Collapse the Polynomial-time Hierarchy: A Primer UW-CSE-93-03-07.pdf
Youngquist, Tiffany
2014-07-01 A Direct Brain-to-Brain Interface in Humans UW-CSE-14-07-01.pdf
Yuan, Eric
2013-11-03 Improving Power Efficiency Using Sensor Hubs Without Re-Coding Mobile Apps UW-CSE-13-11-03.PDF
Zahorjan, John
1991-03-09 Issues in the implementation of a Remote Paging System UW-CSE-91-03-09.pdf
1991-04-02 Parallel Simulation of Performance Petri Nets: Extending the Domain of Parallel Simulation UW-CSE-91-04-02.PDF
1992-10-05 Improving the Performance of Runtime Parallelization UW-CSE-92-10-05.pdf
1992-11-02 Improving Cache Performance by Eliminating Transfers of Dead Data UW-CSE-92-11-02.pdf
1992-12-07 Reordering Iterations in Runtime Loop Parallelization UW-CSE-92-12-07.pdf
1993-04-01 Adhara: Runtime Support for Dynamic Space-Based Applications on Distributed Memory MIMD Multiprocessors UW-CSE-93-04-01.pdf
1993-11-01 Processor Allocation Policies for Message-Passing Parallel Computers UW-CSE-93-11-01.pdf
1993-11-03 The Challenges of Mobile Computing UW-CSE-93-11-03.pdf
1994-02-01 Restructuring Arrays for Efficient Parallel Loop Execution UW-CSE-94-02-01.pdf
1994-10-05 Scheduling Memory Constrained Jobs on Distributed Memory Parallel Computers UW-CSE-94-10-05.pdf
1995-01-08 Extending the Applicability and Improving the Performance of Runtime Parallelization UW-CSE-95-01-08.pdf
1995-02-01 Implementing Lightweight Remote Procedure Calls in the Mach 3 Operating System UW-CSE-95-02-01.pdf
1995-09-01 Optimizing Data Locality by Array Restructuring UW-CSE-95-09-01.pdf
1995-09-02 Maximizing Speedup Through Self-Tuning of Processor Allocation UW-CSE-95-09-02.pdf
1995-10-01 Using Runtime Measured Workload Characteristics in Parallel Processor Scheduling UW-CSE-95-10-01.pdf
1997-11-03 Distributed Scheduling Policies to Support 3D Multimedia Applications UW-CSE-97-11-03.pdf
1998-08-02 Cascaded Execution: Speeding Up Unparallelized Execution on Multiprocessor Systems UW-CSE-98-08-02.pdf
1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf
2004-06-01 Encouraging Cooperation in Multi-hop Wireless Networks UW-CSE-04-06-01.pdf
Zanella, Vince
2009-09-05 Paxos Made Experimentally UW-CSE-09-09-05.PDF
Zbikowski, Mark
2009-09-05 Paxos Made Experimentally UW-CSE-09-09-05.PDF
Zeng, Eric
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Zettlemoyer, Luke
2013-05-01 Toward Unconstrained Gesture and Language Interfaces UW-CSE-13-05-01.PDF
2017-03-01 Program Synthesis from Natural Language Using Recurrent Neural Networks UW-CSE-17-03-01.pdf
Zhang, Irene
2013-10-01 Arrakis: The Operating System is the Control Plane UW-CSE-13-10-01.PDF
2014-12-01 Building Consistent Transactions with Inconsistent Replication UW-CSE-14-12-01.pdf
2016-06-01 Disciplined Inconsistency UW-CSE-16-06-01.pdf
2016-11-01 Talek: a Private Publish-Subscribe Protocol UW-CSE-16-11-01.pdf
2019-04-01 End the Senseless Killing: Improving Memory Management for Mobile Operating Systems UW-CSE-19-04-01.pdf
2019-11-02 Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle UW-CSE-19-11-02.pdf
2019-12-01 Hercules: A Multi-View Cache for Real-Time Interactive Apps (TR Not Available On-Line)
Zhang, Kaiyuan
2018-09-03 Design and Verification of Software Middleboxes using Gravel UW-CSE-18-09-03.pdf
2018-09-06 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network UW-CSE-18-09-06.pdf
Zhang, Sai
2013-07-02 Test Dependence: Theory and Manifestation UW-CSE-13-07-02.PDF
2014-01-01 Empirically Revisting the Test Independence Assumption UW-CSE-14-01-01.PDF
2015-03-01 When Tests Collide: Evaluating and Coping with the Impact of Test Dependence UW-CSE-15-03-01.pdf
Zhao, Jianjun
2004-10-03 Detecting Redundant Unit Tests for AspectJ Programs UW-CSE-04-10-03.pdf
Zheng, Ke Colin
2009-03-02 A Consistent Segmentation Approach to Image-based Rendering UW-CSE-09-03-02.PDF
Zhou, Shengli
2004-07-02 Probabilistic Gaze Imitation and Saliency UW-CSE-04-07-02.pdf
Zhu, Yibo
2018-09-06 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network UW-CSE-18-09-06.pdf
Zhuo, Danyang
2014-09-01 Subways: A Case for Redundant, Inexpensive Data Center Edge Links UW-CSE-14-09-01.pdf
2018-09-03 Design and Verification of Software Middleboxes using Gravel UW-CSE-18-09-03.pdf
2018-09-06 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network UW-CSE-18-09-06.pdf
Zitnick, Larry
2008-06-02 A Perceptually-Motivated Optimization-Framework for Image and Video Processing UW-CSE-08-06-02.PDF
Zorn, Bill
2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf
Zucker, Richard N.
1991-04-01 On Synchronization Patterns in Parallel Programs UW-CSE-91-04-01.pdf
1992-01-02 A Performance Study of Memory Consistency Models UW-CSE-92-01-02.pdf
1992-12-05 Relaxed Consistency and Synchronization in Parallel Processors UW-CSE-92-12-05.pdf