• 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

• Lahiri, Shuvendu K.
  • Linear Maps, TR-884-10, September 2010
• Lai, Junwen
  • A Peer-to-Peer Mobile Storage System, TR-664-02, October 2002
  • Coherent and Network-Aware Tracking of Objects, TR-672-03, December 2003
  • Networking Going Postal, TR-705-04, May 2004
  • Postmanet: Turning the Postal System into a Generic Digital Communication Mechanism, TR-691-04, March 1, 2004
  • Virtualizing Network File Systems (thesis), TR-842-08, November 2008
• Lalis, Spyros
  • Counteracting Discrimination against Network Traffic , TR-794-07, August 2007
  • Secure Availability Monitoring Using Stealth Probes, TR-769-06, October 2006
• LaPaugh, Andrea S.
  • A Weinberger Array Generator, TR-023-86, January 1986
  • Algorithms for Finding a Maximum Bipartite Subgraph for Special Classes of Graphs, TR-149-88, April 1988
  • Analysis of Algorithms for the Configuration of Wafer Scale Linear Arrays in the Presence of Defects, TR-128-87, December 1987
  • CLOVER: A Timing Constraints Verification System, TR-274-90, July 1990
  • CLOVER: A User Guide, TR-345-91, August 1991
  • Decreasing Channel Width Bounds by Channel Widening, TR-218-89, May 1989
  • Finding All Minimal Shapes in a Routing Channel, TR-384-92, August 1992
  • How to Store a Triangular Matrix, TR-240-89, December 1989
  • Measuring the Web Using a Versatile Meta Information Crawler, TR-643-02, February 2002
  • Optimal Compaction of Multiple Two-Component Channels under River Routing, TR-068-86, December 1986
• Larmore, Lawrence L.
  • Correctness of Constructing Optimal Alphabetic Trees Revisited, TR-539-96, December 1996
• Larus, James R.
  • Application-Specific Protocols for User-Level Shared Memory, TR-464-94, August 1994
  • Efficient Support for Irregular Applications on Distributed--Memory Machines, TR-488-95, April 1995
  • Where is Time Spent in Message-Passing and Shared-Memory Programs?, TR-463-94, July 1994
• Laszlo, Michael J.
  • A Data Structure for Manipulating Three-Dimensional Subdivisions (thesis), TR-125-87, August 1987
  • Primitives for the Manipulation of Three-Dimensional Subdivisions, TR-089-87, April 1987
• Lawrence, Jason
  • Acquisition and Representation of Material Appearance for Editing and Rendering (thesis), TR-756-06, June 2006
• Lebeck, Alvin
  • Application-Specific Protocols for User-Level Shared Memory, TR-464-94, August 1994
• Lee, Eunyoung
  • Secure Linking: a Framework for Trusted Software Components, TR-662-02, September 2002
  • Secure Linking: a Framework for Trusted Software Components (Extended Version), TR-663-02, September 2002
  • Secure Linking: a logical framework for policy-enforced component (Thesis), TR-687-03, December 2003
• Leighton, Tom
  • On the Fault Tolerance of Some Popular Bounded-Degree Networks, TR-385-92, September 1992
  • Resistance of Digital Watermarks to Collusive Attacks, TR-585-98, July 1998
• Leven, Daniel
  • Linear Time Algorithms for Visibility and shortest Path Problems Inside Simple Polygons, TR-039-86, May 1986
• Levy, Silvio V.F.
  • Robust Contour Tracing, TR-054-86, September 1986
• Li, Hao
  • Dynamic Hair Capture, TR-907-11, August 2011
• Li, Kai
  • A Time-Space Efficient Locality Sensitive Hashing Method for Similarity Search in High Dimensions, TR-759-06, June 2006
  • A Comparative Evaluation of Cache Coherence Schemes Based on Virtual Memory Support, TR-373-92, May 1992
  • A Multi-Cursor X Window Manager Supporting Control Room Collaboration, TR-707-04, July 2004
  • A Study of Integrated Prefetching and Caching Strategies, TR-479-94, December 1994
  • An Analysis of a Combined Hardware-software Mechanism for Speculative Loads, TR-455-94, April 1994
  • An Empirical Comparison of Loop Scheduling Algorithms on a Shared Memory Multiprocessor, TR-360-92, January 1992
  • An Evaluation of Multiprocessor Cache Coherence Based on Virtual Memory Support, TR-401-92, December 1992
  • Analysis of Filtering for Similarity Search Using Sketches, TR-760-06, July 2006
  • Application-Controlled File Caching Policies, TR-445-94, February 1994
  • Avoiding Seams On High-Resolution Multi-Projector Displays using An Un-calibrated Camera, TR-618-00, June 2000
  • Cache Coherence for Shared Memory Multiprocessors Based on Virtual Memory Support, TR-400-92, December 1992
  • Checkpointing Multicomputer Applications, TR-316-91, April 1991
  • CLIP: A Checkpointing Tool for Message-Passing Parallel Programs, TR-543-97, May 1997
  • Design and Implementation of NX Message Passing Using SHRIMP Virtual Memory Mapped Communication, TR-507-96, January 1996
  • Design and Implementation of Virtual Memory-Mapped Communication on Myrinet, TR-570-97, February 1997
  • Distance Learning Technologies for Basic Education in Disadvantaged Areas, TR-685-03, December 2003
  • Dynamic Join and Departure in Shared Object Middleware, TR-592-99, January 1999
  • Early Experience with Message-Passing on the SHRIMP Multicomputer, TR-510-96, January 1996
  • Empirical Studies of Competitive Spinning for Shared-Memory Multiprocessors, TR-319-91, March 1991
  • Evaluation of Memory System Extensions, TR-307-91, March 1991
  • Fast Cluster Failover Using Virtual Memory-Mapped Communication, TR-591-99, January 1999
  • Firmware Support for Reliable Communication and Dynamic System Configuration in System Area Networks, TR-581-98, June 1998
  • 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
  • Irregular Applications under Software Shared Memory, TR-514-96, February 1996
  • MimdRAID: Low Latency Secondary Storage, TR-612-99, September 1999
  • Multiprocessor Main Memory Transaction Processing, TR-159-88, June 1988
  • Networking Going Postal, TR-705-04, May 2004
  • PARSEC vs. SPLASH2: A Quantitative Comparison of Two Multithreaded Benchmark Suites on Chip-Multiprocessors, TR-818-08, March 2008
  • Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems, TR-529-96, September 1996
  • Process Capturing, TR-439-93, November 1993
  • Protected, User-level DMA for the SHRIMP Network Interface, TR-572-95, December 1995
  • Real-Time Concurrent Collection in User Mode, TR-291-90, October 1990
  • Real-time Concurrent Collection on Stock Multiprocessors, TR-133-88, February 1988
  • Real-Time, Concurrent Checkpoint for Parallel Programs, TR-239-89, December 1989
  • Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation, TR-535-96, December 1996
  • Scope Consistency: a Bridge between Release Consistency and Entry Consistency, TR-509-96, January 1996
  • Shared Virtual Memory Accomodating Heterogeneity, TR-210-89, February 1989
  • Shared Virtual Memory with Automatic Update Support, TR-575-98, February 1998
  • Shiva: An Operating System Transforming a Hypercube into a Shared-Memory Machine, TR-217-89, April 1989
  • Simple Hardware for Fast Interprocessor Communication, TR-242-90, January 1990
  • Software Support for Speculative Loads, TR-372-92, May 1992
  • Software Support for Virtual Memory-Mapped Communication, TR-571-96, April 1996
  • The PARSEC Benchmark Suite: Characterization and Architectural Implications, TR-811-08, January 2008
  • Thread Scheduling for Cache Locality, TR-569-96, December 1996
  • Thread Scheduling for Out-of-Core Applications with Memory Server on Multicomputers, TR-590-99, January 1999
  • Turning the Postal System into a Generic Digital Communication Mechanism, TR-688-04, January 2004
  • Understanding Application Performance on Shared Virtual Memory Systems, TR-519-96, March 1996
  • UTLB: A Mechanism for Address Translation On Network Interfaces, TR-580-98, June 1998
  • Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer, TR-437-93, November 1993
  • Virtual Memory Primitives for User Programs, TR-276-90, July 1990
  • VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication, TR-573-98, February 1998
• Li, Li Erran
  • CellSDN: Software-Defined Cellular Networks, TR-922-12, May 2012
• Liao, Cheng
  • Network Interface Support for Shared Virtual Memory on Clusters, TR-579-98, March 1998
• Ligatti, Jarred A.
  • Policy Enforcement via Program Monitoring (thesis), TR-752-06, May 2006
• Ligatti, Jay
  • A Calculus for Composing Security Policies, TR-655-02, August 2002
  • A Language and System for Composing Security Policies, TR-699-04, April 2004
  • 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
  • Fault-tolerant Typed Assembly Language, TR-776-07, April 2007
  • More Enforceable Security Policies, TR-649-02, June 2002
• Lin, William W.
  • A Weinberger Array Generator, TR-023-86, January 1986
  • Decreasing Channel Width Bounds by Channel Widening, TR-218-89, May 1989
  • Placement Problems Arising From Automatic Logic Compilation (thesis), TR-201-89, June 1989
• Lipton, Richard J.
  • A Class of Randomized Strategies for Low-Cost Comparison of File Copies, TR-176-88, September 1988
  • A Free-Market Exchange for Information , TR-298-90, December 1990
  • A Revocable Backup System, TR-520-96, March 1996
  • Array Access Bound for Block Storage Memory Systems, TR-042-86, June 1986
  • Breaking DES Using a Molecular Computer, TR-489-95, May 1995
  • Cheaper by the Dozen: Batched Algorithms, TR-627-00, November 2000
  • Clocked Adversaries for Hashing, TR-203-89, February 1989
  • Comparing Long Strings on a Short Systolic Array, TR-026-86, February 1986
  • Estimating the Size of Path Relations, TR-209-89, January 1989
  • Fingerprinting Sets, TR-212-89, March 1989
  • How to Store a Triangular Matrix, TR-240-89, December 1989
  • IOStone: A Synthetic File System Performance Benchmark, TR-074-87, January 1987
  • Making DNA Computers Error Resistant, TR-491-95, May 1995
  • Models and Measurements of File System Performance, TR-067-86, December 1986
  • On Bounded Round Multi-Prover Interactive Proof Systems, TR-237-89, December 1989
  • On The Computational Power of DNA, TR-499-95, October 1995
  • Playing Games of Incomplete Information, TR-238-89, December 1989
  • PRAM: A Scalable Shared Memory, TR-180-88, September 1988
  • Probabilistic Diagnosis of Hot Spots, TR-328-91, June 1991
  • Recursively Enumerable Languages Have Finite State Interactive Proofs, TR-213-89, March 1989
  • The Processor Identity Problem, TR-088-87, April 1987
  • The Total DNA Homology Experiment, TR-020-86, January 1986
  • Using Residue Arithmetic to Simplify VLSI Processor Arrays for Dynamic Programming, TR-022-86, January 1986
• Liu, Bede
  • Reading Between the Lines: Lessons from the SDMI Challenge, TR-657-02, July 2002
• Liu, Ding
  • Sublinear Geometric Algorithms and Geometric Lower Bounds (thesis), TR-727-05, April 2005
• Liu, Shao
  • Performance Bounds for Peer-Assisted Live Streaming, TR-833-08, August 2008
• Liu, Ting
  • Measuring the Web Using a Versatile Meta Information Crawler, TR-643-02, February 2002
• Liu, Zhiyan
  • Scalable Isosurface Visualization (thesis), TR-819-08, May 2008
• Liu, Zicheng
  • Efficient Animation Techniques Balancing Both User Control And Physical Realism (Thesis), TR-549-97, June 1997
• Loke, W. Tim
  • A Theory for Deadlocks, TR-344-91, August 1991
• Lopresti, Daniel
  • A Suggested Architecture for the Massive Memory Machine, TR-011-85, October 1985
  • Comparing Long Strings on a Short Systolic Array, TR-026-86, February 1986
  • The Total DNA Homology Experiment, TR-020-86, January 1986
  • Using Residue Arithmetic to Simplify VLSI Processor Arrays for Dynamic Programming, TR-022-86, January 1986
• Lovasz, Laszlo
  • Algorithmic Discrete Mathematics, TR-251-90, March 1990
  • Communication Complexity; A Survey, TR-204-89, March 1989
  • Covering Minima and Lattice Point Free Convex Bodies, TR-114-87, November 1987
  • Lecture Notes on Evasiveness of Graph Properties, TR-317-91, April 1991
• Low, Steven
  • Understanding TCP Vegas: A Duality Model*, TR-628-00, November 2000
  • Understanding TCP Vegas: Theory and Practice*, TR-616-00, February 2000
• Lucas, Joan M.
  • The Rotation Graph of Binary Trees is Hamiltonian, TR-021-86, January 1986
• Lund, Carsten
  • Hardness of Approximations, TR-504-95, December 1995
• Luo, Linjie
  • Dynamic Hair Capture, TR-907-11, August 2011
• Lv, Qin
  • A Time-Space Efficient Locality Sensitive Hashing Method for Similarity Search in High Dimensions, TR-759-06, June 2006
  • Analysis of Filtering for Similarity Search Using Sketches, TR-760-06, July 2006
• Lynch, Nancy
  • Reliable Broadcast in Networks with Nonprogrammable Servers, TR-123-87, November 1987