Welcome

Hi! I work at GrammaTech, primarily on static analyses for finding concurrency bugs in large-scale C and C++ programs. For the 2012-2013 academic year I am a visiting lecturer at Cornell. Here is a pdf-formatted version of my CV. If you would like to contact me, please use one of the following email addresses:

My office is Upson Hall 4105A, but I'm not there often, so make arrangements before dropping by.

Teaching

Courses I taught or will be teaching:

• 2013, Spring. CS3110: Data Structures and Functional Programming
• 2012, Autumn. CS5150: Software Engineering
• 2010, Winter. Computer Programming 1 and 2. I taught these courses at The University of Danang in Vietnam as part of a curriculum exchange program. The basic course designs can be found here and here
• 2008, Summer. CSS448: Translation of Programming Languages. The course website is no longer available, but it was similar to this offering.
• 2007, Autumn. CSE370: Introduction to Digital Design

Research

At GrammaTech I primarily work on advanced static analyses for detecting concurrency bugs. Most of this work is proprietary, and therefore is unpublished. However, I did give the following presentations:

• Hazards of Multi-threaded and Multi-core Software Development. An EETimes-sponsored webinar.
• Tracing Data Flows to Find Concurrency Errors. Presented at The Workshops on Spacecraft Flight Software, hosted by The Johns Hopkins University Applied Physics Laboratory in October, 2011.

Previously I was a member of the Mosaic group at The University of Washington. I designed and implemented a C-level programming language for parallel coprocessor architectures like FPGAs and GPUs. I also worked with a substantial number of undergraduate students on CPU-intensive demonstration applications, drawn from a variety of scientific and media processing domains.

Way back in the day I participated in the PipeRench project.