MIT EECS - M.Eng Theses by Supervisor

Recent M.Eng. Thesis Titles by Supervisor

Fall 2005

Quick Find: A - D | E - H | I - L | M - Q | R - U | V - Z

Supervisor		Title

Abelson, H.		Ensuring Anonymity and Privacy in an On-Line Mental Health Community
		A Package Management System for Web-Based Applications
		An Analysis of the Developer-User Feedback Loop in "The Edge"
		FREiMOAT: Free Research Extension to the iCampus-MIT Online Aptitude Test
		Supreme Court Audio File Search Engine
		APOT: Atomic Path Optimizing for Traits
		SloanSpace - DSpace File Transfer Interface Component
		Engineering a Campus-Wide Accessible Music Library

Agarwal, A.		A Shared-Memory System Using the Raw Microprocessor Architecture
		Spatial Software Pipelining on Distributed Architectures for Sparse Matrix Codes
		A Raw Processor Interface to an 802.11b/g RF Front End
		The Raw Router: Gigabit Routing on a General-Purpose Microarchitecture
		C-Flow: A Compiler for Statically Scheduled Message Passing in Parallel Programs
		Optimizing Directory-Based Cache Coherence on the RAW Architecture
		Embedding Tree Computations into the RAW Chip
		Parallelizing the GSM Speech Compression Algorithm on RAW
		An Interrupt Controller for the RAW Processor
		Sinew: A System for Increasing the Efficiency of Wireless Networks
		The Front End Implementation of Beamforming Audio for the RAW Chip

Akinwande, A. I.		Connecting and Teaching Students via Web Services for an Online Laboratory
		A Low Power Display Driver with Simultaneous Image Transformation
		Threshold Voltage in Pentacene Field Effect Transistors with Parylene Dielectric

Alsop, D.		Efficiency of Background Suppression for Arterial Spin Labeling

Amarasinghe, S. P.		Implementing a Hazard Elimination Analysis Tool for SpecTRM-RL Using Backwards Reachability
		Linear Analysis and Optimization of Stream Programs
		Characterizing Function Inlining with Genetic Programming
		Modeling the Scalability of Acyclic Stream Programs
		DynamicOptimization of IA-32 Applications Under Dynamo RIO
		Secure Execution Environment Via Program Shepherding
		Low-Bandwidth Web Access with Tandem Proxies
		A Unified Framework for Schedule and Storage Optimization
		Linear State-Space Analysis and Optimization of StreamIt Programs
		The StreamIt Development Tool: A Programming Environment for StreamIt
		A Graph Editing Framework for the StreamIt Language
		Cache Optimizations for Stream Programs

Ansolabehere, S.		Applying Integer Programming Techniques to Find Minimum Integer Weights of Voting Games

Ariely, D.		Hedonic Integration with Pain and Pleasure

Arkoudas, K.		Using a Denotational Proof Language to Verify Dataflow Analyses

Arvind		Improved Handling of the Decoding Operation in the Presto Compiler
		Equivalence Checking of Retimed Circuits

Asanovic, K.		Hardware Support for Unbounded Transactional Memory
		High-Performance, Variable-Length Instruction Encodings
		An Energy Profiler for the iPAQ
		VISTA: A Visualization Tool for Computer Architects
		Sieve: An XML-Based Structural Verilog Rules Check Tool
		Low Power Single Precision IEEE Floating Point Unit
		Video over IP: An Example Reconfigurable Computing Application for a Handheld Device
		ZOOM: A Performance-Energy Cache Simulator
		The SCALE DRAM Subsystem

Ashoori, R.		Capacitance Spectroscopy and Its Application to Tunneling Current Measurements

Bachrach, J.		Parameterized Types for GOO
		Towards RSEAM: Resilient Serial Execution on Amorphous Machines
		Starkiller: A Static Type Inferencer and Compiler for Python
		Enabling Path Planning and Threat Avoidance with Wireless Sensor Networks
		Simultaneous Localization and Tracking in Wireless Ad-Hoc Sensor Networks

Balakrishnan, H.		Gateway Selection in Multi-hop Wireless Networks
		Implementation of a Power-Saving Protocol for Ad Hoc Wireless Networks
		Differential Bandwidth Allocation with Multiplexed TCP Connections
		Linear Road: Benchmarking Stream-Based Data Management Systems
		Implementation and Security Analysis of the Infranet Anti-Censorship System
		A Simulation Study of Reordering-Resilient TCP Enhancements

Baldo, M. A.		Generation of Photocurrent from Photosystem I Biomolecular Complexes

Barbastathis, G.		Feedback Loop Design and Experimental Testing for Integrated Optics with Micro-Mechanical Tuning

Barnhart, C.		The Stochastic Air Traffic Flow Management Rerouting Problem

Belcher, A.		Characterization of AP-MALDI and ESI for a Differential Mobility Spectrometer

Benton, S. A.		Delivering Real-Time Holographic Video Content with Off-the-Shelf PC Hardware

Bertsekas, D. P.		Multiple Machine Maintenance: Applying a Separable Value Function Approximation to a Variaton of the Mu

Berwick, R. C.		Bayesian Modeling of Manner and Path Psychological Data
		An Extensible, Object-Oriented Executor for the Timeliner User Interface Language

Bitran, G. R.		Evaluating the Implementation of New Service Models

Blair, K.		Teaching Motion to a Group

Blumberg, B. M.		Learning Intent from Tone of Voice

Boning, D. S.		A Ring-Oscillator-Based Variation Test Chip
		Variation Aware Design of Data Receiver Circuits for On-Chip Optical Interconnect
		Characterization and Modeling of Polysilicon MEMS Chemical-Mechanical Polishing

Bowman, H. F.		Hardware for Performing Hyperpolarized Helium Imaging on a Clinical MR Imager

Braida, L. D.		Software for Psychoacoustic Experiment Design
		Analysis of Frequency-Smearing Models Simulating Hearing Loss

Breazeal, C. L.		A Motor Control Framework for Many-Axis Interactive Robots

Brock, D. L.		The Visualization of Data and the User-Interface in the Auto-ID World

Bulovic, V.		Improving the External Extraction Efficiency of Organic Light Emitting Devices
		Integrated Feedback Circuit for Organic LED Display Drivers
		A Smart Active Matrix Pixelated OLED Display

Burge, C. B.		ComBo: A Visualization Tool for Comparative Genomic Data
		Development of Gene-Finding Algorithms for Fungal Genomes
		Algorithms for Simulating Human Pre-mRNA Splicing Decisions

Burns, J. A.		Application of Three-Dimensional Circuit Integration for Global Clock Distribution

Burns, S. K.		An Exploration of a Through-the-Eyelid Intraocular Pressure Measurement Device
		An Automated Bench Testing Sytem for Direct Current Parameters of Instrumentation Amplifiers
		Source Localization of MEG Generation Using Spatiotemporal Kalman Filter

Burstein, D.		An Investigation into the Efficacy of MRI T2 in an OA Population
		Graphical Interface for Quantitative Monitoring of 3D MRI Data

Cassell, J.		Automatic Extraction of Spatial Location for Gesture Generation
		Collaborative Storytelling with an Embodied Conversational Agent
		Conveying Routes: Multimodal Generation and Spatial Intelligence in Embodied Conversational Agents
		An Implementation of Face-to-Face Grounding in an Embodied Conversational Agent

Cavallo, D. P.		Chat Decision Assistant: An Online Distance Collaborative Tool
		An Extensionable Microcontroller and Programming Environment

Chan, V. W. S.		Simulation of an Optical Network System Application for a Space-Based High Performance Computer System
		Performance of Voice and Data Transmission Using the IEEE 802.11 MAC Protocol
		Topologies for Satellite Constellations in a Cross-Linked Space Backbone Network
		Modeling and Algorithms for Optimizaing Beam Steering Optical Crossconnects

Chandrakasan, A. P.		Protocol Stacks for PowerAware Wireless Microsensor Networks
		A Power-Aware Processing Element for a Microsensor Node
		Analysis, Design and Prototyping of a Narrow-ring Radio for Application in Wireless Sensor Networks
		5GHZ CMOS Resonant Clock Buffer with Quadrature Generation for Fiber Optic Applications
		Design and Implementation of an Online Laboratory for Introductory Digital Systems
		A Platform for Ultra Wideband Communication Systems

Chuang, I. L.		A General-Purpose Pulse Sequencer for Quantum Computing
		Bounds on the Entanglability of Thermal States in Liquid-State Nuclear Magnetic Resonance

Clark, D. D.		Economic Mechanisms for Efficient Wireless Coexistence

Clarke, J-P.		Evaluation of an Auction Mechanism for Allocating Airport Arrival Slots

Coleman, C. P.		Hardware & Software Architecture for Multi-Level Unmanned Autonomous Vehicle Design

Collins, M. J.		The Use of Syntactic Structure in Relationship Extraction
		Parse Reranking with WordNet Using a Hidden Variable Model
		Semi-Supervised Learning for Natural Language

Connors, S.		An Analytic Structure for Sustainable Energy in Competitive Electricity Markets

Cooke, C. M.		A Wireless, Low-Power, Asynchronous, Multi-Sensor Temperature Network
		Wireless Power Transmission Utilizing a Phased Array of Tesla Coils

Counselman, C. C.		Web-Tools for Streamling Ballroom Dance Competition Management

Csikszenthmihalyi, C.		Robotically Reproducing Turntable Techniques

Csikszentmihalyi, M.		Social Defense Mechanisms: Tools for Reclaiming our Personal Space

Cummings, J.		System for the Online Analysis of Distributed Projects
		Developing Courseware to Support Online Discussion
		Open-Source Social Network Assessment Survey System (NASS)
		DPAS: The Dynamic Project Assessment System
		System for the Online Assessment of Distributed Projects

Cunningham, R. K.		WinNTGen: Creation of a Windows NT 5.0+ Network Traffic Generator
		Modeling and Assessing Secure Voice Over IP Performance

Curtis, D. W.		Notification in the THOR Database System

Cusumano, M.		Practices for Fast and Flexible Software Development
		Systematic Prioritization of Considerations in Making Offshore Software Development Outsourcing Decision

Dahleh, M. A.		Optimization Techniques for Task Allocation and Scheduling in Distributed Multi-Agent Operatioins

Daly, M.		An HMM-Based Boundary-Flexible Model of Human Haplotype Variation

Daniel, L.		Design of High-Quality Factor Spiral Inductors in RF MCM-D

Darrell, T. J.		Untethered Human Motion Recognition for a Multimodal Interface
		Interfacing Speech Recognition and Vision Guided Microphone Array Technologies
		Matching and Compressing Sequences of Visual Hulls
		Pose Estimation Using Cascade Trees
		An Analysis of SIFT Object Recognition with an Emphasis on Landmark Detection
		A Widget-Based Architecture for Perceptive Presence
		Tracking with Constraints in a Web of Sensors

Davenport, G.		M-Studio: An Authoring Tool for Context-Aware Mobile Storytelling
		ComicKit: Knowledge Acquisition of Story Scripts

Davis, R.		Segmentation and Alignment of Speech and Sketching in a Design Environment
		Facilitating User Understanding of Optimizations: A Case Study of Channel Route Network Planning
		Extending the ASSIST Sketch Recognition System
		Building an Electronic Drafting Table for Sketch Recognition
		Enabling Collaboration in the Sketching Domain

Dawson, J. L.		A DC Stqabilized Fully Differential Amplifier
		The Design of a High Efficiency RF Power Amplifier for an MCM Process

del Alamo, J. A.		A Collaboration System and a Graphical Interface for the MIT Microelectronics Weblab
		MIT Device Simulation WebLab: An Online Simulator for Microelectronic Devices
		Bidirectional Natural Language Parsing Using Streams and Counterstreams

Delgutte, B.		Predicting Lateralization Performance at HighFrequencies from Auditory-Nerve Spike Timing

Demaine, E. D.		Adaptive Algorithms for Problems Involving Black-Box Lipschitz Functions

Devadas, S.		A Secure and Scalable Network Architecture for Transactional Information Devices
		Algorithms for Verifying the Integrity of Untrusted Storage
		An Architecture for Secure Resource Discovery
		Development of a Programming Model for the AEGIS Secure Processor

Dewey, C. F.		BioDig: Architecture for Integrating Heterogeneous Biological Data Repositories Using Ontologies
		Microarray Submissions to Experibase

Deyst, J.		A Sensor-Based Obstacle Avoidance System for an Under-Canopy Autonomous Aircraft

Diadiuk, V.		Run Manager Module for CORAL Laboratory Management

Donath, J.		Murmurized
		Interaction News

Dresselhaus, M.		Alignment and Characterization of Carbon Nanotubes on a Photolithographically Patterned Electrodes

Durand, F. P.		Load-Balanced Rendering on a General-Purpose Tiled Architecture

Durlach, N. I.		Characterizing the Perceptual Diffusion of Auditory Lateralizatin Images
		Characterization of a Robot Arm for Use in Acoustic Experiments
		Advantages of Listening with Two Ears to Speech Degraded by Noise and Reverberation

Edelman, A.		Optimizing a Parallel Fast Fourier Transform
		Parallel Sorting and Star-P Data Movement and Tree Flattening

Edelman, E. R.		Age Differentiation of Rat Smooth Muscle Cells: Altered Proliferation Profile, Cellular Changes, and Im

Engels, D. W.		The Impact of Radio Frequency Identification on the Sarbanes-Oxley Act of 2002
		Auto-configuration of Savants in a Complex, Variable Network
		Enhancement of Electromagnetic Propagation Through Complex Media for Radio Frequency Identification
		Graphical Real-Time Simulation Tool for Passive UHF RFID Environemnts

Ernst, M. D.		Specification Coverage as a Measure of Test Suite Quality
		Selecting Predicates for Conditional Invariant Detection Using Cluster Analysis
		Software Fault Identification via Dynamic Analysis and Machine Learning
		Compiler-Enforced Immutability for the Java Language
		Theorem-Proving Distributed Algorithms with Dynamic Analysis
		A C/C++ Front End for the Daikon Dynamic Invariant Detection System
		Program Steering: Improving Adaptability and Mode Selection via Dynamic Analysis
		Code Versioning in a Workflow Management System
		Automatic Generation and Checking of Program Specifications

Feld, M. S.		Spatially Resolved Light Propagation in Tissue-Like Media
		Development of a Real-Time TMS Diagnostic Tool for Barrett's Esophagus
		Fast Phase Dispersion Microscope: A New Instrument for Cellular Biology
		A Clinical Raman Spectroscopy System for Real-Time Disease Diagnosis
		Light Scattering Spectroscopy Clinical Imaging Device Implementation

Fendt, K. E.		Querying Over Multiple XML Schemas in a Document Management System
		Indexing XML with Relational Tables

Feron, E.		Design and Validation of an Avionics System for a Miniature Acrobatic Helicopter

Ferrell, C. L.		A Motor Control Framework for Many-Axis Interactive Robots

Fink, Y.		Optoelectronic Fiber Webs for Imaging Applications

Fisher, J. W.		Detection and Localization of Aerosol Releases from Sparse Sensor Measurements
		Dynamic Bayesian Networks for the Classification of Spinning Discs

Fisher, P.		Data Acquisition System Design for the Alpha Magnetic Spectrometer Experiment

Flowers, W. C.		A New Media Framework for Classical Equation Derivation

Fraser, H.		TeleMedMail: A Store-and-Forward Telemedicine System for Developing Countries

Freeman, D. M.		Broadband Nanosensing Using Heterodyne Interferometry
		Low-Power Image Based Triggering for Extended Operation Surveillance
		Measuring the Electrically Induced Motion Response of the Isolated Tectorial Membrane
		Robust Motion Estimation in the Presence of Fixed Pattern Noise
		Visualization and Management of Large Biological Imaging Datasets
		An Earth Image Simulation and Tracking System for the Mars Laser Communication Demonstration

Garland, S. J.		Freebrain: A Distributed and Scalable Interest-Based Instant Group Communication System
		Location Aware Access Control for Pervasive Computing Environments

Gershenfeld, N. A.		Accessible Broadband Network Analysis

Gifford, D. K.		Visual Flight: The Air Traffic Control Data Analysis System
		Representation and Visualization of Genetic Regulatory Networks

Glass, J. R.		Rapid Configuration of Discourse and Dialog Management in Conversational Systems
		An XML Messaging Protocol for Multimodal Oxygen Applications

Gleason, K. K.		Recombinant Collagen Production Optimization in Escherichia coli

Greenberg, J. E.		Use of Intermicrophone Correlation in Estimating Signal to Noise Ratio
		A Web-Based Tutoria for Statistical Analysis of fMRI Data
		Detection of Contaminants Using a MEMS FAIMS Sensor

Grimson, W. E.		A 3D Interactive Virtual Endoscopy Tool with Automatic Path Generation
		Background Maintenance Utilizing Common Distributions
		An Improved Algorithm for Object Tracking and Background Subtraction
		A Finite Difference Model of the Human Brain for Electroencephalography

Grodzinsky, A. J.		Extended Mechanical Stimulation of Cartilage for Growth and Repair

Grosof, B.		Representing Agent Contracts with Exceptions and Business Process Exceptions

Guttag, J. V.		Automated Auscultation: Diagnosing Mitral Valve Prolapse Using Acoustic Features
		Flexible Application Driven Network Striping Over Wireless Wide Area Networks
		A Tool for Hemodynamic Data Analysis
		M.I.T. Automated Auscultation System
		A Software Toolkit for Acoustic Respiratory Analysis
		Interactions Between TCP and Link Layer Protocols on Mobile Satellite Links
		Patient-Specific Epileptic Seizure Onset Detection
		Carotid Collar: A Device and Method for Auscultory Detection of Carotid Artery Stenosis

Hazen, T. J.		ASR Dependent Techniquest for Speaker Recognition
		Exploration of Small Enrollment Speaker Verification on Handheld Devices

Hemond, H. F.		Design and Implementation of a Real-time Chemical Sensor Network
		Nereus Nemertes: Embedded Mass Spectrometer Control System
		Design and Development of a Network Architecture for a Chemical Sensor Network

Herr, H.		Energy Economy Gait Analysis of an Autoadaptive Prosthetic Knee
		Biologically-Plausible Six-Legged Running: Control and Simulation

Hicks, J. E.		Expanding the Wireless Communication Paradigm
		Expanding the Wireless Communication Paradigm

Horn, B. K. P.		Height and Gradient from Shaded Stereo Images
		A Parking Assistant

Hu, Q.		Investigation of Thermal Electric Cooler-less Microbolometer Infrared Imaging

Hunter, I. W.		Telemetric Brain Electrode Array: Wireless and Analog Subsystems
		Electronics for a Telemetric Brain Electrode Array System

Indyk, P.		Clustering in High Dimensions
		Lower Bounds for Embedding the Earth Mover Distance Metric Into Normed Spaces
		Approximate Nearest Neighbor Problem in High Dimensions

Intille, S. S.		Interruptions: Using Activity Transitions to Trigger Proactive Messages
		A Sensor Toolkit to Facilitate Context-Awareness for Just-In-Time Questioning
		Context-Aware Activity Recognition Using TAN Classifiers
		Physical Activity Recognition from Acceleration Data Under Semi-Naturalistic Conditions
		Context-Aware Experience Sampling for the Design and Study of Ubiquitous Technologies
		Training Architectural Computational Critics by Example
		Computer Vision-Based People Tracking for Motivating Behavior in Public Spaces

Ippen, E. P.		Complete Characterization of Optical Pulses in the Picosecond Regime for Ultrafast Communication Systems

Ishii, H.		PINS: A Haptic Computer Interface System

Jackson, D. N.		Subtyping in Alloy
		Translating Alloy Using Boolean Circuits
		Avalanche: A Framework for Parallel and Distributed Computation
		Synchronizing Trees and Text in a Software Model Analyzer
		TSAFE: Building a Trusted Computing Base for Air Traffic Control Software
		The Design and Implementation of FIG: A Record/Playback Mechanism for ETMS Feeds
		MintEra: A Testing Environment for Java Programs
		Visualizatin Framework for Software Design Analysis
		Description and Analysis of Central Registry; A Pattern for Modular Implicit Invocation

Jacobson, J.		Fabrication of Metallic Nanostructures from Nanocluster Precursors

Jones, L.		A Wireless Communication System for a Tactile Vest
		Physiological Sensor System for a Wireless Tactile Display

Kaashoek, M. F.		Providing Asynchronous File I/O for the Plan 9 Operating System;
		Acetone: A System Call Interface for Asbestos Labels
		Mandatory Security and Performance of Services in Asbestos
		A Keyword-Pair Index System for Peer-to-Peer Networks
		Robust and Efficient Data Management for a Distributed Hash Table
		Melody: A Distributed Music-Sharing System
		SSL Splitting and Barnraising: Cooperative Cashing with Authenticity Guarantees
		Access Control Lists for the Self-Certifying File System
		Self-Certifying File System Implementation for Windows

Kaelbling, L. P.		Autonomous Stair Climbing
		A Sonar-Based Mapping System for an Unmanned Undersea Vehicle
		A Paritially Observable Approach to Allocating Resources in a Dynamic Battle Scenario
		Learning Bayesian networks from Medical Data
		Learning Models of World Dynamics Using Bayesian Networks
		Algorithms for Partially Observable Systems as Applied to Battle Management
		Image Segmentation by Texture Clustering Using Variations of Simulated Annealing
		A Reinforcement Learning Approach to Power Management
		The Women's Technology Program: EECS Outreach for High-School Students
		Vision Based Robot Navigation System
		Machine Learning at the Operating Room of the Future
		Approximate Inference Methods for Grid-Structured MRFs

Kaertner, F. X.		Stabilization of Passively Mode Locked Solid-State Lasers by Use of Electronic Feedback

Kamm, R. D.		Local Measurement of the Pulse Wave Velocity Using Doppler Ultrasound

Karger, D. R.		Versioning for the Haystack System
		Creating a Web Page Recommendation System for Haystack
		Belief Layer for Haystack
		Adding E-mail Classification Functionality to Haystack
		A Computational Exploration of Rounding Algorithms for the Multiway Cut Problem;
		Tree Pattern Inference and Matching for Wrapper Induction on the World Wide Web

Katabi, D.		A Performance Study of Multiframe Interleaving for CDMA2000 Cellular System
		A Novel Approach to Multipath Routing Using Flowlets
		Load-Balancing the GRID Ad Hoc Routing Protocol

Katz, B.		Pronominal Anaphora Resolution for Question Answering
		Extracting Praphrases from Aligned Corpora
		Answering Definitional Questions Before They Are Asked
		Hap-Shu: A Language for Locating Information in HTML Documents
		Prism -- An Answer Projection System
		An Efficient Representation for Multi-Application Accessible Visual Information
		Query Expansion Techniques for Question Answering

Kaynar, D. K.		TIOA and UPPAAL

Keating, A. E.		Network Tools for the Analysis and Prediction of Protein-Protein Interactions
		Computational Tools for Including Specificity in Protein Design

Keidar, I.		Performance Evaluation of Distributed Algorithms Over the Internet

Khazan, R. I.		Robust Chat for Airborne Command and Control
		Towards Implementing Group Membership in Dynamic Networks: A Performance Evaluation Study

Kim, S-G.		Piezoelectric Micro Power Generator (PMPG): A MEMS-Based Energy Scavenger

Kirtley, J. L.		A Doubly-Fed Permanent Magnet Generator for Wind Turbines
		Analysis of Hunting in Synchronous Hysteresis Motor

Klopfer, E.		Charles River City: An Educational Augmented Reality Simulation Pocket PC Game
		End-User Programming for the Web

Knight, T. F.		Compilation to a Queue-Based Architecture
		Self-Distributing Computation
		Power-Efficient Design of 16-Bit Mixed-Operand Multipliers
		A Biological Simulator Using a Stochastic Approach for Synthetic Biology
		BioJADE: A Design and Simulation Tool for Synthetic Biological Systems

Kogan, L.		Research and Development of Risk Arbitrage Trading Systems

Kohane, I. S.		Identification of Viral and Bacterial Triggers for Human Autoimmune Diseases

Koile, K.		iPlot: An Intelligent Lighting Design Assistant

Koksal, A. E.		Analysis of Critical Points for Nonconvex Optimization

Kong, J. A.		Directive Antenna Using Metamaterial Substrates
		Multiple Region Finite-Difference Time-Domain Modeling of Duct Cavities

Kuszmaul, B. C.		Partial Parallelization of Graph Partitioning Algorithm METIS

Laddaga, R.		ACCESS: Access Controls for Cooperatively Enabled Smart Spaces
		Personal Location Agents for Communicating Entities (PLACE)

Lang, J. H.		Readout and Control for a High Performance Accelerometer
		A Piezo-Tunable Gigahertz Cavity Microelectromechanical Resonator

Larson, R. C.		Queueing Implications of New Security Procedures in Containerized Shipping
		Formulating Earthquake Response Models in Iran

Lauffenburger, D.		Diabetes Research Vortex: A Novel Information Management System for Type I Diabetes
		Gene Expression Array Simulator

Lebak, J.		Bayesian Inference Algorithm on Raw

Leeb, S. B.		Laboratory Experiments for a Wireless Comunications Course
		Harmonic Control of Multiple-Stator Induction Machines for Voltage Regulation
		Gyroscope Angular Rate Processing Across Asynchronous Clock Domains
		Courseware Development for a Laboratory Class in Power Electronics

Leiserson, C. E.		The JCilk-1 Runtime System
		Memory-Mapped Transactions
		LecTix: A Levture Multimedia Player
		Data Race Detection in "Transactions Everywhere" Parallel Programming
		Dynamic Processor Allocation for Adaptively Parallel Work-Stealing Jobs

Leonard, J. J.		Feature-relative Real-time Obstacle Avoidance and Mapping

Leveson, N. G.		Design and Implementation of Software to Automate Reuse in Component-Based System Engineering
		Visualization Tools for SpecTrm

Lieberman, H. A.		Semantic Understanding and Commonsense Reasoning in an Adaptive Photo Agent
		Mutual Disambiguation of Recognition Errors in a Multimodal Navigational Agent

Lim, J. S.		The Resolution Enhancement of Real-Time Captured Images
		An Investigation of Methods for Digital Television Format Conversions
		Implementing Rate-Distortion Optimization on a Resource-Limited H.264 Encoder

Lippman, A. B.		A Cooperative Communication Protocol for Wireless Ad-Hoc Networks
		Design and Performance of a Wired Viral Network
		Construction and Analysis of a Wireless Antenna Sharing Scheme

Lippman, R. P.		Detecting Buffer Overflows Using Testcase Synthesis and Code Instrumentation

Lippmann, R. P.		NESPA: Network Security Planning Architecture
		Securing Software: An Evaluation of Static Source Code Analyzers

Liskov, B. H.		Feasibility of GNU/Linux as the OS for a PC-based Medical Product
		A Framework for Peer-to-Peer Applications
		Petscope: A Standardized System for Ballistic Missile Guidance Data Analysis
		The Application of the Value-Added Activity Model for the Mark-6 LE Integration Project
		Authentication in a Reconfigurable Byzantine Fault Tolerant System
		Object Evolution: Adding Runtime Class Mutability to the JVM

Lo, A. W.		Emotional News: How Emotional Content of News and Financial Markets are Related
		Emotional Response Modeling in Financial Markets: Boston Stock Exchange Data Analysis
		A Multi-Tier Framework for Dynamic Data Collection, Analysis, and Visualization
		VizStudio: A Visualization Tool for Study in the Psychology of Trading
		A Real-time System for Processing, Sharing, and Display of Psysiology Data
		The Dynamics of Global Financial Crisis
		AMPS: A Simulation System for Modeling and Analyzing the Psychology of Risk-Taking

Long, W. J.		Wireless Location Networks and Realtime Messaging for Patients with Heart Failure

Lozano-Perez, T.		An Innovative Integrated Development Environment for Personal Digital Assistant
		ROOS: A Structured Email Server
		Graphical Extensions to Online Problem Sets on Tutors

Lundberg, K. H.		A MEMS-Based Precision Operational Amplifier
		A MEMS-Based, High-Resolution Electric Field Meter

Lundqvist, K.		Ravenscar Cross Compiler for the Gurkh Project

Lynch, N. A.		A Specification and Verification of Intermittent Global Order Broadcast
		Code Generation for the IOA Language
		Verification of an Attitude Control System
		The Simulation of Composite Input/Output Automata

Madden, S. R.		A Measurement-Based Analysis of the Interaction Among Mac, Network and Application Layers in Wireless Se
		Eventing Architecture: RFID and Sensors in a Supply Chain
		Compression and Query Execution within Column-Oriented Databases
		An Augmentation Algorithm for Improving Longevity in Ad Hoc Wireless Networks

Madnick, S. E.		Virtual Merging of Ecoin Applications and Guidelines for Building Ontologies
		Merging Ontologies in the Context Mediation Framework
		Capabilities Aware Planner/Optimizer/Executioner for COntext INterchange Project
		Metadata Representation and Management for Context Mediation
		The CLAMP: An Application Merging Tool Using the Context-Linking Approach
		Corporate Householding Knowledge Management and Reasoning Using the Extended Context Interchange System

Maeda, J.		Scalable Spatially Aware Media Sharing Display System

Maes, P.		Ether Threads: An Infrastructure for Location-Based Messages

Manalis, S. R.		Integrated Field-Effect Sensor and Microfluidics for Biomolecular Recognition

Mark, R. G.		A Database to Support Development and Evaluation of Intelligent Intensive Care Monitoring
		The Annotation Station: An Open Source Technology for Annotation of Large Biomedical Databases
		De-Identification of ICU Patient Records
		Artifact Detection in Physiological Parameter Trend Data
		An Automated Web-Based Searchable Archive for Lab Data
		Computer-Assisted De-Identification of Free-Text Nursing Notes

Marshall, J. C.		Modeling Diffusion in the Antarctic Circumpolar Current

Massaquoi, S. G.		An Engineering Model of Lower Thalamo-Cortico-Basal Ganglionic Circuit Function
		Linear Control Model of the Spinal Processing of Descending Neural Signals
		Development of Quantitative Tools for Assessment of Cerebellar Dysfunction

McDowell, C.		Field Journal: A Mobile Data Collection and Mapping Application for Pocket PCs

McKenna, B.		Algorithmic Advances Towards a Fully Automated DNA Genotyping System

McMillan, L.		Padcam: A Portable, Human-Centric System for Handwriting Capture

Medard, M.		Optimum Spreading Bandwidth for DS-CDMA on Time and Frequency Fading Channels
		Transmit Simulation and Receive Optimization for 802.11b Networks
		Delay Improvements from Multiple Wavelengths in an Optical Folded Bus
		Simplified Random Network Codes for Multicast Networks
		Performance of Random Network Coding for Data Dissemination

Meyer, A. R.		Technical and Logistical Support for Course Assessment

Mikhak, B.		Encouraging Innovation by Engineering the Learning Curve
		Tangible Toolkits for Reflective Systems Modeling

Milgrom, P.		IVAN -- Integrated Virtual Agent Network

Miller, R. C.		Cluster-Based Find and Replace
		Human Intellegible Positioning
		Google as a Bookmarking Tool
		User-Directed Sketch Interpretation
		Timeliner Integrated Development Environment
		Automatic Generation of XSLT Simultaneous Editing
		An Email Spam Filtering Proxy Using Secure Authentication and Micro-bonds
		FireViz: A Personal Firewall Visualizing Tool
		Detecting and Parsing Embedded Lightweight Structures

Mindell, D. A.		Analysis of a Sub-Bottom Sonar Profiler for Surveying Underwater Archaeological Sites

Modiano, E. H.		Distributed Construction of Energy-Efficient Ad Hoc Wireless Broadcast Trees
		Minimum-Energy Path Planning for Ad-Hoc Networks

Morris, R. T.		The Grid Roofnet: A Rooftop Ad Hoc Wireless Network
		NATRON: Overlay Routing to Oblivious Destinations
		A Service Discovery Framework for a Peer-to-Peer Network
		Choosing Internet Paths with High Bulk Transfer Capacity
		Multi-Hop Wireless Relay Using Bluetooth Specification
		Herodotus: A Peer-to-Peer Web Archival System
		A Peer-to-Peer Anonymizing Network Layer
		Zebrafish: A Steganographic System
		Effects of Loss Rate on Wireless Ad Hoc Routing
		Concurrency Control for Multi-Processor Event-Driven Systems

O'Connor, R.		Design & Implementation of a Wireless Sensor Prototyping Kit

O'Neil, C. H.		Data on Elliptic Curves with High Rank

O'Reilly, U-M.		Evolving Circuits on a Field Programmable Analog Array Using Genetic Programming

Ohno-Machado, L.		Epidemic Modeling Techniques for Smallpox
		Prognostic Models for Mesothelioma: Variable Selection and Machine Learning
		Extensible Neural Network Software: Applications in Gene Expression Analysis

Oppenheim, A. V.		Signal Processing for DNA Sequencing
		Digital Pre-Compensation for Faulty D/A Converters: The "Missing Pixel" Problem
		Design of Efficient Digital Interpolation Filters for Integer Upsampling

Orlin, J. B.		CARDS: Conjoint Adaptive Retroactive Database System
		Cyclic Exchange Neighborhood Search Technique for the K-means Clustering Problem

Ozdaglar, A. E.		Analysis of Critical Points for Nonconvex Optimization

Page, D. C.