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.

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

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 (submitted)
• 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)

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

• Engineering Criteria 2000: The Impact on Engineering Education (Preliminary version of a paper that appeared in FIE '99)
• Preparing for Accreditation Under EC 2000: An Experience Report (JEE '00)
• Program Assessment and Program Improvement: Closing the Loop (AEHE '04)

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

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