Derek Bronish

According to our database, Derek Bronish authored at least 8 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Building a push-button RESOLVE verifier: Progress and challenges.

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide

Formal Aspects Comput., 2011

Formalizing Reusable Aspect-Oriented Concurrency Control.

Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Robust, generic, modularly-verified map: a software verification challenge problem.

Derek Bronish, Hampton Smith

Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

The 1st Verified Software Competition: Experience Report.

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß

Proceedings of the FM 2011: Formal Methods, 2011

2010

A benchmark- and competition-based approach to software engineering research.

Derek Bronish, Jason Kirschenbaum, Aditi Tagore

Proceedings of the Workshop on Future of Software Engineering Research, 2010

2009

Traditional assignment considered harmful.

Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

Incremental Benchmarks for Software Verification Tools and Techniques.

Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier

Proceedings of the Verified Software: Theories, 2008