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:

• Behavioral specification of Android apps
• Understanding, specifying, and testing mobile software

Related to design patterns:

• Reusing patterns through design refinement (ICSR, 2009)
• Tracing correct usage of design patterns
• Test Patterns
• Automated generation of monitors for pattern contracts
• From architectural patterns to architecture-based development
• Specifying and Reasoning About Design Patterns (tech report)
• Responsibilities and rewards: Reasoning about design patterns (ICSE '04)
• Reasoning About Design Patterns: A Case Study (SEA '04)

• Formalizing reusable aspect-oriented concurrency control (SEKE 2011)
• Specifying reusable aspects (submitted to the Nasa Formal Methods Workshop, 2010).
• Enforcing behavioral constraints in evolving AO programs (FOAL, 2008)
• Modular reasoning about aspect-oriented programs
• Incremental Reasoning for Object Oriented Systems
  (in "From object-orientation to formal methods", essays in memory of Ole-Johan Dahl, 2004)
• Documenting framework behavior (Computing Surveyes, 2000)

• Automatic monitoring of control-flow through inheritance hierarchies (SEKE 2006)
• Black-box Testing of Grey-box Behavior (FATES '03)
• Testing Polymorphic Behavior of Framework Components (to appear)

• On Distributed Dynamic Channel Allocation in Mobile Cellular Networks (TPDS '02)
• Correctness of Mutual Exclusion Algorithms (PDCS '03)

• CONSIDER ... the idea
• NEWPATH: An innovative program to nurture IT entrepreneurs (http://goo.gl/Rw8ttW)
• CONSIDER (JSEET 2015)
• Program objectives, outcomes, and assessments: A call to rethinking the ABET Criteria (Position paper) (a preliminary version of a paper to appear in the Computers in Education Journal)
• Work in progress: Collaborative and Reflective Learning in Engineering Programs (FiE 2011)
• Program Assessment and Program Improvement: Closing the Loop (AEHE '04)
• Preparing for Accreditation Under EC 2000: An Experience Report (JEE '00)
• Engineering Criteria 2000: The Impact on Engineering Education (Preliminary version of a paper that appeared in FIE '99)

Some other (less recent) papers:

• Understanding Frameworks (postscript) (pdf).
• Reasoning about frameworks (postscript).
• Specification-Based Incremental Testing of Object Oriented Systems (postscript).
• Behavioral subtyping and behavioral enrichment of multimethods (postscript).
• Exceptions in OO Languages: Using them and Reasoning about them (postscript).
• Modeling Exceptional Behavior (postscript).
• Enriching Behavioral Subtyping (postscript) (pdf).
• Inheritance: From Code Reuse to Reasoning Reuse (postscript) (pdf).
• Managing Specification Inconsistency in OO Systems (postscript) (pdf).
• A wait-free probe algorithm for distributed deadlock detection and resolution.
• Covariance, Contravariance, and Synchronization Constraints.
• On the Specification, Inheritance, and Verification of Synchronization Constraints (postscript) (pdf).
• Inheriting and Modifying Behavior (postscript).
• Refining Interactions in a Distributed System (postscript) (pdf).
• Interaction Refinement in Object-Oriented Systems (postscript) (pdf).
• Enriching Subclass Specifications.
• Engineering Criteria 2000: The Impact on Engineering Education (postscript) (html).
• Communication Traces in the Verification of Distributed Programs (postscript).
• Consistency/completeness of a CSP proof system

Comments are welcome: neelam@cse.ohio-state.edu.