Technical Reports Sorted by Date

2024-09-01 Evaluation of Version Control Merge Tools (Appendix) UW-CSE-24-09-01.pdf   Benedikt Schesch, Ryan Featherman, Kenneth J. Yang, Ben R. Roberts, Michael D. Ernst

2021-02-01 Verifying Determinism in Sequential Programs (Extended Version) UW-CSE-21-02-01.pdf   Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael Ernst

2019-12-01 Hercules: A Multi-View Cache for Real-Time Interactive Apps (Not Available On-line)   Niel Lebeck, Jonathan Goldstein, Irene Zhang

2019-11-02 Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle UW-CSE-19-11-02.pdf   Adriana Szekeres, Michael Whittaker, Jialin Li, Naveen Sharma, Arvind Krishnamurthy, Dan Ports, Irene Zhang

2019-11-01 Developing security monitors on RISC-V UW-CSE-19-11-01.pdf   Luke Nelson, Xi Wang

2019-10-01 A note on verifying information flow control systems with Nickel UW-CSE-19-10-01.pdf   Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang

2019-04-01 End the Senseless Killing: Improving Memory Management for Mobile Operating Systems UW-CSE-19-04-01.pdf   Niel Lebeck, Arvind Krishnamurthy, Henry M. Levy, Irene Zhang

2018-12-02 Technology-Enabled Disinformation: Summary, Lessons, and Recommendations UW-CSE-18-12-02.pdf   John Akers, Gagan Bansal, Gabriel Cadamuro, Christine Chen, Quanze Chen, Lucy Lin, Phoebe Mulcaire, Rajalakshmi Nandakumar, Matthew Rockett, Lucy Simko, John Toman, Tongshuang Wu, Eric Zeng, Bill Zorn, Franziska Roesner

2018-12-01 Pegasus: Load-Aware Selective Replication with an In-Network Coherence Directory UW-CSE-18-12-01.pdf   Jialin Li, Jacob Nelson, Xin Jin, Dan R. K. Ports

2018-10-01 Comparing Spatial Interaction Modalities for 2D-Widgets in Productivity Applications in Virtual Reality UW-CSE-18-10-01.pdf   Ying-Chao Tung, Stephen DiVerdi, Aaron Hertzmann, Jacob O. Wobbrock

2018-09-06 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network UW-CSE-18-09-06.pdf   Danyang Zhuo, Kaiyuan Zhang, Yibo Zhu, Hongqiang Harry Liu, Matthew Rockett, Arvind Krishnamurthy, Thomas Anderson

2018-09-05 Nexus: A GPU Cluster for Accelerating Neural Networks for Video Analysis UW-CSE-18-09-05.pdf   Haichen Shen, Yuchen Jin, Bingyu Kong, Matthai Philipose, Arvind Krishnamurthy, Ravi Sundaram

2018-09-04 ADARES: Adaptive Resource Management for Virtual Machines UW-CSE-18-09-04.pdf   Ignacio Cano, Tianqi Chen, Pedro Foncesa, Chern Cheah, Karan Gupta, Ramesh Chandra, Arvind Krishnamurthy

2018-09-03 Design and Verification of Software Middleboxes using Gravel UW-CSE-18-09-03.pdf   Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang

2018-09-02 iPipe: A Framework for Building Datacenter Applications Using In-networking UW-CSE-18-09-02.pdf   Ming Liu, Arvind Krishnamurthy, Simon Peter, Karan Gupta

2018-09-01 Practicum: a scalable online system for faded worked examples in CS1 UW-CSE-18-09-01.pdf   Aaron Bauer, Eleanor O'Rourke, Kyle Thayer, Eric Butler, Whitaker Brand, Stuart Reges

2018-01-02 Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications UW-CSE-18-01-02.pdf   Maaz Bin Safeer Ahmad, Alvin Cheung

2018-01-01 CodeStats: Big Stats for Big Code UW-CSE-18-01-01.pdf   John Toman, Nathaniel Yazdani

2017-12-01 TVM: End-to-End Optimization Stack for Deep Learning UW-CSE-17-12-01.pdf   Tianqi Chen, Thierry Moreau, Ziheng Jiang, Haichen Shen, Eddie Yan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, Arvind Krishnamurthy

2017-10-02 Synthesizing Optimal Domain Models for Educational Applications UW-CSE-17-10-02.pdf   Eric Butler, Emina Torlak, Zoran Popović

2017-10-01 Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control (Extended Version) UW-CSE-17-10-01.pdf   Jialin Li, Ellis Michael, Dan R. K. Ports

2017-08-02 Porting Hyperkernel to the ARM Architecture UW-CSE-17-08-02.pdf   Dylan Johnson

2017-08-01 Recovering Shared Objects Without Stable Storage (Extended Version) UW-CSE-17-08-01.pdf   Ellis Michael, Dan R. K. Ports, Naveen Kr. Sharma, Adriana Szekeres

2017-06-01 The Transfer Access Protocol - Moving to New Authenticators in the FIDO Ecosystem UW-CSE-17-06-01.pdf   Alex Takakuwa, Tadayoshi Kohno, Alexei Czeskis

2017-05-01 MATIC: Adaptation and In-Situ Canaries for Energy-Efficient Neural Network Acceleration UW-CSE-17-05-01.pdf   Sung Kim, Patrick Howe, Thierry Moreau, Armin Alaghi, Luis Ceze, Visvesh Sathe

2017-03-02 QAPPA: A Framework for Navigating Quality-Energy Tradeoffs with Arbitrary Quantization UW-CSE-17-03-02.pdf   Thierry Moreau, Felipe Augusto, Patrick Howe, Armin Alaghi, Luis Ceze

2017-03-01 Program Synthesis from Natural Language Using Recurrent Neural Networks UW-CSE-17-03-01.pdf   Xi Victoria Lin, Chenglong Wang, Deric Pang, Kevin Vu, Luke Zettlemoyer, Michael D. Ernst

2017-01-01 Securing Vulnerable Home IoT Devices with an In-Hub Security Manager UW-CSE-17-01-01.pdf   Anna Kornfeld Simpson, Shwetak N. Patel, Franziska Roesner, Tadayoshi Kohno

2016-11-02 SpaceSearch: A Library for Building and Verifying Solver-Aided Tools UW-CSE-16-11-02.pdf   Konstantin Weitz, Steven Lyubomirksy, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock

2016-11-01 Talek: a Private Publish-Subscribe Protocol UW-CSE-16-11-01.pdf   Raymond Cheng, William Scott, Bryan Parno, Irene Zhang, Arvind Krishnamurthy, Anderson Thomas

2016-10-02 Autonomous Question Answering with Mobile Robots in Human-Populated Environments UW-CSE-16-10-02.pdf   Michael Jae-Yoon Chung, Andrezj Pronobis, Maya Cakmak, Dieter Fox, Rajesh P.N. Rao

2016-10-01 Synthesizing Memory Models from Litmus Tests UW-CSE-16-10-01.pdf   James Bornholt, Emina Torlak

2016-09-02 Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering (Extended Version) UW-CSE-16-09-02.pdf   Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, Dan R. K. Ports

2016-09-01 Combining Bug Detection and Test Case Generation UW-CSE-16-09-01.pdf   Martin Kellogg, Benjamin Floyd, Stephanie Forrest, Westley Weimer

2016-08-03 Evaluating & improving fault localization techniques UW-CSE-16-08-03.pdf   Spencer Pearson, Jose Campos, Rene Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller

2016-08-02 Providing Stable Storage for the Diskless Crash-Recovery Failure Model UW-CSE-16-08-02.pdf   Ellis Michael, Dan R. K. Ports, Naveen Kr. Sharma, Adriana Szekeres

2016-08-01 Formal Semantics & Verification for the Border Gateway Protocol UW-CSE-16-08-01.pdf   Konstantin Weitz, Doug Woos, Arvind Krishnamurthy, Michael D. Ernst, Zachary Tatlock

2016-06-01 Disciplined Inconsistency UW-CSE-16-06-01.pdf   Brandon Holt, James Bornholt, Irene Zhang, Dan Ports, Mark Oskin, Luis Ceze

2016-05-01 Paperscope: Chronicling the History of Computer Architecture Research UW-CSE-16-05-01.pdf   Vincent T. Lee, Luis Ceze, Mark Oskin

2016-03-01 A Taxonomy of Approximate Computing Techniques UW-CSE-16-03-01.pdf   Thierry Moreau, Joshua San Miguel, Mark Wyse, James Bornholt, Luis Ceze, Natalie Enright Jerger, Adrian Sampson

2016-02-02 Compiling queries for high-performance computing UW-CSE-16-02-02.pdf   Brandon Myers, Mark Oskin, Bill Howe

2016-02-01 Leveraging Lock Contention to Improve OLTP Application Performance UW-CSE-16-02-01.pdf   Cong Yan, Alvin Cheung

2016-01-01 Bagpipe: Verified BGP Configuration Checking UW-CSE-16-01-01.pdf   Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock

2015-12-01 Rethinking Mobile Money Security for Developing Regions UW-CSE-15-12-01.pdf   Kiron Lebeck, Temitope Oluwafemi, Tadayoshi Kohno, Franziska Roesner

2015-09-04 Contributing During the Commute: Why Transit Riders Submit Information About Bus Stops with StopInfo UW-CSE-15-09-04.pdf   Caitlin Bonnar, Meg Campbell, Ryan Drapeau, Cynthia Bennett, Alan Borning

2015-09-03 Boolean Formulas for the Static Identification of Injection Attacks in Java UW-CSE-15-09-03.pdf   Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto

2015-09-02 Locking discipline inference and checking UW-CSE-15-09-02.pdf   Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine

2015-09-01 Semantics for Locking Specifications UW-CSE-15-09-01.pdf   Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto

2015-08-01 Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version) UW-CSE-15-08-01.pdf   Paulo Barros, Rene Just, Suzanne Millstein, Paul Vines, Werner Dietl, Michael D. Ernst

2015-06-03 ChirpCast: Data Transmission via Audio UW-CSE-15-06-03.pdf   Francis Iannacci, Yanping Huang

2015-06-02 Satellite: Observations of the Internet's Stars UW-CSE-15-06-02.pdf   Will Scott, Sidney Berg, Arvind Krishnamurthy

2015-06-01 Efficient Iterative Processing in the SciDB Parallel Array Engine UW-CSE-15-06-01.pdf   Emad Soroush, Magdalena Balazinska, Simon Krughoff, Andrew Connolly

2015-05-01 Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents UW-CSE-15-05-01.pdf   Paulo Barros, Rene Just, Suzanne Millstein, Paul Vines, Werner Dietl, Michael D. Ernst

2015-03-03 Rook: Using Video Games for Low-Bandwidth Censorship Resistant Communications UW-CSE-15-03-03.pdf   Paul Vines, Tadayoshi Kohno

2015-03-02 Patina: A Formalization of the Rust Programming Language UW-CSE-15-03-02.pdf   Eric Reed

2015-03-01 When Tests Collide: Evaluating and Coping with the Impact of Test Dependence UW-CSE-15-03-01.pdf   Wing Lam, Sai Zhang, Michael D. Ernst

2015-01-01 ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing UW-CSE-15-01-01.pdf   Adrian Sampson, Andre Baixo, Benjamin Ransford, Thierry Moreau, Joshua Yip, Luis Ceze, Mark Oskin

2014-12-01 Building Consistent Transactions with Inconsistent Replication UW-CSE-14-12-01.pdf   Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports

2014-10-01 Radish: Compiling Efficient Query Plans for Distributed Shared Memory UW-CSE-14-10-01.pdf   Brandon Myers, Daniel Halperin, Jacob Nelson, Mark Oskin, Luis Ceze, Bill Howe

2014-09-01 Subways: A Case for Redundant, Inexpensive Data Center Edge Links UW-CSE-14-09-01.pdf   Vincent Liu, Danyang Zhuo, Simon Peter, Arvind Krishnamurthy, Thomas Anderson

2014-07-01 A Direct Brain-to-Brain Interface in Humans UW-CSE-14-07-01.pdf   Rajesh P.N. Rao, Andrea Stocco, Matthew Bryan, Devapratim Sarma, Tiffany Youngquist, Joseph Wu, Chantel Prat

2014-06-01 Blocking-Resistant Network Services using Unblock UW-CSE-14-06-01.pdf   Will Scott, Raymond Cheng, Arvind Krishnamurthy, Thomas Anderson

2014-05-03 Autonomous Scene Exploration with RGB-D Cameras UW-CSE-14-05-03.PDF   Evan Herbst, Dieter Fox

2014-05-02 MetaSync: File Synchronization Across Multiple Untrusted Storage Services UW-CSE-14-05-02.PDF   Seungyeop Han, Haichen Shen, Taesoo Kim, Arvind Krishnamurthy, Thomas Anderson, David Wetherall

2014-05-01 Approximate Computing on Programmable SoCs via Neural Acceleration UW-CSE-14-05-01.PDF   Thierry Moreau, Jacob Nelson, Adrian Sampson, Hadi Esmaeilzadeh, Luis Ceze

2014-04-02 Collaborative Verification of Information Flow for a High-assurance App Store UW-CSE-14-04-02.PDF   Michael D. Ernst, Rene Just, Suzanne Millstein, Werner M. Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhorasak, Seungyeop Han, Paul Vines, Edward X. Wu

2014-04-01 Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency UW-CSE-14-04-01.PDF   Jialin Li, Naveen Kr. Sharma, Dan R. K. Ports, Steven D. Gribble

2014-03-02 Probabilistic Assertions: Extended Semantics and Proof UW-CSE-14-03-02.PDF   Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn McKinley, Dan Grossman, Luis Ceze

2014-03-01 Dynamic Analysis of Aproximate Program Quality UW-CSE-14-03-01.PDF   Michael F. Ringenburg, Adrian Sampson, Isaac Ackerman, Luis Ceze, Dan Grossman

2014-02-02 Are mutants a valid substitute for real faults in software testing? UW-CSE-14-02-02.PDF   Rene Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser

2014-02-01 Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications UW-CSE-14-02-01.PDF   Jacob Nelson, Brandon Holt, Brandon Myers, Preston Briggs, Luis Ceze, Simon Kahan, Mark Oskin

2014-01-01 Empirically Revisting the Test Independence Assumption UW-CSE-14-01-01.PDF   Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanc Muslu, Wing Lam, Michael D. Ernst, David Notkin

2013-12-02 "Out of the Box" Information Extraction: a Case Study using Bio-Medical Texts UW-CSE-13-12-02.PDF   Niranjan Balasubramanian, Stephen Soderland, Mausam, Oren Etzioni, Robert Bart

2013-11-05 SolocoRank: Using Social Signals for Local Place Quality UW-CSE-13-11-05.pdf   Raymond Cheng, Michael Schueppert, Hila Becker, Mayur Thakur

2013-11-04 A Developmental Approach to Goal-Based Imitation Learning in Robots UW-CSE-13-11-04.PDF   Michael Jae-Yoon Chung, Jinna Lei, Ankit Gupta, Dieter Fox, Andrew N. Meltzoff, Rajesh P.N. Rao

2013-11-03 Improving Power Efficiency Using Sensor Hubs Without Re-Coding Mobile Apps UW-CSE-13-11-03.PDF   Haichen Shen, Aruna Balasubramanian, Eric Yuan, Anthony LaMarca, David Wetherall

2013-11-02 EfficiRunning Continuous Monitoring Applications on Mobile Devices using Sensor Hubs UW-CSE-13-11-02.PDF   Aruna Balasubramanian, Anthony LaMarca, David Wetherall

2013-11-01 Radiatus: Strong User Isolation for Scalable Web Applications UW-CSE-13-11-01.PDF   Raymond Cheng, Will Scott, Paul Ellenbogen, Arvind Krishnamurthy, Thomas Anderson

2013-10-02 Neurons as Monte Carlo Samplers: Bayesian Inference and Learning in Spiking Networks UW-CSE-13-10-02.PDF   Yanping Huang, Rajesh P.N. Rao

2013-10-01 Arrakis: The Operating System is the Control Plane UW-CSE-13-10-01.PDF   Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe

2013-08-02 DeadDrop/StrongBox Security Assessment UW-CSE-13-08-02.PDF   Alexei Czeskis, David Mah, Omar Sandoval, Ian Smith, Karl Koscher, Jacob Appelbaum, Tadayoshi Kohno, Bruce Schneier

2013-08-01 Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts UW-CSE-13-08-01.PDF   Tom Bergan, Dan Grossman, Luis Ceze

2013-07-02 Test Dependence: Theory and Manifestation UW-CSE-13-07-02.PDF   Jochen Wuttke, Kivanc Muslu, Sai Zhang, David Notkin

2013-07-01 Transit as Service UW-CSE-13-07-01.PDF   Simon Peter, Umar Javed, Thomas Anderson, Arvind Krishnamurthy

2013-06-01 A Fine-Grained Sharing of Sensed Physical Activity: A Value Sensitive Approach UW-CSE-13-06-01.PDF   Daniel A. Epstein, Alan Borning, James Fogarty

2013-05-03 freedom.js: an Architecture for Serverless Web Applications UW-CSE-13-05-03.pdf   William Scott, Raymond Cheng, Arvind Krishnamurthy, Thomas Anderson

2013-05-02 AirWave: Non-Contact Haptic Feedback Using Air Vortex Rings UW-CSE-13-05-02.PDF   Sidhant Gupta, Dan Morris, Shwetak Patel, Desney Tan

2013-05-01 Toward Unconstrained Gesture and Language Interfaces UW-CSE-13-05-01.PDF   Cynthia Matuszek, Liefeng Bo, Luke Zettlemoyer, Dieter Fox

2013-04-02 Masses of Visualizations: An Analysis of Usage Patterns on Many Eyes and Tableau Public UW-CSE-13-04-02.PDF   Kristi Morton, Robert Kosara, Jock Mackinlay, Magdalena Balazinska, Dan Grossman

2013-04-01 JavaUI: Effects for Controlling UI Object Access (Extended Version) UW-CSE-13-04-01.PDF   Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman

2013-03-02 Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version) UW-CSE-13-03-02.PDF   Colin S. Gordon, Michael D. Ernst, Dan Grossman

2013-03-01 Unifying FSM-Inference Algorithms through Declarative Specification UW-CSE-13-03-01.PDF   Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy

2012-11-02 Cascade: Crowdscourcing Taxonomy Criteria UW-CSE-12-11-02.PDF   Lydia Chilton, Greg Little, Darren Edge, Daniel S. Weld, James A. Landay

2012-11-01 Crowd-Logic: Implementing and Optimizing Human Computation Algorithms using Logic Programming UW-CSE-12-11-01.PDF   Hao Lu, James Fogarty

2012-09-05 F10: A Fault-Tolerant Engineered Network UW-CSE-12-09-05.PDF   Vincent Liu, Daniel Halperin, Arvind Krishnamurthy, Thomas Anderson

2012-09-04 An Internet Architecture Based on the Principle of Least Privilege UW-CSE-12-09-04.PDF   Vincent Liu, Seungyeop Han, Adam Lerner, Arvind Krishnamurthy, Thomas Anderson

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   Evangelos A. Theodorou, Mark Malhotra, Eric Rombokas, Emo Todorov

2012-09-02 Automatic Discovery of Performance and Energy Pitfalls in HTML and CSS UW-CSE-12-09-02.PDF   Adrian Sampson, Calin Cascaval, Luis Ceze, Pablo Montesinos, Dario Suarez Gracia

2012-09-01 Toward Supporting the Data Enthusiast: Unlocking the Potential of Data for Analysis UW-CSE-12-09-01.PDF   Kristi Morton, Magdalena Balazinska, Dan Grossman, Jock Mackinlay

2012-08-01 A Measurement Study of Two Web-based Collaborative Visual Analytics Systems UW-CSE-12-08-01.PDF   Kristi Morton, Magdalena Balazinska, Dan Grossman, Robert Kosara, Jock Mackinlay, Alon Halevy

2012-07-02 Quality of Service Profiling and Autotuning for Energy-Aware Approximate Programming UW-CSE-12-07-02.PDF   Michael F. Ringenburg, Adrian Sampson, Luis Ceze, Dan Grossman

2012-07-01 Control-Alt-Hack(TM): A Card Game for Computer Security Outreach, Education, and Fun UW-CSE-12-07-01.PDF   Tamara Denning, Tadayoshi Kohno, Adam Shostack

2012-06-01 Hadoop's Adolescence: A Comparative Workload Analysis from Three Research Clusters UW-CSE-12-06-01.PDF   Kai Ren, YongChul Kwon, Magdalena Balazinska, Bill Howe

2012-05-02 Editing Text Versions With Layers UW-CSE-12-05-02.PDF   Marius Nita

2012-05-01 LIFEGUARD: Locating Internet Failure Events and Generating Usable Alternate Routes Dynamically UW-CSE-12-05-01.PDF   Colin Scott

2012-04-01 RADISH: Always-On Sound and Complete Race Detection in Software and Hardware UW-CSE-12-04-01.PDF   Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer

2012-03-04 Traffic Routing for Evaluating Self-Adaptation UW-CSE-12-03-04.PDF   Jochen Wuttke, Yuriy Brun, Alessandra Gorla, Jonathan Ramaswamy

2012-03-03 SkewTune: Mitigating Skew in MapReduce Applications UW-CSE-12-03-03.PDF   YongChul Kwon, Magdalena Balazinska, Bill Howe, Jerome Rolia

2012-03-02 Query-Based Data Pricing UW-CSE-12-03-02.PDF   Paraschos Koutris, Prasang Upadhyaya, Magdalena Balazinska, Bill Howe, Dan Suciu

2012-03-01 A Study of Third-Party Tracking by Mobile Apps in the Wild UW-CSE-12-03-01.PDF   Seungyeop Han, Jaeyeon Jung, David Wetherall

2011-10-01 Static Lock Capabilities for Deadlock Freedom UW-CSE-11-10-01.PDF   Colin S. Gordon, Michael D. Ernst, Dan Grossman

2011-08-01 New Directions for Self-Destructing Data Systems UW-CSE-11-08-01.PDF   Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Amit Levy, Henry Levy, Paul Gardner, Vinnie Moscaritolo

2011-05-04 How to Price Shared Optmizations in the Cloud UW-CSE-11-05-04.PDF   Prasang Upadhyaya, Magdalena Balazinska, Dan Suciu

2011-05-02 CBCD: Cloned Buggy Code Detector UW-CSE-11-05-02.PDF   Jingyue Li, Michael D. Ernst

2011-04-03 Towards Efficient and Precise Queries Over Ten Million Asteroid Trajectory Models UW-CSE-11-04-03.PDF   Yusra AlSayyad, K. Simon Krughoff, Bill Howe, Andrew J Connolly, Magdalena Balazinska, Lynne Jones

2011-04-02 SQB: Session-based Query Browsing for More Effective Query Reuse UW-CSE-11-04-02.PDF   Nodira Khoussainova, YongChul Kwon, Wei-Ting Liao, Magdalena Balazinska, Wolfgang Gatterbauer, Dan Suciu

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   Peter Hornyack, Seungyeop Han, Jaeyeon Jung, Stuart Schechter, David Wetherall

2011-03-01 Parallel Evaluation of Conjunctive Queries UW-CSE-11-03-01.PDF   Paraschos Koutris, Dan Suciu

2011-02-02 Interactive Dense 3D Modeling of Indoor Environments UW-CSE-11-02-02.PDF   Hao Du, Peter Henry, Xiaofeng Ren, Dieter Fox, Dan B Goldman, Steven M. Seitz

2011-02-01 Modular Metatheory for Memory Consistency Models UW-CSE-11-02-01.PDF   Laura Effinger-Dean, Dan Grossman

2010-06-01 A Practical and Conceptual Framework for Learning in Control UW-CSE-10-06-01.PDF   Marc Peter Deisenroth, Carl Edward Rasmussen

2010-03-02 Computing Query Probability with Incidence Algebras UW-CSE-10-03-02.PDF   Nilesh Dalvi, Karl Schnaitter, Dan Suciu

2010-03-01 Speculative Identification of Merge Conflicts and Non-Conflicts UW-CSE-10-03-01.PDF   Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin

2010-02-01 Inference of Field Initialization UW-CSE-10-02-01.PDF   Fausto Spoto, Michael D. Ernst

2010-01-01 Bridging the Gap Between Intensional and Extensional Query Evaluation in Probabilistic Databases UW-CSE-10-01-01.PDF   Abhay Jha, Dan Olteanu, Dan Suciu

2009-12-02 ParaTimer: A Progress Indicator for MapReduce DAGs UW-CSE-09-12-02.PDF   Kristi Morton, Magdalena Balazinska, Dan Grossman

2009-12-01 Why so? or Why no? Functional Causality for Explaining Query Answers UW-CSE-09-12-01.PDF   Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu

2009-10-02 A Flexible Software Radio Transceiver for UHF RFID Experimentation UW-CSE-09-10-02.PDF   Michael Buettner, David Wetherall

2009-09-05 Paxos Made Experimentally UW-CSE-09-09-05.PDF   Mark Zbikowski, Vince Zanella, Ryan McElroy

2009-09-04 blami: Externalized Parallelism for a Serial Web Server UW-CSE-09-09-04.PDF   Koos Kleven, Daniel Otero

2009-09-03 PANCAKE: A Central Management Authority for Coordinating a Personal Area Network and Controlling External Access UW-CSE-09-09-03.PDF   Tamara Denning

2009-09-02 Multi-Paxos: An Implementation and Evaluation UW-CSE-09-09-02.PDF   Hao Du, David J. St. Hilaire

2009-08-01 Occlusion Reasoning for Temporal Interpolation using Optical Flow UW-CSE-09-08-01.PDF   Evan Herbst, Steve Seitz, Simon Baker

2009-07-04 Conflict Exceptions: Providing Simple Parallel Language Semantics with Precise Hardware Exceptions UW-CSE-09-07-04.PDF   Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans Boehm

2009-07-03 Approximation Trade-Offs in a Markovian Stream Warehouse: An Empirical Study UW-CSE-09-07-03.PDF   Julie Letchner, Christopher Re, Magdalena Balazinska, Matthai Philipose

2009-07-01 Toward A Progress Indicator for Parallel Queries UW-CSE-09-07-01.PDF   Kristi Morton, Abe Friesen, Magdalena Balazinska, Dan Grossman

2009-06-01 Scalable Clustering Algorithm for N-Body Simulations in a Shared-Nothing Cluster UW-CSE-09-06-01.PDF   YongChul Kwon, Dylan Nunley, Jeffrey P. Gardner, Magdalena Balazinska, Bill Howe, Sarah Loebman

2009-05-02 Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs UW-CSE-09-05-02.PDF   Benjamin P. Wood, Joseph Devietti, Luis Ceze, Dan Grossman

2009-04-02 Evaluating Lemmatic Communication UW-CSE-09-04-02.PDF   Katherine Everitt, Christopher Lim, Oren Etzioni, Jonathan Pool, Stephen Soderland

2009-03-03 LaharOLAP: Supporting OLAP Queeries on Markovian Streams UW-CSE-09-03-03.PDF   Julie Letchner, Christopher Re, Magdalena Balazinska, Matthai Philipose

2009-03-02 A Consistent Segmentation Approach to Image-based Rendering UW-CSE-09-03-02.PDF   Ke Colin Zheng, Alex Colburn, Aseem Agarwala, Maneesh Agrawala, David Salesin, Brian Curless, Michael Cohen

2009-02-01 Promoting Energy Efficient Behaviors in the Home through Feedback: The Role of Human-Computer Interaction UW-CSE-09-02-01.PDF   Jon Froehlich

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   Alexei Czeskis, Karl Koscher, Max Andrews, Nell Carden Grey, Batya Friedman, Tadayoshi Kohno

2008-12-01 Believe it or not: Adding belief annotations to databases UW-CSE-08-12-01.PDF   Wolfgang Gatterbauer, Magdalena Balazinska, Nodira Khoussainova, Dan Suciu

2008-11-02 A Markov Model of the 4500-year-old Indus Script UW-CSE-08-11-02.PDF   Rajesh P.N. Rao, Nisha Yadav, Mayank N. Vahia, Hrishikesh Joglekar, Ronojoy Adhikari, Iravatham Mahadevan

2008-11-01 Quantitative Evidence for Possible Linguistic Structure in the Indus Script UW-CSE-08-11-01.PDF   Rajesh P.N. Rao, Nisha Yadav, Mayank N. Vahia, Hrishikesh Joglekar, Ronojoy Adhikari, Iravatham Mahadevan

2008-10-03 A Study of Early Stage Game Design and Prototyping UW-CSE-08-10-03.PDF   Brien Colwell, Richard C. Davis, James A. Landay

2008-10-02 EPC RFID Tags in Security Applications: Passport Cards, Enhanced Drivers Licenses, and Beyond UW-CSE-08-10-02.PDF   Karl Koscher, Ari Juels, Tadayoshi Kohno, Vjekoslav Brajkovic

2008-10-01 Studying Spamming Botnets Using Botlab UW-CSE-08-10-01.PDF   John P. John, Alexander Moshchuk, Steven D. Gribble, Arvind Krishnamurthy

2008-07-01 Access Methods for Markovian Streams UW-CSE-08-07-01.PDF   Julie Letchner, Christopher Re, Magdalena Balazinska, Matthai Philipose

2008-06-03 Integrating and Ranking Uncertain Scientic Data UW-CSE-08-06-03.pdf   Landon Detwiler, Wolfgang Gatterbauer, Brent Louie, Dan Suciu, Peter Tarczy-Hornoch

2008-06-02 A Perceptually-Motivated Optimization-Framework for Image and Video Processing UW-CSE-08-06-02.PDF   Pravin Bhat, Larry Zitnick, Brian Curless, Michael Cohen

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   Michael Piatek, Tadayoshi Kohno, Arvind Krishnamurthy

2008-05-01 DMP: Deterministic Shared Memory Multiprocessing UW-CSE-08-05-01.PDF   Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin

2008-04-02 iLearn on the iPhone: Real-Time Human Activity Classification on Commodity Mobile Phones UW-CSE-08-04-02.PDF   T. Scott Saponas, Jonathan Lester, Jon Froehlich, James Fogarty, James A. Landay

2008-04-01 Enhancing and Experiencing Spacetime Resolution with Videos and Stills UW-CSE-08-04-01.pdf   Ankit Gupta, Pravin Bhat, Mira Dontcheva, Michael Cohen, Brian Curless, Oliver Deussen

2008-02-01 Consensus Routing: the Internet as a Distributed System UW-CSE-08-02-01.PDF   John P. John, Ethan Katz-Bassett, Arvind Krishnamurthy, Thomas Anderson, Arun Venkataramani

2008-01-01 Query Evaluation with Soft Key Constraints UW-CSE-08-01-01.pdf   Abhay Jha, Vibhor Rastogi, Dan Suciu

2007-12-01 Using Processes to Improve the Reliability of Browser-based Applications UW-CSE-07-12-01.pdf   Charles Reis, Brian Bershad, Steven D. Gribble, Henry M. Levy

2007-11-02 PEEX: Extracting Probabilistic Events from RFID Data UW-CSE-07-11-02.pdf   Nodira Khoussainova, Magdalena Balazinska, Dan Suciu

2007-11-01 Towards a Lock-based Semantics for Java STM UW-CSE-07-11-01.pdf   Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc

2007-10-02 Studying Blackholes in the Internet with Hubble UW-CSE-07-10-02.pdf   Ethan Katz-Bassett, Harsha V. Madhyastha, John P. John, Arvind Krishnamurthy, David Wetherall, Thomas Anderson

2007-10-01 The organization and sharing of Web-service objects with Menagerie UW-CSE-07-10-01.pdf   Roxana Geambasu, Cherie Cheung, Alexander Moshchuk, Steven D. Gribble, Henry M. Levy

2007-09-01 Discovering and Representing Logical Structure in Code Change UW-CSE-07-09-01.PDF   Miryung Kim, Jonathan Beall, David Notkin

2007-08-02 Rapid and Efficient Detection of Distributed Anomalous Aggregates UW-CSE-07-08-02.PDF   Ankur Jain, David Wetherall

2007-08-01 The Digital StudyHall UW-CSE-07-08-01.PDF   The DSH Team

2007-05-02 Grammar-based Compression of DNA Sequences UW-CSE-07-05-02.pdf   Neva Chernievsky, Richard Ladner

2007-05-01 Identifying Similar Past Events in a Continuous Monitoring System UW-CSE-07-05-01.pdf   YongChul Kwon, Guiping Xu, Magdalena Balazinska

2007-04-03 Relations, Cards, and Search Templates: UserGuided Web Data Integration and Layout UW-CSE-07-04-03.pdf   Mira Dontcheva, Steven Drucker, David Salesin, Michael Cohen

2007-04-02 Changes in Webpage Structure over Time UW-CSE-07-04-02.pdf   Mira Dontcheva, Steven Drucker, David Salesin, Michael Cohen

2007-04-01 Interactive Video Object Annotation UW-CSE-07-04-01.pdf   Dan B Goldman, Brian Curless, David Salesin, Steven M. Seitz

2007-03-02 Materialized Views in Probabilistic Databases For Information Exchange and Query Optimization UW-CSE-07-03-02.pdf   Christopher Re, Dan Suciu

2007-03-01 Probabilistic RFID Data Management UW-CSE-07-03-01.pdf   Nodira Khoussainova, Magdalena Balazinska, Dan Suciu

2007-02-01 Measurement Study of the Web Through a Spam Lens UW-CSE-07-02-01.pdf   Tanya Bragin

2007-01-01 Exploring the Relationship of Information Retrieval and Information Extraction UW-CSE-07-01-01.pdf   Stefan Schoenmackers

2006-12-06 Devices That Tell On You: The Nike+iPod Sport Kit UW-CSE-06-12-06.pdf   T. Scott Saponas, Jonathan Lester, Carl Hartung, Tadayoshi Kohno

2006-11-04 Predicting terrain traversability from visual and accelerometric feature correlation UW-CSE-06-11-04.pdf   Ravi Kiran Sarvadevabhatla

2006-11-02 Do incentives build robustness in BitTorrent? UW-CSE-06-11-02.pdf   Michael Piatek, Tomas Isdal, Thomas Anderson, Arvind Krishnamurthy, Arun Venkataramani

2006-11-01 LiveSwarms: Adapting BitTorrent for end host multicast UW-CSE-06-11-01.pdf   Michael Piatek, Colin Dixon, Arvind Krishnamurthy, Thomas Anderson

2006-10-03 Challenges for Pervasive RFID-based Infrastructures UW-CSE-06-10-03.pdf   Evan Welbourne, Magdalena Balazinska, Gaetano Borriello, Waylon Brunette

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   Richard J Anderson, Ruth Anderson, K M Davis, Craig Prince, Valentin Razmov, Beth Simon

2006-10-01 A Theory of Implementation-Dependent Low-Level Software UW-CSE-06-10-01.pdf   Marius Nita, Dan Grossman, Craig Chambers

2006-07-02 Capability-Based Access Control for Peer-to-Peer Data Sharing UW-CSE-06-07-02.pdf   Roxana Geambasu, Magdalena Balazinska, Steven D. Gribble, Henry M. Levy

2006-07-01 Moirae: History-Enhanced Monitoring UW-CSE-06-07-01.pdf   Magdalena Balazinska, YongChul Kwon, Nathan Kuchta, Dennis Lee

2006-06-06 A Machine Learning Approach to Reading Level Assessment UW-CSE-06-06-06.pdf   Sarah E. Petersen, Mari Ostendorf

2006-06-04 Automatic Inference of Data UW-CSE-06-06-04.pdf   Erika Rice

2006-06-03 Answering Structured Queries on Unstructured Data UW-CSE-06-06-03.pdf   Jing Liu, Xin Dong, Alon Halevy

2006-06-02 A Performant XQuery to SQL Translator UW-CSE-06-06-02.pdf   Christopher Re, James Brinkley, Dan Suciu

2006-06-01 Learning to Predict Cortical Potentials using Simultaneous Transcranial Recording UW-CSE-06-06-01.pdf   Aaron P. Shon, Kai J. Miller, Jeffrey G. Ojemann, Mark D. Holmes, Rajesh P.N. Rao

2006-05-01 Strong Atomicity for Java Without Virtual-Machine Support UW-CSE-06-05-01.pdf   Benjamin Hindman, Dan Grossman

2006-04-02 Relational Web Search UW-CSE-06-04-02.pdf   Michael J. Cafarella, Michele Banko, Oren Etzioni

2006-04-01 Strong Atomicity for Java Without Virtual-Machine Support UW-CSE-06-04-01.pdf   Benjamin Hindman, Dan Grossman

2005-12-02 Practical and Efficient Internet Routing with Competing Interests UW-CSE-05-12-02.pdf   Ratul Mahajan

2005-11-01 On the Sensitivity of Parallel Programming Languages to the Number and Arrangement of Processors UW-CSE-05-11-01.pdf   Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder

2005-10-01 How well can Priceline sell airline tickets? UW-CSE-05-10-01.pdf   Nikhil Bansal, Ning Chen, Neva Chernievsky, Atri Rudra, Baruch Schieber, Maxim Sviridenko

2005-06-05 Spectral Clustering for Microsoft Netscan Data UW-CSE-05-06-05.pdf   Anne Patrikainen, Marina Meila

2005-06-03 Probabilistic Query Answering Using Views UW-CSE-05-06-03.pdf   Nilesh Dalvi, Dan Suciu

2005-06-02 Gaussian Process CCA for Image Synthesis and Robotic Imitation UW-CSE-05-06-02.pdf   Aaron P. Shon, Keith Grochow, Aaron Hertzmann, Rajesh P.N. Rao

2005-04-02 On the Hardness of Embeddings Between Two Finite Metrics UW-CSE-05-04-02.pdf   Matthew Cary, Atri Rudra, Ashish Sabharwal

2005-02-02 A Packet Classification Algorithm for Multiple Look-up Engines UW-CSE-05-02-02.pdf   Douglas Low, Jean-Loup Baer

2005-02-01 Graphical Models for Planning and Imitation in Uncertain Environments UW-CSE-05-02-01.pdf   Deepak Verma, Rajesh Rao

2005-01-01 A Bayesian Active Vision Architecture for Shared Attention UW-CSE-05-01-01.pdf   Matthew W. Hoffman, Aaron P. Shon, David B. Grimes, Rajesh P.N. Rao

2004-10-04 Floodlight Illumination of Infinite Wedges UW-CSE-04-10-04.pdf   Matthew Cary, Atri Rudra, Ashish Sabharwal, Erik Vee

2004-10-03 Detecting Redundant Unit Tests for AspectJ Programs UW-CSE-04-10-03.pdf   Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin

2004-10-02 Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution UW-CSE-04-10-02.pdf   Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin

2004-10-01 Comparing Subspace Clusterings UW-CSE-04-10-01.pdf   Anne Patrikainen, Marina Meila

2004-09-01 Supporting Ease of Change in the Context of Code UW-CSE-04-09-01.pdf   Vibha Sazawal, David Notkin

2004-08-03 Automatically Identifying Special and Common Unit Tests Based on UW-CSE-04-08-03.pdf   Tao Xie, David Notkin

2004-08-02 Automatic Extraction of Sliced Object State Machines for Component Interfaces UW-CSE-04-08-02.pdf   Tao Xie, David Notkin

2004-08-01 Approximation Algorithms for Wavelength Assignment UW-CSE-04-08-01.pdf   Vijay Kumar, Atri Rudra

2004-07-03 Type Safety and Erasure Proofs for "A Type System for Coordinated Data Structures" UW-CSE-04-07-03.pdf   Michael F. Ringenburg, Dan Grossman

2004-07-02 Probabilistic Gaze Imitation and Saliency UW-CSE-04-07-02.pdf   Aaron P. Shon, David B. Grimes, Chris L. Baker, Matthew W. Hoffman, Shengli Zhou, Rajesh P.N. Rao

2004-06-06 View-Dependent Image-Based Techniques for Fast Rendering of Complex Environments UW-CSE-04-06-06.pdf   Jonathan Ward Shade

2004-06-05 Probabilistic Methods For Querying Global Information Systems UW-CSE-04-06-05.pdf   Nilesh Dalvi

2004-06-02 Interdomain Routing with Negotiation UW-CSE-04-06-02.pdf   Ratul Mahajan, David Wetherall, Thomas Anderson

2004-06-01 Encouraging Cooperation in Multi-hop Wireless Networks UW-CSE-04-06-01.pdf   Ratul Mahajan, Maya Rodrig, David Wetherall, John Zahorjan

2004-05-05 Automatic Extraction of Object-Oriented Observer UW-CSE-04-05-05.pdf   Tao Xie, David Notkin

2004-05-04 How to Resolve IP Aliases UW-CSE-04-05-04.pdf   Neil Spring, Mira Dontcheva, Maya Rodrig, David Wetherall

2004-05-03 Shape and Spatially-Varying BRDFs From Photometric Stereo UW-CSE-04-05-03.pdf   Dan B Goldman, Brian Curless, Aaron Hertzmann, Steve Seitz

2004-05-01 Learning Text Patterns for Web Information Extraction and Assessment UW-CSE-04-05-01.pdf   Doug Downey, Oren Etzioni, Stephen Soderland, Daniel S. Weld

2004-04-02 Animating Pictures with Stochastic Motion Textures UW-CSE-04-04-02.pdf   Yung-Yu Chuang, Dan B Goldman, Brian Curless, David H. Salesin, Richard Szeliski

2004-04-01 Managing Change in Large-Scale Data Sharing Systems UW-CSE-04-04-01.pdf   Peter Mork, Steven D. Gribble, Alon Y. Halevy

2004-03-04 Efficient Query Evaluation on Probabilistic Databases UW-CSE-04-03-04.pdf   Nilesh Dalvi, Dan Suciu

2004-03-03 Solving Concurrent Markov Decision Processes UW-CSE-04-03-03.pdf   Mausam, Daniel S. Weld

2004-03-02 The Office of the Past: Document Discovery and Tracking from Video UW-CSE-04-03-02.pdf   Jiwon Kim, Steven M. Seitz, Maneesh Agrawala

2004-01-05 Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests UW-CSE-04-01-05.pdf   Tao Xie, Darko Marinov, David Notkin

2004-01-03 Dealing with Cheaters in Anonymous Peer-to-Peer Networks UW-CSE-04-01-03.pdf   Paul Gauthier, Brian Bershad, Steven D. Gribble

2004-01-02 Bilinear Sparse Coding for Invariant Vision UW-CSE-04-01-02.pdf   David B. Grimes, Rajesh P.N. Rao

2004-01-01 Indexing Heterogeneous Data UW-CSE-04-01-01.pdf   Nilesh Dalvi, Dan Suciu

2003-12-07 Stock Option Pricing Using Bayes Filters UW-CSE-03-12-07.pdf   Lin Liao

2003-12-06 Integration and Configuration of Small Wireless Sensors into Ubiquitous Computing Environments UW-CSE-03-12-06.pdf   Jong Hee Kang, Gaetano Borriello

2003-12-05 Containment of Nested XML Queries UW-CSE-03-12-05.pdf   Xin Dong, Alon Y. Halevy, Igor Tatarinov

2003-12-04 Renewed Hope for Data Parallelism: Unintegrated Support for Task Parallelism in ZPL UW-CSE-03-12-04.pdf   Steven J. Deitz

2003-12-01 Learning the Lie Groups of Visual Invariance UW-CSE-03-12-01.pdf   Rajesh P.N. Rao, Xu Miao

2003-10-01 Learning in First-Order Probabilistic Representations UW-CSE-03-10-01.pdf   Matthew Richardson

2003-07-01 The Location Stack UW-CSE-03-07-01.pdf   Jeffrey Hightower, Dieter Fox, Gaetano Borriello

2003-06-04 Exploiting mobility for energy efficient data collection in wireless sensor networks UW-CSE-03-06-04.pdf   Sushant Jain, Rahul C. Shah, Waylon Brunette, Gaetano Borriello, Sumit Roy

2003-06-03 Energy Aware Communication in Ad-hoc networks UW-CSE-03-06-03.pdf   Sushant Jain

2003-06-02 The Trajectory Mixture Model for Learning Collections of Nonlinear unctions UW-CSE-03-06-02.pdf   Aaron P. Shon, Chris L. Baker, David B. Grimes, Rajesh P.N. Rao

2003-06-01 Probabilistic Bilinear Models for Appearance-Based Vision UW-CSE-03-06-01.pdf   D.B. Grimes, A.P. Shon, R.P.N. Rao

2003-05-01 Comparison of Spectral Methods UW-CSE-03-05-01.pdf   Deepak Verma, Marina Meila

2003-04-03 Coding Manual for Children's Interactions with Aibo, the Robotic Dog - The Preschool Study UW-CSE-03-04-03.pdf   Jr., Peter H. Kahn, Batya Friedman, Nathan G. Freier, Rachel Severson

2003-04-02 Exploiting Synergy Between Testing and Inferred Partial Specifications UW-CSE-03-04-02.pdf   Tao Xie, David Notkin

2003-02-05 Building the Semantic Web by Mass Collaboration UW-CSE-03-02-05.pdf   Matthew Richardson, Rakesh Agrawal, Pedro Domingos

2003-02-04 Building large knowledge bases by mass collaboration UW-CSE-03-02-04.pdf   Matthew Richardson, Pedro Domingos

2003-02-03 Merging Models Based on Given Correspondences UW-CSE-03-02-03.pdf   Rachel A. Pottinger, Philip A. Bernstein

2003-02-01 Evolving the Semantic Web with Mangrove UW-CSE-03-02-01.pdf   Luke McDowell, Oren Etzioni, Steven D. Gribble, Alon Halevy, Henry Levy, William Pentney, Deepak Verma, Stani Vlasseva

2003-01-01 WaveScalar UW-CSE-03-01-01.pdf   Steven Swanson, Ken Michelson, Mark Oskin

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   Shade, Cohen, Mitchell

2002-12-06 Approximating the Plenoptic Function UW-CSE-02-12-06.pdf   Jonathan Shade

2002-12-05 An Analysis of Software Interface Issues for SMT Processors UW-CSE-02-12-05.pdf   Joshua Abram Redstone

2002-12-04 Checking Inside the Black Box: Regression Fault Exposure and Localization Based on Value Spectra Differences UW-CSE-02-12-04.pdf   Tao Xie, David Notkin

2002-12-03 An Empirical Study of Java Dynamic Call Graph Extractors UW-CSE-02-12-03.pdf   Tao Xie, David Notkin

2002-12-02 Promoting Interaction in Large Lecture Classes with a Computer-Mediated Feedback System UW-CSE-02-12-02.pdf   Tammy VanDeGrift, Steven A. Wolfman, Ken Yasuhara, Richard J. Anderson

2002-12-01 Value Sensitive Design: Theory and Methods UW-CSE-02-12-01.pdf   Batya Friedman, Jr., Peter H. Kahn, Alan Borning

2002-11-04 A Scalable Algorithm for Query Minimization UW-CSE-02-11-04.pdf   Isaac K. Kunen, Dan Suciu

2002-11-03 Constraint-Bounded Polymorphism UW-CSE-02-11-03.d   Litvinov, Craig Chambers

2002-11-02 Automatically Proving the Correctness of Compiler Optimizations UW-CSE-02-11-02.pdf   Sorin Lerner, Todd Millstein, Craig Chambers

2002-11-01 Alias Annotations for Program Understanding UW-CSE-02-11-01.pdf   Jonathan Aldrich, Valentin Kostadinov, Craig Chambers

2002-10-02 Name that Link: Intelligent Link Anchor Generation UW-CSE-02-10-02.pdf   Steve Martin, Corin R. Anderson, Lesley Forbush

2002-10-01 A Study of Automated Web Site Evaluation Tools UW-CSE-02-10-01.pdf   Melody Y. Ivory, Aline Chevalier

2002-09-03 A Bilinear Model for Sparse Coding UW-CSE-02-09-03.pdf   David B. Grimes, Rajesh P.N. Rao

2002-09-02 Annotating Digital Documents for Asynchronous Collaboration UW-CSE-02-09-02.pdf   Alice Jane Bernheim Brush

2002-08-01 Data Compression of Neural Signaling in an Implantable Microchip UW-CSE-02-08-01.pdf   Matthew Richardson

2002-07-06 RaPiD-C Manual UW-CSE-02-07-06.pdf   Carl Ebeling

2002-07-05 Modular Typechecking for Hierarchically Extensible Datatypes and Functions UW-CSE-02-07-05.pdf   Todd Millstein, Colin Bleckner, Craig Chambers

2002-07-04 Bayesian Computation in Recurrent Cortical Circuits UW-CSE-02-07-04.pdf   Rajesh P.N. Rao

2002-07-03 Temporal Sequence Learning With Dynamic Synapses UW-CSE-02-07-03.pdf   Aaron P. Shon, Rajesh P.N. Rao

2002-07-02 Touch-Aware Communication for Portable Devices UW-CSE-02-07-02.pdf   Kurt Partridge, Bradley Dahlquist, Alireza Veisch, Gaetano Borriello

2002-06-03 The Impact of Timeliness for Hardware-based Prefetching from Main Memory UW-CSE-02-06-03.pdf   Wayne A. Wong, Jean-Loup Baer

2002-06-02 The General Rapid Architecture Description UW-CSE-02-06-02.pdf   Carl Ebeling

2002-06-01 Compiling to Coarse-Grained Adaptable Architectures UW-CSE-02-06-01.pdf   Carl Ebeling

2002-04-05 Systems Support for Ubiquitous Computing: A Case Study of two Implementations of Labscape UW-CSE-02-04-05.pdf   Larry Arnstein, Robert Grimm, Chia-Yang Hung, Jong Hee Kang, Anthony LaMarca, Stefan B. Sigurdsson, Jing Su, Gaetano Borriello

2002-04-03 The Unigesture Approach: One-Handed Text Entry for Small Devices UW-CSE-02-04-03.pdf   Vibha Sazawal, Roy Want, Gaetano Borriello

2002-04-02 A Multiresolution Framework for Dynamic Deformations UW-CSE-02-04-02.pdf   Steve Capell, Seth Green, Brian Curless, Tom Duchamp, Zoran Popovic

2002-04-01 Architectural Reasoning in ArchJava UW-CSE-02-04-01.pdf   Jonathan Aldrich, Craig Chambers, David Notkin

2002-02-04 Cache Prefetching UW-CSE-02-02-04.pdf   Stefan G. Berg

2002-02-02 A Comparison of Large-Scale Overlay Management Techniques UW-CSE-02-02-02.pdf   Sushant Jain, Ratul Mahajan, David Wetherall, Gaetano Borriello, Steven D. Gribble

2002-02-01 Denali: Lightweight Virtual Machines for Distributed and Networked Applications UW-CSE-02-02-01.pdf   Andrew Whitaker, Marianne Shaw, Steven D. Gribble

2001-11-01 Composing Dataflow Analyses and Transformations UW-CSE-01-11-01.pdf   Sorin Lerner, David Grove, Craig Chambers

2001-10-02 View-dependent Refinement of Multiresolution Meshes with Subdivision Connectivity UW-CSE-01-10-02.pdf   Daniel Azuma, Brian Curless, Tom Duchamp, David H. Salesin, Werner Stuetzle, Daniel N. Wood

2001-10-01 Interactive Rendering of Surface Light Fields UW-CSE-01-10-01.pdf   Daniel Azuma

2001-08-03 A Survey and Taxonomy of Location Systems for Ubiquitous Computing UW-CSE-01-08-03.pdf   Jeffrey Hightower, Gaetano Borriello

2001-08-02 KLD-Sampling: Adaptive Particle Filters and Mobile Robot Localization UW-CSE-01-08-02.pdf   Dieter Fox

2001-07-02 Modular Typechecking for Hierarchically Extensible Datatypes and Functions (Superceded by 02-07-05) UW-CSE-01-07-02.pdf   Todd Millstein, Craig Chambers

2001-07-01 Location Sensing Techniques UW-CSE-01-07-01.pdf   Jeffrey Hightower, Gaetano Borriello

2001-06-06 Investigation of a Digital Camera Imaging Pipeline on the RaPiD Array UW-CSE-01-06-06.pdf   Kevin B. Rennie

2001-06-02 A Measurement Study of Peer-To-Peer File Sharing Systems UW-CSE-01-06-02.pdf   Stefan Saroiu, P. Krishna Gummadi, Steven D. Gribble

2001-04-02 Model-based Clustering and Data Transformations for Gene Expression Data UW-CSE-01-04-02.pdf   Ka Yee Yeung, Chris Fraley, Alejandro Murua, Adrian E. Raftery, Walter L. Ruzzo

2001-03-02 An Analysis of Recent Work on Clustering Algorithms UW-CSE-01-03-02.pdf   Daniel Fasulo

2000-12-03 Cookies and Web Browser Design: Toward Realizing Informed Consent Online UW-CSE-00-12-03.pdf   Lynette I. Millett, Batya Friedman, Edward Felten

2000-12-02 Informed Consent Online: A Conceptual Model and Design Principles UW-CSE-00-12-02.pdf   Batya Friedman, Edward Felten, Lynette I. Millett

2000-12-01 An Extensible, Modular Architecture for Simulating Urban Development, Transportation, and Environmental Impacts UW-CSE-00-12-01.pdf   Michael Noth, Alan Borning, Paul Waddell

2000-11-10 Evaluating Module Systems for Crosscutting Concerns UW-CSE-00-11-10.pdf   Jonathan Aldrich

2000-11-03 An Empirical Study on Principal Component Analysis for Clustering Gene Expression Data UW-CSE-00-11-03.pdf   Ka Yee Yeung, Walter L. Ruzzo

2000-11-01 Expression Analysis of Barrett's Epithelium and Normal Gastrointestinal Tissues UW-CSE-00-11-01.pdf   Ka Yee Yeung, Michael T. Barrett, Jeff Delrow, Patricia L. Blount, Li Hsu, Walter L. Ruzzo, Brian J. Reid, Peter S. Rabinovich

2000-10-01 Comprehensive Synchronization Elimination for Java UW-CSE-00-10-01.pdf   Jonathan Aldrich, Emin Gun Sirer, Craig Chambers, Susan J. Eggers

2000-08-04 A Constraint Extension to Scalable Vector Graphics UW-CSE-00-08-04.pdf   Greg J. Badros, Will Portnoy, Jeff Nichols, Alan Borning

2000-08-03 Quality Control in Manufacturing Oligo Arrays: A Combinatorial Design Approach UW-CSE-00-08-03.pdf   Rimli Sengupta, Martin Tompa

2000-08-01 Bayesian Classification of DNA Array Expression Data UW-CSE-00-08-01.pdf   Andrew D. Keller, MIchael Schummer, Lee Hood, Walter L. Ruzzo

2000-06-01 Lecture Notes on Biological Sequence Analysis UW-CSE-00-06-01.pdf   Martin Tompa

2000-05-02 Efficient Evaluation of Regular Path Expressions on Streaming XML Data UW-CSE-00-05-02.pdf   Zachary G. Ives, Alon Y. Levy, Daniel S. Weld

2000-04-02 Thread-Sensitive Scheduling for SMT Processors UW-CSE-00-04-02.pdf   Sujay Parekh, Susan Eggers, Henry Levy, Jack Lo

2000-04-01 Revisiting Structured Storage: A Transactional Record Store UW-CSE-00-04-01.pdf   Robert Grimm, Michael M. Swift, Henry M. Levy

2000-02-02 SpotON: An Indoor 3D Location Sensing Technology Based on RF Signal Strength UW-CSE-00-02-02.pdf   Jeffrey Hightower, Gaetano Borriello, Roy Want

2000-01-02 A Unied Bias-Variance Decomposition UW-CSE-00-01-02.pdf   Pedro Domingos

2000-01-01 Validating Clustering for Gene Expression Data UW-CSE-00-01-01.pdf   Ka Yee Yeung, David R. Haynor, Walter L. Ruzzo

1999-04-01 On Constraints on the Search Path of Policy Iteration UW-CSE-99-04-01.pdf   Omid Madani

1999-03-02 Modular Statically Typed Multimethods UW-CSE-99-03-02.pdf   Todd Millstein, Craig Chambers

1999-03-01 Reducing Startup Latency in Web and Desktop Applications UW-CSE-99-03-01.pdf   Dennis Lee, Jean-Loup Baer, Brian Bershad, Tom Anderson

1999-02-01 On the Performance Potential of Dynamic Cache Line Sizes UW-CSE-99-02-01.pdf   Eric Anderson, Peter Van Vleet, Lindsay Brown, Jean-Loup Baer, Anna R. Karlin

1999-01-01 A Contextual Inquiry-Based Critique of the Strudel Web Site Maintenance System UW-CSE-99-01-01.pdf   Tessa Lau, Jason Staczek

1998-12-04 Algorithms for Ordering DNA Probes on Chromosomes UW-CSE-98-12-04.pdf   Joshua Redstone, Walter L. Ruzzo

1998-12-03 Requirement Specifications for Real-Time Communication UW-CSE-98-12-03.pdf   Sean David Sandys, Alan Shaw

1998-12-02 Efficient Predicate Dispatching UW-CSE-98-12-02.pdf   Craig Chambers, Weimin Chen

1998-12-01 Models for Decision Making in Dynamic and Uncertain Domains UW-CSE-98-12-01.pdf   Omid Madani

1998-11-02 Array Language Support for Wavefront and Pipelined Computations UW-CSE-98-11-02.pdf   Bradford L. Chamberlain, E Christopher Lewis, Lawrence Snyder

1998-11-01 A Region-based Approach for Sparse Parallel Computing UW-CSE-98-11-01.pdf   Bradford L. Chamberlain, E Christopher Lewis, Lawrence Snyder

1998-10-05 Detour: a Case for Informed Internet Routing and Transport UW-CSE-98-10-05.pdf   Stefan Savage, Tom Anderson, Amit Aggarwal, David Becker, Neal Cardwell, Andy Collins, Eric Hoffman, John Snell, Amin Vahdat, Geoff Voelker, John Zahorjan

1998-10-04 Active Names: Programmable Location and Transport of Wide-Area Resources UW-CSE-98-10-04.pdf   Amin Vahdat, Thomas Anderson, Michael Dahlin

1998-10-03 Graph Partitioning Algorithms for Distributing Workloads of Parallel Computations UW-CSE-98-10-03.d   Chamberlain

1998-10-02 Regions: An Abstraction for Expressing Array Computation UW-CSE-98-10-02.pdf   Bradford L. Chamberlain, E Christopher Lewis, Calvin Lin, Lawrence Snyder

1998-10-01 Recent Advances in AI Planning UW-CSE-98-10-01.pdf   Daniel S. Weld

1998-09-06 Incremental Graphplan UW-CSE-98-09-06.pdf   David E. Smith, Daniel S. Weld

1998-09-05 Support for Software Assisted Speculative Execution UW-CSE-98-09-05.pdf   E Christopher Lewis

1998-09-04 Towards an Ontology for Alternative Assessment in Education UW-CSE-98-09-04.pdf   Steven L. Tanimoto

1998-09-03 Colt: A System for Developing Software that Supports Synchronous Collaborative Activities UW-CSE-98-09-03.pdf   Lauren J. Bricker, Marla J. Baker, Emi Fujioka, Steven L. Tanimoto

1998-09-02 Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts UW-CSE-98-09-02.pdf   William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner

1998-09-01 Improving the Security, Scalability, Manageability and Performance of System Services for Network Computing UW-CSE-98-09-01.pdf   Emin Gun Sirer, Robert Grimm, Arthur J. Gregory, Nathan Anderson, Brian N. Bershad

1998-08-06 Imitation: An Alternative to Generalization in Programming by Demonstration Systems UW-CSE-98-08-06.pdf   Amir Michail

1998-08-05 Assessing Software Libraries by Browsing Similar Classes, Functions, and Relationships UW-CSE-98-08-05.pdf   Amir Michail, David Notkin

1998-08-04 A Framework for Preprocessor-Aware C Source Code Analyses UW-CSE-98-08-04.pdf   Greg J. Badros, David Notkin

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   Michael D. Ernst, Cockrell, Griswold, David Notkin

1998-08-02 Cascaded Execution: Speeding Up Unparallelized Execution on Multiprocessor Systems UW-CSE-98-08-02.pdf   Ruth E. Anderson, Thu D. Nguyen, John Zahorjan

1998-08-01 SPINE: An Operating System for Intelligent Network Adapters UW-CSE-98-08-01.pdf   Marc E. Fiuczynski, Richard P. Martin, Brian N. Bershad, David E. Culler

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   Millstein, Craig Chambers

1998-06-04 The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation UW-CSE-98-06-04.pdf   Greg J. Badros, Alan Borning

1998-06-03 A Constraint-Based Specification for Box Layout in CSS2 UW-CSE-98-06-03.pdf   Brian Michalowski

1998-06-02 Supporting Fine-Grained Synchronization on a Simultaneous Multithreaded Processor UW-CSE-98-06-02.pdf   Dean M. Tullsen, Jack L. Lo, Susan J. Eggers, Henry M. Levy

1998-06-01 Experiments with Collaborative Index Enhancement UW-CSE-98-06-01.pdf   Erik Selberg, Oren Etzioni

1998-05-03 Using Virtual Memory to Improve Cache and TLB Performance UW-CSE-98-05-03.pdf   Theodore Haynes Romer

1998-05-02 Using Relaxed Class Diagram Intersection to Ease Object-Oriented Library Selection UW-CSE-98-05-02.pdf   Amir Michail, David Notkin

1998-05-01 Illustrating Object-Oriented Library Reuse by Example: A Tool-Based Approach UW-CSE-98-05-01.pdf   Amir Michail, David Notkin

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   Steven L. Tanimoto, Carlo E. Bernardelli

1998-03-01 Extensibility in a Visual Language for Web-based Interpersonal Communication UW-CSE-98-03-01.pdf   Steven L. Tanimoto, Carlo E. Bernardelli

1998-02-02 Providing Policy-Neutral and Transparent Access Control in Extensible Systems UW-CSE-98-02-02.pdf   Robert Grimm, Brian N. Bershad

1998-02-01 Privacy Interfaces for Information Management UW-CSE-98-02-01.pdf   Tessa Lau, Oren Etzioni, Daniel S. Weld

1998-01-05 Obtaining Responsiveness in Resource-Variable Environments UW-CSE-98-01-05.pdf   George H. Forman

1998-01-03 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements UW-CSE-98-01-03.pdf   William Chan, Richard J. Anderson, Paul Beame, David Notkin

1998-01-01 Constraint-Based Polymorphism in Cecil UW-CSE-98-01-01.pdf   Vassily Litvinov, Craig Chambers

1997-12-05 Integrating Heterogeneous Autonomous Information Sources UW-CSE-97-12-05.pdf   Rex Jakobovits

1997-12-04 The Design and Implementation of a Data Environment for Vision Research UW-CSE-97-12-04.pdf   Rex M. Jakobovits

1997-12-03 Persistent Programming Languages: The Best of Both Worlds UW-CSE-97-12-03.pdf   Rex Jakobovits

1997-12-02 ZPLs WYSIWYG Performance Model UW-CSE-97-12-02.pdf   Bradford L. Chamberlain, Sung-Eun Choi, E Christopher Lewis, Calvin Lin, Lawrence Snyder, W. Derrick Weathersby

1997-12-01 Software-Directed Register Deallocation for Simultaneous Multithreaded Processors UW-CSE-97-12-01.pdf   Jack L. Lo, Sujay S. Parekh, Susan J. Eggers, Henry M. Levy, Dean M. Tullsen

1997-11-05 Planning and Knowledge Representation for Softbots UW-CSE-97-11-05.pdf   Keith Golden

1997-11-04 Wrapper Induction for Information Extraction UW-CSE-97-11-04.pdf   Nicholas Kushmerick

1997-11-03 Distributed Scheduling Policies to Support 3D Multimedia Applications UW-CSE-97-11-03.pdf   Thu D. Nguyen, John Zahorjan

1997-11-02 Multicomputer Routing Techniques UW-CSE-97-11-02.pdf   Melanie L. Fulgham

1997-11-01 Access Control for Extensible Systems UW-CSE-97-11-01.pdf   Robert Grimm, Brian N. Bershad

1997-09-02 On Searching Sorted Lists: A Near Optimal Lower Bound UW-CSE-97-09-02.pdf   Paul Beame, Faith Fich

1997-09-01 Strands: An Efficient and Extensible Thread Management Architecture UW-CSE-97-09-01.pdf   Emin Gun Sirer, Przemyslaw Pardyak, Brian N. Bershad

1997-07-03 Parallel Prefetching and Caching UW-CSE-97-07-03.pdf   Tracy Kimbrel

1997-07-02 Fast Interprocedural Class Analysis UW-CSE-97-07-02.pdf   Greg DeFouw, David Grove, Craig Chambers

1997-07-01 Representation and Learnability in Visual Languages for Web-based Interpersonal Communication UW-CSE-97-07-01.pdf   Steven L. Tanimoto

1997-06-02 On the Effectiveness of Code Reordering Algorithms for theAlpha and IA32 Architectures UW-CSE-97-06-02.pdf   Ori Gershony, Jean-Loup Baer, Dennis Lee

1997-06-01 Solving Linear Arithmetic Constraints for User Interface Applications: Algorithm Details UW-CSE-97-06-01.pdf   Alan Borning, Kim Marriott, Peter Stuckey, Yi Xiao

1997-05-02 Visual Programming without Procedures UW-CSE-97-05-02.pdf   Amir Michail

1997-05-01 Teaching Binary Tree Algorithms through Visual Programming UW-CSE-97-05-01.pdf   Amir Michail

1997-04-08 The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language UW-CSE-97-04-08.d   Lopez

1997-04-07 Hierarchical Editing and Rendering of Subdivision Surfaces UW-CSE-97-04-07.d   Pulli, Lounsbery

1997-04-06 An Empirical Analysis of C Preprocessor Use UW-CSE-97-04-06.pdf   Michael D. Ernst, Greg J. Badros, David Notkin

1997-04-05 Quantifying the Effects of Communication Optimizations UW-CSE-97-04-05.pdf   Sung-Eun Choi, Lawrence Snyder

1997-04-04 A Compiler Abstraction for Machine Independent Parallel Communication Generation UW-CSE-97-04-04.pdf   Bradford L. Chamberlain, Sung-Eun Choi, Lawrence Snyder

1997-04-03 Cooperative Interaction Techniques for Graphical Objects in a Collaborative Activity UW-CSE-97-04-03.pdf   Marla J. Baker, Lauren J. Bricker, Steven L. Tanimoto

1997-04-02 Simultaneous Multithreading: A Platform for Next-Generation Processors UW-CSE-97-04-02.pdf   Susan J. Eggers, Joel Emer, Henry M. Levy, Jack L. Lo, Rebecca Stamm, Dean M. Tullsen

1997-04-01 View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data UW-CSE-97-04-01.pdf   Kari Pulli, Michael Cohen, Tom Duchamp, Hugues Hoppe, Linda Shapiro, Werner Stuetzle

1997-03-04 DRAM Caching UW-CSE-97-03-04.pdf   Wayne A. Wong, Jean-Loup Baer

1997-03-03 DyC: An Expressive Annotation-Directed Dynamic Compiler for C UW-CSE-97-03-03.pdf   Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers

1997-03-02 On-Line Stochastic Processes in Data Compression UW-CSE-97-03-02.pdf   Suzanne Bunton

1997-03-01 Adaptive Sites: Automatically Learning from User Access Patterns UW-CSE-97-03-01.pdf   Mike Perkowitz, Oren Etzioni

1997-02-06 A Percolating State Selector for Suffix-Tree Context Models UW-CSE-97-02-06.pdf   Suzanne Bunton

1997-02-05 An Executable Taxonomy of On-Line Modeling Algorithms UW-CSE-97-02-05.pdf   Suzanne Bunton

1997-02-04 The Cranium Network Interface Architecture: Support for Message Passing on Adaptive Packet Routing Networks UW-CSE-97-02-04.pdf   Neil R. McKenzie

1997-02-03 Parallel RAMs with Owned Global Memory and Deterministic Context-Free Language Recognition UW-CSE-97-02-03.PS.Z   Dymond, Ruzzo

1997-02-02 Random Striping News on Demand Servers UW-CSE-97-02-02.pdf   Juan Alemany, Jayram S. Thathachar

1997-02-01 On the Limitations of Ordered Representations of Functions (Revised Version) UW-CSE-97-02-01.pdf   Jayram S. Thathachar

1997-01-10 A Generalization and Improvement to PPM's "Blending" UW-CSE-97-01-10.pdf   Suzanne Bunton

1997-01-03 Realistic Facial Animation Using Image Based 3d Morphing UW-CSE-97-01-03.pdf   Frederic Pighin, Joel Auslander, Dani Lischinski, David H. Salesin, Richard Szeliski

1997-01-02 A Performance Evaluation of Cluster-based Architectures UW-CSE-97-01-02.pdf   Xiaohan Qin, Jean-Loup Baer

1997-01-01 Orientable Textures for Image-Based Pen-and-Ink Illustration UW-CSE-97-01-01.PS.gz   Salisbury, Wong, Hughes, David Salesin

1996-12-02 BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing UW-CSE-96-12-02.pdf   Craig Chambers, Gary T. Leavens

1996-12-01 Interleaving sequences to maximize the minimum prefix sum UW-CSE-96-12-01.pdf   Tracy Kimbrel

1996-11-05 Whole-Program Optimization of Object-Oriented Languages UW-CSE-96-11-05.PS.gz   Dean

1996-11-03 RaPiD - A Configurable Computing Architecture for Compute-Intensive Applications UW-CSE-96-11-03.pdf   Carl Ebeling, Darren C. Cronquist, Paul Franklin, Chris Fisher

1996-11-02 Frameworks for Intra- and Interprocedural Dataflow Analysis UW-CSE-96-11-02.pdf   Craig Chambers, Jeffrey Dean, David Grove

1996-11-01 A User-Level Unix Server for the SPIN Operating System UW-CSE-96-11-01.pdf   David Dion

1996-10-01 The Influence of Caches on the Performance of Sorting UW-CSE-96-10-01.pdf   Anthony LaMarca, Richard E. Ladner

1996-09-03 On the Limitations of Ordered Representations of Functions UW-CSE-96-09-03.pdf   Jayram S. Thathachar

1996-09-02 Sorting by Parallel Insertion on a One-Dimensional Sub-Bus Array UW-CSE-96-09-02.pdf   James D. Fix, Richard E. Ladner

1996-09-01 A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching UW-CSE-96-09-01.pdf   Tracy Kimbrel, Andrew R. Tomkins, Hugo Patterson, Brian Bershad, Pei Cao, Edward W. Felten, Garth A. Gibson, Anna R. Karlin, Kai Li

1996-08-02 Analysis and Application of Subdivision Surfaces UW-CSE-96-08-02.PS.gz   Schweitzer

1996-08-01 Array Restructuring for Cache Locality UW-CSE-96-08-01.pdf   Shun-Tak A. Leung

1996-07-03 Reducing Network Latency Using Subpages in a Global Memory Environment UW-CSE-96-07-03.pdf   Herve A. Jamrozik, Michael J. Feeley, Geoffrey M. Voelker, James Evans II, Anna R. Karlin, Henry M. Levy, Mary K. Vernon

1996-07-02 On the Use and Performance of Explicit Communication Primitives in Cache-coherent Multiprocessor Systems UW-CSE-96-07-02.pdf   Xiaohan Qin, Jean-Loup Baer

1996-07-01 Assisting an Experimental Reengineering of Excel with Reflexion Models UW-CSE-96-07-01.TXT   Murphy, David Notkin

1996-06-03 A Value-directed Approach to Planning UW-CSE-96-06-03.PS.gz   Williamson

1996-06-02 Whole-Program Optimization of Object-Oriented Languages UW-CSE-96-06-02.pdf   Craig Chambers, Jeffrey Dean, David Grove

1996-06-01 A Comparison of Input and Output Driven Routers UW-CSE-96-06-01.pdf   Melanie L. Fulgham, Lawrence Snyder

1996-05-04 Optimization of Linear Max-Plus Systems with Application to Timing Analysis UW-CSE-96-05-04.pdf   Elizabeth A. Walkup

1996-05-02 Real-Time Programming With Time-Stamped Event Histories UW-CSE-96-05-02.pdf   Alan Shaw, Douglas Rupp

1996-05-01 The Indigo Algorithm UW-CSE-96-05-01.pdf   Alan Borning, Richard Anderson, Bjorn Freeman-Benson

1996-04-02 Model Checking Large Software Specifications UW-CSE-96-04-02.pdf   Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Reese

1996-04-01 Using Role Components to Implement Collaboration-Based Designs UW-CSE-96-04-01.pdf   Michael VanHilst, David Notkin

1996-03-03 Emerging Opportunities for Theoretical Computer Science UW-CSE-96-03-03.pdf   Alfred V. Aho, David S. Johnson, Richard M. Karp, S. Rao Kosaraju, Catherine C. McGeoch, Christos H. Papadimitriou, Pavel Pevzner

1996-03-02 Fast Rendering of Subdivision Surfaces UW-CSE-96-03-02.pdf   Kari Pulli, Mark Segal

1996-03-01 Semi-automatic Update of Applications in Response to Library Changes UW-CSE-96-03-01.pdf   Kingsum Chow, David Notkin

1996-02-03 The Influence of Caches on the Performance of Heaps UW-CSE-96-02-03.pdf   Anthony LaMarca, Richard E. Ladner

1996-01-11 Triplex Router: A Versatile Torus Routing Algorithm UW-CSE-96-01-11.pdf   Melanie L. Fulgham, Lawrence Snyder

1996-01-10 Near-Optimal Parallel Prefetching and Caching UW-CSE-96-01-10.pdf   Tracy Kimbrel, Anna R. Karlin

1996-01-06 Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments UW-CSE-96-01-06.d   Shade, Lischinski, David Salesin, Tony D. DeRose, Lawrence Snyder

1996-01-05 Rendering Free-Form Surfaces in Pen-and-Ink UW-CSE-96-01-05.d   Winkenbach, David Salesin

1996-01-04 Planning for Information Gathering UW-CSE-96-01-04.PS.gz   Kwok, Daniel S. Weld

1996-01-03 A Scalable Comparison-Shopping Agent for the World-Wide Web UW-CSE-96-01-03.pdf   Robert B. Doorenbos, Oren Etzioni, Daniel S. Weld

1996-01-02 A Resolution-Independent Representation for Pen-and-Ink Illustration UW-CSE-96-01-02.d   Salisbury, Anderson, Lischinski, David Salesin

1996-01-01 Multiresolution Video UW-CSE-96-01-01.d   Finkelstein, Jacobs, David Salesin

1995-12-01 On the Performance of a Bus-based Multiprocessor Cluster Architecture UW-CSE-95-12-01.pdf   Craig Anderson, Jean-Loup Baer

1995-11-06 An Overview of Compiler Techniques for Interprocedural Array Section Analysis UW-CSE-95-11-06.pdf   Sung-Eun Choi

1995-11-05 ZPL vs. HPF: A Comparison of Performance and Programming Style UW-CSE-95-11-05.pdf   Calvin Lin, Lawrence Snyder, Ruth E. Anderson, Bradford L. Chamberlain, Sung-Eun Choi, George Forman, E Christopher Lewis, W. Derrick Weathersby

1995-10-02 Improving Performance of Bus-based Multiprocessors UW-CSE-95-10-02.PS.gz   Anderson

1995-10-01 Using Runtime Measured Workload Characteristics in Parallel Processor Scheduling UW-CSE-95-10-01.pdf   Thu D. Nguyen, Raj Vaswani, John Zahorjan

1995-09-02 Maximizing Speedup Through Self-Tuning of Processor Allocation UW-CSE-95-09-02.pdf   Thu D. Nguyen, Raj Vaswani, John Zahorjan

1995-09-01 Optimizing Data Locality by Array Restructuring UW-CSE-95-09-01.pdf   Shun-Tak Leung, John Zahorjan

1995-08-07 Implementing Global Memory Management in a Workstation Cluster UW-CSE-95-08-07.pdf   Michael J. Feeley, William E. Morgan, Frederic H. Pighin, Anna R. Karlin, Henry M. Levy, Chandramohan A. Thekkath

1995-08-06 An Operating System Structure for Wide-Address Architectures UW-CSE-95-08-06.pdf   Jeffrey S. Chase

1995-08-05 Typechecking and Modules for Multi-Methods UW-CSE-95-08-05.pdf   Craig Chambers, Gary T. Leavens

1995-08-03 Time-Sensitive Objects: A Data Oriented View of Real-Time Systems UW-CSE-95-08-03.d   Callison

1995-08-02 Some topics in Parallel Computation and Branching Programs UW-CSE-95-08-02.pdf   Rakesh Kumar Sinha

1995-08-01 An Empirical Study of Static Call Graph Extractors UW-CSE-95-08-01.html   Murphy, David Notkin, Lan

1995-07-04 Hierarchical Techniques for Glossy Global Illumination UW-CSE-95-07-04.pdf   Per Henrik Christensen

1995-07-03 Processor Allocation Policies for Message-Passing Parallel Computers UW-CSE-95-07-03.pdf   Catherine M. McCann

1995-07-02 Using C++ Templates to Implement Role-Based Design UW-CSE-95-07-02.pdf   Michael VanHilst, David Notkin

1995-05-02 Fast Rendering of Complex Environments Using a Spatial Hierarchy UW-CSE-95-05-02.d   Chamberlain, Tony D. DeRose, Lischinski, David Salesin, Lawrence Snyder

1995-04-04 Achieving High-Latency, Low-Bandwidth Communication: Logic Emulation Interfaces UW-CSE-95-04-04.pdf   Scott Hauck, Gaetano Borriello, Carl Ebeling

1995-04-03 Multiplayer Activities that Develop Mathematical Coordination UW-CSE-95-04-03.pdf   Lauren J. Bricker, Steven L. Tanimoto, Alex I. Rothenberg, Danny C. Hutama, Tina H. Wong

1995-04-02 Cost-Effective Data-Parallel Load Balancing UW-CSE-95-04-02.pdf   James P. Ahrens, Charles D. Hansen

1995-04-01 Mobisaic - An Information System for a Mobile Wireless Computing Environment UW-CSE-95-04-01.PS.gz   Voelker, Brian Bershad

1995-03-06 Packet Routing in Multiprocessor Networks UW-CSE-95-03-06.pdf   Donald D. Chinn

1995-03-05 Fast Median Filtering Algorithms for Mesh Computers UW-CSE-95-03-05.pdf   Steven L. Tanimoto

1995-03-04 The Chinook Hardware/Software Co-Synthesis System UW-CSE-95-03-04.pdf   Pai Chou, Ross Ortega, Gaetano Borriello

1995-03-03 Cost Effective Fault Tolerance for Network Routing UW-CSE-95-03-03.pdf   William Yost

1995-03-02 Software Reflexion Models: Bridging the Gap Between Source and High-Level Models UW-CSE-95-03-02.TXT   Murphy, David Notkin, Sullivan

1995-03-01 Simultaneous Place and Route for Wire-Constrained FPGAs UW-CSE-95-03-01.pdf   Darren C. Cronquist

1995-02-03 Lightweight Source Model Extraction UW-CSE-95-02-03.TXT   Murphy, David Notkin

1995-02-02 Sound and Efficient Closed-World Reasoning for Planning UW-CSE-95-02-02.pdf   Oren Etzioni, Keith Golden, Daniel S. Weld

1995-02-01 Implementing Lightweight Remote Procedure Calls in the Mach 3 Operating System UW-CSE-95-02-01.pdf   Virgil Bourassa, John Zahorjan

1995-01-08 Extending the Applicability and Improving the Performance of Runtime Parallelization UW-CSE-95-01-08.pdf   Shun-Tak Leung, John Zahorjan

1995-01-07 Clustering for Glossy Global Illumination UW-CSE-95-01-07.d   Christensen, Lischinski, Stollnitz, David Salesin

1995-01-06 Fast Multiresolution Image Querying UW-CSE-95-01-06.d   Jacobs, Finkelstein, David Salesin

1995-01-04 Automated Bargaining Agents (Preliminary Results) UW-CSE-95-01-04.pdf   Ying Sun, Daniel S. Weld

1995-01-02 Multiresolution Analysis of Arbitrary Meshes UW-CSE-95-01-02.d   Eck, Tony D. DeRose, Duchamp, Hoppe, Lounsbery, Stuetzle

1995-01-01 TRIBORS: A Triplet-Based Object Recognition System UW-CSE-95-01-01.pdf   Kari Pulli

1994-12-07 Wait-Free Algorithms for Heaps UW-CSE-94-12-07.pdf   Greg Barnes

1994-12-03 Runtime Support for Dynamic Space-Based Applications on Distributed Memory Multiprocessors UW-CSE-94-12-03.pdf   Immaneni Ashok

1994-12-01 Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis UW-CSE-94-12-01.pdf   Jeffrey Dean, David Grove, Craig Chambers

1994-11-08 Wit: An Infrastructure for Wireless Palmtop Computing UW-CSE-94-11-08.pdf   Terri Watson

1994-11-03 A Characterization of the "Dynamic Markov Compression" FSM with Finite Conditioning Contexts UW-CSE-94-11-03.pdf   Suzanne Bunton

1994-11-01 Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array UW-CSE-94-11-01.pdf   James D. Fix, Richard E. Ladner

1994-10-06 ZPL Language Reference Manual UW-CSE-94-10-06.pdf   Calvin Lin

1994-10-05 Scheduling Memory Constrained Jobs on Distributed Memory Parallel Computers UW-CSE-94-10-05.pdf   Cathy McCann, John Zahorjan

1994-10-04 A Comparative Study of Conservative and Optimistic Trace-driven Simulation UW-CSE-94-10-04.pdf   Xiaohan Qin, Jean-Loup Baer

1994-10-03 Optimistic Trace-driven Simulation UW-CSE-94-10-03.pdf   Xiaohan Qin, Jean-Loup Baer

1994-10-01 Global Illumination of Glossy Environments using Wavelets and Importance UW-CSE-94-10-01.pdf   Per H. Christensen, Eric J. Stollnitz, David H. Salesin, Tony D. DeRose

1994-09-12 Integrating Coherency and Recoverability in Distributed Systems UW-CSE-94-09-12.pdf   Michael J. Feeley, Jeffrey S. Chase, Vivek R. Narasayya, Henry M. Levy

1994-09-11 Wavelets for Computer Graphics: A Primer UW-CSE-94-09-11.pdf   Eric J. Stollnitz, Tony D. DeRose, David H. Salesin

1994-09-09 Architectural Support for Compiler-Generated Data-Parallel Programs UW-CSE-94-09-09.pdf   Alexander C. Klaiber

1994-09-07 A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies UW-CSE-94-09-07.pdf   Craig Chambers, Jeffrey Dean, David Grove

1994-09-05 Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations UW-CSE-94-09-05.pdf   Tor E. Jeremiassen, Susan J. Eggers

1994-09-04 Scheduling Issues in the Co-Synthesis of Reactive Real-Time Systems UW-CSE-94-09-04.pdf   Pai Chou, Elizabeth Walkup, Gaetano Borriello

1994-09-03 Reflecting Source Code Relations in Higher-Level Models of Software Systems UW-CSE-94-09-03.TXT   Murphy, David Notkin, Sullivan

1994-09-02 Optimizing Static Calendar Queues UW-CSE-94-09-02.pdf   K. Bruce Erickson, Richard E. Ladner, Anthony LaMarca

1994-09-01 The PRESTO Application Suite UW-CSE-94-09-01.pdf   Radhika Thekkath, Susan J. Eggers

1994-08-01 Mediators: Easing the Design and Evolution of Integrated Systems UW-CSE-94-08-01.pdf   Kevin J. Sullivan

1994-07-07 Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine UW-CSE-94-07-07.pdf   Gus Lopez, Bjorn Freeman-Benson, Alan Borning

1994-07-05 Hardware and Software Support for Efficient Exception Handling UW-CSE-94-07-05.pdf   Chandramohan A. Thekkath, Henry M. Levy

1994-07-04 Separating Data and Control Transfer in Distributed Operating Systems UW-CSE-94-07-04.pdf   Chandramohan A. Thekkath, Henry M. Levy, Edward D. Lazowska

1994-07-03 Minimal Adaptive Routing on the Mesh with Bounded Queue Size UW-CSE-94-07-03.pdf   Donald D. Chinn, Tom Leighton, Martin Tompa

1994-07-02 System Support for Efficient Network Communication UW-CSE-94-07-02.pdf   Chandramohan A. Thekkath

1994-06-06 The Meerkat Multicomputer: Tradeoffs in Multicomputer Architecture UW-CSE-94-06-06.pdf   Robert C. Bedichek

1994-06-05 Lecture Notes on Message Routing in Parallel Machines UW-CSE-94-06-05.pdf   Martin Tompa

1994-06-04 Automatic Synthesis of Device Drivers for Hardware/Software Co-design UW-CSE-94-06-04.pdf   Elizabeth Walkup, Gaetano Borriello

1994-06-03 Exploiting Shared Memory for Protected Services UW-CSE-94-06-03.pdf   Rene W. Schmidt

1994-06-02 Experiences with the UWTester in Computer Science and Engineering Education UW-CSE-94-06-02.pdf   Neil McKenzie, Carl Ebeling, Larry McMurchie, Gaetano Borriello

1994-06-01 Surface Reconstruction from Unorganized Points UW-CSE-94-06-01.PS.gz   Hoppe

1994-05-07 A Self-Accelerating Packet Service Discipline for Low-Delay Service to Bursty Flows UW-CSE-94-05-07.pdf   Ricardo Pincheira

1994-05-02 Design and Evaluation of a Subblock Cache Coherence Protocol for Bus-Based Multiprocessors UW-CSE-94-05-02.pdf   Craig Anderson, Jean-Loup Baer

1994-04-02 A Group Structuring Mechanism for a Distributed Object-oriented Language UW-CSE-94-04-02.pdf   Przemyslaw Pardyak, Brian N. Bershad

1994-04-01 Pin Assignment for Multi-FPGA Systems UW-CSE-94-04-01.pdf   Scott Hauck, Gaetano Borriello

1994-03-07 Constraints and Object Identity UW-CSE-94-03-07.pdf   Gus Lopez, Bjorn Freeman-Benson, Alan Borning

1994-03-06 Testing Asynchrounous Circuits: A Survey UW-CSE-94-03-06.pdf   Henrik Hulgaard, Steven M. Burns, Gaetano Borriello

1994-03-05 Measurement and Application of Dynamic Receiver Class Distributions UW-CSE-94-03-05.pdf   Charles D. Garrett, Jeffrey Dean, David Grove, Craig Chambers

1994-03-04 Interface Timing Verification with Combined Max and Linear Constraints UW-CSE-94-03-04.pdf   Elizabeth Walkup, Gaetano Borriello

1994-03-03 SPIN - An Extensible Microkernel for Application-specific Operating System Services UW-CSE-94-03-03.pdf   Brian N. Bershad, Craig Chambers, Susan Eggers, Chris Maeda, Dylan McNamee, Przemyslaw Pardyak, Stefan Savage, Emin Gun Sirer

1994-03-02 A New Data Structure For Fast Approximate Matching UW-CSE-94-03-02.pdf   Andrew P. Berman

1994-02-05 Identifying Profitable Specialization in Object-Oriented Languages UW-CSE-94-02-05.pdf   Jeffrey Dean, Craig Chambers, David Grove

1994-02-04 The Case for Chaotic Adaptive Routing UW-CSE-94-02-04.pdf   Kevin Bolding, Melanie L. Fulgham, Lawrence Snyder

1994-02-03 On Scalable State-Based Specifications for Real-Time Systems UW-CSE-94-02-03.pdf   Alan C. Shaw

1994-02-02 An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems UW-CSE-94-02-02.pdf   Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello

1994-02-01 Restructuring Arrays for Efficient Parallel Loop Execution UW-CSE-94-02-01.pdf   Shun-Tak Leung, John Zahorjan

1994-01-09 Multiresolution Painting and Compositing UW-CSE-94-01-09b.d   Berman, Bartell, David Salesin

1994-01-08 Computer-Generated Pen-and-Ink Illustration UW-CSE-94-01-08b.d   Winkenbach, David Salesin

1994-01-07 Interactive Pen-and-Ink Illustration UW-CSE-94-01-07b.pdf   Mike Salisbury, Sean Anderson, Ronen Barzel, David Salesin

1994-01-06 Multiresolution Curves UW-CSE-94-01-06b.pdf   Adam Finkelstein, David H. Salesin

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   Christensen, Stollnitz, David Salesin, Tony D. DeRose

1994-01-04 A Parallel Trace-driven Simulator: Implementation and Performance UW-CSE-94-01-04.pdf   Xiaohan Qin, Jean-Loup Baer

1994-01-01 Piecewise Smooth Surface Reconstruction UW-CSE-94-01-01.d   Hoppe, Tony D. DeRose, Duchamp, Jin, Mcdonald, Stuetzle

1993-12-09 Abstractions for Portable, Scalable Parallel Programming UW-CSE-93-12-09.pdf   Gail A. Alverson, William G. Griswold, Calvin Lin, David Notkin, Lawrence Snyder

1993-12-08 Faster Dynamic Linking for SPARC V8 and System V.4 UW-CSE-93-12-08.pdf   David Keppel, Stephen Russell

1993-12-06 Performance of User-Level Communication on Distributed-Memory Multiprocessors with an Optimistic Protocol UW-CSE-93-12-06.pdf   J. William Lee

1993-12-05 Concord: Re-Thinking the Division of Labor in a Distributed Shared Memory System UW-CSE-93-12-05.pdf   J. William Lee

1993-12-04 Probabilistic Planning with Information Gathering and Contingent Execution UW-CSE-93-12-04.pdf   Denise Draper, Steve Hanks, Daniel S. Weld

1993-12-03 Multicomputer Interconnection Network Channel Design UW-CSE-93-12-03.pdf   Kevin Bolding

1993-12-02 Multiresolution Tiling UW-CSE-93-12-02.pdf   David Meyers

1993-11-03 The Challenges of Mobile Computing UW-CSE-93-11-03.pdf   George H. Forman, John Zahorjan

1993-11-02 Evaluating Runtime-Compiled Value-Specific Optimizations UW-CSE-93-11-02.pdf   David Keppel, Susan J. Eggers, Robert R. Henry

1993-11-01 Processor Allocation Policies for Message-Passing Parallel Computers UW-CSE-93-11-01.pdf   Cathy McCann, John Zahorjan

1993-10-05 Multiresolution Analysis for Surfaces of Arbitrary Topological Type UW-CSE-93-10-05.pdf   Tony D. DeRose, Michael Lounsbery, Joe Warren

1993-10-04 Impact of Sharing-Based Thread Placement on Multithreaded Architectures UW-CSE-93-10-04.pdf   Radhika Thekkath, Susan J. Eggers

1993-10-02 Complexity of Sub-Bus Mesh Computations UW-CSE-93-10-02.pdf   Anne Condon, Richard E. Ladner, Jordan Lampe, Rakesh Sinha

1993-09-09 Protocol Compilation: High Performance Communication for Parallel Programs UW-CSE-93-09-09.pdf   Edward W. Felten

1993-09-06 The UCPOP User's Manual UW-CSE-93-09-06.pdf   Anthony Barrett, Keith Golden, Scott Penberthy, Daniel Weld

1993-09-05 The Meerkat Multicomputer UW-CSE-93-09-05.pdf   Robert Bedichek, Curtis Brown

1993-09-04 Kaleidoscope: A Constraint Imperative Programming Language UW-CSE-93-09-04.pdf   Gus Lopez, Bjorn Freeman-Benson, Alan Borning

1993-09-03 Prism: A Case Study in Behavioral Entity-Relationship Modeling and Design UW-CSE-93-09-03.pdf   Kevin Sullivan, Ira J. Kalet, David Notkin

1993-09-02 The Interaction Between Static Typing and Frameworks UW-CSE-93-09-02.pdf   Gail C. Murphy, David Notkin

1993-09-01 Building Softbots for UNIX (preliminary report) UW-CSE-93-09-01.pdf   Oren Etzioni, Neal Lesh, Richard Segal

1993-08-01 A (More) Formal Definition of Communicating Real-Time State Machines UW-CSE-93-08-01.pdf   Alan C. Shaw

1993-07-02 Specification, Simulation, and Verification of Timing Behavior UW-CSE-93-07-02.pdf   Tod Amon

1993-07-01 Data Prefetching for High-Performance Processors UW-CSE-93-07-01.pdf   Tien-Fu Chen

1993-06-10 Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning about Change UW-CSE-93-06-10.pdf   Steve Hanks, Drew McDermott

1993-06-09 A Beginner's Guide to the Truckworld Simulator UW-CSE-93-06-09.pdf   Steve Hanks, Dat Nguyen, Chris Thomas

1993-06-08 Data Locality On Shared Memory Computers Under Two Programming Models UW-CSE-93-06-08.pdf   Ton A. Ngo, Lawrence Snyder

1993-06-06 Shade: A Fast Instruction-Set Simulator for Execution Profiling UW-CSE-93-06-06.pdf   Robert F. Cmelik, David Keppel

1993-06-05 Benchmarks, Testbeds, Controlled Experimentation, and the Design of Agent Architectures UW-CSE-93-06-05.pdf   Steve Hanks, Martha Pollack, Paul Cohen

1993-06-04 Utility Models for Goal-Directored Decision-Theoretic Planners UW-CSE-93-06-04.pdf   Peter Haddawy, Steve Hanks

1993-06-03 An Algorithm for Probabilistic Planning UW-CSE-93-06-03.pdf   Nicholas Kushmerick, Steve Hanks, Daniel Weld

1993-06-02 Managing Abstraction-Induced Complexity UW-CSE-93-06-02.pdf   David Keppel

1993-06-01 A Study of Chaotic Routing with Nonuniform Traffic UW-CSE-93-06-01.pdf   Melanie L. Fulgham, Lawrence Snyder

1993-05-07 Asynchronous Design Methodologies: An Overview UW-CSE-93-05-07.pdf   Scott Hauck

1993-05-06 Tools and Techniques for Building Fast Portable Threads Packages UW-CSE-93-05-06.pdf   David Keppel

1993-05-05 Training Compilers to Make Better Inlining Decisions UW-CSE-93-05-05.pdf   Jeffrey Dean, Craig Chambers

1993-05-04 Minimizing the Effect of Clock Skew Via Circuit Retiming UW-CSE-93-05-04.pdf   Brian Lockyear, Carl Ebeling

1993-05-03 The Practical Application of Retiming to the Design of High-Performance Systems UW-CSE-93-05-03.pdf   Brian Lockyear, Carl Ebeling

1993-05-02 A Periodic Object Model for Real-Time Systems UW-CSE-93-05-02.pdf   H. Rebecca Callison

1993-05-01 Hierarchical Constraint Logic Programming UW-CSE-93-05-01.pdf   Molly Ann Wilson

1993-04-09 Building Counting Networks from Larger Balancers UW-CSE-93-04-09.pdf   Edward W. Felten, Anthony LaMarca, Richard Ladner

1993-04-08 An Automatic Verification Technique for Communicating Real-Time State Machines UW-CSE-93-04-08.pdf   Sitaram C.V. Raju

1993-04-06 Fast Data Breakpoints UW-CSE-93-04-06.pdf   David Keppel

1993-04-04 OS Agents: Using AI Techniques in the Operating System Environment UW-CSE-93-04-04.pdf   Oren Etzioni, Henry M. Levy, Richard B. Segal, Chandramohan A. Thekkath

1993-04-03 Efficient Support for Multicomputing on ATM Networks UW-CSE-93-04-03.pdf   Chandramohan A. Thekkath, Henry M. Levy, Edward D. Lazowska

1993-04-02 Sharing and Protection in a Single Address Space Operating System UW-CSE-93-04-02.pdf   Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska

1993-04-01 Adhara: Runtime Support for Dynamic Space-Based Applications on Distributed Memory MIMD Multiprocessors UW-CSE-93-04-01.pdf   Immaneni Ashok, John Zahorjan

1993-03-07 How Reductions to Sparse Sets Collapse the Polynomial-time Hierarchy: A Primer UW-CSE-93-03-07.pdf   Paul Young

1993-03-06 Pointers versus Arithmetic in PRAMs UW-CSE-93-03-06.pdf   Patrick W. Dymond, Faith E. Fich, Naomi Nishimura, Prabhakar Ragde, Walter L. Ruzzo

1993-03-05 The Cecil Language: Specification and Rational UW-CSE-93-03-05.pdf   Craig Chambers

1993-03-03 Latency Analysis of TCP on an ATM Network UW-CSE-93-03-03.pdf   Alec Wolman, Geoff Voelker, Chandramohan A. Thekkath

1993-03-02 A Performance Study of a New Grid Protocol and General Grid Structures for Replicated Data UW-CSE-93-03-02.pdf   Akhil Kumar, Michael Rabinovich, Rakesh K. Sinha

1993-03-01 Implementing Network Protocols at User Level UW-CSE-93-03-01.pdf   Chandramohan A. Thekkath, Thu D. Nguyen, Evelyn Moy, Edward D. Lazowska

1993-02-03 User-Level Threads and Interprocess Communication UW-CSE-93-02-03.pdf   Michael J. Feeley, Jeffrey S. Chase, Edward D. Lazowska

1993-02-02 Building FIFO and Priority-Queuing Spin Locks from Atomic Swap UW-CSE-93-02-02.pdf   Travis S. Craig

1993-02-01 Time-Space Tradeoffs for Undirected Graph Traversal UW-CSE-93-02-01.pdf   Paul Beame, Allan Borodin, Prabhakar Raghavan, Walter L. Ruzzo, Martin Tompa

1993-01-02 Hierarchical Constraint Logic Programming UW-CSE-93-01-02a.pdf   Molly Wilson, Alan Borning

1993-01-01 Mesh Optimization UW-CSE-93-01-01.pdf   Hugues Hoppe, Tony DeRose, Tom Duchamp, John McDonald, Werner Stuetzle

1992-12-08 Theory and Practice of Vector Quantizers Trained on Small Training Sets UW-CSE-92-12-08.pdf   David Cohn, Eve A. Riskin, Richard Ladner

1992-12-07 Reordering Iterations in Runtime Loop Parallelization UW-CSE-92-12-07.pdf   Shun-Tak Leung, John Zahorjan

1992-12-05 Relaxed Consistency and Synchronization in Parallel Processors UW-CSE-92-12-05.pdf   Richard N. Zucker

1992-12-03 A High-Speed Channel Controller for the Chaos Router UW-CSE-92-12-03.pdf   Robert Wille

1992-12-01 Bounds on Sample Space Size for Matrix Product Verification UW-CSE-92-12-01.pdf   Donald D. Chinn, Rakesh K. Sinha

1992-11-06 Surface Approximation using Geometric Hermite Patches UW-CSE-92-11-06.tar   Mann

1992-11-03 Balanced Scheduling: Instruction Scheduling When Memory Latency is Uncertain UW-CSE-92-11-03.pdf   Daniel R. Kerns

1992-11-02 Improving Cache Performance by Eliminating Transfers of Dead Data UW-CSE-92-11-02.pdf   Edward W. Felten, Eric J. Koldinger, Raj Vaswani, John Zahorjan

1992-11-01 Timing Analysis of Concurrent Systems: An Algorithm for Determining Time Separation of Events UW-CSE-92-11-01.pdf   Tod Amon, Henrik Hulgaard, Gaetano Borriello, Steve Burns

1992-10-08 The UW MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging UW-CSE-92-10-08.pdf   Neil McKenzie, Larry McMurchie, Carl Ebeling

1992-10-07 Practical Issues in Retiming Latch-Based Circuits (Superceded by 93-05-03 and 93-05-04) (Technical Report Withdrawn)   Ebeling, Lockyear

1992-10-05 Improving the Performance of Runtime Parallelization UW-CSE-92-10-05.pdf   Shun-Tak Leung, John Zahorjan

1992-10-04 A Multi-Level Hierarchical Cache Coherence Protocol for Multiprocessors UW-CSE-92-10-04.tar.Z   Anderson, Baer

1992-10-03 A Prototyping Environment for Specifying, Executing and Checking Communicating Real-time State Machines UW-CSE-92-10-03.pdf   Sitaram C.V. Raju, Alan C. Shaw

1992-10-02 Time-Space Tradeoffs for Graph s-t Connectivity UW-CSE-92-10-02.pdf   Gregory Barnes

1992-09-08 Techniques for File System Simulation UW-CSE-92-09-08.pdf   Chandramohan A. Thekkath, John Wilkes, Edward D. Lazowska

1992-09-07 Improving the Performance of Message-Passing Applications by Multithreading UW-CSE-92-09-07.pdf   Edward W. Felten, Dylan McNamee

1992-09-03 Monitoring Timing Constraints in Distributed Real-time Systems UW-CSE-92-09-03.pdf   Sitaram C.V. Raju, Ragunathan Rajkumar, Farnam Jahanian

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   Giovanni Faglia, Paul Young

1992-08-03 Adding Scheduler Activations to Mach 3.0 UW-CSE-92-08-03.pdf   Paul Barton-Davis, Dylan McNamee, Raj Vaswani, Edward D. Lazowska

1992-08-01 MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging UW-CSE-92-08-01.pdf   Carl Ebeling, Neil McKenzie

1992-07-07 Non-Uniformities Introduced by Virtual Channel Deadlock Prevention UW-CSE-92-07-07.pdf   Kevin Bolding

1992-07-05 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm UW-CSE-92-07-05a.pdf   Michael Sannella, John Maloney, Bjorn Freeman-Benson, Alan Borning

1992-07-02 The SkyBlue Constraint Solver UW-CSE-92-07-02.pdf   Michael Sannella

1992-07-01 Multi-Garnet: Integrating Multi-Way Constraints with Garnet UW-CSE-92-07-01.pdf   Michael Sannella, Alan Borning

1992-06-04 The Virtual System Model: A Scalable Approach to Organizing Large Systems UW-CSE-92-06-04.pdf   Barry Clifford Neuman

1992-06-03 Reducing memory latency via non-blocking and prefetching caches UW-CSE-92-06-03.pdf   Tien-Fu Chen, Jean-Loup Baer

1992-05-01 Partial-Order Planning: Evaluating Possible Efficiency Gains UW-CSE-92-05-01a.pdf   Anthony Barrett, Daniel S. Weld

1992-04-04 A Performance Analysis of Network I/O in Shared-Memory Multiprocessors UW-CSE-92-04-04.PDF   Chandramohan A. Thekkath, Derek L. Eager, Edward D. Lazowska, Henry M. Levy

1992-04-01 Acquiring Search-Control Knowledge via Static Analysis UW-CSE-92-04-01.pdf   Oren Etzioni

1992-03-11 The Case for Application-Specific Communication Protocols UW-CSE-92-03-11.pdf   Edward W. Felten

1992-03-10 Architectural Support for Single Address Space Operating Systems UW-CSE-92-03-10.pdf   Eric J. Koldinger, Jeffrey S. Chase, Susan J. Eggers

1992-03-09 Lightweight Shared Objects in a 64-Bit Operating System UW-CSE-92-03-09.pdf   Jeffrey S. Chase, Henry M. Levy, Edward D. Lazowska, Miche Baker-Harvey

1992-03-05 A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity UW-CSE-92-03-05.pdf   Greg Barnes, Jonathan F. Buss, Walter L. Ruzzo, Baruch Schieber

1992-03-02 How to Use a 64-Bit Virtual Address Space UW-CSE-92-03-02.pdf   Jeffrey S. Chase, Henry M. Levy, Miche Baker-Harvey, Edward D. Lazowska

1992-03-01 Distributed Shared Memory with Versioned Objects UW-CSE-92-03-01.pdf   Michael J. Feeley, Henry M. Levy

1992-01-02 A Performance Study of Memory Consistency Models UW-CSE-92-01-02.pdf   Richard N. Zucker, Jean-Loup Baer

1991-12-03 Surface Reconstruction from Unorganized Points UW-CSE-91-12-03.d   Hoppe, Tony D. DeRose, Duchamp, Mcdonald, Stuetzle

1991-11-04 A Case for Runtime Code Generation UW-CSE-91-11-04.pdf   David Keppel, Susan J. Eggers, Robert R. Henry

1991-10-01 Optimal Retiming of Multi-Phase Level-Clocked Circuits UW-CSE-91-10-01.PS.Z   Lockyear, Ebeling

1991-09-02 A Structural Theory of Explanation-Based Learning UW-CSE-91-09-02.pdf   Oren Etzioni

1991-08-07 Retargetable Instruction Scheduling for Pipelined Processors UW-CSE-91-08-07.pdf   David Gordon Bradlee

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   Tracy Kimbrel, Rakesh Kumar Sinha

1991-08-01 Register Windows and User-Space Threads on the SPARC UW-CSE-91-08-01.pdf   David Keppel

1991-07-05 Lecture Notes on Probabilistic Algorithms and Pseudorandom Generators UW-CSE-91-07-05.pdf   Martin Tompa

1991-06-02 Deterministic Algorithms for Undirected s-t Connectivity Using Polynomial Time and Sublinear Space UW-CSE-91-06-02.pdf   Greg Barnes, Walter L. Ruzzo

1991-05-05 Parallel Simulation of Petri Nets UW-CSE-91-05-05.PDF   Gregory Scott Thomas

1991-05-01 A Compendium of Problems Complete for P UW-CSE-91-05-01.pdf   Raymond Greenlaw, H. James Hoover, Walter L. Ruzzo

1991-04-04 Mesh and Torus Chaotic Routing UW-CSE-91-04-04.pdf   Kevin Bolding, Lawrence Snyder

1991-04-02 Parallel Simulation of Performance Petri Nets: Extending the Domain of Parallel Simulation UW-CSE-91-04-02.PDF   Gregory S. Thomas, John Zahorjan

1991-04-01 On Synchronization Patterns in Parallel Programs UW-CSE-91-04-01.pdf   Jean-Loup Baer, Richard N. Zucker

1991-03-09 Issues in the implementation of a Remote Paging System UW-CSE-91-03-09.pdf   Edward W. Felten, John Zahorjan

1991-02-03 Evaluating Nonlinear Planning UW-CSE-91-02-03.PDF   Stephen Soderland, Daniel S. Weld

1991-02-02 Monotonic Enumerations of Complete Sets UW-CSE-91-02-02.pdf   Albrecht Hoene

1991-02-01 Proxy-Based Authorization and Accounting for Distributed Systems UW-CSE-91-02-01.pdf   B. Clifford Neuman

1991-01-01 Parallel Quicksand: Fast Sorting on the Sequent UW-CSE-91-01-01.PDF   Simon Kahan, Walter L. Ruzzo

1990-09-05 Extending the Mach External Pager Interface To Accommodate User-Level Page Replacement Policies UW-CSE-90-09-05.pdf   Dylan McNamee, Katherine Armstrong

1990-09-04 Dynamic Node Reconfiguration in a Parallel-Distributed Environment UW-CSE-90-09-04.pdf   Michael J. Feeley, Brian N. Bershad, Jeffrey S. Chase, Henry M. Levy

1990-05-01 The Virtual System Model: A Scalable Approach to Organizing Large Systems; A Thesis Proposal UW-CSE-90-05-01.pdf   B. Clifford Neuman

1989-12-01 The UW VLSI Chip Tester UW-CSE-89-12-01.pdf   Neil McKenzie

1989-10-10 Workstations and the Virtual System Model UW-CSE-89-10-10.pdf   B. Clifford Neuman

1989-09-16 Coordinate-Free Geometric Programming UW-CSE-89-09-16.PDF   Tony D. DeRose

1989-09-15 The Real-Time Producer/Consumer Paradigm: Towards Verifiable Real-Time Computations UW-CSE-89-09-15.PDF   Kevin Jeffay

1989-01-07 The Virtual System Model for Large Distributed Operating Systems UW-CSE-89-01-07.pdf   B. Clifford Neuman

1988-10-03 On Optimal, Non-Preemptive Scheduling of Periodic Tasts UW-CSE-88-10-03.PDF   Kevin Jeffay

1988-01-01 Software Engineering of Real-Time Operating Systems UW-CSE-88-01-01.PDF   Alan Shaw, Kevin Jeffay

1987-12-07 Adding Packet Radio to the Ultrix Kernel UW-CSE-87-12-07.pdf   Clifford Neuman, Wayne Yamamoto

1987-10-03 Concurrent Programming with Time UW-CSE-87-10-03.PDF   Kevin Jeffay

1987-08-07 The Triangle: A Multiprocessor Architecture for Fast Curve and Surface Generation UW-CSE-87-08-07.PDF   Tony D. DeRose, Thomas J. Holman

1986-10-03 A Work Sharing Algorithm for a Workstation Environment UW-CSE-86-10-03.PDF   Richard Korry

1986-09-06 A Lace for Ada's Corset UW-CSE-86-09-06.PDF   T.P. Baker, Kevin Jeffay

1986-06-01 An Investigation into the Design Costs of a Single Chip Multigauge Machine UW-CSE-86-06-01.PDF   Lawrence Snyder, Chyan Yang

1985-12-05 Research in Real-Time Systems UW-CSE-85-12-05.PDF   Alan Shaw, Carl Binding, Wei-laung Hu, Kevin Jeffay

1983-07-03 Efficient Algorithms for Reporting Intersections UW-CSE-83-07-03.PDF   Garret Swart, Richard Ladner

1979-06-08 Data Structures for Efficient Implementation of Sticky Pointers in Text Editors UW-CSE-79-06-08.PDF   Michael J. Fischer, Richard E. Ladner

1970-09-04 APL\B5500: The Language and Its Implementation UW-CSE-70-09-04.PDF   Gary A. Kildall

1970-02-10 Acceptors from van Wijngaarden grammars: an application of 'Programming languages for automata' UW-CSE-70-02-10.PDF   John L. Baker