Dr. Gregory W. Kulczycki

Position:

Assistant Professor

Research Interests:

Teaching

CS 5704 Software Engineering

Selected Publications

G. Kulczycki, M. Sitaraman,W.F. Ogden, and G. Leavens, Preserving Clean Semantics in Procedure Calls with Repeated Arguments, submitted to IEEE Transactions on Software Engineering.

G. Kulczycki, M. Sitaraman, W.F. Odgen, and J.E. Hollingsworth, Component Technology for Pointers: How and Why, submitted to Formal Aspects of Computing.

M. Aronszajn, M. Sitaraman, S. Atkinson, and G. Kulczycki, A System for Predictable Component-Based Software Construction, Volume on High Integrity Software, eds. V. Winter and S. Bhattacharya, Kluwer, May 2001.

G. Kulczycki, M. Sitaraman, W.F. Ogden, and J.E. Hollingsworth, Capturing the Reference Behavior of Linked Data Structures, Proceedings RESOLVE 2002Workshop, Columbus OH, June 2002.

G. Kulczycki, Efficient Reusable Components with Value Semantics, Proceedings of the ICSR 2002 Young ResearchersWorkshop, Austin TX, April 2002.

G. Kulczycki, Type Handling in a Fully Integrated Programming and Specification Language, Proceedings of the SAVCBS Workshop at OOPSLA 2001, Tampa FL, October 2001.

M. Sitaraman, J. Krone, G. Kulczycki,W.F. Ogden, and A.L.N. Reddy, Performance Specification of Reusable Software Components, Proceedings ACM SIGSOFT Symposium on Software Reusability, ACM Press, Toronto Canada, May 2001.

M. Sitaraman, S. Atkinson, G. Kulczycki, B.W. Weide, T.J. Long, P. Bucci, S. Pike, W. Heym, and J.E. Hollingsworth, Reasoning About Software Component Behavior, Proceedings of the Sixth International Conference on Software Reuse, IEEE Computer Society Press, Vienna, June 2000.

Contact Info

E- Mail: gregwk@vt.edu

URL: http://www.nvc.vt.edu/gregwk/

Address:

Dr. Gregory W. Kulczycki,

Department of Computer Science
Virginia Polytechnic Institute and State University
Northern Virginia Center
7054 Hayrack Road, Room 312B,
Falls Church, VA 22043

Telephone/Fax:

Telephone: 703-538-3758
Fax:       703-538-8348