Technical Reports Search

This is an archive of department research. Research published since 2020 is available through arXiv or Mudd Library.

DISPLAY BY AUTHOR:

• TR-220-89 - A Runtime System (0000-00-00)
  Appel, Andrew W.
• TR-253-90 - Debugging Standard ML Without Reverse Engineering (0000-00-00)
  Tolmach, Andrew P. / Appel, Andrew W.
• TR-270-90 - A Code Generation Interface for ANSI C (0000-00-00)
  Hanson, David R. / Fraser, Christopher W.
• TR-276-90 - Virtual Memory Primitives for User Programs (0000-00-00)
  Li, Kai / Appel, Andrew W.
• TR-286-90 - Average-Case Analysis of Graph-Searching Algorithms (Thesis) (0000-00-00)
  Kapidakis, Sarantos
• TR-301-91 - A Linear-Time Algorithm for Finding an Ambitus (0000-00-00)
  Mishra, B. / Tarjan, Robert E.
• TR-302-91 - Literate Programming on a Team Project (0000-00-00)
  Marceau, Carla / Ramsey, Norman
• TR-303-91 - A Retargetable Compiler for ANSI C (0000-00-00)
  Hanson, David R. / Fraser, Christopher W.
• TR-304-91 - Efficient, Scalable Architectures for Lattice-Gas Computations (Thesis) (0000-00-00)
  Squier, Richard K.
• TR-305-91 - Markov Analysis of Qualitative Dynamics (0000-00-00)
  Doyle, Jon / Sacks, Elisha
• TR-306-91 - String Processing Languages (0000-00-00)
  Griswold, Ralph E. / Hanson, David R.
• TR-307-91 - Evaluation of Memory System Extensions (0000-00-00)
  Li, Kai / Petersen, Karin
• TR-308-91 - A Note on Matrix Rigidity (0000-00-00)
  Friedman, Joel
• TR-309-91 - An O(m log n)-Time Algorithm for the Maximal Planar Subgraph Problem (0000-00-00)
  Cai, Jiazhen / Tarjan, Robert E. / Han, Xiafeng
• TR-310-91 - Dynamic Perfect Hashing: Upper and Lower Bounds (0000-00-00)
  Dietzfelbinger, Martin / Mehlhorn, Kurt / Rohnert, Hans / Tarjan, Robert E. / Karlin, Anna R. / Meyer auf der Heide, Friedhelm
• TR-311-91 - Efficient Maximum Flow Algorithms (0000-00-00)
  Tarjan, Robert E.
• TR-312-91 - Ordered and Reliable Multicast Communication (Thesis) (0000-00-00)
  Spauster, Annemarie
• TR-313-91 - Probabilistic Behavior of Shortest Paths Over Unbounded Regions (0000-00-00)
  Yao, Andrew
• TR-314-91 - Prolegomena to any Future Qualitative Physics (0000-00-00)
  Doyle, Jon / Sacks, Elisha
• TR-315-91 - Reliable Reconfigurable Structures for Array Architectures (0000-00-00)
  Steiglitz, Kenneth / Sha, Edwin Hsing-Mean
• TR-316-91 - Checkpointing Multicomputer Applications (0000-00-00)
  Naughton, Jeffrey F. / Li, Kai / Plank, James S.
• TR-317-91 - Lecture Notes on Evasiveness of Graph Properties (0000-00-00)
  Lovasz, Laszlo / Young, Neal E.
• TR-318-91 - Randomized Parallel Algorithms for Trapezoidal Diagrams (0000-00-00)
  Clarkson, Kenneth L. / Tarjan, Robert E. / Cole, Richard
• TR-319-91 - Empirical Studies of Competitive Spinning for Shared-Memory Multiprocessors (0000-00-00)
  Dwicki, Susan / Manasse, Mark S. / Li, Kai / Karlin, Anna R.
• TR-320-91 - The Demarcation Protocol: A Technique for Maintaining Arithmetic Constraints in Distributed Database Systems (0000-00-00)
  Barbara, Daniel / Garcia-Molina, Hector
• TR-321-91 - Long-Term Caching Strategies for Very Large Distributed File Systems (0000-00-00)
  Alonso, Rafael / Blaze, Matt
• TR-322-91 - An Algorithmic Approach to Extremal Graph Problems (Thesis) (0000-00-00)
  Han, Xiafeng
• TR-323-91 - Hyperfile, A Database Manager for Documents (Thesis) (0000-00-00)
  Clifton, Christopher W.
• TR-324-91 - Garbage Collection Alternatives for Icon (0000-00-00)
  Hanson, David R. / Fernandez, Mary F.
• TR-325-91 - Computations Over Infinite Groups (0000-00-00)
  Cai, Jin-Yi
• TR-326-91 - Callee-save Registers in Continuation-Passing Style (0000-00-00)
  Shao, Zhong / Appel, Andrew W.
• TR-327-91 - Polygon Triangulation in $O(N^log^log^N)$ Time with Simple Data Structures (0000-00-00)
  Kirkpatrick, David G. / Klawe, Maria M. / Tarjan, Robert E.
• TR-328-91 - Probabilistic Diagnosis of Hot Spots (0000-00-00)
  Barbara, Daniel / Lipton, Richard J. / Salem, Kenneth
• TR-329-91 - Standard ML of New Jersey (0000-00-00)
  Appel, Andrew W. / MacQueen, David B.
• TR-331-91 - Scheduling Real-Time Transactions: A Performance Evaluation (Thesis) (0000-00-00)
  Abbott, Robert K.
• TR-332-91 - An Euclidean Metric for Genetic Sequence Comparison (Thesis) (0000-00-00)
  Balasubramanian, K.
• TR-333-91 - Point Location Among Hyperplanes and Unidirectional Ray-Shooting (0000-00-00)
  Chazelle, Bernard / Friedman, Joel
• TR-334-91 - Computing a Face in an Arrangement of Line Segments and Related Problems (0000-00-00)
  Chazelle, Bernard / Edelsbrunner, Herbert / Guibas, Leonidas / Sharir, Micha / Snoeyink, Jack
• TR-335-91 - Cutting Hyperplanes for Divide-and-Conquer (0000-00-00)
  Chazelle, Bernard
• TR-336-91 - An Optimal Convex Hull Algorithm for Points Sets in Any Fixed Dimension (0000-00-00)
  Chazelle, Bernard
• TR-337-91 - Human Language Comprehension is NP-Complete (0000-00-00)
  Ristad, Eric Sven
• TR-338-91 - Improved Algorithms for Bipartite Network Flow (0000-00-00)
  Ahuja, Ravindra K. / Orlin, James B. / Stein, Clifford / Tarjan, Robert E.
• TR-339-91 - Error Detection in Arrays Via Dependency Graphs (0000-00-00)
  Steiglitz, Kenneth / Sha, Edwin Hsing-Mean
• TR-340-91 - Some Geometric Aspects of Graphs and their Eigenfunctions (0000-00-00)
  Friedman, Joel
• TR-341-91 - A Smart Interface for Numerical Software (0000-00-00)
  Sacks, Elisha
• TR-342-91 - A Smart Interface for Numerical Software (0000-00-00)
  Sacks, Elisha
• TR-343-91 - Lower Bounds in Geometric Searching (Thesis) (0000-00-00)
  Rosenburg, Burton
• TR-344-91 - A Theory for Deadlocks (0000-00-00)
  Loke, W. Tim / Tay, Y. C.
• TR-345-91 - CLOVER: A User Guide (0000-00-00)
  Doukas, Dimitris / LaPaugh, Andrea S.
• TR-346-91 - Computer Science 111 Lab Manual (0000-00-00)
  Blum, Jeff / Thompson, Jonathan / Steiglitz, Kenneth
• TR-347-91 - High Performance File System Design (Thesis) (0000-00-00)
  Staelin, Carl Hudson
• TR-348-91 - Competitive Paging and Dual-Guided On-Line Weighted Caching and Matching Algorithms (Thesis) (0000-00-00)
  Young, Neal E.
• TR-349-91 - Distributed EZ (0000-00-00)
  Campos, Alvaro E. / Hanson, David R.
• TR-350-91 - Ray Shooting in Polygons Using Geodesic Triangulations (0000-00-00)
  Grigni, Michelangelo / Chazelle, Bernard / Edelsbrunner, Herbert / Guibas, Leonidas / Hershberger, John / Sharir, Micha / Snoeyink, Jack
• TR-351-91 - Literate Programming Tools Need Not Be Complex (0000-00-00)
  Ramsey, Norman
• TR-352-91 - Debuggable Concurrency Extensions for Standard ML (0000-00-00)
  Tolmach, Andrew P. / Appel, Andrew W.
• TR-353-91 - Dynamic Hierarchical Caching in Large-Scale Distributed File Systems (0000-00-00)
  Alonso, Rafael / Blaze, Matt
• TR-354-91 - Processing of Read-Only Queries at a Remote Backup (0000-00-00)
  Garcia-Molina, Hector / Polyzois, Christos A.
• TR-355-91 - NFS Tracing by Passive Network Monitoring (0000-00-00)
  Blaze, Matt
• TR-356-91 - Computing Minimal Spanning Subgraphs in Linear Time (0000-00-00)
  Kelsen, Pierre / Ramachandran, Vijaya / Tarjan, Robert E. / Han, Xiafeng
• TR-357-91 - On the Bit Extraction Problem (0000-00-00)
  Friedman, Joel
• TR-358-91 - Derandomizing an Output-Sensitive Convex Hull Algorithm in Three Dimensions (0000-00-00)
  Chazelle, Bernard / Matousek, Jiri
• TR-359-92 - Evaluation of Remote Backup Algorithms for Transaction Processing Systems (0000-00-00)
  Garcia-Molina, Hector / Polyzois, Christos A.
• TR-360-92 - An Empirical Comparison of Loop Scheduling Algorithms on a Shared Memory Multiprocessor (0000-00-00)
  Brownhill, Carrie J. / Nicolau, Alexandru / Blumrich, Matthias A. / Li, Kai
• TR-361-92 - Randomizing an Output-Sensitive Convex Hull Algorithm in Three Dimensions (0000-00-00)
  Chazelle, Bernard / Matousek, Jiri
• TR-362-92 - A Monotonicity Theorem for Tandem Queues (0000-00-00)
  Tay, Y. C.
• TR-363-92 - Unrolling Recursions Saves Space (0000-00-00)
  Appel, Andrew W.
• TR-364-92 - A Critique of Standard ML (0000-00-00)
  Appel, Andrew W.
• TR-365-92 - Nonlinear Heart Model Predicts the Range of Heart Rates for Electrical Alternans in Pericardial Effusion (0000-00-00)
  Widman, Lawrence / Sacks, Elisha
• TR-366-92 - Optimal Algorithms for Computing Connected Components of Bichromatic Line Segments and Polygons (0000-00-00)
  Zhao, Jenny Zehong / Dobkin, David P.
• TR-367-92 - Mechanism Simulation with Configuration Spaces and Simple Dynamics (0000-00-00)
  Joskowicz, Leo / Sacks, Elisha
• TR-368-92 - Decomposition Problems in Computational Geometry (Thesis) (0000-00-00)
  Palios, Leonidas
• TR-369-92 - Layout of Rooted Trees (0000-00-00)
  Pach, Joaanos / Torocsik, Jeno
• TR-370-92 - Analysis of Heapsort (Thesis) (0000-00-00)
  Schaffer, Russel W.
• TR-371-92 - Disaster Recovery for Transaction Processing Systems (Thesis) (0000-00-00)
  Polyzois, Christos A.
• TR-372-92 - Software Support for Speculative Loads (0000-00-00)
  Li, Kai / Rogers, Anne
• TR-373-92 - A Comparative Evaluation of Cache Coherence Schemes Based on Virtual Memory Support (0000-00-00)
  Li, Kai / Petersen, Karin
• TR-374-92 - Supporting SPMD Execution for Dynamic Data Structures (0000-00-00)
  Hendren, Laurie J. / Reppy, John H. / Rogers, Anne
• TR-375-92 - Integration of Commit Protocols in Heterogeneous Databases (0000-00-00)
  Alonso, Rafael / Tal, Ayellet
• TR-376-92 - A Portable Multiprocessor Interface for Standard ML of New Jersey (0000-00-00)
  Morrisett, J. Gregory / Tolmach, Andrew P.
• TR-377-92 - Computational Geometry with Imprecise Data and Arithmetic (Thesis) (0000-00-00)
  Barber, C. Bradford
• TR-378-92 - Debugging Standard ML (0000-00-00)
  Tolmach, Andrew P.
• TR-379-92 - The New Jersey Line-Segment-Saw Massacre (Companion to Video) (0000-00-00)
  Chazelle, Bernard / Tal, Ayellet / Dobkin, David P.
• TR-380-92 - Fault Tolerance For Array Architectures (Thesis) (0000-00-00)
  Sha, Edwin Hsing-Mean
• TR-381-92 - Data Structural Bootstrapping, Linear Path Compression, and Catenable Heap Ordered Double Ended Queues (0000-00-00)
  Buchsbaum, Adam L. / Tarjan, Robert E. / Sundar, Rajamani
• TR-382-92 - Depth Complexity in Object-Parallel Graphics Architectures (0000-00-00)
  Cox, Michael / Hanrahan, Pat
• TR-383-92 - Computational Geometry and Computer Graphics (0000-00-00)
  Dobkin, David P.
• TR-384-92 - Finding All Minimal Shapes in a Routing Channel (0000-00-00)
  Chao, Liang-Fang / LaPaugh, Andrea S.
• TR-385-92 - On the Fault Tolerance of Some Popular Bounded-Degree Networks (0000-00-00)
  Maggs, Bruce / Leighton, Tom / Sitaraman, Ramesh Kumar
• TR-386-92 - Engineering Efficient Code Generators Using Tree Matching and Dynamic Programming (0000-00-00)
  Proebsting, Todd A. / Hanson, David R. / Fraser, Christopher W.
• TR-387-92 - Probabilistic Spaces of Boolean Functions of a Given Complexity: Generalities and Random $k$-SAT Coefficients (0000-00-00)
  Friedman, Joel
• TR-388-92 - Complexity of the Simplified Segmental Phonology (0000-00-00)
  Ristad, Eric Sven
• TR-390-92 - Determining Single Connectivity in Directed Graphs (0000-00-00)
  Buchsbaum, Adam L. / Carlisle, Martin C.
• TR-391-92 - Monte Carlo and Markov Chain Techniques for Network Reliability and Sampling (0000-00-00)
  Mihail, Milena / Buchsbaum, Adam L.
• TR-392-92 - Computational Complexity for Selection Problems with Parity-Like Tests (Thesis) (0000-00-00)
  Ting, Hing Fung
• TR-393-92 - On Linear-time Deterministic Algorithms for Optimization Problems in Fixed Dimension (0000-00-00)
  Chazelle, Bernard / Matousek, Jiri
• TR-394-92 - STARI: A Technique for High-Bandwidth Communication (Thesis) (0000-00-00)
  Greenstreet, Mark R.
• TR-395-92 - Smartest Recompilation (0000-00-00)
  Shao, Zhong / Appel, Andrew W.
• TR-396-92 - Scheduling Data-Flow Graphs via Retiming and Unfolding (0000-00-00)
  Chao, Liang-Fang / Sha, Edwin Hsing-Mean
• TR-397-92 - Caching in Large-Scale Distributed File Systems (Thesis) (0000-00-00)
  Blaze, Matt
• TR-398-92 - Maintaining Bipartite Matchings in the Presence of Failures (0000-00-00)
  Steiglitz, Kenneth / Sha, Edwin Hsing-Mean
• TR-399-92 - DUEL - A Very High-Level Debugging Language (0000-00-00)
  Golan, Michael / Hanson, David R.
• TR-400-92 - Cache Coherence for Shared Memory Multiprocessors Based on Virtual Memory Support (0000-00-00)
  Li, Kai / Petersen, Karin
• TR-401-92 - An Evaluation of Multiprocessor Cache Coherence Based on Virtual Memory Support (0000-00-00)
  Li, Kai / Petersen, Karin
• TR-402-92 - Fully Dynamic Graph Algorithms and Their Data Structures (thesis) (0000-00-00)
  Rauch, Monika
• TR-403-92 - A Retargetable Debugger (Thesis) (0000-00-00)
  Ramsey, Norman
• TR-404-93 - A Closed Form Expression for the Form Factor between Two Polygons (0000-00-00)
  Schroeder, Peter / Hanrahan, Pat
• TR-405-93 - Bibliography of Technical Reports 1985-91 (0000-00-00)
  Davies, Rebecca
• TR-406-93 - Efficient Checkpointing on MIMD Architectures (thesis) (0000-00-00)
  Plank, James S.
• TR-407-93 - Quasi-Orthogonality via Finite-Differencing: An Elementary Approach to Geometric Discrepancy (0000-00-00)
  Chazelle, Bernard
• TR-408-93 - Radiosity and Relaxation Methods: Progressive Refinement is Southwell Relaxation (0000-00-00)
  Slusallek, Philipp / Cohen, Michael F. / Gortler, Steven J.
• TR-409-93 - Reflection from Layered Surfaces due to Subsurface Scattering (0000-00-00)
  Krueger, Wolfgang / Hanrahan, Pat
• TR-410-93 - A Hierarchical Illumination Algorithm for Surfaces with Glossy Reflection (0000-00-00)
  Aupperle, Larry / Hanrahan, Pat
• TR-411-93 - Building and Using Polyhedral Hierarchies (0000-00-00)
  Tal, Ayellet / Dobkin, David P.
• TR-412-93 - Hash-Consing Garbage Collection (0000-00-00)
  Appel, Andrew W. / Goncalves, Marcelo Jose de Rezende
• TR-413-93 - On Linear-time Deterministic Algorithms for Optimization Problems in Fixed Dimension (0000-00-00)
  Chazelle, Bernard / Matousek, Jiri
• TR-414-93 - Communication and Fault Tolerance in Parallel Computers (Thesis) (0000-00-00)
  Sitaraman, Ramesh Kumar
• TR-415-93 - Delay Minimization for Zero-Skew Routing (0000-00-00)
  Edahiro, Masato
• TR-416-93 - A Clustering-Based Optimization Algorithm in Zero-Skew Routings (0000-00-00)
  Edahiro, Masato
• TR-417-93 - Depth Reduction for Noncommutative Arithmetic Circuits (Extended Abstract) (0000-00-00)
  Jiao, Jia / Allender, Eric
• TR-419-93 - Distributed, Garbage-Collected, Persistent, Virtual Address Spaces (thesis) (0000-00-00)
  Campos, Alvaro E.
• TR-420-93 - Confluently Persistent Deques via Data-Structural Bootstrapping (0000-00-00)
  Buchsbaum, Adam L. / Tarjan, Robert E.
• TR-421-93 - Comprehensive Kinematic Analysis of Higher Pairs with Two Degrees of Freedom (0000-00-00)
  Joskowicz, Leo / Sacks, Elisha
• TR-422-93 - Lazy Structure Sharing for Query Optimization (0000-00-00)
  Buchsbaum, Adam L. / Tarjan, Robert E. / Sundar, Rajamani
• TR-423-93 - Data-Structural Bootstrapping and Catenable Deques (thesis) (0000-00-00)
  Buchsbaum, Adam L.
• TR-424-93 - A Catalog of Higher Pairs and Their Configuration Spaces (0000-00-00)
  Joskowicz, Leo / Sacks, Elisha
• TR-425-93 - Relationships among PL, #L, and the Determinant (0000-00-00)
  Ogiwara, Mitsunori / Allender, Eric
• TR-426-93 - A Uniform Circuit Lower Bound for the Permanent (0000-00-00)
  Gore, Vivek / Allender, Eric
• TR-427-93 - Evenly Distributed Depth is the Worst for Distributed Snooping (0000-00-00)
  Cox, Michael / Hanrahan, Pat
• TR-428-93 - Minimum Spanning Tree Verification, Fast Priority Queues, and Massively Parallel Factoring (Thesis) (0000-00-00)
  Dixon, Brandon
• TR-430-93 - Scheduling and Behavioral Transformations for Parallel Systems (Thesis) (0000-00-00)
  Chao, Liang-Fang
• TR-431-93 - Operating System Support for Modern Memory Hierarchies (Thesis) (0000-00-00)
  Petersen, Karin
• TR-432-93 - Static Scheduling for Synthesis of DSP Algorithms on Various Models (0000-00-00)
  Chao, Liang-Fang / Sha, Edwin Hsing-Mean
• TR-433-93 - Uncheatable Benchmarks Using Numerical Instability (0000-00-00)
  Ar, Sigal H. / Cai, Jin-Yi
• TR-434-93 - Hierarchical Algorithms for Illumination (Thesis) (0000-00-00)
  Aupperle, Larry
• TR-435-93 - Trustworthy Computations (Thesis) (0000-00-00)
  Ar, Sigal H.
• TR-436-93 - A Randomized Linear-Time Algorithm for Finding Minimum Spanning Trees (0000-00-00)
  Tarjan, Robert E. / Klein, Philip N.
• TR-437-93 - Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer (0000-00-00)
  Sandberg, Jonathan / Blumrich, Matthias A. / Li, Kai / Felten, Edward W. / Alpert, Richard D. / Dubnicki, Cezary
• TR-438-93 - A Very High Level Debugging Language (thesis) (0000-00-00)
  Golan, Michael
• TR-439-93 - Process Capturing (0000-00-00)
  Iftode, Liviu / Li, Kai
• TR-441-94 - Compression Performance of the Xremote Protocol (1994-01-05)
  Danskin, John M. / Hanrahan, Pat
• TR-442-94 - Profiling the X Protocol (1994-01-05)
  Danskin, John M. / Hanrahan, Pat
• TR-443-94 - Computing the Rectangle Discrepancy (1994-01-24)
  Gunopulos, Dimitrios / Dobkin, David P.
• TR-444-94 - FAST: A Functional Algorithm Simulation Testbed (Thesis) (0000-00-00)
  Dikaiakos, Marios D.
• TR-445-94 - Application-Controlled File Caching Policies (0000-00-00)
  Cao, Pei / Li, Kai / Felten, Edward W.
• TR-446-94 - A Comparison Study of Heuristics for Mapping Parallel Algorithms to Message-Passing Multiprocessors (0000-00-00)
  Dikaiakos, Marios D. / Steiglitz, Kenneth / Rogers, Anne
• TR-447-94 - Supporting Dynamic Data Structures on Distributed Memory Machines (0000-00-00)
  Carlisle, Martin C. / Hendren, Laurie J. / Reppy, John H. / Rogers, Anne
• TR-448-94 - A Critical Analysis of Multigrid Methods on Massively Parallel Computers (0000-00-00)
  Matheson, Lesley R. / Tarjan, Robert E.
• TR-449-94 - Textures and Radiosity: Controlling Emission and Reflection with Texture Maps (0000-00-00)
  Schroeder, Peter / Gershbein, Reid / Hanrahan, Pat
• TR-450-94 - An Empirical and Analytic Study of Stack vs. Heap Cost for Languages with Closures (0000-00-00)
  Shao, Zhong / Appel, Andrew W.
• TR-451-94 - Axiomatic Bootstrapping: A Guide for Compiler Hackers (0000-00-00)
  Appel, Andrew W.
• TR-452-94 - Separate Compilation for Standard ML (0000-00-00)
  Appel, Andrew W. / MacQueen, David B.
• TR-453-94 - Unrolling Lists (0000-00-00)
  Shao, Zhong / Appel, Andrew W. / Reppy, John H.
• TR-454-94 - Space-Efficient Closure Representations (0000-00-00)
  Shao, Zhong / Appel, Andrew W.
• TR-455-94 - An Analysis of a Combined Hardware-software Mechanism for Speculative Loads (0000-00-00)
  Damianakis, Stefanos N. / Li, Kai / Rogers, Anne
• TR-456-94 - Variational Modeling with Wavelets (0000-00-00)
  Cohen, Michael F. / Gortler, Steven J.
• TR-457-94 - A Linear-Work Parallel Algorithm for Finding Minimum Spanning Trees (0000-00-00)
  Tarjan, Robert E. / Cole, Richard / Klein, Philip N.
• TR-458-94 - Distributed Queries and Incremental Updates in Information Retrieval Systems (Thesis) (0000-00-00)
  Tomasic, Anthony S.
• TR-459-94 - Emulating Write-Allocate on a No-Write-Allocate Cache (0000-00-00)
  Appel, Andrew W.
• TR-460-94 - Loop Headers in Lambda-Calculus or CPS (0000-00-00)
  Appel, Andrew W.
• TR-461-94 - Dominating Sets in Planar Graphs (0000-00-00)
  Matheson, Lesley R. / Tarjan, Robert E.
• TR-462-94 - Implementation and Performance of Application-Controlled File Caching (0000-00-00)
  Cao, Pei / Li, Kai / Felten, Edward W.
• TR-463-94 - Where is Time Spent in Message-Passing and Shared-Memory Programs? (0000-00-00)
  Chandra, Satish / Larus, James R. / Rogers, Anne
• TR-464-94 - Application-Specific Protocols for User-Level Shared Memory (0000-00-00)
  Falsafi, Babak / Lebeck, Alvin / Reinhardt, Steven / Hill, Mark D. / Larus, James R. / Rogers, Anne / Schoinas, Ioannis / Wood, David A.
• TR-465-94 - Compressing the X Graphics Protocol (Thesis) (0000-00-00)
  Danskin, John M.
• TR-466-94 - Wavelet Algorithms for Illumination Computations (Thesis) (0000-00-00)
  Schroeder, Peter
• TR-467-94 - Computing the Maximum Bichromatic Discrepancy, with Applications to Computer Graphics and Machine Learning (0000-00-00)
  Gunopulos, Dimitrios / Dobkin, David P. / Maass, Wolfgang
• TR-468-94 - Collusion-Secure Fingerprinting for Digital Data (0000-00-00)
  Shaw, James / Boneh, Dan
• TR-469-94 - The New Jersey Machine-Code Toolkit (0000-00-00)
  Ramsey, Norman / Fernandez, Mary F.
• TR-470-94 - New Jersey Machine-Code Toolkit Architecture Specifications (0000-00-00)
  Ramsey, Norman / Fernandez, Mary F.
• TR-471-94 - New Jersey Machine-Code Toolkit Reference Manual Version 0.1 (0000-00-00)
  Ramsey, Norman / Fernandez, Mary F.
• TR-472-94 - Probability Value Library (0000-00-00)
  Yianilos, Peter N. / Ristad, Eric Sven
• TR-473-94 - Wavelet Methods for Computer Graphics (Thesis) (0000-00-00)
  Gortler, Steven J.
• TR-474-94 - Simple and Effective Link-Time Optimization of Modula-3 Programs (0000-00-00)
  Fernandez, Mary F.
• TR-475-94 - Compiling Standard ML for Efficient Execution on Modern Machines (Thesis) (0000-00-00)
  Shao, Zhong
• TR-476-94 - Probabilistic Checking of Proofs and Hardness of Approximation Problems (0000-00-00)
  Arora, Sanjeev
• TR-477-94 - Making Lambda Calculus Smaller, Faster (0000-00-00)
  Appel, Andrew W. / Jim, Trevor
• TR-478-94 - Programmable Parallel Arithmetic in Cellular Automata Using a Particle Model (0000-00-00)
  Steiglitz, Kenneth / Squier, Richard K.
• TR-479-94 - A Study of Integrated Prefetching and Caching Strategies (0000-00-00)
  Cao, Pei / Li, Kai / Felten, Edward W. / Karlin, Anna R.
• TR-480-94 - The Maximum Discrepancy of Simple Geometric Ranges (0000-00-00)
  Gunopulos, Dimitrios / Dobkin, David P.
• TR-481-94 - Concept Learning with Simple Geometric Hypotheses (0000-00-00)
  Gunopulos, Dimitrios / Dobkin, David P.
• TR-482-94 - Cache Performance of Fast-Allocating Programs (0000-00-00)
  Appel, Andrew W. / Goncalves, Marcelo Jose de Rezende
• TR-483-95 - Software Caching and Computation Migration in Olden (0000-00-00)
  Carlisle, Martin C. / Rogers, Anne
• TR-484-95 - General Parallel Computation without CPUs: VLSI Realization of a Particle Machine (0000-00-00)
  Jakubowski, Mariusz H. / Steiglitz, Kenneth / Squier, Richard K.
• TR-485-95 - An Adaptive Gauss Method for Computing Irradiance Coefficients of Galerkin Radiosity Systems (0000-00-00)
  Gershbein, Reid
• TR-486-95 - Nonmonotonic Multicontext Models (0000-00-00)
  Ristad, Eric Sven / Thomas, Robert G.
• TR-487-95 - A Type-Based Compiler for Standard ML (0000-00-00)
  Shao, Zhong / Appel, Andrew W.
• TR-488-95 - Efficient Support for Irregular Applications on Distributed--Memory Machines (0000-00-00)
  Mukherjee, Shubhendu S. / Saltz, Joel / Sharma, Shamik D. / Hill, Mark D. / Larus, James R. / Rogers, Anne
• TR-489-95 - Breaking DES Using a Molecular Computer (0000-00-00)
  Boneh, Dan / Lipton, Richard J. / Dunworth, Christopher
• TR-490-95 - The Implementation of mlcc and mld: A Machine-Independent Compiler and A Retargetable, Optimizing Linker (0000-00-00)
  Fernandez, Mary F.
• TR-491-95 - Making DNA Computers Error Resistant (0000-00-00)
  Boneh, Dan / Lipton, Richard J.
• TR-492-95 - Cache Performance of Programs with Intensive Heap Allocation and Generational Garbage Collection (thesis) (0000-00-00)
  Goncalves, Marcelo Jose de Rezende
• TR-493-95 - Implementation and Performance of Integrated Application-Controlled Caching, Prefetching and Disk Scheduling (0000-00-00)
  Cao, Pei / Li, Kai / Felten, Edward W. / Karlin, Anna R.
• TR-494-95 - How to Edit a Journal by E-mail (0000-00-00)
  Appel, Andrew W.
• TR-495-95 - A Natural Law of Succession (0000-00-00)
  Ristad, Eric Sven
• TR-496-95 - Scheduling In Distributed Soft Real-Time Systems With Autonomous Components (Thesis) (0000-00-00)
  Kao, Benjamin Chi-Ming
• TR-497-95 - Effect of speed on handwriting shape: a descriptive generalization. (0000-00-00)
  Ristad, Eric Sven
• TR-498-95 - Iterated Register Coalescing (0000-00-00)
  Appel, Andrew W. / George, Lal
• TR-499-95 - On The Computational Power of DNA (0000-00-00)
  Sgall, Jiri / Boneh, Dan / Lipton, Richard J. / Dunworth, Christopher
• TR-500-95 - A Machine-Independent Debugger (0000-00-00)
  Hanson, David R. / Raghavachari, Mukund
• TR-501-95 - Security Flaws in the HotJava Web Browser (0000-00-00)
  Wallach, Dan S. / Dean, Drew
• TR-502-95 - Integrated Parellel Prefetching and Caching (0000-00-00)
  Cao, Pei
• TR-503-95 - Dynamic Trees as Search Trees via Euler Tours, Applied to the Network Simplex Algorithm (0000-00-00)
  Tarjan, Robert E.
• TR-504-95 - Hardness of Approximations (0000-00-00)
  Lund, Carsten / Arora, Sanjeev
• TR-505-96 - A Study of the Effects of Ordering, Partitioning and Factorization Algorithms on Distributed Sparse Cholesky Factorization (0000-00-00)
  Raghavachari, Mukund / Rogers, Anne
• TR-506-96 - Understanding Language Support for Irregular Parallelism (0000-00-00)
  Raghavachari, Mukund / Rogers, Anne
• TR-507-96 - Design and Implementation of NX Message Passing Using SHRIMP Virtual Memory Mapped Communication (0000-00-00)
  Li, Kai / Felten, Edward W. / Alpert, Richard D. / Dubnicki, Cezary
• TR-508-96 - Contention and Queueing in an Experimental Multicomputer: Analytical and Simulation-based Results (0000-00-00)
  Fang, Wenjia / Martonosi, Margaret / Felten, Edward W.
• TR-509-96 - Scope Consistency: a Bridge between Release Consistency and Entry Consistency (0000-00-00)
  Iftode, Liviu / Li, Kai / Singh, Jaswinder Pal
• TR-510-96 - Early Experience with Message-Passing on the SHRIMP Multicomputer (0000-00-00)
  Bilas, Angelos / Blumrich, Matthias A. / Damianakis, Stefanos N. / Iftode, Liviu / Li, Kai / Clark, Douglas W. / Felten, Edward W. / Alpert, Richard D. / Dubnicki, Cezary
• TR-511-96 - Purely Functional Representations of Catenable Sorted Lists (0000-00-00)
  Kaplan, Haim / Tarjan, Robert E.
• TR-512-96 - Fast RPC on the SHRIMP Virtual Memory Mapped Network Interface (0000-00-00)
  Bilas, Angelos / Felten, Edward W.
• TR-513-96 - Stream Sockets on SHRIMP (0000-00-00)
  Damianakis, Stefanos N. / Felten, Edward W. / Dubnicki, Cezary
• TR-514-96 - Irregular Applications under Software Shared Memory (0000-00-00)
  Iftode, Liviu / Li, Kai / Singh, Jaswinder Pal
• TR-515-96 - Hardness of Computing the Most Significant Bits of Secret Keys in Diffie-Hellman and Related Schemes (0000-00-00)
  Venkatesan, Ramarathnam / Boneh, Dan
• TR-516-96 - Real-Time Parallel MPEG-2 Decoding in Software (0000-00-00)
  Fritts, Jason / Bilas, Angelos / Singh, Jaswinder Pal
• TR-517-96 - Shared Virtual Memory Across SMP Nodes Using Automatic Update: Protocols and Performance (0000-00-00)
  Martin, David / Bilas, Angelos / Iftode, Liviu / Singh, Jaswinder Pal
• TR-518-96 - Improving Release-Consistent Shared Virtual Memory using Automatic Update (0000-00-00)
  Iftode, Liviu / Li, Kai / Felten, Edward W. / Dubnicki, Cezary
• TR-519-96 - Understanding Application Performance on Shared Virtual Memory Systems (0000-00-00)
  Iftode, Liviu / Li, Kai / Singh, Jaswinder Pal
• TR-520-96 - A Revocable Backup System (0000-00-00)
  Boneh, Dan / Lipton, Richard J.
• TR-521-96 - Application Challenges to Computational Geometry: CG Impact Task Force Report (0000-00-00)
  Chazelle, Bernard
• TR-522-96 - Application-Controlled File Caching and Prefetching (Thesis) (0000-00-00)
  Cao, Pei
• TR-523-96 - Studies in Computational Number Theory with Applications to Cryptography (thesis) (0000-00-00)
  Boneh, Dan
• TR-524-96 - Simplifying Distributed File Systems Using a Shared Logical Disk (0000-00-00)
  Felten, Edward W. / Shillner, Robert A.
• TR-525-96 - Reducing Waiting Costs in User-Level Communication (0000-00-00)
  Chen, Yuqun / Damianakis, Stefanos N. / Felten, Edward W.
• TR-526-96 - Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks (0000-00-00)
  Macintyre, Angus / Karpinski, Marek
• TR-527-96 - A Lower Bound for Randomized Algebraic Decision Trees (0000-00-00)
  Smolensky, Roman / Grigoriev, Dima / Karpinski, Marek / Meyer auf der Heide, Friedhelm
• TR-528-96 - Structured Testing: Analysis and Extensions (Thesis) (0000-00-00)
  Watson, Arthur
• TR-529-96 - Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems (0000-00-00)
  Iftode, Liviu / Li, Kai / Zhou, Yuanyuan
• TR-530-96 - Expected Performance of Dijkstra's Shortest Path Algorithm (0000-00-00)
  Tarjan, Robert E. / Goldberg, Andrew V.
• TR-531-96 - On the Power of Randomized Branching Programs (0000-00-00)
  Ablayev, Farid / Karpinski, Marek
• TR-532-96 - Learning String Edit Distance (revised October 1997) (0000-00-00)
  Yianilos, Peter N. / Ristad, Eric Sven
• TR-533-96 - Finite Growth Models (0000-00-00)
  Yianilos, Peter N. / Ristad, Eric Sven
• TR-534-96 - Mobile Network Objects (0000-00-00)
  Felten, Edward W. / Shillner, Robert A.
• TR-535-96 - Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation (0000-00-00)
  Toonen, Brian R. / Iftode, Liviu / Li, Kai / Zhou, Yuanyuan / Singh, Jaswinder Pal / Hill, Mark D. / Schoinas, Ioannis / Wood, David A.
• TR-536-96 - Nonuniform Markov Models (0000-00-00)
  Ristad, Eric Sven / Thomas, Robert G.
• TR-537-96 - Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations (0000-00-00)
  Blume, Matthias / Appel, Andrew W.
• TR-538-96 - Randomized Omega (n^2) Lower Bound for Knapsack (0000-00-00)
  Grigoriev, Dima / Karpinski, Marek
• TR-539-96 - Correctness of Constructing Optimal Alphabetic Trees Revisited (0000-00-00)
  Larmore, Lawrence L. / Rytter, Wojciech / Karpinski, Marek
• TR-541-96 - On the Strange a Posteriori degeneracy of Normal Mixtures, and Related Reparameterization Theorems (0000-00-00)
  Yianilos, Peter N. / Ristad, Eric Sven
• TR-542-97 - Approximating Dense Cases of Covering Problems (0000-00-00)
  Zelikovsky, Alexander / Karpinski, Marek
• TR-545-97 - An Introduction to Client-Server Programming with Sockets (0000-00-00)
  Shillner, Robert A.
• TR-540-96 - Web Spoofing: An Internet Con Game (0000-00-00)
  Balfanz, Dirk / Felten, Edward W. / Wallach, Dan S. / Dean, Drew
• TR-546-97 - Extensible Security Architectures for Java (0000-00-00)
  Balfanz, Dirk / Felten, Edward W. / Wallach, Dan S. / Dean, Drew
• TR-543-97 - CLIP: A Checkpointing Tool for Message-Passing Parallel Programs (0000-00-00)
  Chen, Yuqun / Li, Kai / Plank, James S.
• TR-547-97 - Topics in Computational Hidden State Modeling (Thesis) (0000-00-00)
  Yianilos, Peter N.
• TR-548-97 - Home-based SVM Protocols for SMP Clusters: Design, Implementation and Performance (0000-00-00)
  Samanta, Rudrajit / Iftode, Liviu / Singh, Jaswinder Pal
• TR-549-97 - Efficient Animation Techniques Balancing Both User Control And Physical Realism (Thesis) (0000-00-00)
  Liu, Zicheng
• TR-550-97 - Comparison of Shared Virtual Memory across Uniprocessor and SMP Nodes (0000-00-00)
  Bilas, Angelos / Iftode, Liviu / Singh, Jaswinder Pal
• TR-551-97 - Hierarchical Modularity and Intermodule Optimization (Thesis) (0000-00-00)
  Blume, Matthias
• TR-552-97 - Shared Virtual Memory: Progress and Challenges (0000-00-00)
  Iftode, Liviu / Singh, Jaswinder Pal
• TR-553-97 - Language and Compiler Mechanisms for Parallel Programming with Customizable Protocols (Thesis) (0000-00-00)
  Raghavachari, Mukund
• TR-558-96 - Security and Document Compatability for Electronic Refereeing (0000-00-00)
  Appel, Andrew W.
• TR-554-97 - The Zephyr Abstract Syntax Description Language (0000-00-00)
  Serra, Christopher S. / Korn, Jeffrey L. / Wang, Daniel C. / Appel, Andrew W.
• TR-555-97 - Hierarchical Modularity: Compilation Management for Standard ML (0000-00-00)
  Blume, Matthias / Appel, Andrew W.
• TR-556-97 - Shrinking Lambda Expressions in Linear Time (0000-00-00)
  Appel, Andrew W. / Jim, Trevor
• TR-557-95 - Intensional Equality ;=) for Continuations (0000-00-00)
  Appel, Andrew W.
• TR-559-95 - Visualization of Geometric Algorithms (0000-00-00)
  Tal, Ayellet / Dobkin, David P.
• TR-560-97 - Experience with Secure Multi-Processing in Java (0000-00-00)
  Gong, Li / Balfanz, Dirk
• TR-561-96 - Computing the Discrepancy with Applicaitons to Supersampling Patterns (0000-00-00)
  Eppstein, David / Mitchell, Don P. / Dobkin, David P.
• TR-562-95 - Computing the Maximum Bichromatic Discrepancy with Applications to Computer Graphics and Machine Learning (0000-00-00)
  Gunopulos, Dimitrios / Dobkin, David P. / Maass, Wolfgang
• TR-563-95 - Concept Learning with Geometric Hypotheses (0000-00-00)
  Gunopulos, Dimitrios / Dobkin, David P.
• TR-564-95 - Strategies for Polyhedral Surface Decomposition: An Experimental Study (0000-00-00)
  Shouraboura, Nadia / Chazelle, Bernard / Tal, Ayellet / Dobkin, David P.
• TR-565-95 - The Quickhull Algorithm for Convex Hulls (0000-00-00)
  Huhdanpaa, Hannu / Barber, C. Bradford / Dobkin, David P.
• TR-566-97 - Java Security: Web Browsers and Beyond (0000-00-00)
  Balfanz, Dirk / Felten, Edward W. / Wallach, Dan S. / Dean, Drew
• TR-567-97 - A Java Filter (0000-00-00)
  Balfanz, Dirk / Felten, Edward W.
• TR-568-96 - Network Interface for Protected, User-Level Communication (Thesis) (0000-00-00)
  Blumrich, Matthias A.
• TR-569-96 - Thread Scheduling for Cache Locality (0000-00-00)
  Douglas, Craig C. / Edler, Jan / Li, Kai / Anshus, Otto J. / Philbin, James
• TR-570-97 - Design and Implementation of Virtual Memory-Mapped Communication on Myrinet (0000-00-00)
  Bilas, Angelos / Li, Kai / Dubnicki, Cezary / Philbin, James
• TR-571-96 - Software Support for Virtual Memory-Mapped Communication (0000-00-00)
  Iftode, Liviu / Li, Kai / Felten, Edward W. / Dubnicki, Cezary
• TR-572-95 - Protected, User-level DMA for the SHRIMP Network Interface (0000-00-00)
  Blumrich, Matthias A. / Li, Kai / Felten, Edward W. / Dubnicki, Cezary
• TR-544-97 - Hierarchical Non-Emitting Markov Models (0000-00-00)
  Ristad, Eric Sven / Thomas, Robert G.
• TR-573-98 - VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication (0000-00-00)
  Bilas, Angelos / Chen, Yuqun / Damianakis, Stefanos N. / Li, Kai / Dubnicki, Cezary
• TR-575-98 - Shared Virtual Memory with Automatic Update Support (0000-00-00)
  Oppenheimer, David L. / Blumrich, Matthias A. / Iftode, Liviu / Li, Kai / Singh, Jaswinder Pal / Dubnicki, Cezary
• TR-574-98 - Image Mosaics (0000-00-00)
  Range, Marisa / Finkelstein, Adam
• TR-579-98 - Network Interface Support for Shared Virtual Memory on Clusters (0000-00-00)
  Liao, Cheng / Bilas, Angelos / Singh, Jaswinder Pal
• TR-578-98 - Branch Prediction, Instruction-Window Size, and Cache Size: Performance Tradeoffs and Sampling Techniques (0000-00-00)
  Martonosi, Margaret / Skadron, Kevin / Clark, Douglas W. / Ahuja, Pritpal S.
• TR-576-98 - Limits to the Performance of Software Shared Memory: A Layered Approach (0000-00-00)
  Bilas, Angelos / Jiang, Dongming / Zhou, Yuanyuan / Singh, Jaswinder Pal
• TR-582-98 - Efficient Connection-Oriented Communication on High-Performance Networks (Thesis) (0000-00-00)
  Damianakis, Stefanos N.
• TR-583-98 - Home-based Shared Virtual Memory (Thesis) (0000-00-00)
  Iftode, Liviu
• TR-580-98 - UTLB: A Mechanism for Address Translation On Network Interfaces (0000-00-00)
  Bilas, Angelos / Chen, Yuqun / Damianakis, Stefanos N. / Li, Kai / Dubnicki, Cezary
• TR-581-98 - Firmware Support for Reliable Communication and Dynamic System Configuration in System Area Networks (0000-00-00)
  Bilas, Angelos / Chen, Yuqun / Damianakis, Stefanos N. / Li, Kai / Dubnicki, Cezary
• TR-584-98 - Strictly Functional, Real-Time Deques with Catenation (0000-00-00)
  Kaplan, Haim / Tarjan, Robert E.
• TR-585-98 - Resistance of Digital Watermarks to Collusive Attacks (0000-00-00)
  Kilian, Joe / Shamoon, Talal G. / Zane, Francis / Matheson, Lesley R. / Tarjan, Robert E. / Leighton, Tom
• TR-586-98 - Improving the Performance of Shared Virtual Memory on System Area Networks (Thesis) (0000-00-00)
  Bilas, Angelos
• TR-587-98 - BERT: A Scheduler for Best Effort and Realtime Tasks (0000-00-00)
  Peterson, Larry / Bavier, Andy / Mosberger, David
• TR-588-98 - Defending Against Denial of Service Attacks in Scout (0000-00-00)
  Spatscheck, Oliver / Peterson, Larry
• TR-589-98 - Speculative Updates of Local and Global Branch History: A Quantitative Analysis (0000-00-00)
  Martonosi, Margaret / Skadron, Kevin / Clark, Douglas W.
• TR-594-99 - Alloying Global and Local Branch History: Taxonomy, Performance, and Analysis (0000-00-00)
  Martonosi, Margaret / Skadron, Kevin / Clark, Douglas W.
• TR-577-98 - Improving Prediction for Procedure Returns with Return-Address-Stack Repair Mechanisms (0000-00-00)
  Martonosi, Margaret / Skadron, Kevin / Clark, Douglas W. / Ahuja, Pritpal S.
• TR-596-99 - SurfBoard - A Hardware Performance Monitor for SHRIMP (0000-00-00)
  Martonosi, Margaret / Clark, Douglas W. / Karlin, Scott C.
• TR-593-99 - Robust Mesh Watermarking (0000-00-00)
  Hoppe, Hugues / Praun, Emil / Finkelstein, Adam
• TR-597-99 - New Heap Data Structures (0000-00-00)
  Kaplan, Haim / Tarjan, Robert E.
• TR-598-99 - Inter-AS Traffic Patterns and Their Implications (0000-00-00)
  Fang, Wenjia / Peterson, Larry
• TR-599-99 - Building An Accounting Infrastructure for the Internet (0000-00-00)
  Fang, Wenjia
• TR-600-99 - Explicit Allocation of Best Effort Packet Delivery Service (0000-00-00)
  Clark, David D. / Fang, Wenjia
• TR-601-99 - The "Expected Capacity" Famework: Simulation Results (0000-00-00)
  Fang, Wenjia
• TR-602-99 - BERT: A Scheduler for Best Effort and Realtime Tasks - revised (0000-00-00)
  Peterson, Larry / Bavier, Andy / Mosberger, David
• TR-603-99 - Mechanisms for Secure Modular Programming in Java (0000-00-00)
  Appel, Andrew W. / Felten, Edward W. / Bauer, Lujo
• TR-595-99 - Selecting a Single, Representative Sample for Accurate Simulation of SPECint Benchmarks (0000-00-00)
  Martonosi, Margaret / Skadron, Kevin / Clark, Douglas W.
• TR-604-99 - Characterizing and Removing Branch Mispredictions (Thesis) (0000-00-00)
  Skadron, Kevin
• TR-605-99 - TCP mechanisms for Diff-Serv Architecture (0000-00-00)
  Fang, Wenjia / Peterson, Larry
• TR-612-99 - MimdRAID: Low Latency Secondary Storage (0000-00-00)
  Chen, Yuqun / Li, Kai / Yu, Xiang / Anderson, Thomas E. / Krishnamurthy, Arvind / Wang, Randolph Y.
• TR-606-99 - Alloyed Global and Local Branch History: A Robust Solution to Wrong-History Misprediction (0000-00-00)
  Martonosi, Margaret / Skadron, Kevin / Clark, Douglas W.
• TR-607-99 - Lightweight Lemmas in Lambda Prolog (Extended Version) (0000-00-00)
  Felty, Amy P. / Appel, Andrew W.
• TR-608-99 - Abstraction and Visualization in Graphical Debuggers (Thesis) (0000-00-00)
  Korn, Jeffrey L.
• TR-617-00 - Technological Access Control Interferes with Noninfringing Scholarship (0000-00-00)
  Appel, Andrew W. / Felten, Edward W.
• TR-609-99 - Safe Garbage Collection = Regions + Intensional Type Analysis (0000-00-00)
  Wang, Daniel C. / Appel, Andrew W.
• TR-614-99 - Using UML-FW, Refactoring, and Unification Rules to Assist Framework Maintenance and Evolution (0000-00-00)
  de Lucena, Carlos José P. / Fontoura, Marcus F.
• TR-610-99 - Design, Analysis, Implementation and Performance of An Archipelagic File System (0000-00-00)
  Ji, Minwen / Felten, Edward W.
• TR-590-99 - Thread Scheduling for Out-of-Core Applications with Memory Server on Multicomputers (0000-00-00)
  Li, Kai / Wang, Limin / Zhou, Yuanyuan / Clark, Douglas W.
• TR-591-99 - Fast Cluster Failover Using Virtual Memory-Mapped Communication (0000-00-00)
  Chen, Peter M. / Li, Kai / Zhou, Yuanyuan
• TR-592-99 - Dynamic Join and Departure in Shared Object Middleware (0000-00-00)
  Li, Kai / Zhou, Yuanyuan
• TR-611-99 - The Role of Virtual Time in Real-time Scheduling (0000-00-00)
  Peterson, Larry / Bavier, Andy
• TR-616-00 - Understanding TCP Vegas: Theory and Practice* (0000-00-00)
  Peterson, Larry / Wang, Limin / Low, Steven
• TR-613-99 - UML-F: A Modeling Language for Object-Oriented Frameworks (0000-00-00)
  Pree, Wolfgang / Rumpe, Bernhard / Fontoura, Marcus F.
• TR-619-00 - Machine Instruction Syntax and Semantics in Higher Order Logic (0000-00-00)
  Appel, Andrew W. / Michael, Neophytos G.
• TR-622-00 - Practical LFU Implementation for Web Caching (0000-00-00)
  Serpanos, D. N. / Karakostas, George
• TR-618-00 - Avoiding Seams On High-Resolution Multi-Projector Displays using An Un-calibrated Camera (0000-00-00)
  Housel, Timothy / Chen, Yuqun / Finkelstein, Adam / Li, Kai / Clark, Douglas W.
• TR-623-00 - Toward quantitative simulation of germinal center dynamics. I. Biologicaland modeling insights from experimental validation (0000-00-00)
  Kleinstein, Steven H. / Singh, Jaswinder Pal
• TR-615-00 - Scheduling Computations on a Programmable Router (0000-00-00)
  Peterson, Larry / Karlin, Scott C. / Bavier, Andy / Qie, Xiaohu
• TR-625-00 - Results on Approximation Algorithms (Thesis) (0000-00-00)
  Karakostas, George
• TR-627-00 - Cheaper by the Dozen: Batched Algorithms (0000-00-00)
  Gum, Ben / Lipton, Richard J.
• TR-626-00 - Evaluating Network Processors in IP Forwarding (0000-00-00)
  Peterson, Larry / Spalink, Tammo / Karlin, Scott C.
• TR-628-00 - Understanding TCP Vegas: A Duality Model* (0000-00-00)
  Peterson, Larry / Wang, Limin / Low, Steven
• TR-629-00 - An Indexed Model of Recursive Types for Foundational Proof-Carrying Code (0000-00-00)
  McAllester, David / Appel, Andrew W.
• TR-630-00 - Optimal Spilling for CISC Machines with Few Registers (0000-00-00)
  Appel, Andrew W. / George, Lal
• TR-631-00 - Building a Scalable High-Resolution Display Wall (Thesis) (0000-00-00)
  Chen, Yuqun
• TR-624-00 - Type-Preserving Garbage Collectors (Extended Version) (0000-00-00)
  Wang, Daniel C. / Appel, Andrew W.
• TR-632-01 - Probabilistic Packet Scheduling: Achieving Proportional Share Bandwidth Allocation (0000-00-00)
  Peterson, Larry / Zhang, Ming / Krishnamurthy, Arvind / Wang, Randolph Y.
• TR-633-01 - Availability, Scalability and Cost-Effectiveness of Cluster-Based Internet Infrastructures (Thesis) (0000-00-00)
  Ji, Minwen
• TR-634-01 - Access Control for Ad-hoc Collaboration (Thesis) (0000-00-00)
  Balfanz, Dirk
• TR-635-01 - Dictionary Passing for Polytypic Polymorphism (0000-00-00)
  Chen, Juan / Appel, Andrew W.
• TR-636-01 - Models for Security Policies in Proof-Carrying Code (0000-00-00)
  Appel, Andrew W. / Felten, Edward W.
• TR-620-00 - A Low-Cost Consistency Protocol for Replicated Directory Data in Cluster-Based Storage Systems (0000-00-00)
  Ji, Minwen
• TR-621-00 - Query Affinity in Internet Applications (0000-00-00)
  Chen, Mao / Ji, Minwen / Felten, Edward W. / Singh, Jaswinder Pal
• TR-638-01 - A Proof-Carrying Authorization System (0000-00-00)
  Schneider, Michael A. / Felten, Edward W. / Bauer, Lujo
• TR-637-01 - Video Cubism (0000-00-00)
  Colburn, R. Alex / Klein, Allison W. / Sloan, Peter-Pike J. / Cohen, Michael F. / Finkelstein, Adam
• TR-640-01 - Managing Memory with Types (Thesis) (0000-00-00)
  Wang, Daniel C.
• TR-643-02 - Measuring the Web Using a Versatile Meta Information Crawler (0000-00-00)
  Liu, Ting / Peterson, Larry / LaPaugh, Andrea S.
• TR-644-02 - On Hardness and Lower Bounds in Complexity Theory (Thesis) (0000-00-00)
  Viglas, Anastasios
• TR-645-02 - Maximum Packet Rates for Full-Duplex Ethernet (0000-00-00)
  Peterson, Larry / Karlin, Scott C.
• TR-646-02 - ESP: A Language for Programmable Devices (Thesis) (0000-00-00)
  Kumar, Sanjeev
• TR-647-02 - JVM TCB: Measurements of the Trusted Computing Base of Java Virtual Machines (0000-00-00)
  Wang, Daniel C. / Appel, Andrew W.
• TR-648-02 - A Trustworthy Proof Checker (0000-00-00)
  Stump, Aaron / Virga, Roberto / Appel, Andrew W. / Michael, Neophytos G.
• TR-651-02 - Manipulation, Analysis and Retrieval Systems for Audio Signals (Thesis) (0000-00-00)
  Tzanetakis, George
• TR-652-02 - Maximum Flow Techniques for Network Clustering (Thesis) (0000-00-00)
  Tsioutsiouliklis, Kostas
• TR-654-02 - The Effectiveness of Request Redirection on CDN Robustness (0000-00-00)
  Pai, Vivek / Peterson, Larry / Wang, Limin
• TR-649-02 - More Enforceable Security Policies (0000-00-00)
  Walker, David / Bauer, Lujo / Ligatti, Jay
• TR-641-02 - Snow on Silk: A NodeOS in the Linux Kernel (0000-00-00)
  Peterson, Larry / Wawrzoniak, Mike / Gottlieb, Yitzchak / Shalaby, Nadia
• TR-657-02 - Reading Between the Lines: Lessons from the SDMI Challenge (0000-00-00)
  Craver, Scott A. / Liu, Bede / McGregor, John P. / Stubblefield, Adam / Swartzlander, Ben / Wu, Min / Felten, Edward W. / Wallach, Dan S. / Dean, Drew
• TR-653-02 - iWalk: Interactive Out-Of-Core Rendering of Large Models (0000-00-00)
  Correa, Wagner T. / Klosowski, James T. / Silva, Claudio T.
• TR-658-02 - Defensive Programming: Using an Annotation Toolkit to Build Dos-Resistant Software (0000-00-00)
  Pang, Ruoming / Peterson, Larry / Qie, Xiaohu
• TR-659-02 - Physical Wave Propagation Modeling for Real-Time Synthesis of Natural Sounds (Thesis) (0000-00-00)
  Essl, George
• TR-655-02 - A Calculus for Composing Security Policies (0000-00-00)
  Walker, David / Bauer, Lujo / Ligatti, Jay
• TR-661-02 - Scan-Based Scheduling and Layout in a Reliable Write-Optimized File System (0000-00-00)
  Ji, Minwen / Felten, Edward W.
• TR-662-02 - Secure Linking: a Framework for Trusted Software Components (0000-00-00)
  Lee, Eunyoung / Appel, Andrew W.
• TR-663-02 - Secure Linking: a Framework for Trusted Software Components (Extended Version) (0000-00-00)
  Lee, Eunyoung / Appel, Andrew W.
• TR-664-02 - A Peer-to-Peer Mobile Storage System (0000-00-00)
  Garg, Nitin / Lai, Junwen / Shao, Yilei / Sobti, Sumeet / Krishnamurthy, Arvind / Wang, Randolph Y. / Zheng, Fengzhou / Ziskind, Elisha
• TR-665-02 - Embedded Computational Elements in Extensible Routers (Thesis) (0000-00-00)
  Karlin, Scott C.
• TR-642-02 - Intelligent Devices as Symmetric Partners for End--to--end Data Flows (0000-00-00)
  Peterson, Larry / Wawrzoniak, Mike / Shalaby, Nadia
• TR-666-02 - MSB: Media Streaming Booster (0000-00-00)
  Nakao, Akihiro / Peterson, Larry / Wang, Limin
• TR-656-02 - An Effective Theory of Type Refinements (0000-00-00)
  Harper, Robert / Walker, David / Mandelbaum, Yitzhak
• TR-668-03 - A Divert Mechanism for Service Overlays (0000-00-00)
  Nakao, Akihiro / Peterson, Larry / Wawrzoniak, Mike
• TR-670-03 - Making the ``Box'' Transparent: System Call Performance as a First-class Result (0000-00-00)
  Pai, Vivek / Ruan, Yaoping
• TR-673-03 - New Techniques for Probabilistically Checkable Proofs and Inapproximability Results (Thesis) (0000-00-00)
  Khot, Subhash A.
• TR-671-03 - Modal Proofs As Distributed Programs (0000-00-00)
  Jia, Limin / Walker, David
• TR-674-03 - Toward Quantitative Models of Germinal Center Dynamics (Thesis) (0000-00-00)
  Kleinstein, Steven H.
• TR-675-03 - Scalable and Ultra-High Resolution MPEG Video Delivery on Tiled Displays (Thesis) (0000-00-00)
  Chen, Han
• TR-676-03 - Typed Machine Language (Thesis) (0000-00-00)
  Swadi, Kedar N.
• TR-677-03 - Access Control for the Web via Proof-Carrying Authorization (Thesis) (0000-00-00)
  Bauer, Lujo
• TR-678-03 - Perfect Phylogeny and Haplotype Assignment (0000-00-00)
  Karp, Richard M. / Halperin, Eran
• TR-679-03 - Analysis of the MediaMax CD3 Copy-Prevention System (0000-00-00)
  Halderman, John A.
• TR-680-03 - Building Robust Network Services Through Efficient Resource Management (Thesis) (0000-00-00)
  Wang, Limin
• TR-681-03 - Edit Automata: Enforcement Mechanisms for Run-time Security Policies (0000-00-00)
  Walker, David / Bauer, Lujo / Ligatti, Jay
• TR-682-03 - Scheduling Web Crawl for Better Performance and Quality (0000-00-00)
  Cao, Fengyun / Jiang, Dongming / Singh, Jaswinder Pal
• TR-683-03 - Trading Capacity for Performance in Disk Arrays (Thesis) (0000-00-00)
  Yu, Xiang
• TR-684-03 - Approximate Index Routing: A Case for Content-based Peer-to-Peer Routing (0000-00-00)
  Cao, Fengyun / Singh, Jaswinder Pal
• TR-685-03 - Distance Learning Technologies for Basic Education in Disadvantaged Areas (0000-00-00)
  Li, Kai / Martonosi, Margaret / Krishnamurthy, Arvind / Wang, Randolph Y.
• TR-686-03 - A 3D Model Search Engine (Thesis) (0000-00-00)
  Min, Patrick
• TR-687-03 - Secure Linking: A Logical Framework for Policy-Enforced Component Composition (0000-00-00)
  Lee, Eunyoung
• TR-688-04 - Turning the Postal System into a Generic Digital Communication Mechanism (0000-00-00)
  Li, Kai / Martonosi, Margaret / Wang, Randolph Y.
• TR-689-04 - Spacetime Stereo: A Unifying Framework for Depth from Triangulation (0000-00-00)
  Davis, James / Ramamoorthi, Ravi / Nehab, Diego / Rusinkiewicz, Szymon
• TR-672-03 - Coherent and Network-Aware Tracking of Objects (0000-00-00)
  Garg, Nitin / Lai, Junwen / Sobti, Sumeet / Zhang, Chi / Krishnamurthy, Arvind / Wang, Randolph Y. / Zheng, Fengzhou
• TR-690-04 - CoDNS: Masking DNS Delays via Cooperative Lookups (0000-00-00)
  Pai, Vivek / Park, KyoungSoo / Peterson, Larry / Wang, Zhe
• TR-667-03 - Secure, Private Proofs of Location (0000-00-00)
  Waters, Brent R. / Felten, Edward W.
• TR-691-04 - Postmanet: Turning the Postal System into a Generic Digital Communication Mechanism (2004-03-01)
  Garg, Nitin / Lai, Junwen / Nakao, Akihiro / Sobti, Sumeet / Krishnamurthy, Arvind / Wang, Randolph Y. / Zheng, Fengzhou / Ziskind, Elisha
• TR-692-04 - MEDYM: An Architecture for Content-based Publish-Subscribe Service Networks (0000-00-00)
  Cao, Fengyun / Singh, Jaswinder Pal
• TR-693-04 - Estimating Curvatures and Their Derivatives on Triangle Meshes (0000-00-00)
  Rusinkiewicz, Szymon
• TR-695-04 - Dynamic Typing with Dependent Types (0000-00-00)
  Ou, Xinming / Walker, David / Mandelbaum, Yitzhak / Tan, Gang
• TR-696-04 - Protection from Bad Advice (0000-00-00)
  Walker, David / Dantas, Daniel S.
• TR-694-04 - The Origins of Network Server Latency and the Myth of Connection (0000-00-00)
  Pai, Vivek / Ruan, Yaoping
• TR-697-04 - WYSIWYG NPR: Interactive Stylization for Stroke-Based Rendering of 3D Animation (Thesis) (0000-00-00)
  Kalnins, Robert D.
• TR-698-04 - Shape Representations and Algorithms for 3D Model Retrieval (Thesis) (0000-00-00)
  Kazhdan, Michael M.
• TR-699-04 - A Language and System for Composing Security Policies (0000-00-00)
  Walker, David / Bauer, Lujo / Ligatti, Jay
• TR-700-04 - Puzzle Outsourcing for IP-Level DoS Resistance (0000-00-00)
  Juels, Ari / Tunnell, Chris / Waters, Brent R. / Felten, Edward W.
• TR-701-04 - Metric Space Embeddings into l_1: An Optimization Approach (Thesis) (0000-00-00)
  Brinkman, William J.
• TR-704-04 - A Low-Level Typed Assembly Language with a Machine-Checkable Soundness Proof (Thesis) (0000-00-00)
  Chen, Juan
• TR-705-04 - Networking Going Postal (0000-00-00)
  Garg, Nitin / Lai, Junwen / Li, Kai / Sobti, Sumeet / Krishnamurthy, Arvind / Wang, Randolph Y. / Zheng, Fengzhou
• TR-703-04 - SkipIndex: Towards a Scalable Peer-to-Peer Index Service for High Dimensional Data (0000-00-00)
  Zhang, Chi / Krishnamurthy, Arvind / Wang, Randolph Y.
• TR-706-04 - HAPLOFREQ - Estimating Haplotype Frequencies Efficiently (0000-00-00)
  Hazan, Elad / Halperin, Eran
• TR-707-04 - A Multi-Cursor X Window Manager Supporting Control Room Collaboration (0000-00-00)
  Bi, Peng / Wallace, Grant / Li, Kai / Anshus, Otto J.
• TR-708-04 - Using User-Provided Information to Improve Internet Services (Thesis) (0000-00-00)
  Chen, Mao
• TR-711-04 - Operating System Support for Generalized Packet Forwarding (Thesis) (0000-00-00)
  Gottlieb, Yitzchak
• TR-712-04 - Scalable Routing Overlay Networks (0000-00-00)
  Nakao, Akihiro / Peterson, Larry
• TR-713-04 - Semantics of Types for Mutable State (Thesis) (0000-00-00)
  Ahmed, Amal J.
• TR-714-04 - Network Security Management with High-level Security Policies (0000-00-00)
  Govindavajhala, Sudhakar / Ou, Xinming / Appel, Andrew W.
• TR-709-04 - Opt and Vent: An Efficient Protocol for Byzantine Detection in Wireless Ad Hoc Network Routing (0000-00-00)
  Avramopoulos, Ioannis / Kobayashi, Hisashi / Krishnamurthy, Arvind / Wang, Randolph Y.
• TR-710-04 - Nicephorus: Striking a Balance between the Recovery Capability and the Overhead of Byzantine Detection (0000-00-00)
  Avramopoulos, Ioannis / Kobayashi, Hisashi / Krishnamurthy, Arvind / Wang, Randolph Y.
• TR-715-04 - Safe Heterogeneous Applications: Curing the Java Native Interface (0000-00-00)
  Chakradhar, Srimat / Raghunathan, Anand / Ravi, Srivaths / Wang, Daniel C. / Appel, Andrew W. / Tan, Gang
• TR-716-04 - Approximation Algorithms for Clustering (Thesis) (0000-00-00)
  Wirth, Anthony
• TR-718-04 - Policy-based Multihost Multistage Vulnerability Analysis (0000-00-00)
  Govindavajhala, Sudhakar / Ou, Xinming / Appel, Andrew W.
• TR-719-05 - Proofs of Conjectures in "Aggregating Inconsistent Information: Ranking and Clustering" (0000-00-00)
  Newman, Alantha / Ailon, Nir / Charikar, Moses
• TR-717-05 - Analyzing Polymorphic Advice (0000-00-00)
  Washburn, Geoffrey / Weirich, Stephanie / Walker, David / Dantas, Daniel S.
• TR-720-05 - Enforcing Non-safety Security Policies with Program Monitors (0000-00-00)
  Walker, David / Bauer, Lujo / Ligatti, Jay
• TR-721-05 - Evolving beyond asynchrony (0000-00-00)
  Spalink, Tammo
• TR-722-05 - Communication synchronization (0000-00-00)
  Spalink, Tammo
• TR-723-05 - The Digital StudyHall (0000-00-00)
  Kam, Matthew / Sahni, Urvashi / Garg, Nitin / Sobti, Sumeet / Singh, Jaswinder Pal / Anderson, Thomas E. / Krishnamurthy, Arvind / Wang, Randolph Y.
• TR-724-05 - Certifying Compilation for a Language with Stack Allocation (0000-00-00)
  Glew, Neal / Spalding, Frances / Jia, Limin / Walker, David
• TR-725-05 - Towards Scalable Content-based Publish-Subscribe Networks (0000-00-00)
  Cao, Fengyun / Singh, Jaswinder Pal
• TR-726-05 - Lighting with Paint (0000-00-00)
  Battaglia, Frank / Morley, R. Keith / Pellacini, Fabio / Finkelstein, Adam
• TR-727-05 - Sublinear Geometric Algorithms and Geometric Lower Bounds (thesis) (0000-00-00)
  Liu, Ding
• TR-728-05 - Combinatorial Optimization Approaches to Motif Finding (0000-00-00)
  Singh, Mona / Zaslavsky, Elena
• TR-729-05 - Improving Mathematical Programming Approaches for Motif Finding (0000-00-00)
  Kingsford, Carl / Singh, Mona / Zaslavsky, Elena
• TR-730-05 - Stealth Probing: Securing IP Routing through Data-Plane Security (0000-00-00)
  Rexford, Jennifer / Avramopoulos, Ioannis
• TR-732-05 - Understanding Internet Routing Anomalies and Building Robust Transport Layer Protocols (thesis) (0000-00-00)
  Zhang, Ming
• TR-731-05 - A Compositional Logic for Control Flow and its Application in Foundational Proof-Carrying Code (0000-00-00)
  Tan, Gang
• TR-733-05 - Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code (0000-00-00)
  Wu, Dinghao
• TR-734-05 - Non-Rigid Global Alignment Using Thin-Plate Splines (0000-00-00)
  Brown, Benedict J. / Rusinkiewicz, Szymon
• TR-735-05 - A logic-programming approach to network security analysis (thesis) (0000-00-00)
  Ou, Xinming
• TR-736-05 - PADS/T: A Language for Describing and Transforming Ad Hoc Data (0000-00-00)
  Walker, David / Fisher, Kathleen / Mandelbaum, Yitzhak / Fernandez, Mary
• TR-737-05 - Linear-Time Algorithms for Dominators and Related Problems (thesis) (0000-00-00)
  Georgiadis, Loukas
• TR-738-05 - A Foundation for Automated Reasoning About Pointer Programs (0000-00-00)
  Jia, Limin / Walker, David
• TR-739-05 - Understanding and Improving Modern Network Server Performance (thesis) (0000-00-00)
  Ruan, Yaoping
• TR-740-05 - New Algorithms for Repeated Play and Universal Portfolio Management (0000-00-00)
  Agarwal, Amit / Hazan, Elad
• TR-741-05 - Algorithms for Representation and Discovery of Transcription Factor Binding Sites (0000-00-00)
  Zaslavsky, Elena
• TR-742-06 - Misconfigured DNS Entries Lead to Inaccurate Topology Mapping (0000-00-00)
  Pai, Vivek / Rexford, Jennifer / Ruan, Yaoping / Zhang, Ming
• TR-748-06 - Enabling Truly Collaborative Writing on a Computer (0000-00-00)
  Hainsworth, John
• TR-749-06 - The Real-Time Reprojection Cache (0000-00-00)
  Isidoro, John R. / Sander, Pedro V. / Nehab, Diego
• TR-744-06 - Windows Access Control Demystified (0000-00-00)
  Govindavajhala, Sudhakar / Appel, Andrew W.
• TR-746-06 - Approximating Quadratic Programs with Postitive Semidefinite Constraints (0000-00-00)
  Hazan, Elad / Kale, Satyen
• TR-745-06 - SiteRank: Link-Based Relevance Computation for Persistent Search (0000-00-00)
  Schmidt, Erich R. / Singh, Jaswinder Pal
• TR-747-06 - Logarithmic Regret Algorithms for Online Convex Optimization (0000-00-00)
  Kalai, Adam / Agarwal, Amit / Hazan, Elad / Kale, Satyen
• TR-750-06 - Design and Analysis of Data Structures for Dynamic Trees (0000-00-00)
  Werneck, Renato
• TR-751-06 - New lower bounds for Approximation Algorithms in the Lovasz-Schrijver hierarchy (0000-00-00)
  Tourlakis, Iannis
• TR-752-06 - Policy Enforcement via Program Monitoring (thesis) (0000-00-00)
  Ligatti, Jarred A.
• TR-753-06 - Architectural and Compiler Techniques for Microprocessor Power and Performance Management (0000-00-00)
  Wu, Qiang
• TR-754-06 - New Quantum Algorithms and Quantum Lower Bounds (0000-00-00)
  Zhang, Shengyu
• TR-756-06 - Acquisition and Representation of Material Appearance for Editing and Rendering (thesis) (0000-00-00)
  Lawrence, Jason
• TR-757-06 - A Postal System Based Digital Network And A Distance Learning System (thesis) (0000-00-00)
  Garg, Nitin
• TR-758-06 - Comparison of Clustering Algorithms and Its Application to Document Clustering (thesis) (0000-00-00)
  Chen, Jie
• TR-759-06 - A Time-Space Efficient Locality Sensitive Hashing Method for Similarity Search in High Dimensions (0000-00-00)
  Charikar, Moses / Josephson, William / Li, Kai / Lv, Qin / Wang, Zhe
• TR-760-06 - Analysis of Filtering for Similarity Search Using Sketches (0000-00-00)
  Charikar, Moses / Josephson, William / Li, Kai / Lv, Qin / Wang, Zhe
• TR-762-06 - Linear Logic, Heap-shape Patterns and Imperative Programming (0000-00-00)
  Jia, Limin / Walker, David
• TR-761-06 - PADS/ML: A Functional Data Description Language (0000-00-00)
  Gleyzer, Artem / Walker, David / Fisher, Kathleen / Mandelbaum, Yitzhak / Fernandez, Mary
• TR-763-06 - Studies in Algorithms (Thesis) (0000-00-00)
  Ailon, Nir
• TR-764-06 - The Theory and Practice of Data Description (thesis) (0000-00-00)
  Mandelbaum, Yitzhak
• TR-765-06 - Computational Methods for Predicting Transcription Factor Binding Sites (thesis) (0000-00-00)
  Osada, Robert
• TR-766-06 - Efficient Algorithms for Online Convex Optimization and Their Applications (thesis) (0000-00-00)
  Hazan, Elad
• TR-767-06 - The Acceleration of Structural Microarchitectural Simulation via Scheduling (thesis) (0000-00-00)
  Penry, David
• TR-768-06 - Deterministic Sharing of Distributed Resources (0000-00-00)
  Spalink, Tammo
• TR-769-06 - Secure Availability Monitoring Using Stealth Probes (0000-00-00)
  Rexford, Jennifer / Avramopoulos, Ioannis / Lalis, Spyros / Syrivelis, Dimitris
• TR-770-06 - Design Principles of Manageable Networks (0000-00-00)
  Chiang, Mung / Rexford, Jennifer / He, Jiayue
• TR-771-06 - Towards a Cryptanalysis of Spectral-Phase Encoded Optical CDMA with Phase-Scrambling (0000-00-00)
  Goldberg, Sharon
• TR-772-07 - Towards Highly Reliable and Scalable Distributed Systems (thesis) (0000-00-00)
  Park, KyoungSoo
• TR-773-07 - Automatic Configuration Vulnerability Analysis (0000-00-00)
  Govindavajhala, Sudhakar / Appel, Andrew W.
• TR-774-07 - Rethinking Internet Traffic Management: From Multiple Decompositions to a Practical Protocol (0000-00-00)
  Bresler, Ma'ayan / Chiang, Mung / Rexford, Jennifer / He, Jiayue
• TR-775-07 - A Formal Approach to Practical Network Security Management (thesis) (0000-00-00)
  Govindavajhala, Sudhakar
• TR-777-07 - Stylized Depiction of Images with Normals (0000-00-00)
  Toler-Franklin, Corey / Finkelstein, Adam / Rusinkiewicz, Szymon
• TR-778-07 - Pipelined Multithreading Transformations and Support Mechanisms (thesis) (0000-00-00)
  Rangan, Ram
• TR-776-07 - Fault-tolerant Typed Assembly Language (0000-00-00)
  August, David I. / Mackey, Lester / Reis, George A. / Perry, Frances / Walker, David / Ligatti, Jay
• TR-779-07 - Exploring Social Networks in Computer Systems (0000-00-00)
  Shao, Yilei
• TR-783-07 - A Cryptographic Study of Secure Internet Measurement (0000-00-00)
  Barak, Boaz / Rexford, Jennifer / Xiao, David / Goldberg, Sharon
• TR-755-06 - Experiences Building PlanetLab (0000-00-00)
  Fiuczynski, Marc E. / Muir, Steve / Peterson, Larry / Bavier, Andy
• TR-782-07 - Symmetry-Aware Mesh Processing (0000-00-00)
  Funkhouser, Thomas / Golovinskiy, Aleksey / Podolak, Joshua
• TR-784-07 - Morpheus: Making Routing Programmable (0000-00-00)
  Rexford, Jennifer / Wang, Yi / Avramopoulos, Ioannis
• TR-780-07 - UFO: A Resilient Layered Routing Architecture (0000-00-00)
  Feamster, Nick / Rexford, Jennifer / Zhu, Yaping / Bavier, Andy
• TR-786-07 - Memory in Media with Manufacturing Faults (thesis) (0000-00-00)
  McCann, Mark
• TR-787-07 - Towards Internet-wide Multipath Routing (0000-00-00)
  Rexford, Jennifer / He, Jiayue
• TR-788-07 - Rethinking Virtual Network Embedding: Substrate Support for Path Splitting and Migration (0000-00-00)
  Yi, Yung / Yu, Minlan / Chiang, Mung / Rexford, Jennifer
• TR-789-07 - Testing Expansion in Bounded Degree Graphs (0000-00-00)
  Kale, Satyen / Seshadhri, C.
• TR-781-07 - Subtractive Shadows: A Flexible Framework for Shadow Level-of-Detail (0000-00-00)
  DeCoro, Christopher / Rusinkiewicz, Szymon
• TR-790-07 - Situation-Aware Optimizations in Challenged Networks (0000-00-00)
  Wang, Yong
• TR-794-07 - Counteracting Discrimination against Network Traffic (0000-00-00)
  Rexford, Jennifer / Avramopoulos, Ioannis / Lalis, Spyros / Syrivelis, Dimitris
• TR-791-07 - Finding Speed Bumps: Web Server Performance Analysis and Anomaly Detection via Wide-Spectrum Microbenchmarking (0000-00-00)
  Pai, Vivek / Ruan, Yaoping / Cohen, Michael S.
• TR-792-07 - Do Commodity SMT Processors Need More OS Research? (0000-00-00)
  Pai, Vivek / Ruan, Yaoping / Nahum, Erich / Tracey, John
• TR-793-07 - On the Effectiveness of Simultaneous Multithreading on Network Server Workloads (0000-00-00)
  Pai, Vivek / Ruan, Yaoping / Nahum, Erich / Tracey, John
• TR-795-07 - Analyzing Security Advice in Functional Aspect-oriented Programming Languages (thesis) (0000-00-00)
  Dantas, Daniel S.
• TR-796-07 - Topology and function in protein interaction networks (thesis) (0000-00-00)
  Nabieva, Elena
• TR-797-07 - Maximum Entropy Density Estimation and Modeling Geographic Distributions of Species (thesis) (0000-00-00)
  Dudik, Miroslav
• TR-798-07 - Adaptive Algorithms for Online Decision Problems (0000-00-00)
  Hazan, Elad / Seshadhri, C.
• TR-800-07 - A Cryptographic Study of Secure Fault Detection in the Internet (0000-00-00)
  Barak, Boaz / Rexford, Jennifer / Xiao, David / Goldberg, Sharon
• TR-801-07 - Building Scalable Self-configuring Networks with SEIZE (0000-00-00)
  Caesar, Matthew / Kim, Changhoon / Rexford, Jennifer
• TR-799-07 - Reasoning about Control Flow in the Presence of Transient Faults (0000-00-00)
  Perry, Frances / Walker, David
• TR-802-07 - Morpheus: Enabling Flexible Interdomain Routing Policies (0000-00-00)
  Rexford, Jennifer / Wang, Yi / Avramopoulos, Ioannis
• TR-803-07 - Aspects of Network Design (thesis) (0000-00-00)
  Karagiozova, Adriana
• TR-804-07 - Efficient Algorithms Using The Multiplicative Weights Update Method (thesis) (0000-00-00)
  Kale, Satyen
• TR-805-07 - Advances in 3D Shape Acquisition (thesis) (0000-00-00)
  Nehab, Diego
• TR-806-07 - Context-sensitive Methods for Learning from Genomic Data (thesis) (0000-00-00)
  Myers, Chad L.
• TR-807-07 - Path-Quality Monitoring in the Presence of Adversaries (0000-00-00)
  Tromer, Eran / Barak, Boaz / Rexford, Jennifer / Xiao, David / Goldberg, Sharon
• TR-808-07 - How Small Groups Can Secure Interdomain Routing (0000-00-00)
  Suchara, Martin / Rexford, Jennifer / Avramopoulos, Ioannis
• TR-809-07 - How to Take Back Your Address Space (0000-00-00)
  Avramopoulos, Ioannis
• TR-810-07 - Analysis and Visualization of Large-Scale Gene Expression Microarray Compendia (thesis) (0000-00-00)
  Hibbs, Matthew A.
• TR-811-08 - The PARSEC Benchmark Suite: Characterization and Architectural Implications (0000-00-00)
  Bienia, Christian / Kumar, Sanjeev / Li, Kai / Singh, Jaswinder Pal
• TR-812-08 - Faster Packet Forwarding in a Scalable Ethernet Architecture (0000-00-00)
  Pall, Daniel
• TR-813-08 - Rational ASes and Traffic Attraction: Incentives for honestly announcing paths in BGP (0000-00-00)
  Goldberg, Sharon / Halevi, Shai
• TR-814-08 - The Role of Prices in Peer-Assisted Content Distribution (0000-00-00)
  Aperjis, Christina / Freedman, Michael J. / Johari, Ramesh
• TR-815-08 - Approximation Algorithms for Constraint Satisfaction Problems (thesis) (0000-00-00)
  Makarychev, Yury
• TR-816-08 - AVC Advantage: Hardware Functional Specifications (0000-00-00)
  Feldman, Ariel J. / Halderman, John A.
• TR-817-08 - Shape Distinction for 3D Object Retrieval (0000-00-00)
  Shilane, Philip N
• TR-818-08 - PARSEC vs. SPLASH2: A Quantitative Comparison of Two Multithreaded Benchmark Suites on Chip-Multiprocessors (0000-00-00)
  Bienia, Christian / Kumar, Sanjeev / Li, Kai
• TR-785-07 - Bayesian Aggregation for Hierarchical Classfication (0000-00-00)
  Schapire, Robert E. / Troyanskaya, Olga G. / Barutcuoglu, Zafer / DeCoro, Christopher
• TR-819-08 - Scalable Isosurface Visualization (thesis) (0000-00-00)
  Liu, Zhiyan
• TR-820-08 - Registration and Matching of Large Geometric Datasets for Cultural Heritage Applications (thesis) (0000-00-00)
  Brown, Benedict J.
• TR-821-08 - Towards Understanding Application Semantics of Network Traffic (thesis) (0000-00-00)
  Pang, Ruoming
• TR-822-08 - Shape Analysis with Inductive Recursion Synthesis (thesis) (0000-00-00)
  Guo, Bolei
• TR-824-08 - The ChucK Audio Programming Language "A Strongly-timed and On-the-Fly Environ/mentality" (0000-00-00)
  Wang, Ge
• TR-825-08 - Oracle Semantics for Concurrent Separation Logic (Extended Version) (0000-00-00)
  Hobor, Aquinas / Zappa Nardelli, Francesco / Appel, Andrew W.
• TR-826-08 - Language Support for Processing Ad Hoc Data (0000-00-00)
  Jia, Limin / Pai, Vivek / Walker, David / Dantas, Daniel S. / Zhu, Kenny Q. / Fisher, Kathleen / Mandelbaum, Yitzhak
• TR-827-08 - Atomic Routing Theory: Making an AS Route Like a Single Node (0000-00-00)
  Rexford, Jennifer / Wang, Yi / Zhang-Shen, Rui
• TR-828-08 - Global Instruction Scheduling for Multi-Threaded Architectures (thesis) (0000-00-00)
  Ottoni, Guilherme
• TR-823-08 - Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP (0000-00-00)
  Jaggard, Aaron D. / Ramachandran, Vijay / Wright, Rebecca N. / Goldberg, Sharon / Halevi, Shai
• TR-829-08 - Using Structural Information in Machine Learning Applications (thesis) (0000-00-00)
  Barutcuoglu, Zafer
• TR-831-08 - Reasoning about Software in the Presence of Transient Faults – Complete Proofs [note change] (0000-00-00)
  Perry, Frances
• TR-830-08 - Reasoning about Software in the Presence of Transient Faults (thesis) (0000-00-00)
  Perry, Frances
• TR-832-08 - Cabernet: Connectivity Architecture for Better Network Services (0000-00-00)
  Rangarajan, Sampath / Rexford, Jennifer / Zhang-Shen, Rui / Zhu, Yaping
• TR-833-08 - Performance Bounds for Peer-Assisted Live Streaming (0000-00-00)
  Jiang, Wenjie / Liu, Shao / Chiang, Mung / Rexford, Jennifer / Zhang-Shen, Rui
• TR-834-08 - Ad Hoc Data and the Token Ambiguity Problem (0000-00-00)
  Xi, Qian / Walker, David / Zhu, Kenny Q. / Fisher, Kathleen
• TR-001-85 - Mutual Exclusion in Partitioned Distributed Systems (1985-07-01)
  Barbara, Daniel / Garcia-Molina, Hector
• TR-002-85 - Database Processing with Triple Modular Redundancy (0000-00-00)
  Garcia-Molina, Hector / Pittelli, Frank
• TR-003-85 - Rotation Distance (0000-00-00)
  Tarjan, Robert E. / Sleator, Daniel D. / Thurston, William P.
• TR-004-85 - A Locally Adaptive Data Compression Scheme (0000-00-00)
  Bentley, Jon Louis / Wei, Victor K. / Tarjan, Robert E. / Sleator, Daniel D.
• TR-005-85 - Planar Point Location Using Persistent Search Trees (0000-00-00)
  Sarnak, Neil / Tarjan, Robert E.
• TR-006-85 - Efficient Top-Down Updating of Red-Black Trees (0000-00-00)
  Tarjan, Robert E.
• TR-007-85 - Rectilinear Planar Layouts of Planar Graphs and Bipolar Orientations (0000-00-00)
  Rosenstiehl, Pierre / Tarjan, Robert E.
• TR-008-85 - The Pairing Heap: A New Form of Self-Adjusting Heap (0000-00-00)
  Fredman, Michael L. / Sedgewick, Robert / Tarjan, Robert E. / Sleator, Daniel D.
• TR-009-85 - Using Semantic Knowledge for Transaction Processing (Thesis) (0000-00-00)
  Cordon, Ricardo
• TR-010-85 - Policies for Dynamic Vote Reassignment (0000-00-00)
  Barbara, Daniel / Garcia-Molina, Hector / Spauster, Annemarie
• TR-011-85 - A Suggested Architecture for the Massive Memory Machine (0000-00-00)
  Lopresti, Daniel
• TR-012-85 - Optimizing Shadow Recovery Algorithms (0000-00-00)
  Garcia-Molina, Hector / Kent, Jack
• TR-013-85 - Two Streamlined Depth-First Search Algorithms (0000-00-00)
  Tarjan, Robert E.
• TR-014-85 - Geometric Complexity and Computer Graphics - Does Theory Apply in Practice? (0000-00-00)
  Dobkin, David P.
• TR-015-85 - Embedding Computation in One-Dimensional Automata by Phase Coding Solitons (0000-00-00)
  Kamal, Irfan / Steiglitz, Kenneth / Watson, Arthur
• TR-016-85 - An Example of Structured Explanation Generation (0000-00-00)
  Bienkowski, M.A.
• TR-017-85 - Design of an Interleaved Massive Memory Machine (0000-00-00)
  Park, Arvin
• TR-018-86 - A Load Balancing Implementation for a Local Area Network of Workstations (0000-00-00)
  Alonso, Rafael / Goldman, Phillip / Potrebic, Peter
• TR-019-86 - Superposed Parallel Buses: A Systolic Area-Time Optimal VLSI Interconnection (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-020-86 - The Total DNA Homology Experiment (0000-00-00)
  Welsh, J. Douglas / Lopresti, Daniel / Lipton, Richard J.
• TR-021-86 - The Rotation Graph of Binary Trees is Hamiltonian (0000-00-00)
  Lucas, Joan M.
• TR-022-86 - Using Residue Arithmetic to Simplify VLSI Processor Arrays for Dynamic Programming (0000-00-00)
  Lopresti, Daniel / Lipton, Richard J.
• TR-023-86 - A Weinberger Array Generator (0000-00-00)
  Lin, William W. / Yeh, Susan S. / LaPaugh, Andrea S.
• TR-024-86 - Permutations on Superposed Parallel Buses (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-025-86 - Intersection of Convex Objects in Two and Three Dimensions (0000-00-00)
  Chazelle, Bernard / Dobkin, David P.
• TR-026-86 - Comparing Long Strings on a Short Systolic Array (0000-00-00)
  Lopresti, Daniel / Lipton, Richard J.
• TR-027-86 - Practical Variations of Shellsort (0000-00-00)
  Incerpi, Janet / Sedgewick, Robert
• TR-028-86 - Reliable Scheduling in a TMR Database System (0000-00-00)
  Garcia-Molina, Hector / Pittelli, Frank
• TR-029-86 - Distributed Computing Research at Princeton - 1985 (0000-00-00)
  Karol, M. / Schwartz, Stuart / Sotessl, M. / Verdu, Sergio / Alonso, Rafael / Barbara, Daniel / Cordon, Ricardo / Garcia-Molina, Hector / Kogan, Boris / Pittelli, Frank / Spauster, Annemarie / Abbott, Robert K. / Goldman, Phillip / Kent, Jack / Potrebic, Peter / Simpson, Patricia
• TR-030-86 - PATHALIAS or The Care and Feeding of Relative Addresses (0000-00-00)
  Bellovin, Steven M. / Honeyman, Peter
• TR-031-86 - Optimization of One-Bit Full Adders Embedded in Regular Structures (0000-00-00)
  Iwano, Kazuo / Steiglitz, Kenneth
• TR-032-86 - A New Approach to Fast Control of Permutation Networks (0000-00-00)
  Arden, Bruce W. / Youssef, Abdou S.
• TR-033-86 - The Optimal Uniform Schedules of Arbitrary Static Permutations on Superposed Parallel Buses (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-034-86 - Crash Recovery Mechanisms for Main Storage Database Systems (0000-00-00)
  Garcia-Molina, Hector / Salem, Kenneth
• TR-035-86 - The Design of Load Balancing Strategies for Distributed Systems (0000-00-00)
  Alonso, Rafael
• TR-036-86 - Massive Memory Means Massive Performance (0000-00-00)
  Park, Arvin
• TR-037-86 - Protocols for Dynamic Vote Reassignment (0000-00-00)
  Barbara, Daniel / Garcia-Molina, Hector / Spauster, Annemarie
• TR-038-86 - Three Partition Refinement Algorithms (0000-00-00)
  Paige, Robert / Tarjan, Robert E.
• TR-039-86 - Linear Time Algorithms for Visibility and Shortest Path Problems Inside Simple Polygons (0000-00-00)
  Leven, Daniel / Tarjan, Robert E. / Guibas, Leonidas / Hershberger, John / Sharir, Micha
• TR-040-86 - K-Way Bitonic Sort (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-041-86 - Bus Partitionability and Parallel Permutations (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-042-86 - Array Access Bound for Block Storage Memory Systems (0000-00-00)
  Lipton, Richard J. / Balasubramanian, K. / Park, Arvin
• TR-043-86 - Achieving High Availability in Distributed Databases (0000-00-00)
  Garcia-Molina, Hector / Kogan, Boris
• TR-044-86 - Soliton Phase Shifts in a Dissipative Lattice (0000-00-00)
  Islam, Nayeem / Steiglitz, Kenneth
• TR-045-86 - Garbage Collection Can Be Faster Than Stack Allocation (0000-00-00)
  Appel, Andrew W.
• TR-046-86 - Optimal Parallel Sorting on a Linear Processor Array (0000-00-00)
  Balasubramanian, K. / Park, Arvin
• TR-047-86 - Reliable Distributed Database Management (0000-00-00)
  Garcia-Molina, Hector / Abbott, Robert K.
• TR-048-86 - Improved Sorting Algorithms for Parallel Computers (0000-00-00)
  Balasubramanian, K. / Park, Arvin
• TR-049-86 - One-Processor Scheduling of Tasks with Preferred Starting Times (0000-00-00)
  Garey, Michael R. / Wilfong, Gordon T. / Tarjan, Robert E.
• TR-050-86 - A New Approach to the Maximum Flow Problem (0000-00-00)
  Tarjan, Robert E. / Goldberg, Andrew V.
• TR-051-86 - Decomposition and Intersection of Simple Splinegons (0000-00-00)
  Souvaine, Diane L. / Dobkin, David P. / Van Wyk, Christopher J.
• TR-052-86 - An O(n log log n)-Time Algorithm for Triangulating Simple Polygons (0000-00-00)
  Tarjan, Robert E. / Van Wyk, Christopher J.
• TR-053-86 - A Semiring On Convex Polygons and Zero-Sum Cycle Problems (0000-00-00)
  Iwano, Kazuo / Steiglitz, Kenneth
• TR-054-86 - Robust Contour Tracing (0000-00-00)
  Levy, Silvio V.F. / Wilks, Allan R. / Dobkin, David P. / Thurston, William P.
• TR-055-86 - Lower Bounds on the Complexity of Multidimensional Searching (0000-00-00)
  Chazelle, Bernard
• TR-056-86 - Increasing Availability under Mutual Exclusion Constraints with Dynamic Vote Reassignment (0000-00-00)
  Barbara, Daniel / Garcia-Molina, Hector / Spauster, Annemarie
• TR-057-86 - Providing Fault Tolerance In Parallel Storage Systems (0000-00-00)
  Balasubramanian, K. / Park, Arvin
• TR-058-86 - Finding the Optimal Variable Ordering for Binary Decision Diagrams (0000-00-00)
  Friedman, Steven J. / Supowit, Kenneth J.
• TR-059-86 - Recognizing Circle Graphs in Polynomial Time (0000-00-00)
  Gabor, Csaba P. / Hsu, Wen-Lian / Supowit, Kenneth J.
• TR-060-86 - Optimal Permutations on Superposed Parallel Buses (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-061-86 - More Parallelism into the Monte Carlo Solution of Partial Differential Equations (0000-00-00)
  Arden, Bruce W. / Youssef, Abdou S.
• TR-062-86 - Linear Space Data Structures for Two Types of Range Search (0000-00-00)
  Chazelle, Bernard / Edelsbrunner, Herbert
• TR-063-86 - Bitonic Sorting on Superposed Parallel Buses (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-064-86 - Maintaining Availability of Replicated Data in a Dynamic Failure Environment (0000-00-00)
  Barbara, Daniel / Garcia-Molina, Hector / Kogan, Boris
• TR-065-86 - Data Caching in an Information Retrieval System (0000-00-00)
  Alonso, Rafael / Barbara, Daniel / Garcia-Molina, Hector / Abad, Soraya
• TR-066-86 - Planarity Testing of Doubly Periodic Infinite Graphs (0000-00-00)
  Iwano, Kazuo / Steiglitz, Kenneth
• TR-067-86 - Models and Measurements of File System Performance (0000-00-00)
  Lipton, Richard J. / Park, Arvin
• TR-068-86 - Optimal Compaction of Multiple Two-Component Channels under River Routing (0000-00-00)
  Heng, Fook-Luen / LaPaugh, Andrea S.
• TR-069-86 - Designing Algorithms (0000-00-00)
  Tarjan, Robert E.
• TR-070-87 - SAGAS (0000-00-00)
  Garcia-Molina, Hector / Salem, Kenneth
• TR-071-87 - An Improved Upper Bound for Sorting on Non-partitionable Superposed Parallel Buses (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-072-87 - Optimal Selection on Non-partitionable Superposed Parallel Buses (0000-00-00)
  Arden, Bruce W. / Nakatani, Toshio
• TR-073-87 - Distributed Computing Research at Princeton - 1986 (0000-00-00)
  Cova, Luis L. / Kyrimis, Kriton / Alonso, Rafael / Garcia-Molina, Hector / Kogan, Boris / Pittelli, Frank / Spauster, Annemarie / Abbott, Robert K. / Salem, Kenneth / Simpson, Patricia
• TR-074-87 - IOStone: A Synthetic File System Performance Benchmark (0000-00-00)
  Lipton, Richard J. / Park, Arvin
• TR-075-87 - Performance Through Memory (0000-00-00)
  Rogers, Lawrence R. / Garcia-Molina, Hector / Park, Arvin
• TR-076-87 - Recovery in a Triple Modular Redundant Database System (0000-00-00)
  Garcia-Molina, Hector / Pittelli, Frank
• TR-077-87 - An Algorithm for Segment-Dragging and its Implementation (0000-00-00)
  Chazelle, Bernard
• TR-078-87 - Some Problems on Doubly Periodic Infinite Graphs (0000-00-00)
  Iwano, Kazuo
• TR-079-87 - Re-opening Closures (0000-00-00)
  Appel, Andrew W.
• TR-080-87 - Concise Specifications of Locally Optimal Code Generators (0000-00-00)
  Appel, Andrew W.
• TR-081-87 - Solving Minimum-Cost Flow Problems by Successive Approximation (0000-00-00)
  Tarjan, Robert E. / Goldberg, Andrew V.
• TR-082-87 - The Complexity of Cutting Complexes (0000-00-00)
  Chazelle, Bernard / Edelsbrunner, Herbert / Guibas, Leonidas
• TR-083-87 - Performance of VLSI Engines for Lattice Computations (0000-00-00)
  Kugelmass, Steven D. / Steiglitz, Kenneth / Squier, Richard K.
• TR-084-87 - Computational Geometry - Then and Now (0000-00-00)
  Dobkin, David P.
• TR-085-87 - The Application of Workstation Caching to Information Systems (0000-00-00)
  Alonso, Rafael / Simpson, Patricia
• TR-086-87 - Monotone Bipartite Graph Properties are Evasive (0000-00-00)
  Yao, Andrew
• TR-087-87 - Altruistic Locking: A Strategy for Coping with Long Lived Transactions (0000-00-00)
  Alonso, Rafael / Garcia-Molina, Hector / Salem, Kenneth
• TR-088-87 - The Processor Identity Problem (0000-00-00)
  Lipton, Richard J. / Park, Arvin
• TR-089-87 - Primitives for the Manipulation of Three-Dimensional Subdivisions (0000-00-00)
  Dobkin, David P. / Laszlo, Michael J.
• TR-090-87 - Some Thoughts on Probabilistic Databases (0000-00-00)
  Garcia-Molina, Hector / Porter, Daryl
• TR-091-87 - Update Propagation in Bakunin Data Networks (0000-00-00)
  Garcia-Molina, Hector / Kogan, Boris
• TR-092-87 - A Process Migration Implementation for a Unix System (0000-00-00)
  Kyrimis, Kriton / Alonso, Rafael
• TR-093-87 - Simulating Digital Circuits with One Bit Per Wire (0000-00-00)
  Appel, Andrew W.
• TR-094-87 - Computational Geometry in a Curved World (thesis) (0000-00-00)
  Souvaine, Diane L.
• TR-095-97 - Some Techniques for Geometric Searching with Implicit Set Representations (0000-00-00)
  Chazelle, Bernard
• TR-096-87 - Computing on a Free Tree Via Complexity-Preserving Mappings (0000-00-00)
  Chazelle, Bernard
• TR-097-87 - A Standard ML Compiler (0000-00-00)
  Appel, Andrew W. / MacQueen, David B.
• TR-098-87 - Lower Bounds for Shellsort (thesis) (0000-00-00)
  Weiss, Mark Allen
• TR-099-87 - Concurrency Controls for Global Procedures in Federated Database Systems (0000-00-00)
  Alonso, Rafael / Garcia-Molina, Hector / Salem, Kenneth
• TR-100-87 - Some Thoughts on Data Sharing Among Autonomous Cooperating Database Systems (0000-00-00)
  Alonso, Rafael / Garcia-Molina, Hector
• TR-101-87 - Quasi-Copies: Efficient Data Sharing for Information Retrieval Systems (0000-00-00)
  Alonso, Rafael / Barbara, Daniel / Garcia-Molina, Hector / Abad, Soraya
• TR-102-87 - A Prototype for Research on Heterogeneous Database Systems (0000-00-00)
  Alonso, Rafael
• TR-103-87 - Amortized Analysis of Algorithms for Set Union with Backtracking (0000-00-00)
  Tarjan, Robert E. / Westbrook, Jeffrey
• TR-104-87 - Algorithms for Two Bottleneck Optimization Problems (0000-00-00)
  Tarjan, Robert E. / Gabow, Harold N.
• TR-105-87 - A Fast Parametric Maximum Flow Algorithm (0000-00-00)
  Tarjan, Robert E. / Gallo, Girogio / Grigoriadis, Michael D.
• TR-106-87 - Finding Minimum-Cost Circulations by Successive Approximation (0000-00-00)
  Tarjan, Robert E. / Goldberg, Andrew V.
• TR-107-87 - Finding Minimum-Cost Circulations by Canceling Negative Cycles (0000-00-00)
  Tarjan, Robert E. / Goldberg, Andrew V.
• TR-108-87 - A Linear-Time Algorithm for Finding a Minimum Spanning Pseudoforest (0000-00-00)
  Tarjan, Robert E. / Gabow, Harold N.
• TR-109-87 - Relaxed Heaps: An Alternative to Fibronacci Heaps (0000-00-00)
  Tarjan, Robert E. / Driscoll, James R. / Gabow, Harold N. / Shrairman, Ruth
• TR-110-87 - Distributed Reachability Analysis for Protocol Verification Environments (0000-00-00)
  Alonso, Rafael / Aggarwal, Sudhir / Courcoubetis, Costas
• TR-111-87 - Faster Scaling Algorithms for Network Problems (0000-00-00)
  Tarjan, Robert E. / Gabow, Harold N.
• TR-112-87 - An Experimental Evaluation of Load Balancing Strategies (0000-00-00)
  Alonso, Rafael
• TR-113-87 - Delaunay Graphs are Almost as Good as Complete Graphs (0000-00-00)
  Friedman, Steven J. / Dobkin, David P. / Supowit, Kenneth J.
• TR-114-87 - Covering Minima and Lattice Point Free Convex Bodies (0000-00-00)
  Lovasz, Laszlo / Kannan, Ravi
• TR-115-87 - A Density Theorem for Purely Iterative Zero Finding Methods (0000-00-00)
  Friedman, Joel
• TR-116-87 - Random Polynomials and Approximate Zeros of Newton's Method (0000-00-00)
  Friedman, Joel
• TR-117-87 - Exploiting Symmetries for Low-Cost Comparison of File Copies (0000-00-00)
  Barbara, Daniel / Garcia-Molina, Hector
• TR-118-87 - Improved Time Bounds for the Maximum Flow Problem (0000-00-00)
  Ahuja, Ravindra K. / Orlin, James B. / Tarjan, Robert E.
• TR-119-87 - Crash Recovery for Memory-Resident Databases (0000-00-00)
  Garcia-Molina, Hector / Salem, Kenneth
• TR-120-87 - Sharing Jobs Among Independently Owned Processors (0000-00-00)
  Cova, Luis L. / Alonso, Rafael
• TR-121-87 - On Selecting the Second Largest with Median Tests (0000-00-00)
  Yao, Andrew
• TR-122-87 - Reflections in Curved Surfaces (thesis) (0000-00-00)
  Panduranga, E.S.
• TR-123-87 - Reliable Broadcast in Networks with Nonprogrammable Servers (0000-00-00)
  Garcia-Molina, Hector / Kogan, Boris / Lynch, Nancy
• TR-124-87 - A Probabilistic Model for Clock Skew (0000-00-00)
  Kugelmass, Steven D. / Steiglitz, Kenneth
• TR-125-87 - A Data Structure for Manipulating Three-Dimensional Subdivisions (thesis) (0000-00-00)
  Laszlo, Michael J.
• TR-126-87 - Checkpointing Memory-Resident Databases (0000-00-00)
  Garcia-Molina, Hector / Salem, Kenneth
• TR-127-87 - A Shared Memory Architecture for Distributed Computing (thesis) (0000-00-00)
  Park, Arvin
• TR-128-87 - Analysis of Algorithms for the Configuration of Wafer Scale Linear Arrays in the Presence of Defects (0000-00-00)
  Doukas, Dimitris / LaPaugh, Andrea S.
• TR-129-87 - Scheduling Real-time Transactions (0000-00-00)
  Garcia-Molina, Hector / Abbott, Robert K.
• TR-130-88 - Analysis of a Simple Yet Efficient Convex Hull Algorithm (0000-00-00)
  Sedgewick, Robert / Golin, Mordecai
• TR-131-88 - Rotation Distance, Triangulations and Hyperbolic Geometry (0000-00-00)
  Tarjan, Robert E. / Sleator, Daniel D. / Thurston, William P.
• TR-132-88 - A Fast Las Vegas Algorithm for Triangulating a Simple Polygon (0000-00-00)
  Clarkson, Kenneth L. / Tarjan, Robert E. / Van Wyk, Christopher J.
• TR-133-88 - Real-time Concurrent Collection on Stock Multiprocessors (0000-00-00)
  Li, Kai / Appel, Andrew W. / Ellis, John R.
• TR-134-88 - Lower Bounds to Randominzed Algorithms for Graph Properties (0000-00-00)
  Yao, Andrew
• TR-135-88 - Properties of Multistage Interconnection Networks (thesis) (0000-00-00)
  Youssef, Abdou S.
• TR-136-88 - On the Complexity of Partial Order Productions (0000-00-00)
  Yao, Andrew
• TR-137-88 - Tight Lower Bounds for Shellsort (0000-00-00)
  Sedgewick, Robert / Weiss, Mark Allen
• TR-138-88 - On Selecting the k Largest with Median Tests (0000-00-00)
  Yao, Andrew
• TR-139-88 - Near-Optimal time-Space Tradeoff for Element Distinctness (0000-00-00)
  Yao, Andrew
• TR-140-88 - Compiling Separable Recursions (0000-00-00)
  Naughton, Jeffrey F.
• TR-141-88 - Benchmarking Multi-Rule Recursion Evaluation Strategies (0000-00-00)
  Naughton, Jeffrey F.
• TR-142-88 - Runtime Tags Aren't Necessary (0000-00-00)
  Appel, Andrew W.
• TR-143-88 - Simple Generational Garbage Collection and Fast Allocation (0000-00-00)
  Appel, Andrew W.
• TR-144-88 - Recipes for Geometry & Numerical Analysis - Part I: An Empirical Study (0000-00-00)
  Dobkin, David P. / Silver, Deborah E.
• TR-145-88 - Minimean Optimal Key Arrangements in Hash Tables (0000-00-00)
  Yao, Andrew
• TR-146-88 - Scheduling Real-time Transactions: A Performance Evaluation (0000-00-00)
  Garcia-Molina, Hector / Abbott, Robert K.
• TR-147-88 - Supporting Probabilistic Data in a Relational System (0000-00-00)
  Garcia-Molina, Hector / Porter, Daryl
• TR-148-88 - An Optimal Algorithm for Intersecting Line Segments in the Plane (0000-00-00)
  Chazelle, Bernard / Edelsbrunner, Herbert
• TR-149-88 - Algorithms for Finding a Maximum Bipartite Subgraph for Special Classes of Graphs (0000-00-00)
  Yeh, Susan S. / LaPaugh, Andrea S.
• TR-150-88 - Minimizing Expansions of Recursions (0000-00-00)
  Naughton, Jeffrey F. / Sagiv, Yehoshua
• TR-151-88 - Telematics Research at Princeton - 1987 (0000-00-00)
  Cova, Luis L. / Kyrimis, Kriton / Alonso, Rafael / Barbara, Daniel / Garcia-Molina, Hector / Kogan, Boris / Spauster, Annemarie / Abbott, Robert K. / Salem, Kenneth / Simpson, Patricia
• TR-152-88 - An Efficient Algorithm for Finding the CSG Representation of a Simple Polygon (0000-00-00)
  Dobkin, David P. / Guibas, Leonidas / Hershberger, John / Snoeyink, Jack
• TR-153-88 - Searching for Empty Convex Polygons (0000-00-00)
  Dobkin, David P. / Edelsbrunner, Herbert / Overmars, Mark H.
• TR-154-88 - Faster Algorithms for the Shortest Path Problem (0000-00-00)
  Ahuja, Ravindra K. / Mehlhorn, Kurt / Orlin, James B. / Tarjan, Robert E.
• TR-155-88 - Tight Bounds on the Stabbing Number of Spanning Trees in Euclidean Space (0000-00-00)
  Chazelle, Bernard
• TR-156-88 - Architectures for Two-Dimensional Lattice Computations with Linear Speedup (thesis) (0000-00-00)
  Kugelmass, Steven D.
• TR-157-88 - A Fast Las Vegas Algorithm for Triangulating a Simple Polygon (0000-00-00)
  Clarkson, Kenneth L. / Tarjan, Robert E. / Van Wyk, Christopher J.
• TR-158-88 - Query Processing in a Heterogeneous Retrieval Network (0000-00-00)
  Simpson, Patricia
• TR-159-88 - Multiprocessor Main Memory Transaction Processing (0000-00-00)
  Naughton, Jeffrey F. / Li, Kai
• TR-160-88 - Negotiating Data Access in Federated Database Systems (0000-00-00)
  Alonso, Rafael / Barbara, Daniel
• TR-161-88 - Message Ordering in a Multicast Environment (0000-00-00)
  Garcia-Molina, Hector / Spauster, Annemarie
• TR-162-88 - Copying Garbage Collection in the Presence of Ambiguous References (0000-00-00)
  Hanson, David R. / Appel, Andrew W.
• TR-163-88 - A Tight Amortized Bound for Path Reversal (0000-00-00)
  Tarjan, Robert E. / Sleator, Daniel D. / Ginat, David
• TR-164-88 - Finding Minimum-Cost Flows by Double Scaling (0000-00-00)
  Ahuja, Ravindra K. / Orlin, James B. / Tarjan, Robert E. / Goldberg, Andrew V.
• TR-165-88 - Load Balancing in Two Types of Computational Environments (0000-00-00)
  Cova, Luis L.
• TR-166-88 - Lower Bounds on the Complexity of Polytope Range Searching (0000-00-00)
  Chazelle, Bernard
• TR-167-88 - Visibility and Intersection Problems in Plane Geometry (0000-00-00)
  Chazelle, Bernard / Guibas, Leonidas
• TR-168-88 - Optimizing Closure Environment Representation (0000-00-00)
  Appel, Andrew W. / Jim, Trevor
• TR-169-88 - Vectorized Garbage Collection (0000-00-00)
  Appel, Andrew W. / Bendiksen, Aage
• TR-170-88 - An Implementation of Reliable Broadcast Using an Unreliable Multicast Facility (0000-00-00)
  Garcia-Molina, Hector / Kogan, Boris
• TR-171-88 - Transitive Reduction in Parallel Via Branchings (0000-00-00)
  Karp, Richard M. / Ramachandran, Vijaya / Tarjan, Robert E. / Gibbons, Phillip / Soroker, Danny
• TR-172-88 - On the Second Eigenvalue and Random Walks in Random d-Regular Graphs (0000-00-00)
  Friedman, Joel
• TR-173-88 - Bakunin Data Networks: Approach to Designing Highly Available Replicated Databases (thesis) (0000-00-00)
  Kogan, Boris
• TR-174-88 - A Library for Incremental Update of Bitmap Images (0000-00-00)
  Dobkin, David P. / Koutsofios, Eleftherios / Pike, Rob
• TR-175-88 - Two-Dimensional Compaction: Computing the Shape Function of a Slicing Layout (thesis) (0000-00-00)
  Heng, Fook-Luen
• TR-176-88 - A Class of Randomized Strategies for Low-Cost Comparison of File Copies (0000-00-00)
  Barbara, Daniel / Lipton, Richard J.
• TR-177-88 - The Design of a Document Database (0000-00-00)
  Clifton, Christopher W. / Garcia-Molina, Hector / Hagmann, Robert
• TR-178-88 - Geometry, Graphics, and Numerical Analysis (thesis) (0000-00-00)
  Silver, Deborah E.
• TR-179-88 - File Access Patterns (0000-00-00)
  Staelin, Carl Hudson
• TR-180-88 - PRAM: A Scalable Shared Memory (0000-00-00)
  Sandberg, Jonathan / Lipton, Richard J.
• TR-181-88 - A Deterministic View of Random Sampling and its Use in Geometry (0000-00-00)
  Chazelle, Bernard / Friedman, Joel
• TR-182-88 - Allocation Without Locking (0000-00-00)
  Appel, Andrew W.
• TR-183-88 - Continuation-Passing, Closure-Passing Style (0000-00-00)
  Appel, Andrew W. / Jim, Trevor
• TR-184-88 - Ordered and Reliable Multicast Communication (0000-00-00)
  Garcia-Molina, Hector / Spauster, Annemarie
• TR-185-88 - On Straight Selection Sort (0000-00-00)
  Yao, Andrew
• TR-186-88 - A Parallel Algorithm for Finding A Blocking Flow in an Acyclic Network (0000-00-00)
  Tarjan, Robert E. / Goldberg, Andrew V.
• TR-187-88 - Efficiency of the Primal Network Simplex Algorithm for the Minimum-Cost Circulation Problem (0000-00-00)
  Tarjan, Robert E.
• TR-188-88 - Failure Recovery in Memory-Resident Transaction Processing Systems (thesis) (0000-00-00)
  Salem, Kenneth
• TR-189-88 - Simplified Linear-Time Jordan Sorting and Polygon Clipping (0000-00-00)
  Tarjan, Robert E. / Van Wyk, Christopher J. / Fung, Khun Yee / Nicholl, Tina M.
• TR-190-88 - Throughput of Long Self-Timed Pipelines (0000-00-00)
  Greenstreet, Mark R. / Steiglitz, Kenneth
• TR-191-88 - Fast Allocation and Deallocation of Memory Based on Object Lifetimes (0000-00-00)
  Hanson, David R.
• TR-192-88 - Applied Computational Geometry: Towards Robust Solutions of Basic Problems (0000-00-00)
  Dobkin, David P. / Silver, Deborah E.
• TR-193-88 - Efficiency of the Network Simplex Algorithm for the Maximum Flow Problem (0000-00-00)
  Tarjan, Robert E. / Goldberg, Andrew V. / Grigoriadis, Michael D.
• TR-194-88 - Probabilistic Analysis of a Closest Pair Algorithm (0000-00-00)
  Golin, Mordecai
• TR-195-88 - System M: A Transaction Processing System for Memory Resident Data (0000-00-00)
  Garcia-Molina, Hector / Salem, Kenneth
• TR-196-88 - Maintenance of Geometric Extrema (0000-00-00)
  Dobkin, David P. / Suri, Subhash
• TR-197-88 - Profiling in the Presence of Optimization and Garbage Collection (0000-00-00)
  Appel, Andrew W. / MacQueen, David B. / Duba, Bruce F.
• TR-198-88 - Management of a Remote Backup Copy for Disaster Recovery (0000-00-00)
  Garcia-Molina, Hector / Polyzois, Christos A. / Halim, Nagui / King, Richard P.
• TR-199-88 - An Experimental Comparison of Initial Placement vs. Process Migration for Load Balancing Strategies (0000-00-00)
  Kyrimis, Kriton / Alonso, Rafael
• TR-200-88 - Distributing Workload Among Independently Owned Processors (0000-00-00)
  Cova, Luis L. / Alonso, Rafael
• TR-201-89 - Placement Problems Arising From Automatic Logic Compilation (thesis) (0000-00-00)
  Lin, William W.
• TR-202-89 - Querying a Network of Autonomous Databases (0000-00-00)
  Alonso, Rafael / Simpson, Patricia
• TR-203-89 - Clocked Adversaries for Hashing (0000-00-00)
  Naughton, Jeffrey F. / Lipton, Richard J.
• TR-204-89 - Communication Complexity; A Survey (0000-00-00)
  Lovasz, Laszlo
• TR-205-89 - An Optimal Algorithm for Intersecting Three-Dimensional Convex Polyhedra (0000-00-00)
  Chazelle, Bernard
• TR-206-89 - Indexing in a Hypertext Database (0000-00-00)
  Clifton, Christopher W. / Garcia-Molina, Hector
• TR-207-89 - Scheduling Real-Time Transactions with Disk Resident Data (0000-00-00)
  Garcia-Molina, Hector / Abbott, Robert K.
• TR-208-89 - Odd Cycles, Bipartite Subgraphs, and Approximate Graph Coloring (thesis) (0000-00-00)
  Yeh, Susan S.
• TR-209-89 - Estimating the Size of Path Relations (0000-00-00)
  Naughton, Jeffrey F. / Lipton, Richard J.
• TR-210-89 - Shared Virtual Memory Accomodating Heterogeneity (0000-00-00)
  Li, Kai / Stumm, Michael / Wortman, David / Zhou, Songnian
• TR-211-89 - Data Structures for Formal Verification of Circuit Designs (0000-00-00)
  Friedman, Steven J.
• TR-212-89 - Fingerprinting Sets (0000-00-00)
  Lipton, Richard J.
• TR-213-89 - Recursively Enumerable Languages Have Finite State Interactive Proofs (0000-00-00)
  Lipton, Richard J.
• TR-214-89 - FACE: Enhancing Distributed File Systems for Autonomous Computing Environments (0000-00-00)
  Cova, Luis L. / Alonso, Rafael / Barbara, Daniel
• TR-215-89 - A Probabilistic Relational Data Model (0000-00-00)
  Barbara, Daniel / Garcia-Molina, Hector / Porter, Daryl
• TR-216-89 - Network Flow Algorithms (0000-00-00)
  Tarjan, Robert E. / Goldberg, Andrew V. / Tardos, Eva
• TR-217-89 - Shiva: An Operating System Transforming a Hypercube into a Shared-Memory Machine (0000-00-00)
  Li, Kai / Schaefer, Richard
• TR-218-89 - Decreasing Channel Width Bounds by Channel Widening (0000-00-00)
  Heng, Fook-Luen / Lin, William W. / LaPaugh, Andrea S. / Pinter, Ron Y.
• TR-219-89 - Telematics Research at Princeton - 1988 (0000-00-00)
  Clifton, Christopher W. / Cova, Luis L. / Kyrimis, Kriton / Alonso, Rafael / Barbara, Daniel / Barber, C. Bradford / Garcia-Molina, Hector / Kogan, Boris / Spauster, Annemarie / Abbott, Robert K. / Polyzois, Christos A. / Salem, Kenneth / Simpson, Patricia / Blaze, Matthew A.
• TR-221-89 - Random Walk Techniques for Protocol Validation (0000-00-00)
  Barbara, Daniel / Palacios, Jose L.
• TR-222-89 - Faster Scaling Algorithms for General Graph Matching Problems (0000-00-00)
  Tarjan, Robert E. / Gabow, Harold N.
• TR-223-89 - Almost-Optimum Parallel Speed-ups of Algorithms for Bipartite Matching and Related Problems (0000-00-00)
  Tarjan, Robert E. / Gabow, Harold N.
• TR-224-89 - Princeton SystemsFest Proceedings (0000-00-00)
  Various
• TR-225-89 - A Spider User's Guide (0000-00-00)
  Ramsey, Norman
• TR-226-89 - The Spidery WEB System of Structured Documentation (0000-00-00)
  Ramsey, Norman
• TR-227-89 - Triangulating A Nonconvex Polytope (0000-00-00)
  Palios, Leonidas / Chazelle, Bernard
• TR-228-89 - Maintaining Bridge-Connected and Biconnected Components Online (0000-00-00)
  Tarjan, Robert E. / Westbrook, Jeffrey
• TR-229-89 - Algorithms and Data Structures for Dynamic Graph Problems (thesis) (0000-00-00)
  Westbrook, Jeffrey
• TR-230-89 - Some Graphs With Small Second Eigenvalue (0000-00-00)
  Friedman, Joel
• TR-231-89 - Detecting the Intersection of Convex Objects in the Plane (0000-00-00)
  Souvaine, Diane L. / Dobkin, David P.
• TR-232-89 - On the Second Eigenvalue of Hypergraphs (0000-00-00)
  Friedman, Joel / Wigderson, Avi
• TR-233-89 - EZ Processes (0000-00-00)
  Hanson, David R. / Kobayashi, Makoto
• TR-234-89 - Augmenting Availability in Distributed File Systems (0000-00-00)
  Cova, Luis L. / Alonso, Rafael / Barbara, Daniel
• TR-235-89 - Visibility with a Moving Point of View (0000-00-00)
  Eppstein, David / Dobkin, David P. / Bern, Marshall / Grossman, Robert
• TR-236-89 - Data Structures for Formal Verification of Circuit Designs (thesis) (0000-00-00)
  Friedman, Steven J.
• TR-237-89 - On Bounded Round Multi-Prover Interactive Proof Systems (0000-00-00)
  Cai, Jin-Yi / Lipton, Richard J. / Condon, Anne
• TR-238-89 - Playing Games of Incomplete Information (0000-00-00)
  Cai, Jin-Yi / Lipton, Richard J. / Condon, Anne
• TR-239-89 - Real-Time, Concurrent Checkpoint for Parallel Programs (0000-00-00)
  Naughton, Jeffrey F. / Li, Kai / Plank, James S.
• TR-240-89 - How to Store a Triangular Matrix (0000-00-00)
  Sandberg, Jonathan / LaPaugh, Andrea S. / Lipton, Richard J.
• TR-241-90 - A Dynamic File Caching Strategy that Preserves File Consistency (0000-00-00)
  Kyrimis, Kriton / Alonso, Rafael
• TR-242-90 - Simple Hardware for Fast Interprocessor Communication (0000-00-00)
  Greenstreet, Mark R. / Li, Kai
• TR-243-90 - Maintenance of a Minimum Spanning Forest in a Dynamic Planar Graph (0000-00-00)
  Eppstein, David / Tarjan, Robert E. / Westbrook, Jeffrey / Italiano, Guiseppe F. / Tamassia, Roberto / Yung, Moti
• TR-244-90 - Automatic Analysis of One-Parameter Planar Ordinary Differential Equations (0000-00-00)
  Sacks, Elisha
• TR-245-90 - An Advisor for Flexible Working Sets (0000-00-00)
  Alonso, Rafael / Appel, Andrew W.
• TR-246-90 - File System Design Using Large Memories (0000-00-00)
  Staelin, Carl Hudson / Garcia-Molina, Hector
• TR-247-90 - Coordinating Multi-Transaction Activities (0000-00-00)
  Garcia-Molina, Hector / Salem, Kenneth / Gawlick, D. / Klein, J. / Kleissner, K.
• TR-248-90 - Two Epoch Algorithms for Disaster Recovery (0000-00-00)
  Garcia-Molina, Hector / Polyzois, Christos A. / Hagmann, Robert
• TR-249-90 - Efficient Polygon Triangulation (0000-00-00)
  Chazelle, Bernard
• TR-250-90 - Placement of Processes and Files in Distributed Systems (thesis) (0000-00-00)
  Kyrimis, Kriton
• TR-251-90 - Algorithmic Discrete Mathematics (0000-00-00)
  Lovasz, Laszlo / Kenyon, Claire
• TR-252-90 - Algorithms for Bichromatic Line Segment Problems and Polyhedral Terrains (0000-00-00)
  Chazelle, Bernard / Edelsbrunner, Herbert / Guibas, Leonidas / Sharir, Micha
• TR-254-90 - Design of the PRAM Network (0000-00-00)
  Sandberg, Jonathan
• TR-255-90 - Determining the Separation of Preprocessed Polyhedra - A Unified Approach (0000-00-00)
  Kirkpatrick, David G. / Dobkin, David P.
• TR-256-90 - Princeton SystemsFest II (0000-00-00)
  Various
• TR-257-90 - Slimming Down by Adding: Selecting Heavily Covered Points (0000-00-00)
  Chazelle, Bernard / Edelsbrunner, Herbert / Guibas, Leonidas / Hershberger, John / Sharir, Micha / Seidel, Raimund
• TR-258-90 - Competitive Paging as Cache Size Varies (0000-00-00)
  Young, Neal E.
• TR-259-90 - Some Complexity Questions Related to the Query l leq k leq m Pi (Xik - X jk) : 0? (0000-00-00)
  Ting, Hing Fung
• TR-260-90 - The Polynomial Hierarchy is Provable by Two Provers in One Round (0000-00-00)
  Cai, Jin-Yi
• TR-261-90 - Generating Sparse Spanners for Weighted Graphs (0000-00-00)
  Dobkin, David P. / Althofer, Ingo / Das, Gautam / Joseph, Deborah
• TR-262-90 - Concurrent Programming in ML (0000-00-00)
  Ramsey, Norman
• TR-263-90 - On Evaluating Boolean Functions with Unreliable Tests (0000-00-00)
  Yao, Andrew / Kenyon, Claire
• TR-264-90 - Triangulating a Simple Polygon in Linear Time (0000-00-00)
  Chazelle, Bernard
• TR-265-90 - Short Encodings of Evolving Structures (0000-00-00)
  Tarjan, Robert E. / Sleator, Daniel D. / Thurston, William P.
• TR-266-90 - Probabilistic Analysis of Geometric Algorithms (thesis) (0000-00-00)
  Golin, Mordecai
• TR-267-90 - Unique Binary Search Tree Representations and Equality-testing of Sets and Sequences (0000-00-00)
  Tarjan, Robert E. / Sundar, Rajamani
• TR-268-90 - More Efficient Bottom-Up Tree Pattern Matching (0000-00-00)
  Cai, Jin-Yi / Tarjan, Robert E. / Paige, R.
• TR-269-90 - Testing Parallel Simulators for Two-Dimensional Lattice-Gas Automata (0000-00-00)
  Steiglitz, Kenneth / Squier, Richard K.
• TR-271-90 - Comparison of Tree and Straight-Line Clocking for Long Systolic Arrays (0000-00-00)
  Dikaiakos, Marios D. / Steiglitz, Kenneth
• TR-272-90 - Data Sharing in a Large Heterogeneous Environment (0000-00-00)
  Alonso, Rafael / Barbara, Daniel / Cohn, Steve
• TR-273-90 - LEFTY: A Two-view Editor for Technical Pictures (thesis) (0000-00-00)
  Koutsofios, Eleftherios
• TR-274-90 - CLOVER: A Timing Constraints Verification System (0000-00-00)
  Doukas, Dimitris / LaPaugh, Andrea S.
• TR-275-90 - Graph Decompositions with Applications to Circle and Permutation Graphs (thesis) (0000-00-00)
  Gabor, Csaba P.
• TR-277-90 - Scalable Shared Memory Interconnections (thesis) (0000-00-00)
  Serpanos, Dimitrios
• TR-278-90 - METEOR: A Constraint-based FIR Filter Design Program (0000-00-00)
  Steiglitz, Kenneth / Kaiser, J.F. / Parks, T.W.
• TR-279-90 - Ein Kleiner Filter Compiler (0000-00-00)
  Steiglitz, Kenneth
• TR-280-90 - Reconfigurability and Reliability of Systolic/Wavefront Arrays (0000-00-00)
  Steiglitz, Kenneth / Sha, Edwin Hsing-Mean
• TR-281-90 - A Rapid Hierarchical Radiosity Algorithm for Unoccluded Environments (0000-00-00)
  Hanrahan, Pat / Salzman, David
• TR-282-90 - Resource Management in Federated Computing Environments (thesis) (0000-00-00)
  Cova, Luis L.
• TR-283-90 - Clustering Active Disk Data To Improve Disk Performance (0000-00-00)
  Staelin, Carl Hudson / Garcia-Molina, Hector
• TR-284-90 - Scheduling and Bin Packing: A Study of the Worst-case Performance Bounds (thesis) (0000-00-00)
  Mao, Weizhen
• TR-285-90 - The Spectra of Infinite Hypertrees (0000-00-00)
  Friedman, Joel
• TR-287-90 - Scheduling I/O Requests with Deadlines: A Performance Evaluation (0000-00-00)
  Garcia-Molina, Hector / Abbott, Robert K.
• TR-288-90 - Counting and Cutting Cycles of Lines and Rods in Space (0000-00-00)
  Chazelle, Bernard / Edelsbrunner, Herbert / Guibas, Leonidas / Sharir, Micha / Snoeyink, Jack / Pollack, Richard / Seidel, Raimund
• TR-289-90 - Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time (0000-00-00)
  Dixon, Brandon / Rauch, Monika / Tarjan, Robert E.
• TR-290-90 - Quasi-Optimal Upper Bounds for Simplex Range Searching and New Zone Theorems (0000-00-00)
  Chazelle, Bernard / Sharir, Micha / Welzl, Emo
• TR-291-90 - Real-Time Concurrent Collection in User Mode (0000-00-00)
  Li, Kai
• TR-292-90 - A Note on Poset Geometries (0000-00-00)
  Friedman, Joel
• TR-293-90 - The Best Case of Heapsort (0000-00-00)
  Schaffer, Russel W. / Sedgewick, Robert
• TR-294-90 - Lines in Space: Combinatorics and Algorithms (0000-00-00)
  Chazelle, Bernard / Edelsbrunner, Herbert / Guibas, Leonidas / Sharir, Micha / Stolfi, Jorge
• TR-295-90 - Distributed Processing of Filtering Queries in HyperFile (0000-00-00)
  Clifton, Christopher W. / Garcia-Molina, Hector
• TR-296-90 - Some Fast Algorithms on Graphs and Trees (thesis) (0000-00-00)
  Booth, Heather D.
• TR-297-90 - A New Specification Model for Timing constraints and Efficient Methods for their Verification (thesis) (0000-00-00)
  Doukas, Dimitris
• TR-298-90 - A Free-Market Exchange for Information (0000-00-00)
  Sandberg, Jonathan / Lipton, Richard J.
• TR-299-90 - Fully Persistent Lists with Catenation (0000-00-00)
  Tarjan, Robert E. / Sleator, Daniel D. / Driscoll, James R.
• TR-300-90 - Computational Kinematics (0000-00-00)
  Joskowicz, Leo / Sacks, Elisha
• TR-835-08 - The VELOCITY Compiler: Extracting Efficient Multicore Execution from Legacy Sequential Codes (thesis) (0000-00-00)
  Bridges, Matthew
• TR-836-08 - Oracle Semantics (thesis) (0000-00-00)
  Hobor, Aquinas
• TR-837-08 - Query-Independent Ranking for Large-Scale Persistent Search Systems (0000-00-00)
  Schmidt, Erich R.
• TR-838-08 - Sublinear Distributed Reconstruction (thesis) (0000-00-00)
  Comandur, Seshadhri
• TR-839-08 - Intelligent Speculation for Pipelined Multithreading (thesis) (0000-00-00)
  Vachharajani, Neil
• TR-840-08 - The Symmetry Transform and its Applications (thesis) (0000-00-00)
  Podolak, Joshua
• TR-841-08 - Analysis of Large Genomic Data Collections (thesis) (0000-00-00)
  Huttenhower, Curtis
• TR-842-08 - Virtualizing Network File Systems (thesis) (0000-00-00)
  Lai, Junwen
• TR-843-08 - Non-Local Analysis of SDP-Based Approximation Algorithms (thesis) (0000-00-00)
  Chlamtac, Eden
• TR-844-08 - Neighbor-Specific BGP: More Flexible Routing Policies Without Sacrificing Global Stability (0000-00-00)
  Rexford, Jennifer / Wang, Yi / Schapira, Michael
• TR-845-08 - Fast Cryptographic Primitives Based on the Hardness of Decoding Random Linear Code (0000-00-00)
  Appelbaum, Benny
• TR-846-08 - Cooperative Content Distribution and Traffic Engineering in an ISP Network (0000-00-00)
  Chiang, Mung / Rexford, Jennifer / Zhang-Shen, Rui / Jiang, Joe Wenjie
• TR-847-09 - Routers of the AS, Unite! Guaranteeing a Network Realizes Its Routing Policy (0000-00-00)
  Wilfong, Gordon T. / Rexford, Jennifer / Zhang-Shen, Rui
• TR-849-09 - Comparing the Security Performance of Network-Layer and Application-Layer Anycast (0000-00-00)
  Suchara, Martin / Avramopoulos, Ioannis
• TR-850-09 - Namecast: A Reliable, Flexible, Scalable DNS Hosting System (0000-00-00)
  Freedman, Michael J. / Rexford, Jennifer / Schran, Andrew
• TR-848-09 - New Approximation Algorithms for Degree Lower-bounded Arborescences and Max-Min Allocation (0000-00-00)
  Charikar, Moses / Bateni, Hossein / Guruswami, Venkatesan
• TR-851-09 - Algorithms for Analyzing and Interrogating Protein Interaction Networks (thesis) (0000-00-00)
  Banks, Eric
• TR-852-09 - Ideals and Reality: Adopting Secure Technologies and Developing Secure Habits to Prevent Message Disclosure (thesis) (0000-00-00)
  Gaw, Shirley
• TR-853-09 - Advances in Edge-Diffraction Modeling for Virtual-Acoustic Simulations (thesis) (0000-00-00)
  Calamia, Paul T.
• TR-854-09 - Rendering Filters for Controlling Detail and Creating Effects (thesis) (0000-00-00)
  DeCoro, Christopher
• TR-855-09 - Algorithms for the Identification of Functional Sites in Proteins (thesis) (0000-00-00)
  Capra, Tony
• TR-856-09 - Line Drawings of 3D Shapes (thesis) (0000-00-00)
  Cole, Forrester
• TR-857-09 - Parallelization Techniques with Improved Dependence Handling (thesis) (0000-00-00)
  Raman, Easwaran
• TR-858-09 - A Principled Approach to Managing Routing in Large ISP Networks (0000-00-00)
  Wang, Yi
• TR-859-09 - Investigating Security Failures and their Causes: An Analytic Approach to Computer Security (thesis) (0000-00-00)
  Halderman, John A.
• TR-860-09 - Scalable and Efficient Self-configuring Networks (thesis) (0000-00-00)
  Kim, Changhoon
• TR-867-09 - A constant-round public-coin protocol for sampling with size, and applications (0000-00-00)
  Xiao, David / Mahmoody Ghidary, Mohammad / Haitner, Iftach
• TR-868-09 - Decentralized Server Selection Through Joint Proximity and Load Optimization (0000-00-00)
  Freedman, Michael J. / Rexford, Jennifer / Wendell, Patrick / Jiang, Joe Wenjie
• TR-861-09 - Reducing Memory Requirements for Routing Protocols (thesis) (0000-00-00)
  Karpilovsky, Elliott
• TR-862-09 - Privacy-Preserving Collaborative Anomaly Detection (thesis) (0000-00-00)
  Ringberg, Haakon
• TR-863-09 - TAPESTREA: Techniques and Paradigms for Expressive Synthesis, Transformation, and Re-composition of Environmental Audio (thesis) (0000-00-00)
  Misra, Ananya
• TR-864-09 - MIRO: Multi-path Interdomain ROuting (thesis) (0000-00-00)
  Xu, Wen
• TR-865-09 - Design and Implementation of Secure Trusted Overlay Networks (thesis) (0000-00-00)
  Jacob, Matthias
• TR-866-09 - New Perspectives on the Complexity of Computational Learning, and Other Problems in Theoretical Computer Science (thesis) (0000-00-00)
  Xiao, David
• TR-870-09 - A Context-free Markup Language for Semi-structured Text (0000-00-00)
  Xi, Qian / Walker, David
• TR-871-10 - Analysis of Global Properties of Shapes (thesis) (0000-00-00)
  Golovinskiy, Aleksey
• TR-872-10 - The Approximation Modality in Models of Higher-Order Types (thesis) (0000-00-00)
  Richards, Christina
• TR-873-10 - Low-Entropy Computational Geometry (thesis) (0000-00-00)
  Mulzer, Wolfgang
• TR-874-10 - Multi-Feature Matching of Fresco Fragments (0000-00-00)
  Funkhouser, Thomas / Toler-Franklin, Corey / Brown, Benedict J. / Rusinkiewicz, Szymon / Weyrich, Tim
• TR-875-10 - Estimating Application Hierarchical Bandwidth Requirements using BSP Family Models (0000-00-00)
  Singh, Jaswinder Pal / Soviani, Adrian
• TR-876-10 - Concurrent Separation Logic for Pipelined Parallelization (0000-00-00)
  Walker, David / Appel, Andrew W. / Bell, Christian
• TR-877-10 - Scalable Flow-Based Networking with DIFANE (0000-00-00)
  Freedman, Michael J. / Yu, Minlan / Rexford, Jennifer / Wang, Jia
• TR-879-10 - Communication Beyond Words: Multimedia Approaches to Bridging Language Disabilities and Barriers (thesis) (0000-00-00)
  Ma, Xiaojuan
• TR-878-10 - Linguistic Extensions of Topic Models (thesis) (0000-00-00)
  Boyd-Graber, Jordan
• TR-880-10 - Improving Word-Finding in Assistive Communication Tools: A Mixed-Initiative Approach (thesis) (0000-00-00)
  Nikolova, Sonya
• TR-881-10 - BGP Safety with Spurious Updates (0000-00-00)
  Suchara, Martin / Rexford, Jennifer / Fabrikant, Alex
• TR-882-10 - Studies in the Efficiency and (versus) Security of Cryptographic Tasks (thesis) (0000-00-00)
  Mahmoody Ghidary, Mohammad
• TR-883-10 - Reinforcement Learning Without Rewards (0000-00-00)
  Syed, Umar
• TR-884-10 - Linear Maps (0000-00-00)
  Walker, David / Lahiri, Shuvendu K. / Qadeer, Shaz
• TR-885-10 - Service-Centric Networking with SCAFFOLD (0000-00-00)
  Freedman, Michael J. / Rexford, Jennifer / Shue, David / Arye, Matvey / Gopalan, Prem / Ko, Steven / Nordstrom, Erik
• TR-869-09 - BUFFALO: Bloom Filter Forwarding Architecture for Large Organizations (0000-00-00)
  Yu, Minlan / Rexford, Jennifer / Fabrikant, Alex
• TR-886-10 - Probabilistic Graphical Models for the Analysis and Synthesis of Musical Audio (thesis) (0000-00-00)
  Hoffman, Matthew
• TR-887-10 - On the Complexity of Unique Games and Graph Expansion (0000-00-00)
  Steurer, David
• TR-888-10 - Sparse Approximation and Compressed Sensing Using the Reed-Muller Sieve (0000-00-00)
  Jafarpour, Sina / Kent, Jeremy / Calderbank, Robert / Howard, Stephen
• TR-890-10 - Benchmarking Modern Multiprocessors (thesis) (0000-00-00)
  Bienia, Christian
• TR-889-10 - Forest: A Language and Toolkit For Programming with Filestores (0000-00-00)
  Walker, David / Zhu, Kenny Q. / Fisher, Kathleen / Foster, Nate
• TR-891-10 - Real-Time Human Interaction with Supervised Learning Algorithms for Music Composition and Performance (thesis) (0000-00-00)
  Fiebrink, Rebecca
• TR-892-10 - Efficient and Comprehensible Visualization of Complex 3-D Scenes (thesis) (0000-00-00)
  Burns, Michael
• TR-893-11 - A Direct-Access File System for a New Generation of Flash Memory (thesis) (0000-00-00)
  Josephson, William
• TR-894-11 - FMRI "Mind Readers": Sparsity, Spatial Structure, and Reliability (thesis) (0000-00-00)
  Carroll, Melissa
• TR-895-11 - Matching, Archiving and Visualizing Cultural Heritage Artifacts Using Multi-Channel Images (thesis) (0000-00-00)
  Toler-Franklin, Corey
• TR-896-11 - PatchMatch: A Fast Randomized Matching Algorithm with Application to Image and Video (thesis) (0000-00-00)
  Barnes, Connelly
• TR-897-11 - Error Correction and the Cryptographic Key (thesis) (0000-00-00)
  Heninger, Nadia
• TR-898-11 - Frenetic: A Network Programming Language (MSE thesis) (0000-00-00)
  Harrison, Rob
• TR-899-11 - Openflow-Based Load Balancing Gone Wild (MSE thesis) (0000-00-00)
  Wang, Richard
• TR-900-11 - FlexMove: A Protocol for Flexible Addressing on Mobile Devices (MSE thesis) (0000-00-00)
  Arye, Matvey
• TR-901-11 - A Primal-Dual Clustering Technique with Applications in Network Design (thesis) (0000-00-00)
  Bateni, Hossein
• TR-902-11 - Reliable Internet Routing (thesis) (0000-00-00)
  Suchara, Martin
• TR-903-11 - An Incremental Deployment Strategy for Serval (0000-00-00)
  Podmayersky, Brandon
• TR-904-11 - Forest 1.0: A Language and Toolkit for Programming with Filestores (0000-00-00)
  Walker, David / Zhu, Kenny Q. / Fisher, Kathleen / Foster, Nate
• TR-905-11 - Efficient Algorithms for Liquid Chromatography Coupled Mass Spectrometry Based Protein Quantification (0000-00-00)
  Khan, Zia
• TR-906-11 - Scalable Management of Enterprise and Data-Center Networks (0000-00-00)
  Yu, Minlan
• TR-907-11 - Dynamic Hair Capture (0000-00-00)
  Rusinkiewicz, Szymon / Luo, Linjie / Li, Hao / Paris, Sylvain / Pauly, Mark / Weise, Thibaut
• TR-908-11 - Understanding and Improving Modern Web Traffic Caching (0000-00-00)
  Ihm, Sunghwan
• TR-909-11 - Minimizing Wide-Area Performance Disruptions in Inter-Domain Routing (0000-00-00)
  Zhu, Yaping
• TR-911-11 - Deterministic Compressed Sensing (0000-00-00)
  Jafarpour, Sina
• TR-912-11 - VICCI: A Programmable Cloud-Computing Research Testbed (0000-00-00)
  Peterson, Larry / Bavier, Andy / Bhatia, Sapan
• TR-913-11 - High-Dimensional Similarity Search for Large Datasets (0000-00-00)
  Dong, Wei
• TR-914-11 - Cloud Resident Data Center (0000-00-00)
  Rexford, Jennifer / Drutskoy, Dmitry / Keller, Eric / Szefer, Jakub
• TR-910-11 - Game Theory and Optimization in Boosting (0000-00-00)
  Mukherjee, Indraneel
• TR-915-11 - A Study of Privacy and Fairness in Sensitive Data Analysis (0000-00-00)
  Hardt, Moritz
• TR-916-11 - Similarity Search with Multimodal Data (0000-00-00)
  Wang, Zhe
• TR-917-11 - Rehoming Edge Links for Better Traffic Engineering (0000-00-00)
  Rexford, Jennifer / Schapira, Michael / Keller, Eric
• TR-918-11 - Network-based Analysis of Protein Function (0000-00-00)
  Song, Jimin
• TR-919-12 - Wide-Area Traffic Management for Cloud Services (0000-00-00)
  Jiang, Joe Wenjie
• TR-920-12 - Runtime Speculative Software-only Fault Tolerance (0000-00-00)
  Zhang, Yun
• TR-921-12 - Breaking Assumptions: Distinguishing Between Seemingly Identical Items Using Cheap Sensors (0000-00-00)
  Clarkson, Will
• TR-922-12 - CellSDN: Software-Defined Cellular Networks (0000-00-00)
  Rexford, Jennifer / Li, Li Erran / Mao, Z. Morley
• TR-924-12 - Control of Sensitive Data in Systems with Novel Functionality (0000-00-00)
  Calandrino, Joseph
• TR-925-12 - Privacy and Integrity in the Untrusted Cloud (0000-00-00)
  Feldman, Ariel J.
• TR-926-12 - Live Migration of an Entire Network (and its Hosts) (0000-00-00)
  Rexford, Jennifer / Arora, Dushyant / Perez Botero, Diego / Keller, Eric
• TR-923-12 - Large Scale Visual Recognition (0000-00-00)
  Deng, Jia
• TR-927-12 - Optimizing Implicit Proxy Placement to Evade Traffic Filters (0000-00-00)
  Cesareo, Jacopo
• TR-928-12 - Greedy Algorithms for Online Allocation Problems with Stochastic Input (0000-00-00)
  Dhesi, Aman
• TR-929-12 - Software-Defined Network Virtualization with FlowN (0000-00-00)
  Drutskoy, Dmitry
• TR-930-12 - Hiding Amongst the Clouds: A Proposal for Cloud-Based Onion Routing (0000-00-00)
  Jones, Nicholas
• TR-931-12 - Reward Preference in Video Games (0000-00-00)
  Kao, Kung-Chien Dominic
• TR-932-12 - Twitter News: Harnessing Twitter to Build an Article Recommendation System (0000-00-00)
  Suleimenov, Arman
• TR-933-12 - Hierarchical Bayesian Modeling: Efficient Inference and Applications (0000-00-00)
  Wang, Chong
• TR-934-12 - Scaffold: Quantum Programming Language (0000-00-00)
  Suchara, Martin / Martonosi, Margaret / Abhari, Ali Javadi / Black,John / Brown, Ken / Brun, Todd / Catu, Oana / Chakrabati, Amlan / Chiang, Chen-Fu / Chong, Fred / Dousti, Mohammad Javad / Faruque, Arvin / Pedram, Massoud / Svec, Lukas / Vanderwilt, Seth
• TR-935-12 - Beyond Worst-Case Analysis in Approximation Algorithms (0000-00-00)
  Vijayaraghavan, Aravindan
• TR-936-12 - Operational Refinement for Compiler Correctness (0000-00-00)
  Dockins, Rob
• TR-937-12 - Finding Dense Structures in Graphs and Matrices (0000-00-00)
  Bhaskara, Aditya
• TR-938-12 - Designing Software to Shape Open Government Policy (0000-00-00)
  Yu, Harlan
• TR-939-12 - Understanding Resource Usage and Performance in Wide-Area Distributed Systems (0000-00-00)
  Kim, Wonho
• TR-940-12 - Bridging the Memory-Storage Gap (0000-00-00)
  Badam, Anirudh
• TR-941-12 - Content Conditioning and Distribution for Dynamic Virtual Worlds (0000-00-00)
  Terrace, Jeffrey
• TR-942-12 - Approximability and Mathematical Relaxations (0000-00-00)
  Manokaran, Rajsekar
• TR-944-13 - Applications of Latent Variable Models in Modeling Influence and Decision Making (0000-00-00)
  Gerrish, Sean
• TR-945-13 - Automatic Parallelization for GPUs (0000-00-00)
  Jablin, Thomas
• TR-947-13 - Understanding the Structure of Large, Diverse Collections of Shapes (0000-00-00)
  Kim, Vladimir
• TR-948-13 - Stronger Consistency and Semantics for Low-Latency Geo-Replicated Storage (0000-00-00)
  Lloyd, Wyatt
• TR-949-13 - Applications of Machine Learning to Location Data (0000-00-00)
  Kapicioglu, Berk
• TR-950-13 - SoftCell: Taking control of Cellular Core Networks (0000-00-00)
  Rexford, Jennifer / Jin, Xin / Vanbever, Laurent / Li, Li Erran
• TR-095-87 - Some Techniques for Geometric Searching with Implicit Set Representations (0000-00-00)
  Chazelle, Bernard
• TR-130-87 - Analysis of a Simple Yet Efficient Convex Hull Algorithm (0000-00-00)
  Sedgewick, Robert / Golin, Mordecai
• TR-330-91 - The Analysis of Heapsort (0000-00-00)
  Schaffer, Russel W. / Sedgewick, Robert
• TR-966-13 - Infinite CacheFlow in Software-Defined Networks (0000-00-00)
  Rexford, Jennifer / Walker, David / Katta, Naga
• TR-951-13 - Semantic Language Extensions for Implicit Parallel Programming (0000-00-00)
  Prabhu, Prakash
• TR-952-13 - ASAP: Automatic Speculative Acyclic Parallelization for Clusters (0000-00-00)
  Kim, Hanjun
• TR-946-13 - New Systems and Algorithms for Scalable Fault Tolerance (0000-00-00)
  Sen, Siddhartha
• TR-943-12 - Scalable, Optimal Flow Routing in Datacenters via Local Link Balancing (0000-00-00)
  Freedman, Michael J. / Ihm, Sunghwan / Sen, Siddhartha / Shue, David
• TR-953-13 - ProActive Routing in Scalable Data Centers with PARIS (0000-00-00)
  Arora, Dushyant
• TR-957-13 - Localization Using Feature Matching in Near-Random Textures (0000-00-00)
  Liu, Siyu
• TR-958-13 - Parallel Consistent Network Updates (0000-00-00)
  Nedev, Nayden
• TR-959-13 - Real Time Three Dimensional Motion Tracking Using Smartphones (0000-00-00)
  Nwanna, Tobechukwu
• TR-960-13 - Pwnetizer: Improving Availability in Cloud Computing through Fast Cloning and I/O Randomization (0000-00-00)
  Perez Botero, Diego
• TR-961-13 - Automatically Exploiting Cross-Invocation Parallelism Using Runtime Information (0000-00-00)
  Huang, Jialu
• TR-962-13 - Combinatorial Code Analysis for Understanding Biological Regulation (0000-00-00)
  Jiang, Peng
• TR-963-13 - New Results in the Theory of Approximation: Fast Graph Algorithms and Inapproximability (0000-00-00)
  Sachdeva, Sushant
• TR-964-13 - Organization and Function Acquisition in Protein-Protein Interaction Networks (0000-00-00)
  Farnham, Jesse
• TR-965-13 - Integrating Genomic Data to Build Networks for Proteins and Small Molecules (0000-00-00)
  Bell, Ana
• TR-954-13 - Flow-Guided Stylized Keyframe Animation (0000-00-00)
  Browning, Mark
• TR-955-13 - GrapeVine: Tracking the Pulse of Businesses using Twitter (0000-00-00)
  Ghosh, Arpan
• TR-956-13 - BioTurk: Crowdsourcing the Construction and Augmentation of Biological Pathways (0000-00-00)
  Koruga, Sasha
• TR-968-14 - Provable Algorithms for Machine Learning Problems (0000-00-00)
  Ge, Rong
• TR-970-14 - Composition-Aware Scene Optimization for Product Images (0000-00-00)
  Funkhouser, Thomas / Liu, Tianqiang / Li, Wilmot / McCann, Jim
• TR-971-14 - Computational Functional Genomics for Directing Biological Discoveries (0000-00-00)
  Park, Christopher
• TR-969-14 - Approximation Algorithms for Network Routing and Facility Location Problems (0000-00-00)
  Li, Shi
• TR-972-14 - A Proof Theory for Loop-Parallelizing Transformations (0000-00-00)
  Bell, Christian
• TR-973-14 - Niagara: Scalable Load Balancing on Commodity Switches (2014-06-09)
  Rexford, Jennifer / Kang, Nanxi / Ghobadi, Monia / Reumann, John / Shraer, Alexander
• TR-974-14 - Alignment of Images Captured Under Different Light Directions (2014-07-02)
  Rusinkiewicz, Szymon / Sema Berkiten
• TR-975-14 - RINC: Real-Time Inference-based Network Diagnosis in the Cloud (2015-01-05)
  Rexford, Jennifer / Ghasemi, Mojgan / Benson, Theophilus
• TR-976-15 - Scalable inference of discrete data: user behavior, networks and genetic variation (2015-01-09)
  Gopalan, Prem
• TR-977-15 - RIPQ: Advanced Photo Caching on Flash for Facebook (2015-01-15)
  Kumar, Sanjeev / Tang, Linpeng / Huang, Qi / Lloyd, Wyatt / Li, Kai
• TR-978-15 - Packet Traceback for Software-Defined Networks (2015-02-13)
  Rexford, Jennifer / Zhang, Harvest / Reich, Joshua
• TR-979-15 - SHAPE ANALYSIS WITH CROWDSOURCED DATA (2014-06-01)
  Chen, Xiaobai
• TR-980-15 - Verified Separate Compilation for C (2015-04-08)
  Stewart, Gordon
• TR-596-14 - Multi-tenant Resource Allocation For Shared Cloud Storage (2014-06-03)
  Shue, David
• TR-977-14 - A HYBRID SPMD – COARSE GRAIN DATAFLOW PARALLEL PROGRAMMING MODEL (2014-06-03)
  Soviani, Adrian
• TR-978-14 - Data-driven Digital Drawing and Painting (2014-06-03)
  Lu, Jingwan
• TR-976-14 - Multi-tenant Resource Allocation For Shared Cloud Storage (2014-06-03)
  Shue, David
• TR-979-14 - Web Privacy Measurement: Early Results, Engineering Challenges and Selected Applications (2014-06-01)
  Eubank, Christian
• TR-981-15 - ArMOR: Defending Against Memory Consistency Model Mismatches in Heterogeneous Architectures (2015-04-20)
  Martonosi, Margaret / Lustig, Daniel / Trippel, Caroline / Pellauer, Michael
• TR-981-15 - ArMOR: Defending Against Memory Consistency Model Mismatches in Heterogeneous Architectures (2015-04-20)
  Martonosi, Margaret / Lustig, Daniel / Trippel, Caroline / Pellauer, Michael
• TR-982-15 - Efficient interfaces for accurate annotation of 3D point clouds (2015-03-13)
  Boyko, Aleksey
• TR-983-15 - Optimizing Full Correlation Matrix Analysis of fMRI Data on Intel R Xeon PhiTM Coprocessors (2015-05-13)
  Wang, Yida / Anderson, Michael / Cohen, Jonathan / Heinecke, Alexander / Li, Kai / Satish, Nadathur / Sundaram, Narayanan / Turk-Browne, Nicholas / Willke, Ted
• TR-985-15 - A Novel Domain Adaptation Solution to the Transductive Transfer Learning Problem (2015-06-11)
  Ash, Jordan
• TR-986-15 - Upgrading HTTPS in Mid-Air: An Empirical Study of Strict Transport Security and Key Pinning (2015-06-11)
  Kranch, Micael / Bonneau, Joseph
• TR-990-15 - Integrating Network Management For Cloud Computing Services (2015-06-11)
  Sun, Peng
• TR-991-15 - Exoskeleton: Fast Cache-enabled Load Balancing for Key-Value Stores (2015-06-11)
  Sethi, Raghav
• TR-992-15 - Label Optimal Regret Bounds for Online Local Learning (2015-06-11)
  Lai, Kevin
• TR-993-15 - New methods for the computational fabrication of appearance (2015-06-11)
  Pereira, Thiago
• TR-994-15 - Compiling Path Queries (2015-10-09)
  Narayana, Srinivas / Tahmasbi, Mina / Rexford, Jennifer / Walker, David
• TR-995-15 - Multi-Commodity Flow with In-Network Processing (2015-10-19)
  Charikar, Moses / Naamad, Yonatan / Rexford, Jennifer / Zou, Kelvin
• TR-996-15 - COMPUTATION IMPROVES INTERACTIVE SYMBOLIC EXECUTION (2015-11-06)
  Dodds, Josiah
• TR-997-15 - FLEXIBLE ENTERPRISE NETWORK MANAGEMENT ON COMMODITY SWITCHE (2015-12-14)
  Kang, Nanxi
• TR-998-15 - To Coordinate Or Not To Coordinate? Wide-Area Traffic Management for Data Centers (2012-12-30)
  Chiang, Mung / Rexford, Jennifer / Jiang, Joe Wenjie / Narayana, Srinivas
• TR-977-16 - An RGBN Benchmark (2016-02-02)
  Rusinkiewicz, Szymon / Sema Berkiten
• TR-978-16 - Targeted analyses of very large genome-wide data collections (2016-02-18)
  Lee, Young-Suk
• TR-979-16 - Leveraging Electromagnetic Polarization in a Two-Antenna Motion Tracking System (2016-03-15)
  Shangguan, Longfei / Jamieson, Kyle
• TR-980-16 - New Abstractions for Mobile Connectivity and Resource Management (2016-04-26)
  Kiefer, Robert
• TR-981-16 - DECLARATIVE NETWORK PATH QUERIES (2016-05-12)
  Narayana, Srinivas
• TR-981-16 - DECLARATIVE NETWORK PATH QUERIES (2016-05-12)
  Narayana, Srinivas
• TR-983-16 - The Impact of Transaction Fees on Bitcoin Mining Strategies (2016-05-16)
  Carlsten, Miles
• TR-983-16 - The Impact of Transaction Fees on Bitcoin Mining Strategies (2016-05-16)
  Carlsten, Miles
• TR-982-16 - Compression of Interdomain SDN Policies at Exchange Points (2016-05-16)
  MacDavid, Robert
• TR-984-16 - On edge colouring, fractionally colouring and partitioning graphs (2016-05-18)
  Edwards, Katherine
• TR-985-16 - Incremental Full Correlation Matrix Analysis for Real-Time fMRI Studies (2016-05-31)
  Li, Kai / Sundaram, Narayanan / Wang, Yida / Keller, Bryn / Capotă, Mihai / Anderson, Michael / Cohen, Jonathan / Turk-Browne, Nicholas / Willke, Theodore
• TR-985-16 - Incremental Full Correlation Matrix Analysis for Real-Time fMRI Studies (2016-05-31)
  Li, Kai / Sundaram, Narayanan / Wang, Yida / Keller, Bryn / Capotă, Mihai / Anderson, Michael / Cohen, Jonathan / Turk-Browne, Nicholas / Willke, Theodore
• TR-986-16 - DYNAMIC CONTROL OF SOFTWARE-DEFINED NETWORKS (2016-06-16)
  Jin, Xin
• TR-987-16 - SNAP: Stateful Network-Wide Abstractions for Packet Processing (2016-07-05)
  Rexford, Jennifer / Walker, David / Tahmasbi, Mina / Koral, Yaron / Greenberg, Michael
• TR-988-16 - CAPTURING, PROCESSING, AND SYNTHESIZING SURFACES WITH DETAILS (2016-07-14)
  Sema Berkiten
• TR-988-16 - CAPTURING, PROCESSING, AND SYNTHESIZING SURFACES WITH DETAILS (2016-07-14)
  Sema Berkiten
• TR-989-16 - Computational Methods for Exploring Human Behavior (2016-08-25)
  Chaney, Allison
• TR-990-16 - DETECTING GENE SIMILARITIES USING LARGE-SCALE CONTENT-BASED SEARCH SYSTEMS (2016-08-29)
  Zhu, Qian
• TR-991-16 - Systems and Algorithms for High-Performance, Cost-Efficient Key-Value Storage (2016-09-14)
  Li, Xiaozhou
• TR-992-16 - A Framework for Access Control and Resource Allocation in Federations (0000-00-00)
  Sevinc, Soner
• TR-993-16 - Compression of Interdomain SDN Policies at Exchange Points (2016-05-10)
  MacDavid, Robert
• TR-994-16 - BUILDING EFFICIENT AND RELIABLE SOFTWARE-DEFINED NETWORKS (2016-10-11)
  Katta, Naga
• TR-995-16 - INFORMATION THEORETIC RELAXATIONS IN COMPLEXITY THEORY (2016-11-14)
  Garg, Ankit
• TR-996-16 - Lower Bounds for Error-Correcting Codes with Local Recovery (2016-11-29)
  Hu, Guangda
• TR-997-16 - TRUSTGUARD: A CONTAINMENT ARCHITECTURE WITH VERIFIED OUTPUT (2016-12-02)
  Ghosh, Soumyadeep
• TR-998-16 - Time and Space in Proof Complexity (2016-12-07)
  Beck, Christopher
• TR-999-17 - Improving the Coq proof automation tactics of the Verified Software Toolchain, based on a case study on verifying a C implementation of the AES encryption algorithm (2017-04-13)
  Gruetter, Samuel
• TR-000-17 - Supervised Machine Learning for Greedy Agglomeration in Connectomics (2017-04-24)
  Kathpalia, Karan
• TR-001-17 - Advances in decision-making under uncertainty: inference, finite-time analysis, and health applications (2017-04-24)
  Wang, Yingfei
• TR-002-17 - PHOTOMANIPULATION, THE EASY WAY (2017-05-02)
  Fried, Ohad
• TR-003-17 - TRUST-TO-TRUST DESIGN OF A NEW INTERNET (2017-05-09)
  Ali, Muneeb
• TR-004-17 - Temporally Dependent Mappings Between fMRI Responses and Natural Language Descriptions of Natural Stimuli (2017-05-17)
  Vodrahalli, Kiran
• TR-005-17 - Tools and Techniques for Rhythmic Synchronization in Networked Musical Performance (2017-05-23)
  Oda, Reid
• TR-005-17 - Tools and Techniques for Rhythmic Synchronization in Networked Musical Performance (2017-05-23)
  Oda, Reid
• TR-005-17 - Tools and Techniques for Rhythmic Synchronization in Networked Musical Performance (2017-05-23)
  Oda, Reid
• TR-006-17 - Boosted Stochastic Backpropagation for Variational Inference (2017-05-24)
  Jerfel, Ghassen
• TR-007-17 - Streaming Data Visualization for Network Security (2017-05-24)
  Qiu, Huilian
• TR-008-17 - Black Box Variational Inference: Scalable, Generic Bayesian Computation and its Applications (2017-09-26)
  Ranganath, Rajesh
• TR-009-17 - NEW TECHNIQUES FOR LEARNING AND INFERENCE IN BAYESIAN MODELS (2017-10-13)
  Risteski, Andrej
• TR-009-17 - NEW TECHNIQUES FOR LEARNING AND INFERENCE IN BAYESIAN MODELS (2017-10-13)
  Risteski, Andrej
• TR-010-17 - Transforming MIMO BPSK Maximum Likelihood Detection into QUBO Form (2017-11-28)
  Jamieson, Kyle / Kim, Minsung
• TR-004-18 - Implementing a high-performance key-value store using a trie of B+-Trees with cursors (2018-05-04)
  Adewale, Oluwatosin
• TR-001-18 - Pixel-Level Prediction: From Geometry to Semantics (2018-03-27)
  Yu, Fu (Fisher)
• TR-002-18 - QUANTIFYING THE EXTENT TO WHICH POPULAR PRE-TRAINED CONVOLUTIONAL NEURAL NETWORKS IMPLICITLY LEARN HIGH-LEVEL PROTECTED ATTRIBUTES (2018-04-20)
  Roberts, Claudia
• TR-003-18 - TRELLIS: VISUAL TOPIC AGGREGATION (2018-05-03)
  Schaffner, Thomas
• TR-005-18 - Beyond Grand Theft Auto V for Training, Testing and Enhancing Deep Learning in Self Driving Cars (2018-05-04)
  Martinez, Mark
• TR-006-18 - Network-Wide Heavy-Hitter Detection for Real-Time Telemetry (2018-05-11)
  Cai, Qizhe
• TR-007-18 - On the Connections between Compressed Sensing, Learning and Natural Language Representations (2018-05-14)
  Saunshi, Nikunj-Umesh
• TR-008-18 - On the Compressed Sensing Properties of Word Embeddings (2018-05-14)
  Khodak, Mikhail
• TR-009-18 - Privacy Infrastructure for Content and Communications (2019-05-16)
  Edmundson, Anne
• TR-010-18 - RESOURCE MANAGEMENT FOR ADVANCED DATA ANALYTICS AT LARGE SCALE (2018-05-17)
  Zhang, Haoyu
• TR-011-18 - A No-Regret Framework For Deriving Optimal Strategies With Emphasis On Trading In Electronic Markets (2018-05-18)
  Kalita, Pranjit K.
• TR-012-18 - Speech Synthesis for Text-Based Editing of Audio Narration (2018-05-21)
  Jin, Zeyu
• TR-013-18 - PERSONAL PHOTO ENHANCEMENT (2018-05-22)
  Chang, Huiwen
• TR-014-18 - Wide-area Software-defined Storage (2018-05-22)
  Nelson, Jude C.
• TR-016-18 - Locality in Coding Theory (2018-06-11)
  Gopi, Sivakanth
• TR-017-18 - Algorithms in Strategic or Noisy Environments (2018-06-14)
  Mao, Jieming
• TR-018-18 - Scheduling Computation Graphs of Deep Learning Models on Manycore CPUs (2018-07-09)
  Li, Kai / Tang, Linpeng / Wang, Yida / Willke, Theodore
• TR-019-18 - Learning Algorithms in Strategic Environments (2018-08-08)
  Schneider, Jonathan
• TR-020-18 - Data-Driven 3D Scene Understanding (2018-10-16)
  Song, Shuran
• TR-021-18 - From Pixels to Scenes: Recovering 3D Geometry and Semantics for Indoor Environments (2018-10-29)
  Zhang, Yinda
• TR-022-18 - LEVERAGING DISTRIBUTED STORAGE REDUNDANCY IN DATACENTERS (2018-12-03)
  Tai, Amy
• TR-002-19 - Learning and Deploying Local Features (2019-04-23)
  Zhang, Linguang
• TR-003-19 - SCALABLE, NETWORK-WIDE TELEMETRY WITH PROGRAMMABLE SWITCHES (2019-05-03)
  Harrison, Robert
• TR-003-19 - SCALABLE, NETWORK-WIDE TELEMETRY WITH PROGRAMMABLE SWITCHES (2019-05-03)
  Harrison, Robert
• TR-004-19 - Stateful Programming of High-Speed Network Hardware (2019-05-07)
  Tahmasbi Arashloo, Mina
• TR-005-19 - UTILITY SCHEDULING FOR MULTI-TENANT CLUSTERS (2019-05-10)
  Stafman, Logan
• TR-005-19 - UTILITY SCHEDULING FOR MULTI-TENANT CLUSTERS (2019-05-10)
  Stafman, Logan
• TR-006-19 - Meta-Learning for Data and Processing Efficiency (2019-05-10)
  Ravi, Sachin
• TR-007-19 - RGBD Pipeline for Indoor Scene Reconstruction and Understanding (2019-07-15)
  Halber, Maciej
• TR-008-19 - Deciphering Disease Genomes in a Network Context (2019-08-29)
  Hristov, Borislav
• TR-010-19 - Passive OS Fingerprinting on Commodity Switches (2019-09-27)
  Rexford, Jennifer / Bai, Sherry / Kim, Hyojoon
• TR-011-19 - Verified Extraction for Coq (2019-10-07)
  Savary Belanger, Olivier
• TR-012-19 - Concurrency and Security Verification in Heterogeneous Parallel Systems (2019-10-07)
  Trippel, Caroline
• TR-013-19 - Learning Visual Affordances for Robotic Manipulation (2019-10-08)
  Zeng, Andy
• TR-001-20 - Joint Optimization for Robust Network Design and Operation (2020-02-12)
  Gossels, Jennifer
• TR-014-19 - Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language (2020-03-20)
  Cuellar, Santiago / Giannarakis, Nick / Madiot, Jean- Marie / Mansky, William / Beringer, Lennart / Cao, Qinxiang / Appel, Andrew
• TR-002-20 - Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency (2020-03-20)
  Cuellar, Santiago
• TR-003-20 - PACKETSCOPE: MONITORING THE PACKET LIFECYCLE INSIDE A SWITCH (2020-06-29)
  Teixeira, Ross
• TR-006-20 - Verified Optimizations for Functional Languages (2020-11-02)
  Paraskevopoulou, Zoe
• TR-007-20 - Progressive Automated Formal Verification of Memory Consistency in Parallel Processors (2020-11-19)
  Manerkar, Yatin
• TR-004-20 - Tolerating Slowdowns in Replicated State Machines using Copilots: Pseudocode and Proof of Correctness (2021-08-31)
  Lloyd, Wyatt / Sen, Siddhartha / Ngo, Khiem
• TR-005-20 - Performance-Optimal Read-Only Transactions (Extended Version) (2022-04-12)
  Lloyd, Wyatt / Sen, Siddhartha / Lu, Haonan
• TR-001-22 - A Serverless Architecture for Application-Level Orchestration (2022-11-28)
  Liu, David
• TR-002-22 - Human-machine Collaboration in Real-World Machine-Learning Applications (2022-12-20)
  Roberts, Claudia