• Academics
  • Course Schedule
  • Course Catalog
  • Graduate Program
  • Undergraduate Programs
  • Interdisciplinary Programs
• Research
  • Research Areas
  • Research Projects
  • Public Lectures and Colloquia
  • Technical Reports
• People
  • Faculty
  • Researchers
  • Technical Staff
  • Administrative Staff
  • Graduate Students
  • Undergraduate Students
  • Alumni/ae
• Connect
  • Collaborations
  • Industrial Affiliates
  • Libraries
• Jobs
• About
  • Contact Us
  • News and Events
  • Department Information
  • Visit Us

Technical Reports

• Badam, Anirudh
  • Bridging the Memory-Storage Gap, TR-940-12, November 2012
• Balasubramanian, K.
  • An Euclidean Metric for Genetic Sequence Comparison (Thesis), TR-332-91, October 1991
  • Array Access Bound for Block Storage Memory Systems, TR-042-86, June 1986
  • Improved Sorting Algorithms for Parallel Computers, TR-048-86, August 1986
  • Optimal Parallel Sorting on a Linear Processor Array, TR-046-86, July 1986
  • Providing Fault Tolerance In Parallel Storage Systems, TR-057-86, November 1986
• Balfanz, Dirk
  • A Java Filter, TR-567-97, December 1997
  • Access Control for Ad-hoc Collaboration (Thesis), TR-634-01, January 2001
  • Experience with Secure Multi-Processing in Java, TR-560-97, September 1997
  • Extensible Security Architectures for Java, TR-546-97, April 1997
  • Java Security: Web Browsers and Beyond, TR-566-97, February 1997
  • Web Spoofing: An Internet Con Game, TR-540-96, December 1996
• Banks, Eric
  • Algorithms for Analyzing and Interrogating Protein Interaction Networks (thesis), TR-851-09, February 2009
• Barak, Boaz
  • A Cryptographic Study of Secure Fault Detection in the Internet, TR-800-07, October 2007
  • A Cryptographic Study of Secure Internet Measurement, TR-783-07, May 2007
  • Path-Quality Monitoring in the Presence of Adversaries, TR-807-07, December 2007
• Barbara, Daniel
  • A Class of Randomized Strategies for Low-Cost Comparison of File Copies, TR-176-88, September 1988
  • A Probabilistic Relational Data Model, TR-215-89, January 1989
  • Augmenting Availability in Distributed File Systems, TR-234-89, October 1989
  • Data Caching in an Information Retrieval System, TR-065-86, Decmeber 1986
  • Data Sharing in a Large Heterogeneous Environment, TR-272-90, July 1990
  • Distributed Computing Research at Princeton - 1985, TR-029-86, January 1986
  • Exploiting Symmetries for Low-Cost Comparison of File Copies, TR-117-87, November 1987
  • FACE: Enhancing Distributed File Systems for Autonomous Computing Environments, TR-214-89, March 1989
  • Increasing Availability under Mutual Exclusion Constraints with Dynamic Vote Reassignment, TR-056-86, November 1986
  • Maintaining Availability of Replicated Data in a Dynamic Failure Environment, TR-064-86, December 1986
  • Mutual Exclusion in Partitioned Distributed Systems, TR-001-85, July 1985
  • Negotiating Data Access in Federated Database Systems, TR-160-88, June 1988
  • Policies for Dynamic Vote Reassignment, TR-010-85, September 1985
  • Probabilistic Diagnosis of Hot Spots, TR-328-91, June 1991
  • Protocols for Dynamic Vote Reassignment, TR-037-86, May 1986
  • Quasi-Copies: Efficient Data Sharing for Information Retrieval Systems, TR-101-87, June 1987
  • Random Walk Techniques for Protocol Validation, TR-221-89, June 1989
  • Telematics Research at Princeton - 1987, TR-151-88, May 1988
  • Telematics Research at Princeton - 1988, TR-219-89, April 1989
  • The Demarcation Protocol: A Technique for Maintaining Arithmetic Constraints in Distributed Database Systems, TR-320-91, April 1991
• Barber, C. Bradford
  • Computational Geometry with Imprecise Data and Arithmetic (Thesis), TR-377-92, October 1992
  • Telematics Research at Princeton - 1988, TR-219-89, April 1989
  • The Quickhull Algorithm for Convex Hulls, TR-565-95, January 1995
• Barnes, Connelly
  • PatchMatch: A Fast Randomized Matching Algorithm with Application to Image and Video (thesis), TR-896-11, May 2011
• Barutcuoglu, Zafer
  • Bayesian Aggregation for Hierarchical Classfication, TR-785-07, May 2008
  • Using Structural Information in Machine Learning Applications (thesis), TR-829-08, August 2008
• Bateni, MohammadHossein
  • A Primal-Dual Clustering Technique with Applications in Network Design (thesis), TR-901-11, June 2011
  • New Approximation Algorithms for Degree Lower-bounded Arborescences and Max-Min Allocation, TR-848-09, May 2009
• Battaglia, Frank
  • Lighting with Paint, TR-726-05, April, 2005
• Bauer, Lujo
  • A Calculus for Composing Security Policies, TR-655-02, August 2002
  • A Language and System for Composing Security Policies, TR-699-04, April 2004
  • A Proof-Carrying Authorization System, TR-638-01, April 2001
  • Access Control for the Web via Proof-Carrying Authorization (Thesis), TR-677-03, September 2003
  • Edit Automata: Enforcement Mechanisms for Run-time Security Policies, TR-681-03, May 2003
  • Enforcing Non-safety Security Policies with Program Monitors, TR-720-05, January 2005
  • Mechanisms for Secure Modular Programming in Java, TR-603-99, July 1999
  • More Enforceable Security Policies, TR-649-02, June 2002
• Bavier, Andy
  • BERT: A Scheduler for Best Effort and Realtime Tasks, TR-587-98, August 1998
  • BERT: A Scheduler for Best Effort and Realtime Tasks - revised, TR-602-99, March 1999
  • Experiences Building PlanetLab, TR-755-06, June 2006
  • Scheduling Computations on a Programmable Router, TR-615-00, June 2000
  • The Role of Virtual Time in Real-time Scheduling, TR-611-99, December 1999
  • UFO: A Resilient Layered Routing Architecture, TR-780-07, June 2007
  • VICCI: A Programmable Cloud-Computing Research Testbed, TR-912-11, September 2011
• Bell, Christian J.
  • Concurrent Separation Logic for Pipelined Parallelization, TR-876-10, June 2010
• Bellovin, Steven M.
  • PATHALIAS or The Care and Feeding of Relative Addresses, TR-030-86, March 1986
• Bendiksen, Aage
  • Vectorized Garbage Collection, TR-169-88, July 1988
• Bentley, Jon Louis
  • A Locally Adaptive Data Compression Scheme, TR-004-85, July 1985
• Bern, Marshall
  • Visibility with a Moving Point of View, TR-235-89, November 1989
• Bhaskara, Aditya
  • Finding Dense Structures in Graphs and Matrices, TR-937-12, September 2012
• Bhatia, Sapan
  • VICCI: A Programmable Cloud-Computing Research Testbed, TR-912-11, September 2011
• Bi, Peng
  • A Multi-Cursor X Window Manager Supporting Control Room Collaboration, TR-707-04, July 2004
• Bienia, Christian
  • Benchmarking Modern Multiprocessors (thesis), TR-890-10, December 2010
  • PARSEC vs. SPLASH2: A Quantitative Comparison of Two Multithreaded Benchmark Suites on Chip-Multiprocessors, TR-818-08, March 2008
  • The PARSEC Benchmark Suite: Characterization and Architectural Implications, TR-811-08, January 2008
• Bienkowski, M.A.
  • An Example of Structured Explanation Generation, TR-016-85, November 1985
• Bilas, Angelos
  • Comparison of Shared Virtual Memory across Uniprocessor and SMP Nodes, TR-550-97, July 1997
  • Design and Implementation of Virtual Memory-Mapped Communication on Myrinet, TR-570-97, February 1997
  • Early Experience with Message-Passing on the SHRIMP Multicomputer, TR-510-96, January 1996
  • Fast RPC on the SHRIMP Virtual Memory Mapped Network Interface, TR-512-96, March 1996
  • Firmware Support for Reliable Communication and Dynamic System Configuration in System Area Networks, TR-581-98, June 1998
  • Improving the Performance of Shared Virtual Memory on System Area Networks (Thesis), TR-586-98, November 1998
  • Limits to the Performance of Software Shared Memory: A Layered Approach, TR-576-98, November 1997
  • Network Interface Support for Shared Virtual Memory on Clusters, TR-579-98, March 1998
  • Real-Time Parallel MPEG-2 Decoding in Software, TR-516-96, March 1996
  • Shared Virtual Memory Across SMP Nodes Using Automatic Update: Protocols and Performance, TR-517-96, March 1996
  • UTLB: A Mechanism for Address Translation On Network Interfaces, TR-580-98, June 1998
  • VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication, TR-573-98, February 1998
• Black,John
  • Scaffold: Quantum Programming Language, TR-934-12, July 2012
• Blaze, Matt
  • Caching in Large-Scale Distributed File Systems (Thesis), TR-397-92, December 1992
  • Dynamic Hierarchical Caching in Large-Scale Distributed File Systems, TR-353-91, October 1991
  • Long-Term Caching Strategies for Very Large Distributed File Systems, TR-321-91, April 1991
  • NFS Tracing by Passive Network Monitoring, TR-355-91, November 1991
• Blaze, Matthew A.
  • Telematics Research at Princeton - 1988, TR-219-89, April 1989
• Blum, Jeff
  • Computer Science 111, TR-346-91, September 1991
• Blume, Matthias
  • Hierarchical Modularity and Intermodule Optimization (Thesis), TR-551-97, November 1997
  • Hierarchical Modularity: Compilation Management for Standard ML, TR-555-97, July 1997
  • Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations, TR-537-96, November 1996
• Blumrich, Matthias A.
  • An Empirical Comparison of Loop Scheduling Algorithms on a Shared Memory Multiprocessor, TR-360-92, January 1992
  • Early Experience with Message-Passing on the SHRIMP Multicomputer, TR-510-96, January 1996
  • Network Interface for Protected, User-Level Communication (Thesis), TR-568-96, June 1996
  • Protected, User-level DMA for the SHRIMP Network Interface, TR-572-95, December 1995
  • Shared Virtual Memory with Automatic Update Support, TR-575-98, February 1998
  • Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer, TR-437-93, November 1993
• Boneh, Dan
  • A Revocable Backup System, TR-520-96, March 1996
  • Breaking DES Using a Molecular Computer, TR-489-95, May 1995
  • Collusion-Secure Fingerprinting for Digital Data, TR-468-94, October 1994
  • Hardness of Computing the Most Significant Bits of Secret Keys in Diffie-Hellman and Related Schemes, TR-515-96, March 1996
  • Making DNA Computers Error Resistant, TR-491-95, May 1995
  • On The Computational Power of DNA, TR-499-95, October 1995
  • Studies in Computational Number Theory with Applications to Cryptography (thesis), TR-523-96, July 1996
• Booth, Heather D.
  • Some Fast Algorithms on Graphs and Trees (thesis), TR-296-90, January 1991
• Boyd-Graber, Jordan
  • Linguistic Extensions of Topic Models (thesis), TR-878-10, June 2010
• Bresler, Ma'ayan
  • Rethinking Internet Traffic Management: From Multiple Decompositions to a Practical Protocol, TR-774-07, February 2007
• Bridges, Matthew
  • The VELOCITY Compiler: Extracting Efficient Multicore Execution from Legacy Sequential Codes (thesis), TR-835-08, September 2008
• Brinkman, William J.
  • Metric Space Embeddings into l_1: An Optimization Approach (Thesis), TR-701-04, May 2004
• Brown, Benedict J.
  • Multi-Feature Matching of Fresco Fragments, TR-874-10, May 2010
  • Non-Rigid Global Alignment Using Thin-Plate Splines, TR-734-05, September 2005
  • Registration and Matching of Large Geometric Datasets for Cultural Heritage Applications (thesis), TR-820-08, May 2008
• Brown, Ken
  • Scaffold: Quantum Programming Language, TR-934-12, July 2012
• Brownhill, Carrie J.
  • An Empirical Comparison of Loop Scheduling Algorithms on a Shared Memory Multiprocessor, TR-360-92, January 1992
• Brun, Todd
  • Scaffold: Quantum Programming Language, TR-934-12, July 2012
• Buchsbaum, Adam L.
  • Confluently Persistent Deques via Data-Structural Bootstrapping, TR-420-93, March 1993
  • Data Structural Bootstrapping, Linear Path Compression, and Catenable Heap Ordered Double Ended Queues, TR-381-92, July 1992
  • Data-Structural Bootstrapping and Catenable Deques (thesis), TR-423-93, June 1993
  • Determining Single Connectivity in Directed Graphs, TR-390-92, September 1992
  • Lazy Structure Sharing for Query Optimization, TR-422-93, April 1993
  • Monte Carlo and Markov Chain Techniques for Network Reliability and Sampling, TR-391-92, September 1992
• Burns, Michael
  • Efficient and Comprehensible Visualization of Complex 3-D Scenes (thesis), TR-892-10, December 2010