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 including use of technology tools for improving education (see links titled "CONSIDER" under "Education" below).

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: