Export 6 results:
Sort by:
Filters: Author is M. Sitaraman  [Clear All Filters]
Kulczycki, G., M. Sitaraman, H. Keown, and B. Weide, "Abstracting Pointers for a Verifying Compiler", Proceedings 31st Annual Software Engineering Workshop, Baltimore, MD, March 2007.
Kulczycki, G., M. Sitaraman, B. W. Weide, and A. Rountev, "A Specification-Based Approach to Reasoning about Pointers", Proceedings Specification and Verification of Component-Based Systems (ESEC/FSE SAVCBS '05) Workshop, vol. 31, issue 2, Lisbon, Portugal, September 2005.
Sitaraman, M., 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, Toronto, Canada, ACM Press, pp. 3-10, May 2001.
Sitaraman, M., 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, Vienna, IEEE Computer Society Press, pp. 266-283, June 2000.