Bruce M. Adcock

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

Murali Sitaraman, Bruce W. Weide, Jason Kirschenbaum, 2009, ICSR.

Which pointer errors do students make?

Bruce W. Weide, Timothy J. Long, Wayne D. Heym, 2007, SIGCSE.

Incremental Benchmarks for Software Verification Tools and Techniques

Murali Sitaraman, Bruce W. Weide, Wayne D. Heym, 2008, VSTTE.

Traditional assignment considered harmful

Bruce W. Weide, Wayne D. Heym, Scott M. Pike, 2009, OOPSLA Companion.

Building a push-button RESOLVE verifier: Progress and challenges

Murali Sitaraman, Bruce W. Weide, Jeremy Avigad, 2011, Formal Aspects of Computing.

Parichute: Generalized Turbocode-Based Error Correction for Near-Threshold Caches

James Dinan, Radu Teodorescu, Timothy N. Miller, 2010, 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture.

Iterated function systems with symmetry in the hyperbolic plane

Clifford A. Reiter, Bruce M. Adcock, Kevin C. Jones, 2000, Comput. Graph..

Force transmission via axial tendons in undulating fish: a dynamic analysis.

Bruce M. Adcock, John H Long, Bruce Adcock, 2002, Comparative biochemistry and physiology. Part A, Molecular & integrative physiology.

Working Towards the Verified Software Process

Bruce M. Adcock, Bruce Adcock, 2010 .