The Laboratory for Software Design in the Department of Computer Science at Iowa State University is seeking a postdoctoral fellow to work on the Boa project. The Boa project is developing an infrastructure for big code mining and using the infrastructure for such software engineering goals as specification inference. For more details about the project please refer to https://boa.cs.iastate.edu. The initial position is for one year with the possibility of extensions up to three years. A qualified candidate has: (1) a Ph.D. in Computer Science, Software Engineering or a closely related field, and (2) outstanding ability to carry out research. Candidates who are in the final stages of obtaining their Ph.D. will also be considered.

We just heard that our work on first class effect will appear at the OOPSLA/SPLASH 2016 conference. This is a collaborative effort with my former PhD student Yuheng Long and Yu David Liu. This work asks: what if software could inspect its side-effects to make runtime decisions?”

For the last several years, my research lab has been developing the Panini programming language whose goals are to make concurrent programming easier and concurrent programs free of concurrency related defects.

I will be teaching a course on object-oriented analysis and design this Fall at Iowa State University after a long hiatus. I last taught that course in Fall 2007.

Good evening! Its Monday, July 25, 2016 and I just got a basic blog up and running. I am using the Jekyll page generator. Thanks to Barry Clark and others for putting together the Jekyll Now repository that makes the entire process a piece of cake.