Biblio

Export 6 results:
Sort by:
Filters: Author is M. Sitaraman  [Clear All Filters]
2007
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.
2005
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.
2002
2001
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.
2000
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.