Publications

  1. Tagore, A. and Weide, B.W., "Automatically Detecting Inconsistencies in Program Specifications", NASA Formal Methods 5th International Symposium, Springer LNCS 7871, May 2013, 261-275. [PDF]
  2. Tagore, A., Zaccai, D., and Weide, B.W., "Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study", NASA Formal Methods 4th International Symposium, Springer LNCS 7226, April 2012, 195-209. [PDF]
  3. Zaccai, D., Tagore, A., Hoffman, D., Kirschenbaum, J., Bainazarov, Z., Friedman, H.M., Pearl., D.K., Weide, B.W., "Syrus: Providing Practice Problems in Discrete Mathematics With Instant Feedback", SIGCSE, March 2014 (to appear).
  4. Hoffman, D., Tagore, A., Zaccai, D., and Weide, B.W., "Providing Early Warnings of Specification Problems", NASA Formal Methods, April 2014(to appear).
  5. Bronish, D., Kirschenbaum, J. and Tagore, A., "A Benchmark- and Competition-Based Approach to Software Engineering Research", Proceedings FSE/SDP Workshop on the Future of Software Engineering Research, November 2010, 43-45. [PDF]
  6. Kulczycki, G., Sitaraman, M., Krone, J., Hollingsworth, J.E., Ogden, W.F., Weide, B.W., Bucci, P., Cook, C.T., Drachova, S., Durkee, B., Harton, H., Heym, W., Hoffman, D., Smith, H., Sun, Y., Tagore, A., Yasmin, N., and Zaccai, D., "A Language for Building Verified Software Components", Proceedings 2013 International Conference on Software Reuse, June 2013[PDF]
  7. Tagore, A., Zaccai, D., and Weide, B.W., "To Expand or Not to Expand: Automatically Verifying Software Specified with Complex Mathematical Definitions", Technical Report OSU-CISRC-5/11-TR18, Department of Computer Science and Engineering, The Ohio State University, May 2011 (revised September 2011), 15 pp. [PDF]