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).

A very recent interest is the possible uses of video games for STEM education. As of Spring '23, I am in the early stages of implementing a handful of games. More on this as I make progress.

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: