Joel Winstead's Home Page

Joel Winstead's Home Page

I am a graduate student in the Department of Computer Science at the University of Virginia. My main research interests are dynamic analysis, model checking, and security, and I am working under David Evans.

Research

My Master's thesis defines a semantics for exceptions in parallel loops that allows one to reason about the results of the loop even in the event of an exception, and describes how it could be implemented in Java. I presented a short version of this at POOSC '01, a workshop that was a part of OOPSLA 2001 in Tampa, Florida.

I am currently looking for a dissertation topic, and although I don't really have one yet, I'm interested in distributed tuple spaces. They present an interesting way of coordinating distributed processes, and pose interesting questions about scalability, security, and reliability.

About Me

I graduated from the College of William and Mary in 1998 with a double major in Philosophy and Computer Science. Some people seem to think that's a strange combination, but don't think they're really all that different. While there, I was active in the Baptist Student Union, which I still think of as a sort of extended family, because I made many of by best friends there and still keep in touch with them.

I am now a grad student at U.Va. in Charlottesville, where I study CS, participate in the Wesley Foundation, read and re-read everything I can get my hands on by or about J.R.R. Tolkien, argue with people (and the occasional fencepost) about various philosophical and non-philosophical things, play go, and occasionally hike, paint, or do other random things.

One such random thing is my Virtual Walks page, which has virtual tours I have made of parts of the campuses of William and Mary and U.Va. College campuses are pretty interesting places, because they often have unusual architecture, interesting landscaping, and living history. I'm particularly fond of these two campuses because I've spent so much time on them, and I thought it'd be fun to try to capture a record of them.