Undergraduate Honors Theses

2013

Clay, Patrick: Discovery of Mutated Collections of Genes Associated with Survival in Cancer Using Local Search
Kang, Jung Uk: Computational Modeling of Scene-selective Visual Neurons in area LIP (Lateral Intraparietal)
Karumbunathan, Aswin: Using Predictive Models for Compression in Database Systems
Lauria, Kshitij: Combinatorial Algorithms for Bipole Self-Assembly on Lattices with Applications to the Lipid Bilayer
Malkin, Nathan: Waiting Makes the Heart Grow Fonder and the Password Grow Stronger
McErlean, Doug: One Constraint to Rule Them All: How to simplify optimizations under constant variable sum, with applications for maximum likelihood
Storch, David: Towards an Intelligent Bidding Agent in QuiBids Penny Auctions
Tremel, Edward: Real-World Performance of Cryptographic Accumulators
Zweig, Jonathan: Procedural Architectural Facade Modeling

2012

Boger, Sam: Defense Against the Dark Arts: An Approach to Introductory Computer Security Education
Bressler, Garrett: Software Transactional Memory in the Linux Kernel
Changpinyo, Soravit: Learning Image Attributes using the Indian Buffet Process
Franco, Jacob: Cryptic Population Substructure and Fuzzy Clustering
Gillani, Nabeel: Joint Assessment and Restoration of Power Systems
Herman, Jeffrey: A Markov random field model for inferring population structure
Ryza, Sandy: Solving Hard Problems with Lots of Computers
Stix, Eric: An Empirical Study of Online Penny Auctions
Stix, Jeffrey: Designing a Bidding Algorithm for Online Penny Auctions
Weis, James: Computational Genomics and Bioenergy: Modeling and Clustering of RNA-SEQ Data

2011

Donahue, Evan: Searching for the Blackbox: Unsupervised Recovery of Relational Schema from Unstructured Airplane Crash Reports

2010

Mustacchi, Robert: StashFS: Generalized Disconnected Operation
Saftoiu, Claudiu: JSTrace: Run-time Type Discovery for JavaScript
Stewart, Allan: Face-center cubic (FCC) lattice models for protein folding: energy function inference and biplane packing

2009

Cheever, Elizabeth: One Dimensional Simulations of Cerebral Blood Flow
Fischer, Travis: Milton
Franks, Alexander: An Efficient Image Search Algorithm For Object Feature Identification in Biological Vision
Lapping-Carr, Micah: RGame: A Video Game for Interactive Robot Learning

2008

Baskin, Jacob: Comparing Apples and Oranges: Using Consensus Rankings for Decision Support
Cunningham, Sam: Predicting when seam carved images become unrecognizable
Diamond, Brandon: [incr Insight] An easy to use, easy to extend module system for Insight/GDB
Garton, Lian: An Investigation of Population Subdivision Methods in Disease Associations with a Focus on Markov Chain Monte Carlo
Gordon, Colin Stebbins: Type-safe Stack Traversal for Garbage Collector Implementation
Panda, Aurojit: An Empirical Study of Structural Symmetry Breaking
Quirk, Lincoln: Ownership of a queue for practical lock-free scheduling
Winograd-Cort, Daniel: Deducing Relevant Bridge Bidding Information from Double Dummy Data

2007

Austerweil, Joe: A Unified, Global and Local, Hierarchical Generative Document Ordering Model
Greenberg, Michael: Declarative, composable views
Lee, Seong Jae: Comparison of Bidding Algorithms for Simultaneous Auctions
Meyerovich, Leo: Flapjax: Functional Reactive Web Programming

2006

Ballard, Lucia: Conflict Avoidance: Data Structures in Transactional Memory
Chang, Edwin: Sketching Articulation and Pose for Facial Meshes
Tse, Ronald Henry: TCP Fairness in Multipath Transport Protocols

2005

Arnaudov, Vesselin: Unified Management of Heterogeneous Sensor Networks In the Atlantis Framework
Bookstaber, Daniel: Using Markov Decision Processes to Solve a Portfolio Allocation Problem
Bromberg-Martin, Ethan: Partial-Order Alignment of RNA Structures
Kern, Edward: The Crunch Mobile Robot
Lee, Stephanie: Quantitative Metrics for White Matter Integrity Based on Diffusion Tensor MRI Data
Sakai, Haruyoshi: Internet Poker: Data Collection and Analysis
Taubman, Gabriel: MusicHand: A Handwritten Music Recognition System
Tom, Nancy: GuShi: An Innovative Multimedia Program Implementing Traditional Textbook Methods for Teaching Intermediate Second Language Learners
Tschantz, Michael: The Clarity of Languages for Access-Control Policies
Ye, Jason: Atlantis: Location Based Services with Bluetooth

2004

Benisch, Michael: Optimization Under Uncertainty in Online Trading Agents
Licata, Daniel: Verifying Interactive Web Programs

2003

Blundell, Colin: A Constraint-Based Approach to Open Feature Verification
Egan, Kevin: Techniques for Real-Time Rigid Body Simulation
Eigen, David: Java Demonstration Software for Differential Geometry and Polyhedral Theories
Finkel, Benjamin: Curvilinear Graph Drawing Using The Force-Directed Method
Ho, Kate: Data Replication under Latency Constraints
Huang, Albert: Ad-hoc Collaborative Document Annotation on a Tablet PC
Kern, Josh: Aurora Performance Monitoring Tool Programmer's Guide
Lederman, Roger: Optimization of Stochastic Inventory Control with Correlated Demands
McClain, Andrew W.: CaveSculpture: Creating sculpture from CavePaintings
Pytlik, Brock: Automatic Debugging Using Potential Invariants
Schrock, Eric: Dynamic Lock Dependency Analysis of Concurrent Systems
Sigelman, Ben: Video-Based Tracking of 3D Human Motion Using Multiple Cameras
Straub, Christian D.: Authentication of Embedded Data in HTML Documents through the Use of Prooflets