Undergraduate Honors Theses
2016
- Hoff, Timothy Adam
- Extending Open vSwitch to Facilitate Creation of Stateful SDN Applications
- Kim, YounHun
- Algebraic Connectivity of Graphs, with Applications
- Nado, Zachary
- Deep Recurrent and Convolutional Neural Networks for Automated Behavior Classification
- Sachs, Sarah
- Similar-Part Approximation Using Invariant Feature Descriptors
- Thompson, Joseph
- Recent Applications in Mechanism Design
- Wallace, Henry
- Clustering of Musical Genres
2015
- Acheson-Field, Hannah
- Reconstructing Clonal Trees From Multi-Sample Sequencing Data
- Correa Orozco, David
- TeachWithGlass: Improving the Teaching Experience through Google Glass
- Eldon, Miles
- Incrementally Interpreting Multimodal Referring Expressions in Real Time
- Hershkowitz, D. Ellis
- Leveraging and Learning Propositional Functions for Large State Spaces in Planning and Reinforcement Learning
- Light, Alex
- Reenix: Implementing a Unix-Like Operating System in Rust
- Lu, Jeffrey
- Avoiding Parameter Overfitting in a Monte Carlo Approach to Real-Time Strategy Games
- Metaxa-Kakavouli, Danae
- SleepCoacher: Combining Computational and Clinician-Generated Sleep Recommendations
- Phene, Sonia
- Parallelization of Variational Inference for Bayesian Nonparametric Topic Models
- Schvimer, Judah
- Take the First Right and Go Straight Forever: Novel Planning Algorithms in Stochastic Infinite Domains
- Siranosian, Benjamin
- A Multi-scale Ensemble Model of Chromatin Conformation
- Steen, Frances
- Teleportation as a Strategy for Improving Concurrent Skiplist Performance
- Stephenson, Will
- Variational Inference for Hierarchical Dirichlet Process Based Nonparametric Models
- Wu, Chenggang
- Nested Transaction: An Efficient Facility to Enforce the Nesting and the Partial Ordering Requirements in S-Store
- Yauney, Gregory
- Artificially and (Hopefully) Intelligently Modeling Program Synthesis: Planning in a Large, Strange State Space
2014
- Aebi, Bryce
- Peernote Status Report
- Boreiko, John
- Implementation Analysis of Haze Protocol
- Frantz, Jacob
- Dynamic Resolution Fluid Simulation by Spectral Methods
- Herlihy, Anna
- Compilation Techniques for Distributed Analytics
- Hou, Ning
- Two Problems Related to cis-Regulatory Architecture of Transcription Factor Encoding Genes: Homologous Translation and Evolutionary Conservation-Based cis-Module Inference
- Hsiao, Vivian
- Network Constrained Regression
- Jain, Vishesh
- Network-Based Analyses of Pathological Gene Pathways in Neuropsychiatric Disorders
- Janthong, Abhabongse
- Streaming Algorithm for Determining A Topological Ordering of a Digraph
- Leavitt, Jonathan
- End-to-End Tracing Models: Analysis and Unification
- Wald, Elias
- A More Performant List Under Concurrent Environments Using Hardware Support for Transactional Memory
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
