dissertation posted
Posted June 2009
My thesis entitled API Protocol Compliance in Object-Oriented Software has been approved and is available as technical report CMU-ISR-09-108. The dissertation will also be available through ProQuest.
thesis defense 23 April 2009
Posted April 2009
My thesis defense is scheduled for 23 April 2009, 12 noon, in Wean Hall 5324! I am very excited and hope that many of you can make it.
thesis research
Updated April 2009
My thesis research is on API Protocol Compliance in Object-Oriented Software. It is based on papers on empirical observations about APIs and a sound modular type system for enforcing protocols in the presence of aliasing using the idea of fractional permissions. These appeared at ESEC/FSE'05 and OOPSLA'07, respectively. My thesis includes the development of Plural, a typestate protocol checking tool for Java. An upcoming ECOOP'09 paper summarizes empirical results in using my thesis work to specify Java standard library APIs and check compliance to these API protocols in open-source software. Recently, I have also submitted a paper on how Plural automatically infers permissions in a modular way.