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)
Scientific literacy of the population may be enhanced by outreach programs conducted by universities. One such program, the University of Kentucky Science Hotline, has been successful in attracting and answering many inquiries from students, teachers, and others. The authors describe the organization and management of this hotline. The operation is(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)
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)
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)