David Frazier

Learn More
This paper proposes an initial catalog of easy-to-state, relatively simple , and incrementally more and more challenging benchmark problems for the Verified Software Initiative. These benchmarks support assessment of verification tools and techniques to prove total correctness of functionality of sequential object-based and object-oriented software. The(More)
a funder's repository at a funder's request, provided it is not made publicly available until 12 months after publication. Abstract. A central objective of the verifying compiler grand challenge is to develop a pushbutton verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler generates machine code.(More)
During graduate training, students often undertake some teaching responsibilities, which provides useful experience for a future career in academia. However, they receive little guidance to prepare them for this role. This article describes some of the attempts that have been made to overcome this deficiency, with emphasis on the specially developed(More)
The Outreach Center for Science and Health Career Opportunities opened at the University of Kentucky Medical Center in July 1993, to provide a central site of coordination for the university's science education activities designed to link those "doing science" at the medical center with students, teachers, and the general population throughout Kentucky. By(More)
Approximate Bayesian computation (ABC) methods have become increasingly prevalent of late, facilitating as they do the analysis of intractable, or challenging, statistical problems. With the initial focus being primarily on the practical import of ABC, exploration of its formal statistical properties has begun to attract more attention. The aim of this(More)
We consider consistent estimation of parameters in a structural model by Indirect Inference (II) when the exogenous variables can be missing at random (MAR) endogenously. We demonstrate that II procedures which simply discard sample units with missing observations can yield inconsistent estimates of the true structural parameters. By inverse probability(More)