Neelam Soundarajan's Recent Research

Description: My interests are in the broad area of Software Engineering, particularly SE issues in Object-Oriented and Distributed Systems. I am particularly interested in specification and verification questions. I am also very interested in approaches to effective STEM education.

Here are some recent papers (most are preliminary versions of papers whose more complete/revised versions appeared in conferences/journals etc.):

Related to Android:

Related to design patterns:

Reasoning about OO systems and AOP systems: Related to testing: Distributed computing: Education:

Some other (less recent) papers:

Comments are welcome: