For the academic year 2006-2007, I am on leave from the Computer Science department of University of Wisconsin-Milwaukee and am residing at Nanjing University. Please direct English-only email to boyland@cs.uwm.edu. 中文的电子邮件可能发送到boyouen@gmail.com.
My research is in the area of programming languages and compilers. My particular emphasis is “checking design-intent.” In other words, I'm interested in using program analysis techniques to check that a program fulfils the intent given in annotations. I am particularly interested in modular checking situations where each class/method is checked under the assumption that other classes/methods fulfill their annotated design intent. My speciality is in the area of checking mutable state access using “fractional permissions.” This year, I have been concentrating on formalizing the semantics of fractional permissions and extending fractional permissions to handle synchronization. In particular, I have been learning how to use Twelf.
A listing of publications is available.In the first semester (2006-2007), I taught a course in Program Analysis. In the second semester, I am teaching a course in Programming Language Concepts.