You are here

Neelam Soundarajan

  • Associate Professor, Computer Science & Engineering
  • 579 Dreese Laboratories
    2015 Neil Ave
    Columbus, OH 43210
  • 614-292-1444

Honors

  • 2016

    CSE teaching award. .

  • 2012

    CSE Service Award. .

  • 2006

    Boyer Award for Excellence in Undergraduate Teaching Innovation. .

  • 2006

    CSE Service Award. .

  • 2003

    Best paper award. .

Chapters

2007

  • N Soundarajan, J Hallstrom. 2007. "Precision, flexibility and tool support: Essential elements of pattern formalization." In Design Pattern Formalization Techniques, edited by T. Taibi, 280 - 301. Hershey: IGI Publishing.

2004

  • N Soundarajan, S Fridella. 2004. "Incremental Reasoning for Object Oriented Systems." In From object-orientation to formal methods, edited by Owe, Krogdahl, Lyche, 302 - 333. Berlin: Springer.
  • B Tyler, N Soundarajan. 2004. "Testing polymorphic behavior of framework components." In Testing COTS Components and Systems, edited by Beydada, Gruhn, Berlin: Springer.

1999

  • N Soundarajan. 1999. "Understanding frameworks." In Building Application Frameworks: Object-Oriented Foundations of Framework Design, edited by M Fayad, New York: John Wiley.

Journal Articles

2014

  • N. Soundarajan, R. Gustafson, 2014, "Learning Objects for Collaborative Learning in Engineering Programs." International Journal of Collaborative Enineering 1, no. 3/4, 353 - 370.

2012

  • Neelam Soundarajan, 2012, "Position paper: Program objectives, outcomes, and assessments: A call to rethinking of ABET criteria." Computers in Education Journal 3, no. 2, 79 - 82.
  • Neelam Soundarajan, 2012, "A novel sustainable model of assessment of program outcomes for a CSE program." Computers in Education Journal 3, no. 2, 59 - 71.

2008

  • N. Soundarajan, J. Hallstrom, G. Shu, A. Delibas, 2008, "Patterns: From system design to software testing." Innovations in Systems and Software Engineering 4, no. 1, 71 - 85.

2004

  • Soundarajan,N; Fridella,S, 2004, "Incremental reasoning for object oriented systems." FROM OBJECT-ORIENTATION TO FORMAL METHODS 2635, 302 - 333.
  • N Soundarajan, 2004, "Program Assessment and Program Improvement: Closing the Loop." Journal of Assessment and Evaluation in Higher Education (AEHE) 29, no. 5, 597 - 610.

2002

  • J Hallstrom, N Soundarajan, 2002, "Incremental Development Using Object Oriented Frameworks: A Case Study." Journal of Object Technology (JOT) 1, no. 3, 189 - 206.
  • Jiang,J,P; Lai,T,H; Soundarajan,N, 2002, "On distributed dynamic channel allocation in mobile cellular networks." IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 13, no. 10, 1024 - 1037.
  • N Soundarajan, 2002, "Preparing for accreditation under EC 2000: An experience report." Journal of Engineering Education 91, no. 1, 117 - 124.
  • N Soundarajan, B Tyler, 2002, "Testing polymorphic behavior." Journal of Object Technology (JOT) 1, no. 3, 173 - 188.

2001

  • N Soundarajan, S Fridella, 2001, "Understanding OO frameworks and applications." Informatica 25, 297 - 308.

2000

  • N Soundarajan, 2000, "Documenting framework behavior." ACM Computing Surveys 32, no. 1, 1 - 4.
  • N. Soundarajan, S. Fridella, 2000, "Base classes, derived classes, and client programs: effectively reasoning about inheritance based code." Journal of Object Oriented Programming (JOOP) 13, no. 4, 13 - 22.

1988

  • A Elmagarmid, M Liu, N Soundarajan, 1988, "A distributed deadlock detection algorithm and its correctness proof." IEEE Transactions on Software Eng. 14, 1443 - 1452.
  • Soundararajan,N; COSTELLO,R,L, 1988, "RESPONSIVE SEQUENTIAL PROCESSES." SIGPLAN NOTICES 23, no. 3, 53 - 62.

1987

  • M Joseph, A Moitra, N Soundarajan, 1987, "Proof rules for fault tolerant distributed programs." Science of Computer Programming 8, 43 - 67.
  • A Sobel, N Soundarajan, 1987, "A proof system for Distributed Processes." Acta Informatica 8, 305 - 332.

1986

  • N Soundarajan, 1986, "Total correctness of CSP programs." Acta Informatica 23, 193 - 215.

1984

  • N Soundarajan, 1984, "Denotational semantics of CSP." Theoretical Computer Science 33, 279 - 304.
  • N Soundarajan, 1984, "A proof technique for parallel programs." Theoretical Computer Science 31, 13 - 29.
  • N Soundarajan, 1984, "Axiomatic semantics of CSP." ACM Trans. on Prog. Lang. and Systems 6, 647 - 662.

1983

  • N Soundarajan, 1983, "Correctness proofs of CSP programs." Theoretical Computer Science 24, 131 - 141.

1979

  • N Soundarajan, 1979, "Axiomatic proofs of total correctness of programs." Information Processing Letters 8, 274 - 277.

Unknown

Papers in Proceedings

2016

  • S. Joshi, N. Soundarajan "Exploring conflict-based collaborative learning in engineering courses." in ASEE North Central Section Conference. Mt. Pleasant, MI, US, (3 2016). 1 - 6.

2015

  • S. Joshi, N. Soundarajan, R. Ramnath "Conflict-Driven Cooperative-Learning in Computing Courses (Abstract Only)." in Proc. of the 46th ACM Symp. on Computer Sc. Education (SIGCSE). Kansas City, Missouri, (3 2015). 685 - 685.
  • N. Soundarajan, S. Joshi, and R. Ramnath "Collaborative and Cooperative-Learning in Software Engineering Courses." in 37th International Conference on Software Engineering (ICSE) -- Joint Software Engineering Education and Training. Florence, Italy, (5 2015). 1 - 4.
  • S. Joshi, N. Soundarajan, and R. Ramnath "Work-in-Progress: Conflict-Driven Cooperative Learning in Engineering Courses." in ASEE Annual Conference and Exposition. Seattle, WA, USA, (6 2015). 1 - 22.

2014

  • N. Soundarajan, S. Joshi, R. Ramnath "A novel approach to collaborative learning in the flipped classroom." in Proc. of the ASEE Annual Conference. Indianapolis, (6 2014). 11 -

2011

  • N Soundarajan, R Khatchadourian, D Bronish "Formalizing reusable aspect-oriented concurrency control." in Int. Conf. on Software Eng. & Knowledge Eng.. Skokie, IL, (6 2011). 111 - 114.
  • Neelam Soundarajan Work in progress: Collaborative and Reflective Learning in Engineering Programs. in Annual Conference of the American Society for Engineering Education. Vancouver, http://www.asee.org/conferences-and-events/conferences/annual-conference/2011, (6 2011). 1 - 15.

2010

  • J Bollinger and K Yackovich and R Ramnath and J Ramanathan and N Soundarajan "From student to teacher: Transforming industry sponsored projects into engaging curricular materials." in Proc. of IEEE/IBM Conf. on Transforming Engineering Education. (1 2010). 1 - 8.

2009

  • N Soundarajan "Direct assessment of program outcomes in a Computer Science and Engineering program." in ASEE Annual Conference. Austin, (6 2009). 1 - 16.
  • J Hallstrom and N Soundarajan "Reusing patterns through design refinement." in Proc. of International Conf. on Software Reuse. Falls Church, V, (1 2009). 225 - 235.
  • N Soundarajan and R Khatchadourian "Specifying reusable aspects." in Proceedings of the 5th Asian Workshop on Aspect Oriented and Modular Software Dev.. (1 2009). 1 - 10.

2008

  • R Khatchadourian, J Dovland, N Soundarajan Enforcing behavioral constraints in evolving aspect-oriented programs. in Seventh Workshop on Foundations of Aspect-Oriented Languages. Belgium, http://dl.acm.org/citation.cfm?id=1394496&picked=prox, (3 2008). 19 - 28.
  • J Hallstrom, N Soundarajan "Formalizing design patterns: a comprehensive contract for Composite." in Seventh Int. Workshop on Spec. and Verif. of Component-Based Systems (SAVCBS). Atlanta, (11 2008). 77 - 82.

2007

  • N Soundarajan, J Dovland, J Hallstrom "Tracing correct usage of design patterns." in Softw. Eng. Appl.. Boson, (6 2007). 163 - 167.
  • N Soundarajan "Direct Assessment of Criterion 3 Outcomes." in Best Assessment Processes Symp. IX. Terre Haute, IN, (4 2007). 1 - 25.
  • N Soundarajan, R Khatchadourian, J Dovland "Reasoning about the behavior of aspect-oriented programs." in Softw. Eng. Appl.. Boson, (6 2007). 198 - 2002.
  • Soundarajan,Neelam; Hallstrom,Jason,O; Delibas,Adem; Shu,Guoqiang "Testing patterns." in 31st Annual IEEE Software Engineering Workshop. LOS ALAMITOS, (1 2007). 109 - 118.

2006

  • N Soundarajan, J Hallstrom "Pattern-Based System Evolution: A Case-Study." in 18th Int. Conf. on Software Eng. and Knowledge Eng. (SEKE 2006). Skokie, IL, (7 2006). 321 - 326.
  • J Hallstrom, A Dalton, N Soundarajan "Parallel Monitoring of Design Pattern Contracts." in 18th Int. Conf. on Software Eng. and Knowledge Eng. (SEKE 2006). Skokie, IL, (7 2006). 236 - 241.
  • Tyler,Benjamin; Hallstrom,Jason,O; Soundarajan,Neelam "A comparative study of monitoring tools for pattern-centric behavior." in 30th Annual NASA/IEEE Software Engineering Workshop. LOS ALAMITOS, (1 2006). 37 - 46.
  • Hallstrom,J,O; Soundarajan,N; Tyler,B "Amplifying the benefits of design patterns: From specification through implementation." in 9th International Conference on Fundamental Approaches to Software Engineering. BERLIN, (1 2006). 214 - 229.
  • B Tyler, N Soundarajan "Automatic Monitoring of Control-flow Through Inheritance Hierarchies." in 18th Int. Conf. on Software Eng. and Knowledge Eng. (SEKE 2006). Skokie, IL, (7 2006). 355 - 358.

2005

  • N Soundarajan "From Assessment Results to Program Improvements." in Best Assessment Processes Symp. VIII. Terre Haute, IN, (4 2005). 1 - 22.

2004

  • J Hallstrom, N Soundarajan "Formal specification of design patterns: A case study." in 8th IASTED Int. Conf. on Softw. Eng. and App.. Cambridge, MA, (11 2004). 362 - 367.
  • Tyler,B; Soundarajan,N "Testing framework components." in 7th International Symposium on Component-Based Software Engineering. BERLIN, (1 2004). 138 - 145.
  • Soundarajan,N; Hallstrom,J,O "Responsibilities and rewards: Specifying design patterns." in 26th International Conference on Software Engineering (ICSE 2004). LOS ALAMITOS, (1 2004). 666 - 675.
  • Tyler,B; Soundarajan,N "Black-box testing of grey-box behavior." in 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003). BERLIN, (1 2004). 1 - 14.

2003

  • N Soundarajan, T H Lai "Distributed mutual exclusion." in 15th IASTED Int. Conf. on Parallel and Distributed Computing and Systems (PDCS). Marina del Ray, (11 2003). 171 - 176.

2001

  • Soundarajan,N; Tyler,B "Specification-based incremental testing of object oriented systems." in 39th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 39). LOS ALAMITOS, (1 2001). 35 - 44.
  • N Soundarajan "Objectives, outcomes, and assessment mechanisms for CS programs." in 31st ASEE/IEEE Frontiers in Education Conference. Reno, (10 2001). 17 - 22 (Session: T2A).

2000

  • Soundarajan,N; Fridella,S "Behavioral subtyping and behavioral enrichment of multimethods." in 34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 34). LOS ALAMITOS, (1 2000). 105 - 114.
  • Soundarajan,N; Fridella,S "Framework-based applications: From incremental development to incremental reasoning." in 6th International Conference on Software Reuse (ICSR6). BERLIN, (1 2000). 100 - 116.
  • Soundarajan,N; Fridella,S "Exceptions in OO languages: Using them and reasoning about them." in 5th Ada-Europe International Conference on Reliable Software Technologies. BERLIN, (1 2000). 238 - 251.

1999

  • N Soundarajan "Engineering Criteria 2000: The Impact on Engineering Educatio." in 29th ASEE/IEEE Frontiers in Education Conference. San Juan, (11 1999). 25 - 30 (Session 11a1).
  • N Soundarajan, S Fridella "Modeling Exceptional Behavior." in Second Int. Conf. on the Unified Modeling Language. Fort Collins, (11 1999). 691 - 705.
  • Soundarajan,N; Fridella,S "Modeling exceptional behavior." in 2nd International Conference on the Unified Modeling Language (UML 99). BERLIN, (1 1999). 691 - 705.

1998

  • Soundarajan,N; Fridella,S "Reasoning about polymorphic behavior." in Conference on Technology of Object-Oriented Languages (TOOLS 26). LOS ALAMITOS, (1 1998). 346 - 358.
  • Soundarajan,N; Fridella,S "Inheritance: From code reuse to reasoning reuse." in 5th International Conference on Software Reuse. LOS ALAMITOS, (1 1998). 206 - 215.
  • Soundarajan,N; Fridella,S "Inheriting and modifying behavior." in Conference on Technology of Object-Oriented Languages and Systems (TOOLS 23). LOS ALAMITOS, (1 1998). 148 - 162.
  • N Soundarajan, S Fridella "Inheritance: From code reuse to reasoning reuse." in Fifth International Conference on Software Reuse. Victoria, (6 1998). 206 - 215.

1997

  • N Soundarajan "On the specification, inheritance, and verification of synchronization constraints." in Formal Methods for Open Object based Distributed Systems (FMOODS). Canterbury, (7 1997). 352 - 367.
  • YM Kim, TH Lai, N Soundarajan "A Wait-Free Probe Algorithm for Distributed Deadlock Detection and Resolution." in Conf. on Parallel and Dist. Systems. Seoul, (12 1997). 584 - 591.
  • N Soundarajan, S Fridella "Inheriting and Modifying behavior." in Technology of Object Oriented Languages (TOOLS 25). Santa Barbara, (11 1997). 148 - 162.

Unknown

  • Soundarajan, N "Work-in-progress: A novel approach to collaborative learning in engineering programs." in Annual Conf of the American Society for Engineering Edu..

Unknown

  • S. Joshi, N. Soundarajan "Exploring conflict-based collaborative learning in engineering courses." in ASEE Annual Conference and Exposition.
  • N. Soundarajan, S. Joshi, R. Ramnath "Conflict-Driven Cooperative-Learning in Engineering Courses." in Proc. of the ASEE Annual Conference.
  • Soundarajan, N, Joshi, S, Ramnath, R Work-in-progress: A novel approach to collaborative learning in the flipped classroom. in ASEE Annual Conference. http://www.asee.org/conferences-and-events/conferences/annual-conference/2014,
  • N. Soundarajan, S. Joshi, R. Ramnath "Conflict-Driven Cooperative-Learning in Engineering Courses." in Proc. of the ASEE Annual Conference.