Honors Graduates

Advisor: Erin Molloy

Fast branch length estimation under the multi-species coalescent model using triplets

Advisor: William Gasarch

AN EMPIRICAL COMPARISON OF THE QUADRATIC SIEVE FACTORING ALGORITHM AND THE POLLARD RHO FACTORING ALGORITHM

Advisor: Dave Levin

HTTK(S): Characterizing and Evading Application-Layer Censorship by TransTeleKom

Advisor: Pratap Tokekar

Robust Multi-Agent Task Assignment in Failure-Prone and Adversarial Environments

Advisors: Aravind Srinivasan, John Dickerson

Data-Driven Methods for Balancing Fairness and Efficiency in Ride-Pooling

Advisor: James Reggia

Honors Thesis: An Empirical Approach to Models of Associative Learning for Sequence Memory

Advisor: Abhinav Shrivastava

Introducing Feedback Connections to Vision Transformers

Advisor: Ethan Cecchetti

Mechanizing and Implementing a Type System for Symphony

Advisor: James Reggia

A Comparison of Policy Gradient Methods for Multitask Learning

Advisor: David Mount

A Local-Search Approach to Timetable Scheduling

Advisor: Nirupam Roy

Bit-Depth Reduction And Audio Signal Classification

Advisor: David Jacobs

Modified Teacher-Student Learning Approach to Predicting Mode of Transportation

Advisor: David Van Horn

Sound and Efficient Fine-Grained Gradual Typing via Contract Verification

Advisor: Hector Corrada Bravo

Fast Query and Interactively Explore Data from Indexed Genomic Files

Advisor: David Van Horn

A Module System for a Racket-like Language

Advisor: Michelle Mazurek

`What Twitter Knows' Extension -- Dataset Exploratory Analysis

Advisor: Daniel Abadi

Protocols for Online, Consistent Remastering in SLOG

Advisor: Jon Froehlich

AccessScore: A framework for generating individually tailored accessibility visualizations for people with mobility impairments

Advisor: James Reggia

Learning in a continuous-valued attractor network

Advisor: Dana Nau

A domain for the evaluation of RAEplan

Advisor: Dave Levin

UnCaptcha: A Low-Resource Defeat of ReCaptcha's Audio Challenge

Advisor: Tudor Dumitras

BEAGLE: Provenance Graphs for Security Incident Response

Advisor: Marine Carpuat

Detecting Semantic Difference using Word Embeddings

Advisor: Jon Froehlich

A Temporal Thermography System for Supporting Longitudinal Building Energy Audits

Advisor: Mihai Pop

Hierarchically Visualizing Metagenome Assembly Graphs with MetagenomeScope

Advisor: Jeff Foster

Refinement Types for Ruby

Advisor: Amitabh Varshney

Factoring Point Clouds into Positions and Translations for Compression

Advisor: James Purtilo

Copy-on-Reference File Mechanism Extends Scope of Dynamic Reconfiguration

Advisor: James Purtilo

A Comparison of Transfer Learning Algorithms for Defect and Vulnerability Detection

Advisor: Dave Levin

Ting: Measuring and Exploiting Latencies Between All Tor Nodes

Advisor: Michelle Mazurek

The Digital Divide in Search Query Composition Patterns

Advisor: Mihai Pop

Contig Abundance Estimation in Metagenomic Samples using k-mer Count Analysis

Advisor: James Reggia

Abductive Spatial Reasoning Diagnosis Models

Advisor: Howard Elman

QR Decomposition in a Multicore Environment

Advisors: Evan Golub, David Jacobs

CrosScan: The Crossword Scanning App

Advisors: Dave Levin, William Rand

Proving the Impossible: Provable Route Avoidance using Alibi Routing

Comparing Social Tags to Microblogs

How do Twitter Conversations Differ based on Geography, Time, and Subject?

Advisor: Hal Daume

A Generalized Framework for Machine Transliteration

Advisor: Ramani Duraiswami

Tracing implicit surfaces from polygonal mesh using FIGTree

Advisor: William Gasarch

Tight Lower Bounds for Unequal Division

Advisor: Michael Hicks

Froid: Functional Reactive Android

Advisor: Samir Khuller

Human factors and requirements for a successful mobile platform dynamic taxi-share system in the USA

Advisor: Ben Bederson

Rule Creation in CTArcade: Teaching Abstract Computational Thinking From Concrete Guidelines

Advisor: William Gasarch

The `Russian Roulette' Problem: A Probabilistic Variant of the Josephus Problem

Advisor: Elaine Shi

A Survey of Security in Single-Purpose Systems

Advisor: Elaine Shi

A Survey of Security in Single-Purpose Systems

Advisor: Jeff Foster

Topics in Compilers

Advisor: Lise Getoor

Entity Resolution Evaluation Measures

Advisor: Bruce Golden

A 2-opt Based Heuristic for the Hierarchal Traveling Salesman Problem

Advisors: Louiqa Raschid, Samir Khuller

Link Prediction for Annotation Graphs using Graph Summarization

Advisor: James Reggia

Evolving Musical Counterpoint

Advisor: Larry Washington

An Elliptic Curve Threshold Key Establishment Scheme

Advisor: Carl Kingsford

Modelling Disease Transmission on a Location-Based Social Network

Advisor: Bill Pugh

Secure Execution of Student Code

Advisor: Evan Golub

Science Kit

Advisors: Atif Memon, Ben Shneiderman

Visual Techniques for Medical Reconciliation

Advisor: Samir Khuller

Streaming algorithms for k-center clustering with outliers and with anonymity

Advisor: Bonnie Dorr

Using Sparse Training to Estmate Context-Sensitive Translation Probabilities

Advisor: Mihai Pop

K-mulus: A database clutering approach to protein BLAST in the clouds

Advisor: Mihai Pop

K-mulus: A database clutering approach to protein BLAST in the clouds

Advisor: Ben Bederson

SIMP: A Simplified Computational thinking and programming tool for children

Advisor: Samir Khuller

Dense Graphs

Advisor: Amitabh Varshney

User Interface for MyeVyu

Advisor: Amy Weinberg

Evaluation of Entity Recognition Systems

Advisor: Allison Druin

GeoStories

Advisor: Ramani Duraiswami

Canny Edge Detection on NVIDIA GPU

Advisor: James Reggia

Optimizing Swarm Intelligence in Solving Transport Problems

Advisor: Michelle Hugue

Java Programming Using Voice Input: Adding Java Support to VoiceCode

Advisor: Bonnie Dorr

Dealing with Deletion Errors in MT

Automatically Derived Multi-level Word Classes for MT

Advisor: William Gasarch

Secret Bit Transmission Using a Deck of Cards

Advisor: Atif Memon

GUITAR AMP (AutoMatic jfcunit test case Producer)

Advisor: William Gasarch

Secret Bit Transmission Using a Deck of Cards

Advisor: François Guimbretiére

Optimal Parameters for Efficient Crossing-Based Dialog Boxes

Advisor: Ben Shneiderman

PatternFinder in Microsoft Amalga: Temporal Query Formulation and Result Visualization in Action

Advisor: James Purtilo

Magnetic Card Security Project

Advisor: Bonnie Dorr

SocialBrowsing: Augmenting Web Browsing to Include Social Context

Advisors: Jeff Foster, Michael Hicks

Serializing C Intermediate Representations to Promote Efficiency and Portability

Advisor: William Gasarch

Decision Trees

Advisor: William Gasarch

Purely Combinatorial Proofs of Van der Waerden-type Theorems

Exploration of the Three-Person Duel

Advisor: David Jacobs

Speeding up Queries in a Leaf Image Database

Advisor: Samir Khuller

Online Algorithms for Broadcast Scheduling

Advisor: Amitabh Varshney

Vertex Reordering for Cache Coherency

Advisor: François Guimbretiére

Annoflow -- Handwritten Annotation and Proofreading on Dynamic Digital Documents

Demo

Advisor: William Gasarch

Automated Strategies for the Game "Minesweeper"

Advisor: Amitabh Varshney

A survey of some recent results in computer graphics

Advisor: Jonathan Katz

Magnetic Swipe Card System Security

Advisor: Uzi Vishkin

XMT Applications Programming: Image Registration and Computer Graphics

Advisor: Dana Nau

A graphical interface for JHOP-2

Advisor: James Purtilo

Voter discrepancy through improper districting

Advisor: James Purtilo

Voter discrepancy through improper districting

Advisor: James Purtilo

Voter discrepancy through improper districting

Advisor: Michel Cukier

Development of Vulnerable E-Commerce

Advisor: Jim Hendler

A First Generation Semantic Portal

Advisor: Atif Memon

ForNet

Advisor: Hanan Samet

Cartographic Labelling

Advisor: Don Perlis

Universal Device Interface

Advisor: Gilmer Blankenship

Firearm Alerting System

Advisor: Samir Khuller

Vertex cover problem with hard capacities

Advisor: Bobby Bhattacharjee

Using Application Layer Multicast to Distribute Streaming Video

Advisor: François Guimbretiére

TAbiWord: Digital Document Annotation and Reflow

Advisor: William Gasarch

Tic Tac Toe with Betting

Advisor: William Gasarch

The Egg Game

Advisor: David Mount

The Democritization of GIS and Applications in Community Planning

Advisor: Hanan Samet

Cartographic Generalization of Polylines Stored in Quadtrees

Advisor: Ben Bederson

Effectiveness of Animated Scrolling

Advisor: David Mount

Moon of Mars Explorer

Advisor: Chau-Wen Tseng

A Linear Programming Based Algorithm for Multiple Sequence Alignment by Using Markov Decision Process

Advisor: François Guimbretiére

Inclusion of Edge Length in TreeJuxtaposer Tree Layouts

Advisors: Larry Washington, William Gasarch

Creating a Pseudo-Random Number Generator

Advisors: Larry Washington, William Gasarch

Analysis of a New Shift Cipher

Advisor: Dianne O'Leary

Recognizing Sentence Boundaries and Boilerplate

Advisor: Vic Basili

The Visual Query Interface: Graphical User Interface Analysis and Redesign

Advisor: Philip Resnik

A Scalable Architecture for Linguistic Annotation

Advisor: Michael Hicks

Implementing On-line Software Upgrades in JavaSource Code

Source Code

Advisor: William Gasarch

Perfect and PluPerfect Digital Invariants"

Advisor: Michael Hicks

Aspect-oriented Asynchrony in Java

Advisor: Ashok Agrawala

IEEE 802.11 DCF simulator with power saving mode

Advisor: Atif Memon

Automated Reverse Engineering of Graphical User Interfaces

Advisor: Ashok Agrawala

The Impact of Information and Computing Systems Monopoly on Democratic Processes in the United States

Advisor: Larry Washington

Elliptic Curve Crypotography and Its Applications to Mobile Devices

Advisor: Amitabh Varshney

Adapting the Lattice-Boltzmann Model for Efficient Airflow Modeling inside the View Frustum

Advisor: Ben Bederson

Viewing Changes: Monitoring with Treemaps

Advisor: Clyde Kruskal

Methods for Multiplayer Gameworld Synchronization

Advisor: William Gasarch

Private Information Retrieval with 1 copy

Advisor: Alan Sussman

Exposing DataCutter C++ library API to JAVA applications

Advisor: VS Subrahmanian

Optimal Diagnostic Inference

Advisor: William Gasarch

Interactive and Zero-knowledge Proofs

Advisor: Samir Khuller

Algorithms for Data placement on disks

Advisor: Alan Sussman

DataCutter Framework Expansion

Advisor: Bonnie Dorr

Divergences: Exploring One Rabbit Hole in Word-Level Alignment

Advisor: Samir Khuller

Implementation of Data Migration Algorithms

Advisor: Chau-Wen Tseng

UPC vs. MPI and OpenMP: Analysis of a Hybrid Approach to Parallel Programming

Advisor: David Mount

3D Physics Engine For Elastic and Deformable Bodies

Advisor: William Gasarch

Partial Key Exposure Attacks on RSA

Advisor: Ashok Agrawala

Techniques for Estimating Worse-Case Program Execution Times with Unexpected Hardware Architecture Changes or Unknowns

Advisor: Jeff Hollingsworth

High-performance computing

Advisor: Larry Washington

Cryptanalysis of Mobile Phone Cryptology

Advisor: Philip Resnik

Detection of Translational Equivalence

Advisor: Don Perlis

Irrational Beliefs: Truth Maintenance with Cognitive Dissonance

Advisor: David Mount

Kinetic PR Quadtree

Advisor: William Gasarch

Knights and Knormals

Advisor: Ben Shneiderman

Exploring Treemaps: Design and Implementation of Treemap 2000 with Dynamic Queries

Advisor: Ben Shneiderman

Empirical Comparison of Four Accelerators for Direct Annotation of Photos

Advisor: William Gasarch

Constructive Proofs in Ramsey Theory

Advisor: David Mount

A Ray Tracing Algorithm for Sphere Rendering

Advisor: Samir Khuller

A Uniform Framework for Approximating Weighted Connectivity Problems

Advisor: Christos Faloutsos

Database

Advisor: Clyde Kruskal

Apportionment of Representatives in the United States Congress House of Representatives and avoiding the 'Alabama Paradox'

Advisor: Bonnie Dorr

Korean/English Machine Translation: Semantics and Morphology

Computational Finance

Advisor: John Gannon

JAVA Operating System: VenusOS

Advisor: Clyde Kruskal

Apportionment schemes for voting

Advisor: Michelle Hugue

Security

Advisor: David Mount

Design and Implementation of an Interactive Ray Tracer

Advisor: David Mount

Image Flaw Removal

Advisor: William Gasarch

Learning Richman Games on Neural Networks Using Temporal Difference Learning

Advisors: Prakash Narayan, Armand Makowski

Local Area Switching Networks

Advisor: Jim Hendler

Simulating Robots

Advisor: David Mount

Human interface

Computer Science

Advisor: Bonnie Dorr

Korean/English Translation

Advisor: Samir Khuller

Vehicle Routing

Advisor: Alex Dragt

Symbolic computation

Advisor: John Gannon

Code Optimization

Advisor: VS Subrahmanian

Database

Advisor: Jeff Hollingsworth

Grindstone: A Test Suite for Parallel Performance Tools

Advisor: Larry Davis

Restoration of videos

Advisor: Jeff Hollingsworth

Device Driver optimization

Advisor: Dana Nau

Process Planning

Advisor: Joel Saltz

Medical applications

Advisor: Menapolis

Signature files

Advisor: James Purtilo

Remote I/O libraries

Advisor: Clyde Kruskal

Heap Sort and its variants

Advisor: William Gasarch

Heap Sort and its variants

Advisor: Samir Khuller

Graph Drawing Tools

Advisor: Larry Davis

Face recognition algorithms

Advisor: Larry Davis

Segmenting Video's

Computer Science

Computer Science

Advisor: Samir Khuller

Scheduling- TA assignments

Advisor: Dana Nau

AI and Manufactoring

Advisor: Jack Minker

Logic Programming and Prolog

Advisor: Dana Nau

AI and Manufactoring- Solid Modelling

Advisor: David Mount

Data Structures and Algorithms

Computer Science

Advisor: James Purtilo

Software Engineering

Advisor: Bill Pugh

Program analysis

Advisor: James Purtilo

Distributed Processes

Logic Programming

Advisor: Jou

Database

Advisor: James Reggia

Neural Networks

Neural Networks

Advisor: James Purtilo

Spatial Modeling

Advisor: John Gannon

Testing

Advisor: Dana Nau

Search Algorithms

Advisor: Jim Hendler

Planning

Advisor: Christos Faloutsos

Database

Advisor: Hanan Samet

Graphics

Advisor: James Purtilo

Interface Type Checking

Advisor: Ken Salem

System

Advisor: Timoleon Sellis

Database

Advisor: William Atchison

Computers in Medical Diagnotics

Advisor: Ben Shneiderman

Automatic Spell Correction

Advisor: Gary Knott

Graphics

Advisor: Pankaj Jalote

Automatic Test Case Generation

Advisor: Gary Knott

Graphics