☰

Derek Bronish, Ph.D.

Affiliations: 
2012 Computer Science and Engineering Ohio State University, Columbus, Columbus, OH 
Area:
Computer Engineering
Google:
"Derek Bronish"
Tree Publications Similar researchers PubMed Report error

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.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
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, Smith H. (2011) Robust, generic, modularly-verified map: A software verification challenge problem Plpv'11 - Proceedings of the 5th Acm Workshop On Programming Languages Meets Program Verification. 27-30
Sitaraman M, Adcock B, Avigad J, et al. (2011) Building a push-button RESOLVE verifier: Progress and challenges Formal Aspects of Computing. 23: 607-626
Klebanov V, Müller P, Shankar N, et al. (2011) The 1st verified software competition: Experience report Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6664: 154-168
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...