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

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