New Faculty in Computer Science
Prof. Shane Markstrum will be joining the Department of Computer Science this fall of 2009. By the time he arrives, he will have earned a Ph.D. in Computer Science from UCLA. He earned an M.S. in Computer Science also from UCLA and a B.S. in Computer Science and Mathematics from Harvey Mudd College. In his own words, Prof. Markstrum describes his scholarship as follows:
"My primary research interests lie in creating new programming language constructs and new software development tools that enable developers to create better software. To this end, I work on developing tools and techniques that allow the developer to participate in the software quality process. My thesis work has focused on the creation of user-defined programming discipline frameworks. Using these frameworks in a development toolchain can prevent bugs from being introduced into deployed software. This work has resulted in the creation and ongoing support of the JavaCOP, a pluggable type framework for Java, and Clarity, a semantic type qualifier framework for C. I have also been working on creating code refactorings that target parallel languages. As creating efficient and safe parallel programs is a difficult process, refactoring tools for parallel languages enable developers to safely transform their code without introducing new bugs such as race conditions or deadlock."
Prof. Markstrum is a passionate teacher who will bring to our department additional expertise in programming languages and software engineering. This coming fall, he will be teaching a lab for CSCI 203 Introduction to Computer Science I and lectures and lab for CSCI 204 Introduction to Computer Science II. We look forward to welcoming him to our team!
Recent publications authored by Prof. Markstrum include:
* Brian Chin, Daniel Marino, Shane Markstrum, Todd Millstein. “Enforcing and Validating User- Defined Programming Disciplines.” In Proceedings of PASTE'07: Program Analysis for Software Tools and Engineering. San Diego, California, June 2007.
* Chris Andreae, James Noble, Shane Markstrum, Todd Millstein. “A Framework for Implementing Pluggable Type Systems.” In Proceedings of OOPSLA'06, Object-Oriented Programming, Systems, Languages, and Applications. Portland, Oregon, October 2006.
* Brian Chin, Shane Markstrum, Todd Millstein, Jens Palsberg. “Inference of User-Defined Type Qualifiers and Qualifier Rules.” In Proceedings of ESOP'06, European Symposium of Programming. Vienna, Austria, March 2006.
