Tuesday, May 25, 2010


It's a been a god few months for paper publishing (and I have been a little lax about reporting on it): "Encoding Ownership types in Java" (with James Noble) has been accepted to TOOLS, "Towards a Semantic Model for Java Wildcards" (with Alex Summers, Maraingiola Dezani-Ciancaglini, and Sophia Drossopoulou) has been accepted to FTfJP, and "Tribal Ownership" with James Noble and Tobias Wrigstad has been accepted to OOPSLA. Which all makes me very pleased indeed! I think they are all good work, and I very much enjoyed working on them, learning a lot from my collaborators in the process - thanks guys!

These papers should be appearing shortly on my research page.

No comments: