You are here

Bruce Weide

  • Faculty Emeritus, Computer Science & Engineering
  • 254 Dreese Laboratories
    2015 Neil Ave
    Columbus, OH 43210

Honors

  • 20090101

    University System of Ohio Faculty Innovator Award.

Papers in Proceedings

2010

  • Bronish, D., and Weide, B.W. "A Review of Verification Benchmark Solutions Using Dafny." in Proceedings VSTTE 2010 Tools Workshop. (8 2010).
  • Kirschenbaum, J., and Weide, B.W. "Restrictions: Help in Documenting Client Code Under a Verified Software Paradigm." in Proceedings FSE-18 International Workshop on Specification and Verification of Component-Based Software (SAVCBS 2010). (11 2010).

2009

  • Pike, S.M.; Heym, W.D.; Adcock, B.; Bronish, D. et al. "Traditional assignment considered harmful." (12 2009).
  • Pike, S.M., Heym, W.D., Weide, B.W., Bronish, D., Kirschenbaum, J., and Adcock, B. "Traditional Assignment Considered Harmful." in Proceedings Object Oriented Programming, Languages, Systems, and Applications (OOPSLA). (10 2009).
  • Kirschenbaum, J., Adcock, B., Bronish, B., Smith, H., Harton, H., Sitaraman, M., and Weide, B.W. "Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?." in Proceedings 11th International Conference on Software Reuse. (9 2009).