| 2007-2008 |
| Student |
Advisor(s) |
Thesis Topic |
|
|
|
| Keith Bare |
Priya Narasimhan |
Online Fingerpointing: Just-in-Time Problem Diagnosis for Distributed Systems |
| Samuel Burnett |
Peter Steenkiste |
Combining Wireless Network Emulation and Simulation |
| Henry DeYoung |
Frank Pfenning |
An Authorization Logic with Explicit Time |
| Zhengheng Gho |
Dave Touretzky |
Visually Guided Manipulation Primitives for an Educational Robot |
| Jing Jin |
Laura Dabbish |
Are You Your Own Worst Enemy? Self-Interruption on the Computer |
| Yucheng Low |
Danny Sleator |
Investigating the Use of Machine Learning in Go |
| Jeremy Maitin-Shepard |
Carlos Guestrin |
Multiple-Target Tracking Based on a Fully-General Data Association Model Using a Fourier-Domain Representation |
| Chris Martens |
Frank Pfenning |
A Hybrid Formulation of the Ordered Logical Framework |
| Kevin McInerney |
Klaus Sutner |
Discovering Tractable Cellular Automata Questions |
| Jiquan Ngiam |
Scott Fahlman |
Natural Language Processing with Knowledge |
| Xinghao Pan |
Dave Touretzky |
Object Recognition Tools for Educational Robots |
| Albert Sheu |
Hui Zhang |
Characterizing YouTube Videos |
| Geeta Shroff |
Asim Smailagic |
Wearable Context-Aware Food Recognition for Nutrition Monitoring |
| Jiaqi Tan |
Priya Narasimhan |
RAMS and BlackSheep: Inferring White-Box Application Behavior Using Black-Box Techniques |
| Carnegie Mellon Qatar |
| Noura El-Moughny |
Bernardine Dias |
Assistive Technology for Learning to Write Braille |
| Amer Obeidah |
Lynn Carter |
Design-Code Verification: When Design Deviates from Code |
| 2006-2007 |
| Student |
Advisor(s) |
Thesis Topic |
|
|
|
| Sunsern Cheamanunkul |
Tom Mitchell/Rebecca Hutchinson |
Gaussian Naive Bayes Classifier with Smooth Basis Functions |
| Alex Grubb |
Paul Rybski |
Autonomous Discovery of Landmark Objects |
| Somchaya Liemhetcharat |
David Touretzky |
Manipulation of Objects Using an AIBO |
| Brendan Meeder |
Manuel Blum |
Proof Triangles: Toward a Formal Theory of Mathematical Understanding |
| Christopher Pride |
David Garlan |
Extending Aura with an Augmented Reality Interface |
| Joseph Rollo |
Reid Simmons |
Tracking for a Roboceptionist |
| Hassan Rom |
Greg Ganger |
Robust Detection & Recovery from Service Disruptions in Distributed Systems |
| Stephanie Rosenthal |
Anind Dey |
A Template-based Approach to Mobile Reminders |
| Key Shin |
Jonathan Aldrich |
3Twelf: A Tool for Reasoning about Programs |
| Seng Keat Teh |
Bruce Maggs/Dave Andersen |
Efficient Algorithms for Similarity-Enhanced Transfer in Peer-to-Peer Systems |
| 2005-2006 |
| Student |
Advisor(s) |
Thesis Topic |
|
|
|
| Matt Carson |
Dave Touretzky |
Blocks World Vision for the AIBO Robot |
| Natalie Castellana |
Russell Schwartz |
Haplotype Motif Partitioning for Association Studies |
| Eric Chastain |
Dave Plaut |
How are Faces Special? Eccentricity Bias as a Feasible Computational Inferotemporal Cortex Organization |
| Will Cooper |
Jonathan Aldrich |
Interactive Ownership Type Inference |
| Peerapong Dhangwatnotai |
Andrew Moore |
Mixture Model for Approximate Inference in Bayesian Networks |
| Juan Fasola |
Manuela Veloso |
Real-Time Visual Robot Detection and Modeling with Situational Awareness |
| Ivan Gonzalez |
Brad Myers |
Thumb Based Interaction Techniques for Input on a Steering Wheel |
| William Gronim |
Latanya Sweeney |
Methods for Extracting Names from Websites Containing Lists of People |
| Joshua Hailpern |
Benoit Morel |
Distributed Detection of New Virus Threats in Large Scale Networks |
| Matthew Kehrt |
Jonathan Aldrich |
Linearity for Objects |
| Hee Gun Lee |
James Kuffner |
Enhancing Motion Data with Head and Eye Motion |
| Il Sun Lee |
Peter Steenkiste |
Managing and Monitoring Spectrum Usage in a Wireless Network |
| Keunpyo Lee |
David Garlan |
Dynamic Architecture Reconstruction with Java 2, Enterprise Edition |
| Akiva Leffert |
Manuela Veloso |
Learning Others' Calendars |
| Yuxiang Liu |
Srinivasan Seshan |
Managing and Monitoring Spectrum Usage in a Wireless Network |
| Nicholas Lynn |
David Garlan |
Autonomic Computing: Learning to Repair Systems Effectively |
| David Murray |
Hui Zhang |
Adaptive LAN-to-Host Multicast: Optimizing End System Multicast via LAN Multicast Integration |
| Andreas Pfenning |
Russell Schwartz |
A Comparative Genomics Approach to Identifying the Plasticity Transcriptome |
| Gregory Price |
Frank Pfenning |
Toward Efficient Proof Search for Linear Logic |
| Cinar Sahin |
Scott Fahlman |
Event Representation in Knowledge Systems with Context Hierarchies |
| Gwen Stockman |
Mor Harchol-Balter/Adam Wierman |
The Impact of Abandonment in Multi-Class Priority Queues |
| Kanat Tangwongsan |
Guy Blelloch |
Active Data Structures and Applications to Dynamic and Kinetic Algorithms |
| Alex Trevor |
Paul Rybski |
Analyzing Mobile Sensor Placement for Distributed Object Tracking |
| Yinmeng Zhang |
Lenore Blum/Luis von Ahn |
Covert Multi-Party Computation |
| |
| 2004-2005 |
| Student |
Advisor(s) |
Thesis Topic |
| Michael Ashley-Rollman |
Karl Crary |
Type-Safety of Standard ML |
| Ying-Chieh Chang |
Lenore Blum, Carol Frieze |
Perceived Gender Similarities and Differences in Confidence Levels Among Computer Science Undergraduates |
| Sue Yi Chew |
Anthony Tomasic |
Improving the Filtering Quality of Selective Dissemination of Information by Observing User Task Behavior |
| Michael Coblenz |
Brad Myers, Frank Pfenning |
Using Objects of Measurement to Detect Spreadsheet Errors |
| Andrew Cove |
Doug James |
Dynamic Texturing of Botanical Environments |
| Dilan Edirisinghe |
Dave Touretzky |
Perception of Affordances by a Mobile Robot |
| Jared Go |
James Kuffner |
Real-Time Texture-Space Radiosity |
| Matthew Johnson-Roberson |
William Whittaker |
Non-holonomic Trajectory Planning for High Speed Navigation |
| Woo Tae Kim |
Pragnesh Modi |
Classification of Examples by Multiple Agents with Private Features |
| Dongryeol Lee |
Alexander Gray, Andrew Moore |
New Algorithmic Techniques for Generalized N-Body Problems |
| Bryan Mills |
Peter Lee, Aleksandar Nanveski |
A Survey of Mechanisms for Language Extensibility |
| Scott Niekum |
David Wettergreen |
Reliable Rock Detection and Classification for Autonomous Science |
| Suporn Pongnumkul |
Alexei Efros |
Automatic Digicromatography: Colorizing the Images of the Russian Empire |
| Pongsin Poosankam |
David Garlan |
Authentication and Access Control in Multi-agent Systems |
| John Ramish |
Tom Mitchell |
Towards a General Knowledge Representation Language |
| Christopher Rotella |
Klaus Sutner |
An Efficient Implementation of the AKS Polynomial-Time Primality Testing Algorithm |
| Akkarit Sangpetch |
Dave Touretzky |
Visualizing Robot Behavior with Self-Generated Storyboards |
| Boris Sofman |
Tony Stentz |
Obstacle Map Construction from Aerial Information for Unmanned Ground Vehicle Navigation |
| Mark Tomczak |
Roger Dannenberg |
BeatLib: A general-purpose beat detection library |
| |
| 2003-2004 |
| Student |
Advisor(s) |
Thesis Topic |
| Matt Anderson |
Robert Griffiths, Avrim Blum |
Simulation of a Nuclear Magnetic Resonance Quantum Computer |
| Stuart Anderson |
Reid Simmons |
Single Point of Contact Manipulation of Unknown Objects |
| Zach Anderson |
Srinivasan Seshan |
A Power Saving Technique for TCP Connections over Wireless Links |
| David Charlton |
Manuel Blum |
On the Hardness of Uniform Random Generation |
| Khalid El-Arini |
Todd Mowry |
Synthetically Real Graphics |
| Kelvin Goh |
Takeo Kanade |
Toward a Complete Face Recognition System |
| Ian Graham |
James Kuffner |
Surface Capture of the Human Hand |
| Neil Halelamien |
David Touretzky |
Visual Routines for Spatial Cognition on a Mobile Robot |
| Warren Hunt |
Danny Sleator |
A Fast Counting Data Compression Algorithm |
| Ian Kash |
Wilfried Sieg |
A Partially Automated Proof of the Cantor-Bernstein Theorem |
| Jennifer Lin |
Brett Browning |
Detecting Opponent Roles in a Robot Soccer Domain |
| Bernice Ma |
Metin Sitti |
Augmented Reality Human Machine Interface for a Teleoperated Nano-scale Interaction and Manipulation System |
| Mike Maxim |
Bill Scherlis |
FrontDesk: An Enterprise Class Web-based Software System for Programming Assignment Submission, Feedback Dissemination, and Grading Automation |
| Jay Pujara |
Tom Mitchell |
Machine Learning Classification of fMRI Data in Semantic and Syntactic Tasks |
| Brian Railing |
Greg Ganger |
Data Classification and Relaxing Storage Requirements |
| Jibran Rashid |
Avrim Blum, Robert Griffiths |
Quantum Information and Game Theory |
| Yuen-Lin Tan |
Greg Ganger |
Comparison-based Filesystem Verification (The NFS Tee) |
| Hongxian Tay |
Adrian Perrig |
Visual Validation of SSL Certificates in the Mozilla Browser using Hash Images |
| Alex Vaynberg |
Peter Lee |
From Typed Assembly Language to Proof Carrying Code |
| Thuc Vu |
Manuela Veloso |
Behavior Programming Language and Automated Code Generation for Agent Behavior Control |
| Yili Wang |
David Garlan |
TaskPort: A Task Management Interface in an Intelligent Cognitive Assistant System |
| Terrence Wong |
Greg Ganger |
Extended Filesystem Functionality for Self-Managing Storage System
s |
| |
| 2002-2003 |
| Student |
Advisor(s) |
Thesis Topic |
| Sonia Chernova |
Manuela Veloso |
Adaptive Motion for Quadruped Robots |
| Kayvon Fatahalian |
Doug James |
Real Time Global Illumination of Deformable Objects |
| Dominic Jonak |
Peter Steenkiste |
Pervasive Computing: Supporting Group Activities |
| Arvind Kannan |
Srini Seshan |
Scaling Properties of the Internet Graph |
| Ridy Lie |
Jaime Carbonell |
An Alignment Algorithm for Example-Based Machine Translation |
| Samir Sapra |
Ed Clarke |
Logic Minimization Using SAT Checkers |
| Meera Sridhar |
Jeannette Wing |
The Honeywell Triplex Sensor Voter |
| Matthew Trentacoste |
Doug James |
Generalized Matrix Computation on Graphics Hardware |
| Robert Wang |
Jessica Hodgins |
Adaptive Cloth Simulation |
| Justin Weisz |
Srini Seshan |
Detecting Cheaters in a Distributed Multiplayer Game Environment |
| Yi'Nan Zhuo |
Norman Sadeh-Koniecpol |
Understanding the Interplay between Usability and Individual Privacy Preferences |
| |
| 2001-2002 |
| Student |
Advisor(s) |
Thesis Topic |
| Neal Burns |
Todd Mowry |
Non-Backed Memory and its Applications |
| Bor-Yuh Evan Chang |
Bob Harper/Frank Pfenning |
Iktara in ConCert: Realizing a Certified Grid Computing Framework
from a Programmer's Perspective |
| Margaret DeLap |
Bob Harper/Frank Pfenning |
Implementing a Framework for Certified Grid Computing |
| Mehmet Fidanboylu |
Michael Mateas |
Natural Language Understanding Within Interactive Drama |
| John Heffner |
Peter Steenkiste |
High Bandwidth TCP Queueing |
| Martin Hock |
Danny Sleator |
Exploring the Complexity of the UFO Puzzle |
| Maksim Ioffe |
M Satyanarayanan |
PluriNet: Dynamic Environment-Aware Routing |
| Jack Lin |
Roger Dannenberg |
Musical Chord Recognition Based on Machine Learning Techniques |
| Sindya Narayanaswamy |
Peter Lee |
Programming Experience and Academic Success: Examining Patterns,
Trends, and Possibilities |
| Jason Pinto |
Henry Schneiderman |
Facial Image Modification |
| Jason Reed |
Frank Pfenning |
Proof Irrelevance and Strict Definitions in a Logical Framework |
| Jeffrey Sarnat |
Dana Scott |
The Undecidability of the Finite Refutability of Entailments in
Lattice-Theoretic Models of the Lambda Calculus |
| Cory Williams |
Greg Ganger |
Using the Post-Compromise Audit Trail: Paths of Communication |
| |
| 2000-2001 |
| Student |
Advisor(s) |
Thesis Topic |
| Ulas Bardak |
Jaime Carbonell/Mike Mateas |
Generation of Ideologically-Based Historical Documents |
| Camille Fournier |
M. Satyanarayan |
Shrinking by Example |
| Simon Goldsmith |
M. Satyanarayan |
Multimorphous File Systems: Extending the Filesystem to Better Fit
the Data |
| Marcus Louie |
Roy Maxion |
Characterizations of Categorical Data and Their Predictive Power
in Anomaly Detector Performance |
| Dan Maynes-Aminzade |
Randy Pausch |
Techniques for Interactive Audience Participation |
| Tom Murphy |
Karl Crary/Bob Harper |
The Wizard of TILT: Efficient, Convenient and Abstract Type Representations |
| Ian Nieves |
Illah Nourbakhsh |
Multiuser Virtual Building (LEGO) Blocks |
| Maayan Roth |
Chuck Thorpe |
Robobuggy: An Autonomous Vehicle |
| Ting Shih |
Allan Fisher |
Evaluating the CTE Online Curriculum in Computer Science |
| George Skoptsov |
Tai Sing Lee |
A Real-Time Hand Gesture Recognition System |
| Ken Strickland |
Paul Heckbert |
Rapid Polygonization of Implicit Surfaces Using Particles |
| Pucktada Treeratpituk |
Jamie Callan |
Name-Entity Recognition Using a Hidden Markov Model |
| Ashish Venugopal |
John Lafferty |
Text Classification into a Large Number of Categories |
| Geoff Washburn |
Peter Lee/Frank Pfenning |
Modal Typing for Specifying Runtime Code Generation |
| |
| 1999-2000 |
| Student |
Advisor(s) |
Thesis Topic |
| James Bruce |
Tucker Balch |
Real-Time Machine Vision Perception and Prediction |
| Scott Crosby |
Bob Harper |
Provably Safe Specification of a Turing Complete Programming Language |
| David Garmire |
Elizabeth Bigelow |
Applying the Department of Defense High Level Architecture to Robotics
Software Systems |
| Bryan Holland-Minkley |
Guy Blelloch |
Parallel Random Number Generation in Functional ML |
| Yik Lin Khoo |
Scott Hudson |
Composable Visualization: A Tool for Creating Custom Selection-Visualization
Techniques from a Pre-Prepared Taxonomy |
| Behrang Mohit |
Scott Fahlman |
Building an Information Extraction System for a Business News Corpus |
| Arne Suppe |
Chuck Thorpe |
The SCS Autonomous Buggy |
| John Sweeney |
Tucker Balch |
Robotic Localization Using Visual Landmarks |
| Preston Tollinger |
Manuel Blum |
A Secure, Device-Free, Challenge-Response Protocol or How to Login
When Naked in a Glass House |
| Anthony Watkins |
David Garlan |
The Switch Architecture: Achieving Maintainability in Explicit Invocation
Systems |
| |
| 1998-1999 |
| Student |
Advisor(s) |
Thesis Topic |
| Andrew Faulring |
Brad Myers |
Gold: Charting by Demonstration |
| Doug Fearing |
Frank Pfenning |
The Inverse Method for Lambda Pi |
| Chris Hobbs |
Joel Welling |
Numerical Simulation of Self-Assembly |
| Wing Leung |
Andrew Moore |
Efficient Data Mining with AD-Trees |
| Jason Rennie |
Andrew McCallum |
Efficient Web Spidering with Reinforcement Learning |
| Patrick Riley |
Manuela Veloso |
Classifying Adversarial Behaviors in a Dynamic Inaccessible Multi-Agent
Environment |
| Andrew Zimdars |
David Plaut |
The Emergence of Language in Communication Across a Bottleneck |
CSD Home 
Webteam ^ Top 