• 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

• Ma, Xiaojuan
  • Communication Beyond Words: Multimedia Approaches to Bridging Language Disabilities and Barriers (thesis), TR-879-10, June 2010
• Maass, Wolfgang
  • Computing the Maximum Bichromatic Discrepancy with Applications to Computer Graphics and Machine Learning, TR-562-95, December 1995
  • Computing the Maximum Bichromatic Discrepancy, with Applications to Computer Graphics and Machine Learning, TR-467-94, October 1994
• Macintyre, Angus
  • Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks, TR-526-96, October 1996
• Mackey, Lester
  • Fault-tolerant Typed Assembly Language, TR-776-07, April 2007
• MacQueen, David B.
  • A Standard ML Compiler, TR-097-87, June 1987
  • Profiling in the Presence of Optimization and Garbage Collection, TR-197-88, November 1988
  • Separate Compilation for Standard ML, TR-452-94, March 1994
  • Standard ML of New Jersey, TR-329-91, June 1991
• Maggs, Bruce
  • On the Fault Tolerance of Some Popular Bounded-Degree Networks, TR-385-92, September 1992
• Mahmoody Ghidary, Mohammad
  • A constant-round public-coin protocol for sampling with size, and applications, TR-867-09, September 2009
  • Studies in the Efficiency and (versus) Security of Cryptographic Tasks (thesis), TR-882-10, August 2010
• Makarychev, Yury
  • Approximation Algorithms for Constraint Satisfaction Problems (thesis), TR-815-08, February 2008
• Manasse, Mark S.
  • Empirical Studies of Competitive Spinning for Shared-Memory Multiprocessors, TR-319-91, March 1991
• Mandelbaum, Yitzhak
  • An Effective Theory of Type Refinements, TR-656-02, December 2002
  • Dynamic Typing with Dependent Types, TR-695-04, April 2004
  • 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
  • The Theory and Practice of Data Description (thesis), TR-764-06, August 2006
• Manokaran, Rajsekar
  • Approximability and Mathematical Relaxations, TR-942-12, November 2012
• Mao, Weizhen
  • Scheduling and Bin Packing: A Study of the Worst-case Performance Bounds (thesis), TR-284-90, October 1990
• Mao, Z. Morley
  • CellSDN: Software-Defined Cellular Networks, TR-922-12, May 2012
• Marceau, Carla
  • Literate Programming on a Team Project, TR-302-91, February 1991
• Martin, David
  • Shared Virtual Memory Across SMP Nodes Using Automatic Update: Protocols and Performance, TR-517-96, March 1996
• Martonosi, Margaret
  • Alloyed Global and Local Branch History: A Robust Solution to Wrong-History Misprediction, TR-606-99, October 1999
  • Alloying Global and Local Branch History: Taxonomy, Performance, and Analysis, TR-594-99, January 1999
  • Branch Prediction, Instruction-Window Size, and Cache Size: Performance Tradeoffs and Sampling Techniques, TR-578-98, April 1998
  • Contention and Queueing in an Experimental Multicomputer: Analytical and Simulation-based Results, TR-508-96, January 1996
  • Distance Learning Technologies for Basic Education in Disadvantaged Areas, TR-685-03, December 2003
  • Improving Prediction for Procedure Returns with Return-Address-Stack Repair Mechanisms, TR-577-98, March 1998
  • Scaffold: Quantum Programming Language, TR-934-12, July 2012
  • Selecting a Single, Representative Sample for Accurate Simulation of SPECint Benchmarks, TR-595-99, August 1999
  • Speculative Updates of Local and Global Branch History: A Quantitative Analysis, TR-589-98, December 1998
  • SurfBoard - A Hardware Performance Monitor for SHRIMP, TR-596-99, March 1999
  • Turning the Postal System into a Generic Digital Communication Mechanism, TR-688-04, January 2004
• Matheson, Lesley R.
  • A Critical Analysis of Multigrid Methods on Massively Parallel Computers, TR-448-94, February 1994
  • Dominating Sets in Planar Graphs, TR-461-94, June 1994
  • Resistance of Digital Watermarks to Collusive Attacks, TR-585-98, July 1998
• Matousek, Jiri
  • Derandomizing an Output-Sensitive Convex Hull Algorithm in Three Dimensions, TR-358-91, December 1991
  • On Linear-time Deterministic Algorithms for Optimization Problems in Fixed Dimension, TR-393-92, October 1992
  • On Linear-time Deterministic Algorithms for Optimization Problems in Fixed Dimension, TR-413-93, March 1993
  • Randomizing an Output-Sensitive Convex Hull Algorithm in Three Dimensions, TR-361-92, February 1992
• McAllester, David
  • An Indexed Model of Recursive Types for Foundational Proof-Carrying Code, TR-629-00, November 2000
• McCann, Mark
  • Memory in Media with Manufacturing Fault (thesis), TR-786-07, June 2007
• McGregor, John P.
  • Reading Between the Lines: Lessons from the SDMI Challenge, TR-657-02, July 2002
• Mehlhorn, Kurt
  • Dynamic Perfect Hashing: Upper and Lower Bounds, TR-310-91, March 1991
  • Faster Algorithms for the Shortest Path Problem, TR-154-88, March 1988
• Meyer auf der Heide, Friedhelm
  • A Lower Bound for Randomized Algebraic Decision Trees, TR-527-96, October 1996
  • Dynamic Perfect Hashing: Upper and Lower Bounds, TR-310-91, March 1991
• Michael, Neophytos G.
  • A Trustworthy Proof Checker, TR-648-02, April 2002
  • Machine Instruction Syntax and Semantics in Higher Order Logic, TR-619-00, April 2000
• Mihail, Milena
  • Monte Carlo and Markov Chain Techniques for Network Reliability and Sampling, TR-391-92, September 1992
• Min, Patrick
  • A 3D Model Search Engine (Thesis), TR-686-03, December 2003
• Mishra, B.
  • A Linear-Time Algorithm for Finding an Ambitus, TR-301-91, January 1991
• Misra, Ananya
  • TAPESTREA: Techniques and Paradigms for Expressive Synthesis, Transformation, and Re-composition of Environmental Audio (thesis), TR-863-09, July 2009
• Mitchell, Don P.
  • Computing the Discrepancy with Applicaitons to Supersampling Patterns, TR-561-96, September 1996
• Morley, R. Keith
  • Lighting with Paint, TR-726-05, April, 2005
• Morrisett, J. Gregory
  • A Portable Multiprocessor Interface for Standard ML of New Jersey, TR-376-92, June 1992
• Mosberger, David
  • 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
• Muir, Steve
  • Experiences Building PlanetLab, TR-755-06, June 2006
• Mukherjee, Indraneel
  • Game Theory and Optimization in Boosting, TR-910-11, August 2011
• Mukherjee, Shubhendu S.
  • Efficient Support for Irregular Applications on Distributed--Memory Machines, TR-488-95, April 1995
• Mulzer, Wolfgang
  • Low-Entropy Computational Geometry (thesis), TR-873-10, May 2010
• Myers, Chad L.
  • Context-sensitive Methods for Learning from Genomic Data (thesis), TR-806-07, November 2007