Reports for Authors (Last name "B") | Computer Science Department at Princeton University

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