AtomScheme: Spring 2007
AtomScheme is an investigation into the interaction between atomic software transactions and first-class continuations in Scheme. We argue that rather than provide a definitive answer to the question of what happens when a continuation escapes a transaction body, programmers must be allowed to choose from a number of reasonable semantics based on the needs of the particular transaction. Read more...

JMatch: Summer 2005
As an undergraduate, I worked under Andrew Myers with Jed Liu on a language they developed called JMatch. I demonstrated that coroutine iterators written in this language could be efficiently compiled to native code with considerable run-time performance. This result was published in POPL'06.

Unmanned Aerial Vehicle: 2004-2005
Also while at Cornell, I spent two years on the CUUAV (Cornell University Unmanned Aerial Vehicle) team. We developed an autonomous flight system capable of launching and piloting a plane, performing a mission involving visiting multiple waypoints, changing mission parameters in real time, and relaying video and telemetry data back to a base station on the fly. Our ground station system also included a terminal for automated and manual computer vision analysis of the input data. I developed the vision station, as well as the communication protocol used between the aircraft and the ground station.