Submissions from 2012
Automated Cost Analysis of a Higher-Order Language in Coq, Jennifer Lynn Paykin
Charming Python with Static Typing, Jeffrey Phillips Ruberg
Safe Motion Planning for Autonomous Driving, Micah James Wylde
Submissions from 2011
A Simulation of Circuit Creation in Tor, William Higginson Branin Boyd
Analyzing the Effectiveness of Passive Correlation Attacks on the Tor Anonymity Network, Samuel Padraic DeFabbia-Kane
Forbidden Pairs Make Problems Hard, Eli Simon Fox-Epstein
Submissions from 2010
Dynamical Systems-based Navigation: Modeling and Verification, Juan Pablo Mendoza
Constructing Polygonal Maps for Navigating Agents using Extracted Line Segments, Foster Nichols
Submissions from 2009
A Clustering Algorithm for Recombinant Jazz Improvisations, Jonathan Reuven Gillick
Submissions from 2008
A Simulation Study of Protein Family Degree Distribution, Bach Vu Dao
Performance Enhancement and Equivalence Criteria for Cellular Automaton-Based Tumor Simulations, Jesse Julian Farnham