• 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

• Fabrikant, Alex
  • BGP Safety with Spurious Updates, TR-881-10, September 2010
  • BUFFALO: Bloom Filter Forwarding Architecture for Large Organizations, TR-869-09, October 2010
• Falsafi, Babak
  • Application-Specific Protocols for User-Level Shared Memory, TR-464-94, August 1994
• Fang, Wenjia
  • Building An Accounting Infrastructure for the Internet, TR-599-99, March 1999
  • Contention and Queueing in an Experimental Multicomputer: Analytical and Simulation-based Results, TR-508-96, January 1996
  • Explicit Allocation of Best Effort Packet Delivery Service, TR-600-99, March 1999
  • Inter-AS Traffic Patterns and Their Implications, TR-598-99, March 1999
  • TCP mechanisms for Diff-Serv Architecture, TR-605-99, September 1999
  • TCP mechanisms for Diff-Serv Architecture, TR-605-99, September 1999
  • The "Expected Capacity" Famework: Simulation Results, TR-601-99, March 1999
• Faruque, Arvin
  • Scaffold: Quantum Programming Language, TR-934-12, July 2012
• Feamster, Nick
  • UFO: A Resilient Layered Routing Architecture, TR-780-07, June 2007
• Feldman, Ariel
  • Privacy and Integrity in the Untrusted Cloud, TR-925-12, May 2012
• Feldman, Ariel J.
  • AVC Advantage: Hardware Functional Specifications, TR-816-08, March 2008
• Felten, Edward W.
  • A Java Filter, TR-567-97, December 1997
  • A Proof-Carrying Authorization System, TR-638-01, April 2001
  • A Study of Integrated Prefetching and Caching Strategies, TR-479-94, December 1994
  • Application-Controlled File Caching Policies, TR-445-94, February 1994
  • Contention and Queueing in an Experimental Multicomputer: Analytical and Simulation-based Results, TR-508-96, January 1996
  • Design and Implementation of NX Message Passing Using SHRIMP Virtual Memory Mapped Communication, TR-507-96, January 1996
  • Design, Analysis, Implementation and Performance of An Archipelagic File System, TR-610-99, October 1999
  • Early Experience with Message-Passing on the SHRIMP Multicomputer, TR-510-96, January 1996
  • Extensible Security Architectures for Java, TR-546-97, April 1997
  • Fast RPC on the SHRIMP Virtual Memory Mapped Network Interface, TR-512-96, March 1996
  • Implementation and Performance of Application-Controlled File Caching, TR-462-94, June 1994
  • Implementation and Performance of Integrated Application-Controlled Caching, Prefetching and Disk Scheduling, TR-493-95, July 1995
  • Improving Release-Consistent Shared Virtual Memory using Automatic Update, TR-518-96, March 1996
  • Java Security: Web Browsers and Beyond, TR-566-97, February 1997
  • Mechanisms for Secure Modular Programming in Java, TR-603-99, July 1999
  • Mobile Network Objects, TR-534-96, October 1996
  • Models for Security Policies in Proof-Carrying Code, TR-636-01, March 2001
  • Protected, User-level DMA for the SHRIMP Network Interface, TR-572-95, December 1995
  • Puzzle Outsourcing for IP-Level DoS Resistance, TR-700-04, May 2004
  • Query Affinity in Internet Applications, TR-621-00, December 2000
  • Reading Between the Lines: Lessons from the SDMI Challenge, TR-657-02, July 2002
  • Reducing Waiting Costs in User-Level Communication, TR-525-96, September 1996
  • Scan-Based Scheduling and Layout in a Reliable Write-Optimized File System, TR-661-02, August 2002
  • Secure, Private Proofs of Location, TR-667-03, January 2003
  • Simplifying Distributed File Systems Using a Shared Logical Disk, TR-524-96, October 1996
  • Software Support for Virtual Memory-Mapped Communication, TR-571-96, April 1996
  • Stream Sockets on SHRIMP, TR-513-96, February 1996
  • Technological Access Control Interferes with Noninfringing Scholarship, TR-617-00, February 2000
  • Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer, TR-437-93, November 1993
  • Web Spoofing: An Internet Con Game, TR-540-96, December 1996
• Felty, Amy P.
  • Lightweight Lemmas in Lambda Prolog (Extended Version), TR-607-99, October 1999
• Fernandez, Mary
  • PADS/ML: A Functional Data Description Language , TR-761-06, July 2006
  • PADS/T: A Language for Describing and Transforming Ad Hoc Data, TR-736-05, September 2005
• Fernandez, Mary F.
  • Garbage Collection Alternatives for Icon, TR-324-91, May 1991
  • New Jersey Machine-Code Toolkit Architecture Specifications, TR-470-94, October 1994
  • New Jersey Machine-Code Toolkit Reference Manual Version 0.1, TR-471-94, October 1994
  • Simple and Effective Link-Time Optimization of Modula-3 Programs, TR-474-94, November 1994
  • The Implementation of mlcc and mld: A Machine-Independent Compiler and A Retargetable, Optimizing Linker, TR-490-95, May 1995
  • The New Jersey Machine-Code Toolkit, TR-469-94, October 1994
• Fiebrink, Rebecca
  • Real-Time Human Interaction with Supervised Learning Algorithms for Music Composition and Performance (thesis), TR-891-10, December 2010
• Finkelstein, Adam
  • Avoiding Seams On High-Resolution Multi-Projector Displays using An Un-calibrated Camera, TR-618-00, June 2000
  • Image Mosaics, TR-574-98, March 1998
  • Lighting with Paint, TR-726-05, April, 2005
  • Robust Mesh Watermarking, TR-593-99, January 1999
  • Stylized Depiction of Images with Normals , TR-777-07, April 2007
  • Video Cubism, TR-637-01, October 2001
• Fisher, Kathleen
  • Ad Hoc Data and the Token Ambiguity Problem, TR-834-08, September 2008
  • Forest 1.0: A Language and Toolkit for Programming with Filestores, TR-904-11, June 2011
  • Forest: A Language and Toolkit For Programming with Filestores, TR-889-10, December 2010
  • Language Support for Processing Ad Hoc Data, TR-826-08, July 2008
  • PADS/ML: A Functional Data Description Language , TR-761-06, July 2006
  • PADS/T: A Language for Describing and Transforming Ad Hoc Data, TR-736-05, September 2005
• Fiuczynski, Marc E.
  • Experiences Building PlanetLab, TR-755-06, June 2006
• Fontoura, Marcus F.
  • UML-F: A Modeling Language for Object-Oriented Frameworks, TR-613-99, December 1999
  • Using UML-FW, Refactoring, and Unification Rules to Assist Framework Maintenance and Evolution, TR-614-99, December 1999
• Foster, Nate
  • Forest 1.0: A Language and Toolkit for Programming with Filestores, TR-904-11, June 2011
  • Forest: A Language and Toolkit For Programming with Filestores, TR-889-10, December 2010
• Fraser, Christopher W.
  • A Code Generation Interface for ANSI C, TR-270-90, June 1990
  • A Retargetable Compiler for ANSI C, TR-303-91, February 1991
  • Engineering Efficient Code Generators Using Tree Matching and Dynamic Programming, TR-386-92, August 1992
• Fredman, Michael L.
  • The Pairing Heap: A New Form of Self-Adjusting Heap, TR-008-85, July 1985
• Freedman, Michael J.
  • Decentralized Server Selection Through Joint Proximity and Load Optimization, TR-868-09, September 2009
  • Namecast: A Reliable, Flexible, Scalable DNS Hosting System, TR-850-09, April 2009
  • Scalable Flow-Based Networking with DIFANE, TR-877-10, June 2010
  • Service-Centric Networking with SCAFFOLD, TR-885-10, September 2010
  • The Role of Prices in Peer-Assisted Content Distribution, TR-814-08, February 2008
• Friedman, Joel
  • A Density Theorem for Purely Iterative Zero Finding Methods, TR-115-87, November 1987
  • A Deterministic View of Random Sampling and its Use in Geometry , TR-181-88, September 1988
  • A Note on Matrix Rigidity, TR-308-91, June 1990
  • A Note on Poset Geometries, TR-292-90, October 1990
  • On the Bit Extraction Problem, TR-357-91, December 1991
  • On the Second Eigenvalue and Random Walks in Random d-Regular Graphs, TR-172-88, August 1988
  • On the Second Eigenvalue of Hypergraphs, TR-232-89, November 1989
  • Point Location Among Hyperplanes and Unidirectional Ray-Shooting, TR-333-91, June 1991
  • Probabilistic Spaces of Boolean Functions of a Given Complexity: Generalities and Random $k$-SAT Coefficients, TR-387-92, July 1992
  • Random Polynomials and Approximate Zeros of Newton's Method, TR-116-87, October 1987
  • Some Geometric Aspects of Graphs and their Eigenfunctions, TR-340-91, November 1991
  • Some Graphs With Small Second Eigenvalue, TR-230-89, October 1989
  • The Spectra of Infinite Hypertrees, TR-285-90, September 1990
• Friedman, Steven J.
  • Data Structures for Formal Verification of Circuit Designs, TR-211-89, June 1989
  • Data Structures for Formal Verification of Circuit Designs (thesis), TR-236-89, January 1990
  • Delaunay Graphs are Almost as Good as Complete Graphs, TR-113-87, June 1987
  • Finding the Optimal Variable Ordering for Binary Decision Diagrams, TR-058-86, November 1986
• Fritts, Jason
  • Real-Time Parallel MPEG-2 Decoding in Software, TR-516-96, March 1996
• Fung, Khun Yee
  • Simplified Linear-Time Jordan Sorting and Polygon Clipping, TR-189-88, July 1988
• Funkhouser, Thomas
  • Multi-Feature Matching of Fresco Fragments, TR-874-10, May 2010
  • Symmetry-Aware Mesh Processing, TR-782-07, April 2007