Derek Bronish, Ph.D.

Affiliations: 
2012 Computer Science and Engineering Ohio State University, Columbus, Columbus, OH 
Area:
Computer Engineering
Google:
"Derek Bronish"

Parents

Sign in to add mentor
Bruce W. Weide grad student 2012 Ohio State
 (Abstraction as the Key to Programming, with Issues for Software Verification in Functional Languages.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Bronish D, Kirschenbaum J, Tagore A. (2010) A benchmark- and competition-based approach to software engineering research Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 43-45
Pike SM, Heym WD, Adcock B, et al. (2009) Traditional assignment considered harmful Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 909-916
Kirschenbaum J, Adcock B, Bronish D, et al. (2009) Verifying component-based software: Deep mathematics or simple bookkeeping? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5791: 31-40
Weide BW, Sitaraman M, Harton HK, et al. (2008) Incremental benchmarks for software verification tools and techniques Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5295: 84-98
See more...