Sudipto Ghosh

Department of Computer Science
Colorado State University
Fort Collins, CO 80523
Tel: (970) 491-4608
Email: ghosh@cs.colostate.edu
Fax: (970) 491-2466
URL: http://www.cs.colostate.edu/~ghosh/


 
Research Interests
 
Software design and testing in the object-oriented, aspect-oriented, and component-based paradigms; distributed applications; middleware technologies.
 
Education
Doctor of Philosophy
Department of Computer Sciences
Purdue University, West Lafayette, IN 47907
Dissertation:Testing Component-Based Distributed Systems (Advisor: Aditya P. Mathur)
 
Aug 2000
Master of Science
Department of Computer Sciences
Iowa State University, Ames, IA 50010
Master's project:Executing Trait Specifications in the Larch Family of Languages (Advisor: Albert L. Baker)
 
Aug 1995
Bachelor of Technology
Department of Computer Science and Engineering
Indian Institute of Technology, Kanpur, India
Bachelor's project:Terrain Modeling and Path Planning (Advisor: Sanjay G. Dhande)
 
May 1993
Work Experience
Associate Professor
Department of Computer Science, Colorado State University
 
July 2006 - present
Assistant Professor
Department of Computer Science, Colorado State University
 
Aug 2000 - June 2006
Consultant
Advanced Energy, Fort Collins, CO
 
May - Aug 2002
Teaching Assistant
Department of Computer Science, Purdue University
Taught and assisted in a senior course in Software Engineering.
 
Aug 1999 - May 2000
Summer Intern
Tivoli Systems Indianapolis, IN 46240
Project: Experimental evaluation of an interface-based
testing methodology for distributed objects.
 
Jun 1999 - Aug 1999
Teaching Assistant
Department of Computer Science, Purdue University
Involved in creating lab exercises, conducting lab
sessions, and grading assignments using Rational
Rose for the Software Requirements Analysis and
Design course at Raytheon, Indianapolis.
 
Jun 1999
Research Assistant
Software Engineering Research Center
Department of Computer Science, Purdue University
Project: Research on distributed system testing.
 
Aug 1995 - May 1999
Summer Intern
Tivoli Systems Indianapolis, IN 46240
Project: Implementation of a distributed system testing tool
for monitoring execution and software fault injection.
 
Jun 1998 - Aug 1998
Teaching Assistant
Department of Computer Science, Purdue University
Involved in creating lab exercises, conducting lab
sessions, and grading assignments on software testing
for Software Engineering Re-training Course at Raytheon.
 
Jul 1998
Summer Intern
Bell Communications Research, Morristown, NJ 07960
Project: Experimentation with the software fault injection
technique on large distributed systems.
 
Jun 1997 - Aug 1997
Summer Intern
Bell Communications Research, Morristown, NJ 07960
Project: Design and implementation of modules for a
software understanding and diagnosis system.
 
May 1996 - Aug 1996
Teaching Assistant
Department of Computer Science, Iowa State University
Involved in instruction, conducting recitations and lab
sessions, designing exams and grading homeworks, quizzes and exams.
 
Aug 1993 - May 1995
Courses Taught
Spring 2007
CS314 - Software Development Methods
CS518 - Distributed Software Systems Development
Fall 2006
CS414 - Object Oriented Design
Spring 2006
CS518 - Distributed Software Systems Development
Fall 2005
CS314 - Software Development Methods
CS614A - Software Engineering - Specification and Design
Spring 2005
CS166 - Discrete Structures
CS518 - Distributed Software Systems Development
Fall 2004
CS314 - Software Development Methods
Spring 2004
CS518 - Distributed Software Systems Development
Fall 2003
CS314 - Software Development Methods
CS614 - Advanced Topics in Software Engineering
Spring 2003
CS314 - Software Development Methods
CS518 - Distributed Software Systems Development
Fall 2002
CS314 - Software Development Methods
Spring 2002
CS614 - Certification of Component-Based Software
Fall 2001
CS581 - Distributed Systems (Components and middleware, new course)
CS314 - Software Development Methods
Spring 2001
CS517 - Software Specification and Design (new course)
Fall 2000
CS153 - Introduction to Java Programming
 
Research Grants
 
  •   ""Use of cell phones for field data capture in a Dengue Decision Support System," NIH,
         J. M. Bieman, L. Eisen (contact), S. Ghosh, S. Lozano-Fuentes, $172,923,
         07/15/09-06/30/10 ($365,971 for 2 years).

     
  •   "Planning Visits: Collaborative Research on Model-Driven Development of Complex Software
         Systems," NSF, R. B. France, S. Ghosh and J. Bieman, $23,000, 09/15/05-08/31/06.

     
  •   "Providing Support for Executing and Testing UML Design Models," S. Ghosh, $23,500,
          Faculty Award (Innovation Grant), IBM, 01/05/-12/05.

     
  •   "Testing UML Designs," Cost Extension, NSF, R. B. France, A. Andrews and S. Ghosh, $60,000,
           09/01/05-08/31/06.

     
  •   "Testing UML Designs," Research Experience for Undergraduates, NSF, R. B. France,
          A. Andrews and S. Ghosh, $8,350, 05/16/05-08/15/05.

     
  •   "Providing Support for Executing and Testing UML Design Models," S. Ghosh, $20,000,
          Eclipse Innovation Grant, IBM, 01/04/-12/04.

     
  •   "Testing UML Designs," NSF SEL, R. B. France, A. Andrews and S. Ghosh, $300,000,
           09/01/02-08/31/05.

     
  •   "Career Enhancement Grant," Colorado State University, S. Ghosh, $2,000, 07/01/02-06/30/03.
     
  •   "A Software Visualization System for CORBA-based Heterogeneous Distributed Applications,"
          CASI Undergraduate Research, S. Ghosh, $3,000, 08/01/01-06/30/02.

     
  •   "Fault Injection Testing of Java Objects,"Faculty Research Grant, S. Ghosh, $4,500,
          08/01/01-07/31/02.

     
  •   "An Architectural Approach to Reuse of Business and System Models," CASI, R. B. France,
          S. Ghosh and D. E. Turk, $86,000, 07/01/01-08/31/02.

     
  • Teaching Grants
     
  •   "Introducing Computer Science: A Summer Program," Colorado Institute of Technology,
          Y. K. Malaiya, S. Ghosh and S. Schleifers, $20,000, 06/01-07/01.

     
  • Travel Grants
     
  •   Student Travel Scholarship from the 29th Fault Tolerant Computing Symposium,
          Madison, Wisconsin, 1999.

     
  • Publications
    Journal

    1.   "Cell Phone-Based System (Chaak) for Surveillance of Immatures of Dengue Virus
           Mosquito Vectors." S. Lozano-Fuentes, F. Wedyan, E. Hernandez-Garcia, D. Sadhu,
           S. Ghosh, J. Bieman, D. Tep-Chel, Julia Garcia-Rejon and L. Eisen
      , accepted to
           the Journal of Medical Entomology.

       
    2.   "On Generating Mutants for AspectJ Programs," F. Wedyan and S. Ghosh,
           Information and Software Technology, 54 (2012), pp. 900-914.

       
    3.   "Aspect-Oriented Refactoring of Legacy Applications: An Evaluation," M. Mortensen,
           S. Ghosh, and J. M. Bieman
      , IEEE Transactions on Software
           Engineering available via early access February 2010.

       
    4.   "An approach for testing pointcut descriptors in AspectJ," R. Delamare, B. Baudry
           S. Ghosh, S. Gupta, and Y. Le Traon
      , Journal of Software
           Testing, Verification, and Reliability 21(3):215-239, September 2011.

       
    5.   "Barriers to Systematic Model Transformation Testing," B. Baudry, S. Ghosh,
           F. Fleurey, R. B. France, Y. Le Traon, and J.-M. Mottu
      ,
           Communications of the ACM, 53(6), Virtual Extension, vol 53, issue 6, June 2010.

       
    6.   "Bytecode Fault Injection for Java Software," S. Ghosh and J. L. Kelly, Journal
           of Systems and Software, 81(11):2034-2043, November 2008.

       
    7.   "A Test Driven Approach for Aspectualizing Legacy Systems," M. Mortensen, S. Ghosh,
           and J. M. Bieman
      , Information and Software Technology, 50(7-8): 621-640, 2008.

       
    8.   "Testing UML Designs," O. Pilskalns, A. A. Andrews, A. Knight, S. Ghosh, and
           R. B. France
      Information and Software Technology, 49(8):892-912, August 2007.

       
    9.   "Developing Service Oriented Systems Using an Aspect-Oriented Model Driven
           Framework," D. Simmonds, A. Solberg, R. Reddy, R. B. France, S. Ghosh,
           and J. Øyvind Aagedal
      , International Journal of Cooperative Information Systems,
           Special issue on Enterprise Distributed Computing, 15(4):535-564, December 2006.

       
    10.   "Model-Driven Development using UML 2.0: Promises and Pitfalls," R. B. France,
           S. Ghosh, T. Dinh-Trong, and A. Solberg,
      invited cover feature, IEEE Computer,
           39(2):59-66, February 2006.

       
    11.   "Directives for Composing Aspect-Oriented Design Class Models," Y. R. Reddy,
           S. Ghosh, R. B. France, G. Straw, J. M. Bieman, N. McEachen, E. Song, and
           G. Georg
      , Transactions on Aspect Oriented Software Development, LNCS
           Volume 3880, Springer-Verlag, pp. 75-105, 2006.

       
    12.   "A Middleware Transparent Approach to Developing Distributed Applications," S. Ghosh,
           R. B. France, D. M. Simmonds, A. Bare, B. Kamalakar, R. P. Shankar, G. Tandon,
           P. Vile, and S. Yin,
      Software Practice and Experience, 35(12):1131-1154,
           Wiley, October 2005.

       
    13.   "Aspect-Oriented Approach to Design Modeling," R. B. France, I. Ray, G. Georg,
           and S. Ghosh,
      IEE Proceedings - Software, Special Issue on Early
           Aspects: Aspect-Oriented Requirements Engineering and Architecture Design,
           151(4):173--185, August 2004.

       
    14.   "A UML-Based Language for Specifying Domain-Specific Patterns," D. K. Kim,
           R. B. France and S. Ghosh,
      Journal of Visual Languages and Computing, Special
           Issue on Domain Modeling With Visual Languages, 15(3-4):265-289, June - August 2004.

       
    15.   "A UML-Based Pattern Specification Technique," R. B. France, D. K. Kim, S. Ghosh
           and E. Song
      , IEEE Transactions on Software Engineering, 30(3):193-206, March 2004.

       
    16.   "A Metamodeling Approach to Pattern-based Model Refactoring", R. B. France, S. Ghosh
           E. Song and D. K. Kim,
      IEEE Software Special Issue on Model-Driven Development,
           20(5):52-58, September 2003.

       
    17.   "Test Adequacy Criteria for UML Design Models", A. Andrews, R. B. France, S. Ghosh
           and G. Craig
      Journal of Software Testing, Verification and Reliability, 13(2):95-127,
           April-June 2003.

       
    18.   "Supporting Effective Software Modeling", R. B. France, S. Ghosh and D. Turk
            L'Objet Software, Databases, Networks Journal, Hermes, 9(4):11-30 2003.

       
    19.   "Interface Mutation," S. Ghosh, A. P. Mathur, Journal of Software Testing, Verification and
           Reliability, Volume 11, Number 4, December 2001.

       
    20.   "An Extensible Framework for Testing Distributed Java Applications," S. Ghosh, N. Bawa,
           G. Craig, K. Kalgaonkar.
      Journal of Research and Practice in Information Technology,
           Special Issue on Distributed Systems, Volume 33, Number 2, May 2001.

       
    21.   "Mining System Tests to Aid Software Maintenence," H. Agrawal, J. L. Alberi, J. R. Horgan,
           J. J. Li, S. London, W. E. Wong, S. Ghosh, N. Wilde
      , IEEE Computer, Vol. 31, No. 7,
           July 1998.

       

    Book Chapter

    1.   "Using Directives to Implement Model Transformations", D. Simmonds, R. France, and
           S. Ghosh
      , From MDD Concepts to Experiments and Illustrations, editors: Jean-Philippe
           Babau, Joel Champeau, and Sebastien Gerard, ISTE Ltd., pp 25-41, 2006.

       
    2.   "Fault-based Testing of CORBA Component Software," S. Ghosh and A. P. Mathur,
           Book Series on Component-Based Software Development, vol 1, World Scientific
           Press, pp. 187-210, March 2004.

       
    3.   "Using Roles to Characterize Model Families," R. B. France, D. K. Kim, E. Song,
            S. Ghosh
      , Practical foundations of business and system specifications,
            Editor Haim Kilov, Kluwer Academic Publishers, September 2003.

       

    Books Edited

    1.   Editors: S. Ghosh. Models in Software Engineering, Workshops and Symposia at
           MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised
           Selected Papers. Lecture Notes in Computer Science 6002 Springer 2010.

       
    2.   Editors: S. Ghosh, K. Arnold, and G. R. Gao. Java/Jini Technologies and
         High-Performance Pervasive Computing, Proceedings of SPIE, vol. 4863, 2002.

       
    3.   Editors: S. Ghosh. Java/Jini Technologies, Proceedings of SPIE, vol. 4521, 2001.
       

    Editorials

    1.   W. E. Wong, S. Ghosh, C. O. Sung: Guest editors' introduction to the special section
           on the software engineering track of the 22nd annual ACM symposium on applied
           computing (ACM SAC-SE 2007). Software Quality Journal 16(3): 301, 2008.

       
    Refereed Conference

    1.   "An Exploratory Study of Higher Order Mutation Testing in Aspect-oriented Programming",
           E. Omar and S. Ghosh, Proceedings of the 23rd International Symposium on Software
           Reliability Engineering (ISSRE 2012) Dallas, USA November 27-30, 2012.

       
    2.   "Using Cell Phones for Mosquito Vector Surveillance and Control", S. Lozano-Fuentes,
           S. Ghosh, J. M. Bieman, D. Sadhu, L. Eisen, F. Wedyan, E. Hernandez-Garcia,
           J. Garcia-Rejon, D. Tep-Chel, Proceedings of the 24th International Conference on
           Software Engineering & Knowledge Engineering (SEKE'2012), Redwood City,
           USA July 1-3, 2012.

       
    3.   "Tester Feedback Driven Fault Localization," A. Bandyopadhyay and S. Ghosh,
           Proceedings of the 5th International Conference on Software Testing, Verification
           and Validation, pp. 41-50, Montreal, Canada, April 17-21, 2012.

       
    4.   "On the Effectiveness of the Tarantula Fault Localization Technique for Different Fault
           Classes," A. Bandyopadhyay and S. Ghosh, Proceedings of the 13th IEEE International
           High Assurance Systems Engineering Symposium, Boca Raton, FL, USA,
           November 10-12, 2011.

       
    5.   "Proximity Based Weighting of Test Cases to Improve Spectrum Based Fault Localization,"
           A. Bandyopadhyay and S. Ghosh, Proceedings of the 26th IEEE/ACM International
           Conference on Automated Software Engineering (ASE), Lawrence, KS, USA,
           November 6-11, 2011.

       
    6.   "A Dataflow Testing Approach for Aspect-Oriented Programs," F. Wedyan and
           S. Ghosh
      , Proceedings of the 12th IEEE International High Assurance Systems
           Engineering Symposium (HASE), pp. 64-73, San Jose, USA, November 1-4, 2010.

       
    7.   "A Rigorous Approach to Uncovering Security Policy Violations in UML Designs," L. Yu,
           R. B. France, I. Ray, and S. Ghosh
      , Proceedings of the 14th International Conference
           on Engineering of Complex Computer Systems (ICECCS), Potsdam, Germany,
           June 2-4, 2009.

       
    8.   "A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ," R. Delamare,
           B. Baudry, S. Ghosh and Y. Le Traon
      , Proceedings of the 2nd International Conference
           on Software Testing, Verification and Validation (ICST), Denver, Colorado, April 1-4, 2009.

       
    9.   "Test Input Generation using UML Sequence and State Machines Models," A. Bandyopadhyay
           and S. Ghosh
      , Proceedings of the 2nd International Conference on Software Testing,
           Verification and Validation (ICST), Denver, Colorado, April 1-4, 2009.

       
    10.   "A Joinpoint Coverage Measurement Tool for Evaluating the Effectiveness of Test Inputs for
           AspectJ Programs", F. Wedyan and S. Ghosh, Proceedings of the 19th International
           Symposium on Software Reliability Engineering (ISSRE), pp. 207-212, Seattle,
           Washington, November 11-14, 2008.

       
    11.   "Fault Injection Testing of User-space File Systems Using Traditional and Aspect-based
           Techniques", J. Hittle and S. Ghosh, Proceedings of the 20th International Conference
           on Software Engineering and Knowledge Engineering (SEKE), pp. 873-876, Redwood
           City, CA, July 1-3, 2008.

       
    12.   "Developing Model Transformation Tools Using the UML Metamodel: Challenges and
           Solutions", A. Bandyopadhyay and S. Ghosh, Proceedings of Software Engineering and
           Applications, pp. 545-550, Cambridge, MA, November 19-21, 2007.

       
    13.   "Providing Support for Model Composition in Metamodels", R. B. France, F. Fleury,
           R. Reddy, B. Baudry, and S. Ghosh
      , Proceedings of the 11th International EDOC Conference
            IEEE Computer Society Press, pp. 253-266, Annapolis, MD, October 15-19, 2007.

       
    14.   "Refactoring Idiomatic Exception Handling in C++: Throwing and Catching Exceptions with
           Aspects," M. Mortensen and S. Ghosh, Industry Track of the
           International Conference on Aspect-Oriented Software Development (AOSD),
           Vancouver, Canada, March 12-16, 2007.

       
    15.   "A Systematic Approach to Generate Inputs to Test UML Design Models," T. Dinh-Trong
           S. Ghosh, and R. B. France
      , to be presented at the 17th International Symposium
           on Software Reliability Engineering (ISSRE), IEEE Computer Society Press, pp. 95-104,
           November 7-10, 2006.

       
    16.   "Testing During Refactoring: Adding Aspects to Legacy Systems," M. Mortensen
           S. Ghosh, and J. M. Bieman
      , Proceedings of the 17th International Symposium
           on Software Reliability Engineering (ISSRE), IEEE Computer Society Press, pp. 221-230,
           Raleigh, NC, November 7-10, 2006.

       
    17.   "Using Aspects with Object-Oriented Frameworks," M. Mortensen and S. Ghosh,
           Proceedings of the Industry Track of the International Conference on Aspect-Oriented
           Software Development (AOSD), pp. 9-17, Bonn, Germany, March 20-24, 2006.

       
    18.   "Software Component Specification: A Study in Perspective of Component Selection
           and Reuse," C. J. M. Geisterfer and S. Ghosh, Proceedings of the 5th International
           Conference on COTS Based Software Systems (ICCBSS), Orlando, USA,
           February 13-17, 2006.

       
    19.   "An Aspect Oriented Model Driven Framework," D. Simmonds, A. Solberg, R. Reddy,
           R. B. France, and S. Ghosh
      , Proceedings of the 9th International Enterprise
           Distributed Object Computing Conference (EDOC 2005), IEEE Computer Society
           Press, pp. 119-130, Enschede, The Netherlands,  September 19-23, 2005.

       
    20.   "Using Aspect Oriented Techniques to Support Separation of Concerns in Model
           Driven Development", A. Solberg, D. Simmonds, R. Reddy, S. Ghosh, and
           R. B. France
      , Proceedings of the 29th Annual International Computer Software and
           Applications Conference (COMPSAC 2005), IEEE Computer Society Press, pp. 121-126,
            Vol. 1, Edinburgh, Scotland, July 25-28, 2005.

       
    21.   "A Tool-Supported Approach to Testing UML Design Models", T. Dinh-Trong, N. Kawane,
           S. Ghosh, R. B. France, and A. A. Andrews
      , Proceedings of the 10th IEEE International
           Conference on Engineering of Complex Computer Systems (ICECCS 2005), IEEE Computer
           Society Press, pp. 519-528, Shanghai, China, June 16-20, 2005.

       
    22.   "Enabling the Selection of COTS Components", S. Ghosh, J. Kelly, and
           R. Shankar
      , Proceedings of the 4th International Conference on
           COTS-Based Systems (ICCBSS 2005), pp. 122-131, Bilbao, Spain, February 7-11, 2005.

       
    23.   "Middleware Transparent Development of Dependable CORBA Applications",
           B. Kamalakar, S. Ghosh and P. Vile, 15th IEEE International Symposium on
           Software Reliability Engineering (ISSRE 2004), pp. 352-363, St. Malo, France,
           November 2-5, 2004.

       
    24.   "Model Composition Directives", G. Straw, Geri Georg, E. Song, and S. Ghosh,
           R. B. France and J. M. Bieman, 7th International Conference On the UML (UML 2005),
           pp. 84-97, Portugal, Lisbon, October 11-15, 2004.

       
    25.   " Using Subject-Oriented Modeling to Develop Jini Applications", G. Tandon
           and S. Ghosh, 8th IEEE International Enterprise Distributed Object Computing
            (EDOC 2004), pp. 111-122, Monterey, California, September 20-24, 2004.

       
    26.   "Test Adequacy Assessment for UML Design Model Testing," S. Ghosh, R. B. France,
           C. Braganza, N. Kawane, A. Andrews and O. Pilskalns
      , International Symposium on
           Software Reliability Engineering (ISSRE 2003), Denver, USA, November 17-20, 2003.

       
    27.   "A Role-Based Metamodeling Approach to Specifying Design Patterns," D. K. Kim,
           R. B. France, S. Ghosh and E. Song
      , Proceedings of the 27th Annual International
           Computer Software and Applications Conference (COMPSAC 2003), IEEE Computer
           Society Press, 2003, Dallas, USA, November 3-6, 2003.

       
    28.   "Rigorous Testing by Merging Structural and Behavioral UML Representations,"
           O. Pilskalns, A. Andrews, S. Ghosh and R. B. France, 6th International Conference on
           the Unified Modeling Language (UML 2003), San Francisco, USA, October 20-24, 2003.

       
    29.   "Validating Run-Time Interactions in Distributed Java Applications," S. Ghosh, N. Bawa,
            S. Goel and Y. R. Reddy.
      Proceedings of the 8th IEEE International Conference on
           Engineering of Complex Computer Systems (ICECCS 2002), Greenbelt, MD,
            December 2-4, 2002.

       
    30.   "Using Role-Based Modeling Language (RBML) as Precise Characterizations of Model
           Families," D. K. Kim, R. B. France, S. Ghosh and E. Song.Proceedings of the 8th IEEE
           International Conference on Engineering of Complex Computer Systems (ICECCS 2002),
           Greenbelt, MD, December 2-4, 2002.

       
    31.   "Mutation of Java Objects," R. T. Alexander, J. M. Bieman, S. Ghosh, B. Ji.
           Proceedings of the 13th IEEE International Symposium on Software Reliability Engineering
           (ISSRE 2002), Annapolis, November 12-15, 2002.

       
    32.   "A Model for Understanding Software Components," A. Andrews, S. Ghosh, Eun Man Choi.
           Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2002)
           Montreal, October 3-6, 2002.

       
    33.   "Middleware Transparency through Aspect-Oriented Programming using AspectJ and Jini,"
           D. Simmonds and S. Ghosh. Proceedings of the SPIE ITCOM Conference on Java/Jini
           Technologies, Boston, August 1, 2002.

       
    34.   "A Technique for Mutation of Java Objects" J. M. Bieman, S. Ghosh, R. T. Alexander.
           Proceedings of the 16th IEEE Internation Conference on Automated Software
           Engineering (ASE 2001), November 23-26, San Diego, 2001.

       
    35.   "A Test Management and Software Visualization Framework for Heterogeneous Distributed
           Applications," S. Ghosh, N. Bawa, G. Craig, K. Kalgaonkar, Proceedings of the
           IEEE High Assurance Systems Engineering 2001, October 22-24, 2001.

       
    36.   "Towards a Model-Driven Approach to Reuse," R. B. France, S. Ghosh, and D. E. Turk.
           Proceedings of OOIS 2001, Springer Verlag, Calgary, Canada, August 27-29, 2001.

    37.   "A Framework for Measuring Test Coverage of Java Applications," S. Ghosh, N. Bawa,
           G. Craig, K. Kalgaonkar,
      Proceedings of IASTED SEA 2001, Anaheim, California,
           August 21-24, 2001.

       
    38.   "A Testing Tool for Distributed Java Applications," S. Ghosh, N. Bawa, G. Craig, and
            K. Kalgaonkar
      , Proceedings of ITCOM 2001, Conference on Java/Jini Technologies,
           SPIE Press, August 22, 2001, Denver, Colorado, USA.

    39.   "Fault Injection Testing for Distributed Object Systems," S. Ghosh, Proceedings of
           39th International Conference and Exhibition on on Technology of Object-Oriented
           Languages and Systems (TOOLS USA 2001), IEEE Computer Society Press,
           July 29--August 3, 2001, Santa Barbara, California, USA

    40.   "A Comparison of Java-Based Management Technologies," S. Ghosh, and N. Bawa,
           Proceedings of the 2001 International Conference on Parallel and Distributed Processing
           Techniques and Applications (PDPTA 2001), CSREA Press, June 25-28, 2001, Las Vegas,
           Nevada, USA.

    41.   "TDS: A Tool for Testing Distributed Component-Based Applications," S. Ghosh,
           P. Govindarajan and A. P. Mathur,
      Proceedings of MUTATION 2000,
           October 6-7, 2000, San Jose, CA.

       
    42.   "Interface Mutation," S. Ghosh, A. P. Mathur, Proceedings of MUTATION 2000,
           October 6-7, 2000, San Jose, CA.

       
    43.   "Interface Mutation to Assess the Adequacy of Tests for Components," S. Ghosh and>
           A. P. Mathur,
      Proceedings of the 34th International Conference and Exhibition on
           Technology of Object-Oriented Languages and Systems (TOOLS USA 2000), IEEE
           Computer Society Press, Santa Barbara, Jul 30-Aug 2, 2000.

       
    44.   "A Framework for Assessing Test Adequacy, Architecture Extraction, Metering, Monitoring
           and Controlling Distributed Component-Based Systems," A. P. Mathur, S. Ghosh,
           P. Govindarajan, B. Sridharan
      , 1st Symposium on Reusable Architectures and
           Components for Developing Distributed Information Systems, Orlando, Florida, Aug 2-3, 1999.

       
    45.   "On Errors And Failures in Distributed Systems Built to CORBA and COM Standards," Sudipto
           Ghosh, Aditya P. Mathur
      , International Conference on Software Engineering and
           its Application, December 19-20, 1997, Hyderabad, India.

       
    46.   "Software Fault Injection Testing on a Distributed System - A Case Study," S. Ghosh, A. P.
           Mathur, J. R. Horgan, J. J. Li, W. E. Wong
      , First International Software Quality Week Europe,
           November 4-7 1997, Brussels, Belgium.

       
    Workshop and Fast Abstracts

    1.   "STUDENT PAPER: Using UML Sequence Diagrams and State Machines for Test Input
           Generation," A. Bandyopadhyay and S. Ghosh, Proceedings of the 19th International
           Symposium on Software Reliability Engineering (ISSRE), pp. 309-310, Seattle,
           Washington, November 11-14, 2008.

       
    2.   "4th International workshop on Model Design, Verification, and Validation," B. Baudry
           A. Faivre, S. Ghosh, and A. Pretschner
      , Models in Software Engineering: Workshops
           and Symposia at MoDELS 2007, Nashville, USA, 2007, Springer LNCS 5002,
           pp. 145-150, 2008.

       
    3.   "A Generic Approach For Automatic Model Composition", F. Fleurey, B. Baudry,
           R. B. France and S. Ghosh
      , MoDELS workshop on Aspect Oriented Modeling,
           Nashville, USA, September 30 - October 5, 2007, Springer LNCS 5002, pp. 7-15, 2008.
           (Selected as one of two best papers in the workshop.)

       
    4.   "Composing Sequence Models using Tags", Raghu Reddy, Arnor Solberg, Robert B.
           France, and Sudipto Ghosh
      , MoDELS workshop on Aspect Oriented Modeling, Genova,
           Italy, October 1-6, 2006.

       
    5.   "Model Transformation Testing Challenges", Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu,
           Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, and Yves Le Traon
      ,
           MDA workshop on Integration of Model Driven Development and Model Driven Testing, Bilbao,
           Spain, July 10-13, 2006.

       
    6.   "Extra-functional Aspects : Design Tradeoffs and Challenges", M. P. Mortensen
           and S. Ghosh
      , 5th AOSD Workshop on Aspects, Components, and Patterns
           for Infrastructure Software, Bonn, Germany, March 20-24, 2006.

       
    7.   "Report on the 2nd MoDeVa workshop - Model Design and Validation," B. Baudry
           C. Gaston, and S. Ghosh
      , MoDELS 2005 Satellite Events Proceedings, Springer-Verlag
           LNCS 3844, Montego Bay, Jamaica, 2006.

       
    8.   "UMLAnT: An Eclipse Plugin for Animating and Testing UML Designs", T. Dinh-Trong,
           S. Ghosh, R. B. France, M. Hamilton, and B. Wilkins
      , Eclipse Technology Exchange
           Workshop, in conjunction with OOPSLA, San Diego, USA, October 15-16, 2005.

       
    9.   "Model Composition - A Signature-Based Approach", R. Reddy, R. B. France, S. Ghosh,
           F. Fleury, and B. Baudry
      , Aspect Oriented Modeling workshop, in conjunction with
           UML/MoDELS, Montego Bay, Jamaica, October 2, 2005.

       
    10.   "A Taxonomy of Faults for UML Designs", T. Dinh-Trong, S. Ghosh,
           R. B. France, B. Baudry, and F. Fleury
      , 2nd MoDeVa workshop (Model
           Design and Validation), in conjunction with UML/MoDELS, Montego Bay,
           Jamaica, October 3, 2005.

       
    11.   "Generating test data to test UML Design Models", T. Dinh-Trong, S. Ghosh,
           R. B. France, and A. A. Andrews
      , 2nd MoDeVa workshop (Model Design and
           Validation), in conjunction with UML/MoDELS, Montego Bay, Jamaica, October 3,
           2005.

       
    12.   "A Systematic Approach to Testing UML Design Models", T. Dinh-Trong, S. Ghosh,
           R. B. France, and A. A. Andrews
      , 4th International Workshop on Critical Systems
           Development, in conjunction with SAFECOMP, Fredrikstad, Norway, September 27,
           2005.

       
    13.   "A COTS Component Comprehension Process", A. Andrews, A. Stefik, N. Picone,
           and S. Ghosh
      , Proceedings of the 13th IEEE International Workshop on Program
           Comprehension (IWPC 2005), pp. 135-144, IEEE Computer Society Press,
            St. Louis, MO, May 15-16, 2005.

       
    14.   "EPTUD: An Eclipse Plugin for Testing UML Designs", T. Dinh-Trong, N. Kawane,
           S. Ghosh, R. B. France, and A. A. Andrews.
      , UML 2004 Satellite Events, Lecture
           Notes in Computer Science, Volume 3297, Springer-Verlag GmbH, 2005.

       
    15.   "An Aspect-Oriented Approach to Developing Middleware-based Applications",
           S. Ghosh and B. Kamalakar, OOPSLA and GPCE Workshop on Best Practices
           for Model Driven Software Development, Vancouver, Canada, October 25, 2004.

       
    16.   "A Middleware Transparent Approach for Developing CORBA-based Distributed
           Applications", B. Kamalakar and S. Ghosh, Workshop on Aspect-Oriented
           Modeling at the 7th International Conference on the UML, Lisbon, Portugal,
           October 10-15, 2004.

       
    17.   "Evaluating Competing Dependability Concern Realizations in an Aspect-Oriented
           Modeling Framework (fast abstract)," R. B. France, S. Ghosh, I. Ray, J. M. Bieman,
           G. Georg, and R. T. Alexander
      , Supplementary Proceedings, International Symposium on
           Software Reliability Engineering, ISSRE 2003, Denver, USA, November 17-20, 2003.

       
    18.   "A UML-Based Metamodeling Language to Specify Design Patterns," D. K. Kim,
           R. B. France, S. Ghosh and E. Song
      , Workshop in Software Model Engineering
           (WisME), UML 2003, San Francisco, USA, October 20-24, 2003.

       
    19.   "Middleware Transparent Software Development and the MDA," D. Simmonds,
           S. Ghosh and R. B. France
      , Workshop in Software Model Engineering
           (WisME), UML 2003, San Francisco, USA, October 20-24, 2003.

       
    20.   "An MDA Framework for Middleware Transparent Software Development," D. Simmonds,
           S. Ghosh and R. B. France
      IEEE RTAS 2003 Model-Driven Embedded Systems
           Workshop, Washington, DC, May 27, 2003.

       
    21.   "Visualizing Interactions in Distributed Java Applications," N. Bawa, S. Ghosh,
           IEEE International Workshop on Program Comprehension (IWPC 2003),
            IEEE Computer Society Press, Portland, OR, May 9-10, 2003.

       
    22.   "An Aspect Oriented Model Driven Architectural Framework for Middleware Transparency,"
           D. Simmonds, S. Ghosh, R. B. France Early Aspects 2003, Workshop on
           Aspect-Oriented Requirements Engineering and Architecture Design,
           Boston, MA, March 17, 2003.

       
    23.   "Fault Insertion in Concurrent Object-Oriented Programs for Mutation Analysis and
           Testability Measurement," S. Ghosh, Proceedings of the 13th IEEE International
           Symposium on Software Reliability Engineering (ISSRE 2002) Fast Abstracts, Annapolis,
            November 12-15, 2002.

       
    24.   "Software Component Specification Using Role-Based Modeling Language," D. K. Kim,
           R. B. France, S. Ghosh, E. Song.
      11th OOPSLA Workshop on Behavioral
           Semantics, Seattle November 4, 2002.

       
    25.   "Towards Measurement of Testability of Concurrent Object-Oriented Programs
           using Fault Insertion: A Preliminary Investigation," S. Ghosh. Proceedings of
           the 2nd IEEE International Workshop on Source Code Analysis and Manipulation
           (SCAM 2002), IEEE COmputer Society Press, Montreal, October 1, 2002.

       
    26.   "Using Roles for Pattern-based Model Refactoring," E. Song, R. B. France, D. K. Kim
           and S. Ghosh.
      Workshop on Critical Systems Development with UML
           Dresden, Germany, September 30, 2002.

       
    27.   "Improving Current Component Development Techniques for Successful Component-Based
           Software Development," S. Ghosh. 7th International Conference on Software Reuse Workshop
           on Component-based Software Development Processes, Austin, April 16, 2002.

       
    28.   "Using Roles to Characterize Model Families" R. B. France, D. K. Kim, E. Song, S. Ghosh,
           Tenth OOPSLA Workshop on Behavioral Semantics: Back to the Basics, October 15, 2001.

       
    29.   "Certification of Distributed Component Computing Middleware and Applications,"
            S. Ghosh and A. P. Mathur, Proceedings of the 4th Component Based Software
           Engineering Workshop during ICSE 2001, May 14-15, 2001, Toronto, Canada.

    30.   "On Testing Distributed Systems with Broker Architecture," S. Ghosh, Proceedings of
           the On-going Student Research, 19th Fault Tolerant Computing Symposium,
           June 15-18, 1999, Madison, Wisconsin.

    31.   "Issues in Testing Distributed Component-Based Systems," S. Ghosh, A. P. Mathur, First ICSE
          Workshop on Testing Distributed Component-Based Systems, Los Angeles, California,
           May 17, 1999.

       
    Invited Workshop

    1.   "Middleware Transparent Software Development and the MDA," D. Simmonds,
           S. Ghosh and R. B. France
      , Workshop on SIVOES-MDA, UML 2003, San Francisco,
           USA, October 20-24, 2003.

       
    2.   "An MDA Framework for Middleware Transparent Software Development and Quality
           of Service," D. Simmonds, S. Ghosh and R. B. France Workshop on Qos in
           Component-Based Software Engineering, Toulouse, France, June 20, 2003.

       
    Posters and Demonstrations

    1.   "EPTUD: An Eclipse Plugin for Testing UML Designs", T. Dinh-Trong, N. Kawane,
           S. Ghosh, R. B. France, and A. Andrews
      , poster and demonstration at the
           19th Annual ACM Conference on Object- Orient ed Programming, Systems,
           Languages, and Applications, Vancouver, Canada.

       
    2.   "EPTUD: An Eclipse Plugin for Testing UML Designs", T. Dinh-Trong, N. Kawane,
           S. Ghosh, R. B. France, and A. Andrews
      , poster and demonstration at the
           7th International Conference on the UML, Lisbon, Portugal, October 10-15, 2004.
           Lecture Notes in Computer Science, Volume 3297, Springer-Verlag GmbH, 2005.

       
    3.   "Interface Mutation", S. Ghosh, P. Govindarajan, and A. P. Mathur, demonstration
           at Mutation 2000, San Jose, California, October 6-7, 2000.

       
    4.   "Fault Injection Testing Tool", S. Ghosh and A. P. Mathur, demonstration at ACM
           1997 Expo, San Jose, California, January, 1997.

       
    Panels

    1.   "Evaluating MDE Research: Are We Doing Enough?", S. Ghosh (moderator), R. B. France,
           Y. Labiche, F. Weil, and J. Whittle,
      , ACM/IEEE 10th International Conference on
           Model Driven Engineering Languages and Systems, September 30 - October 5, 2007,
           Nashville, TN, USA.

       
    2.   "The Relevance of Software Modeling to the Software Industry,", B. Murphy (moderator),
           N. Rouquette, L. Williams, P. Santhanam, J. Richardson, and S. Ghosh
      , 17th IEEE
           International Symposium on Software Reliability Engineering, November 7-10, 2006,
           Raleigh, NC, USA.

       
    3.   "Building Better Systems: Modeling, Verification, and Testing", C. Williams (moderator),
           P. Baker, L. Briand, C. Campbell, and S. Ghosh
      , 8th ACM/IEEE Conference on
           Model Driven Engineering Languages and Systems, October 2-7, 2005, Montego Bay,
           Jamaica.

       
    4.   "Model Driven Verification and Validation", L. Briand (moderator), S. Ghosh, A. Pretschner,
           F. Terrier, and Y. Le Traon
      ,15th IEEE International Symposium on Software
           Reliability Engineering, St. Malo, France, November 2-5, 2004.

       
    Technical Reports

    1.   "A Tool-Supported Approach to Testing UML Design Models", T. T. Dinh-Trong,
            N. Kawane, S. Ghosh, R. B. France, and A. A. Andrews
      , Department of Computer
           Science, Colorado State University, Technical Report 04-108, October 2004.

       
    2.   "A Middleware Transparent Approach for Developing CORBA-based Distributed Applications",
            B. Kamalakar and S. Ghosh, Department of Computer Science, Colorado State
           University, Technical Report 04-104, April 2004.

       
    3.   "Primitives of Composition Directives",G. Straw, G. Georg, E. Song, S. Ghosh,
            R. B. France and J. M. Bieman
      , Department of Computer Science, Colorado State
           University, Technical Report 04-103, April 2004.

       
    4.   "Testing Component-Based Distributed Applications - A Thesis," S. Ghosh,
            SERC Technical Report TR-180-P, August 2000.
       
    5.   "TDS 1.1: A Tool for Testing Distributed Object Systems," S. Ghosh, P. Govindarajan,
           Aditya P. Mathur, SERC Technical Report TR-179P, August 1999.
       
    6.   "Testing for Fault Tolerance," Sudipto Ghosh, Aditya P. Mathur, SERC Technical Report
           TR-175P. August 1997.
       
    Awards
  •   Best Paper Award: MODELS 2007 Workshop on Aspect Oriented Modeling (AOM)
         A Generic Approach For Automatic Model Composition, F. Fleurey, B. Baudry, R. France,
         and S. Ghosh.
  •   Maurice H. Halstead Memorial Award for Recognizing Outstanding
         Research in Software Engineering, 2000
  •   Schlumberger Award for Outstanding Graduate Teaching Assistant in the
         Department of Computer Sciences, 1999-2000
  •   Outstanding Graduate Teaching Assistant Award, Purdue University, 1999-2000
  •   Jim Nolen Memorial Award from Upsilon Pi Epsilon, 1998
  •   Member, Upsilon Pi Epsilon, inducted in 1995
  •   Best project award in Engineering Design Project, IIT Kanpur, 1991
  •   Academic Proficiency Award, IIT Kanpur, 1990
  •   Merit Certificate from IIT Kanpur for high rank in the IIT Joint Entrance Examination, 1989
  •   National Talent Scholarship, Government of India, 1987
  •   Merit Certificate and Notional Prize, All India Secondary School Examination, 1987
     
  • Students
     
  •   PhD Advisor
          -  Aritra Bandyopadhyay (current)
          -  Elmahdi F. Omar (current)
          -  Fadi Wedyan (August 2011)
          -  Mike Mortensen (May 2009)
  •   PhD Co-Advisor
          -  Devon Simmonds (May 2007)
          -  Trung Thanh Dinh Trong (May 2007)
  •   PhD Committee       -  Upulee Kanewala (current)

          -  Clemente Izurieta (May 2010)
          -  John Tesch (current)
          -  Eunjee Song (May 2007)
          -  Raghu Reddy (April 2006)
          -  Dae-Kyoo Kim (August 2004)
  •   MS Thesis Advisor
          -  Devadatta Sadhu (August 2012)
          -  Aritra Bandyopadhyay (May 2009)
          -  John Kelly (current)
          -  Gagan Tandon (August 2006)
          -  Nilesh Kawane (August 2005)
          -  Brahmila Kamalakar (December 2004)
  •   MS Project Advisor
          -  Roopashree Patil Shankar (August 2005)
          -  Nishant Bawa (Dec 2002)
          -  Gerald Craig (May 2002)
  •   MS Thesis Committee Member
          -  Saurabh Barve (May 2007)
          -  Bixia Ji (May 2002)
          -  Aparna Shivaswamy (May 2001)
  •   MS Project Committee Member
          -  Sumanth Kakaraparthi (graduated)
          -  Karn Sukwong (August 2001)
          -  Pu Wang (December 2001) 
          -  Chinta Nagalakshmi (May 2002)
  •   Undergraduate Thesis Advisor
          -  Laura Adams (May 2012)
  •   Mentored Internship
          -  Hakan Zorlu (Spring 2001)
     
  • Professional
    Activities
  •   Memberships in Professional Societies

  •       -  Association of Computing Machinery
          -  IEEE Computer Society
     
  •   Member, Editorial Boards

  •       -  Information and Software Technology, 2008 --
          -  Journal of Software Testing, Verification, and Reliability, 2006 --
          -  Software Quality Journal, 2006 --
     
  •   Guest Editor for 3 papers for regular issues of Journal of Software and Systems Modeling

  •   Guest co-editor of special section in Software Quality Journal for papers selected from ACM SACt
            2007

  •   Conference Chair

  •       -  SPIE's ITCom 2003 - Conference on Java/Jini Technologies
          -  SPIE's ITCom 2002 - Conference on Java/Jini Technologies
          -  SPIE's ITCom 2001 - Conference on Java/Jini Technologies
     
  •   Conference General Co-Chair

  •       -  MODELS 2009 - ACM/IEEE 12th International Conference on Model Driven Engineering
            Languages and Systems

     
  •   Conference Program Co-Chair

  •       -  ICST 2010 - IEEE International Conference on Software Testing, Verification and Validation
     
  •   Conference Program Committee Member

  •       -  12th International Conference on Component Based Software Engineering (CBSE 2009)
          -  3rd IEEE International Conference on Secure Software Integration and Reliability
            Improvement (SSIRI 2009)

          -  Ninth International Conference on Quality Software (QSIC 2009)
          -  Second International Conference on Software Testing, Verification, and Validation (ICST 2009)
          -  19th International Symposium on Software Reliability Engineering (ISSRE 2008)
          -   8th International Conference on Quality Software (QSIC) 2008
          -   2nd IEEE International Conference on Secure System Integration and Reliability Improvement
             (SSIRI 2008)

          -  23rd Annual ACM Symposium on Applied Computing, SE Track (SAC 2008)
          -  First International Conference on Software Testing, Verification, and Validation (ICST 2008)
          -  7th IEEE International Conference on COTS Based Software Systems (ICCBSS 2008)
          -  18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007)
          -  ACM/IEEE 10th International Conference on Model Driven Engineering Languages
             and Systems (MoDELS/UML) 2007

          -  7th International Conference on Quality Software (QSIC 2007)
          -  22nd Annual ACM Symposium on Applied Computing, SE Track (SAC 2007)
          -  6th IEEE International Conference on COTS-based Software Systems (ICCBSS 2007)
          -  First IEEE International Conference on System Integration and Reliability Improvements (SIRI 2006)
          -  17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)
          -  ACM/IEEE 9th International Conference on Model Driven Engineering Languages
             and Systems (MoDELS/UML) 2006

          -  ACM/IEEE 8th International Conference on Model Driven Engineering Languages
             and Systems (MoDELS/UML) 2005

          -  29th Annual International Computer Software and Applications Conference (COMPSAC) 2005
          -  16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)
          -  15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004)
          -  13th IEEE International Symposium on Software Reliability Engineering (ISSRE 2002)
          -  10th IEEE International Conference on Computer Communications and Networks (ICCCN 2001)
          -  12th IEEE International Symposium on Software Reliability Engineering (ISSRE 2001)
     
  •   Fast Abstracts Chair

  •       -  19th IEEE International Symposium on Software Reliability Engineering (ISSRE 2008)
          -  18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007) (co-chair)
          -  17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)
          -  16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005) (co-chair)
     
  •   Publications Chair

  •       -  20th IEEE International Symposium on Software Reliability Engineering (ISSRE 2009)
     
  •   Local Arrangements Chair

  •       -  14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003)
     
  •   Web Chair

  •       -  First International Conference on Software Testing, Verification, and Validation (ICST 2008)
          -  ACM/IEEE 8th International Conference on Model Driven Engineering Languages
             and Systems (MoDELS/UML) 2005

     
  •   Panels Chair

  •       -  ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems
            (MoDELS/UML) 2008

     
  •   Conference Sessions Chair

  •       -  IASTED Software Engineering and Applications 2007, 2001
          -  MUTATION Workshop at International Symposium on Software Reliability Engineering, 2006
          -  International Symposium on Software Reliability Engineering, 2005, 2004, 2003
          -  International Conference on Model Driven Engineering Languages and Systems 2007
     
  •   Workshop Chair

  •       -  MoDeVVA -- Model Design, Verification, and Validation at ICST 2008 (co-chair)
          -  MoDeVVA -- Model Design, Verification, and Validation at MoDELS 2007 (co-chair)
          -  MoDeVA -- Model Design and Validation at MoDELS 2005 (co-chair)
     
  •   Workshop Program Committee Member

  •       -  Aspect-Oriented Modeling Workshop at MODELS 2009
          -  Model-Driven Engineering, Verification, and Validation at MODELS 2009
          -  Fourth International Workshop on Automation of Software Test at ICSE 2009
          -  Fourth International Workshop on Mutation Analysis at ICST 2009
          -   4th Workshop on Advances in Model-based Software Testing (A-MOST'08) at ICST 2008
          -  Third International Workshop on Automation of Software Test at ICSE 2008
          -  Aspect Oriented Modeling Workshop at AOSD 2008
          -  Eclipse Technology eXchange workshop at OOPSLA 2007
          -  Aspect Oriented Modeling workshop at MoDELS 2007
          -  Second International workshop on Model Size Metrics at MoDELS 2007
          -  Domain-Specific Approaches to Software Test Automation (DoSTA) at ESEC/FSE 2007
          -  1st IEEE International Workshop on Testing Emerging Software Technology at COMPSAC 2007
          -  Second International Workshop on Automation of Software Test at ICSE 2007
          -  3rd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSTA 2007
          -  Aspect Oriented Modeling Workshop at AOSD 2007
          -  3rd Workshop on Mutation Analysis at TAIC Part 2007
          -  2nd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSRE 2006
          -  2nd Workshop on Mutation Analysis at ISSRE 2006
          -  Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2006
          -  5th International Workshop on Critical Systems Development Using Modeling
             Languages at MoDELS 2006

          -  2nd International Workshop on Testing and Quality Assurance for Component-based
             Systems (TQACBS) at COMPSAC 2006

          -  Aspect Oriented Modeling Workshop at MoDELS 2006
          -  Aspect Oriented Modeling Workshop at AOSD 2006
          -  Aspect Oriented Modeling Workshop at MoDELS 2005
          -  Aspect Oriented Modeling Workshop at AOSD 2005
          -  Workshop on Quality Assurance and Testing of Web-Based Applications at COMPSAC 2004
          -  Workshop on Software Cybernetics at COMPSAC 2004
          -  IEEE Workshop on Source Code Analysis and Manipulation (SCAM 2003)
     
  •   Journal Reviewer

  •       -  ACM Transactions on Software Engineering and Methodologies
          -  IEEE Computer
          -  IEEE Internet Computing
          -  IEEE Software
          -  IET Software
          -  IEEE Systems, Man and Cybernetics - Part A: Systems and Humans
          -  IEEE Transactions on Computers
          -  IEEE Transactions on Software Engineering
          -  Information and Software Technology, Elsevier
          -  Information Technology and Management, Springer
          -  International Journal of Software Engineering and Knowledge Engineering
          -  International Journal of Software Maintenance and Evolution, Wiley
          -  International Journal of Computers and Applications
          -  Journal of Software Testing Verification and Reliability, Wiley
          -  Journal of Systems and Software, Elsevier
          -  Software and Systems Modeling, Springer
          -  Software Quality Journal, Springer
          -  Software: Practice and Experience
          -  Transactions of the Society for Modeling and Simulation International
          -  Transactions on Aspect-Oriented Software Development, Springer
     
  •   Conference Reviewer

  •       -  COMPSAC 2004, 2003
          -  FST&TCS 2000
          -  ICCCN 2001
          -  ICCBSS 2007
          -  ISSRE 2007, 2006, 2005, 2004, 2003, 2002, 2001
          -  MASCOTS 1999
          -  MoDELS 2007, 2006, 2005
          -  MUTATION 2000
          -  SAC 2007
          -  SAFECOMP 2004, 2003
          -  SIRI 2006
          -  UML 2003, 2001
     
  •   Book Reviewer

  •       -  Addison-Wesley Longman
          -  Wiley
          -  McGraw Hill
     
  •   External Reviewer

  •       -  VIDI Program, Innovational Research Incentives Scheme (Vernieuwingsimpuls), 2002
          -  Habilitation Thesis, University Of Vienna, Austria, 2004
     
  •   Grant Reviewer

  •       -  CASI
          -  NSF
     
    University
    Committees
     
  •   ISTeC Research Advisory Committee Co-Chair 2011-Present
  •   ISTeC Distinguished Lecture Sub-Committee Co-Chair 2012-Present
  •   ISTeC Research Advisory Committee Member 2010-Present

  • Departmental
    Committees
     
  •   Operations Committee 2010-Present
  •   Graduate Recruitment Committee 2011-Present
  •   Graduate Program Committee 2010-2011
  •   Awards Committee 2009-2010
  •   Awards Committee 2008-2009
  •   Graduate Committee 2007-2008
  •   Graduate Committee 2006-2007
  •   Facilities Committee 2005-2006
  •   Research Committee 2004-2005
  •   Research Committee 2003-2004
  •   Research Committee 2002-2003
  •   Undergraduate Committee 2001-2002
  •   Research Committee 2000-2001
     
  • Research Exam
    Committees
     
  •   Software engineering (chair), Fall 2006
  • Qualifying Exam
    Committees
     
  •   Software engineering (chair), Spring 2005
  •   Fault tolerant computing, Fall 2004
  •   Software engineering, Spring 2004
  •   Fault tolerant computing (chair), Fall 2003
  •   Fault tolerant computing, Spring 2003
  •   Software engineering, Fall 2002
  •   Software engineering, Spring 2002
  •   Computer vision, Spring 2001
  •   Computer vision, Spring 2001
     
  • Other Activities
  •   Department newsletter faculty advisor, Fall 2006 and Spring-Summer 2007.
  •   Co-organizer, CS Department Research Poster Symposium, Colorado State University, 2005.
  •   Faculty Advisor, Upsilon Pi Epsilon at Colorado State University, 2002-present.
  •   UPE Faculty Representative, Colorado Beta Chapter of Upsilon Pi Epsilon
         at Colorado State University, 2001-2002.
  •   Faculty Advisor, Indian Students Association at Colorado State University, 2002-2003.
  •   Faculty Advisor, Thai Students Association at Colorado State University, 2001-2002.
  •   President, Beta Chapter of Upsilon Pi Epsilon at Purdue, 1997-1998.
  •   Historian, Beta Chapter of Upsilon Pi Epsilon at Purdue, 1996-1997.
  •   General Secretary, India Students Association, Iowa State University, 1994-1995
     
  • References Upon Request